A novel model for cost performance evaluation of pulverized coal injected into blast furnace based on effective calorific value

2015 ◽  
Vol 22 (10) ◽  
pp. 3990-3998 ◽  
Author(s):  
Run-sheng Xu ◽  
Jian-liang Zhang ◽  
Hai-bin Zuo ◽  
Ke-jiang Li ◽  
Teng-fei Song ◽  
...  
2021 ◽  
Vol 13 (12) ◽  
pp. 2318
Author(s):  
Darío G. Lema ◽  
Oscar D. Pedrayes ◽  
Rubén Usamentiaga ◽  
Daniel F. García ◽  
Ángela Alonso

The recognition of livestock activity is essential to be eligible for subsides, to automatically supervise critical activities and to locate stray animals. In recent decades, research has been carried out into animal detection, but this paper also analyzes the detection of other key elements that can be used to verify the presence of livestock activity in a given terrain: manure piles, feeders, silage balls, silage storage areas, and slurry pits. In recent years, the trend is to apply Convolutional Neuronal Networks (CNN) as they offer significantly better results than those obtained by traditional techniques. To implement a livestock activity detection service, the following object detection algorithms have been evaluated: YOLOv2, YOLOv4, YOLOv5, SSD, and Azure Custom Vision. Since YOLOv5 offers the best results, producing a mean average precision (mAP) of 0.94, this detector is selected for the creation of a livestock activity recognition service. In order to deploy the service in the best infrastructure, the performance/cost ratio of various Azure cloud infrastructures are analyzed and compared with a local solution. The result is an efficient and accurate service that can help to identify the presence of livestock activity in a specified terrain.


2021 ◽  
Vol 179 (2) ◽  
pp. 135-163
Author(s):  
Sinem Getir Yaman ◽  
Esteban Pavese ◽  
Lars Grunske

In this article, we introduce a probabilistic verification algorithm for stochastic regular expressions over a probabilistic extension of the Action based Computation Tree Logic (ACTL*). The main results include a novel model checking algorithm and a semantics on the probabilistic action logic for stochastic regular expressions (SREs). Specific to our model checking algorithm is that SREs are defined via local probabilistic functions. Such functions are beneficial since they enable to verify properties locally for sub-components. This ability provides a flexibility to reuse the local results for the global verification of the system; hence, the framework can be used for iterative verification. We demonstrate how to model a system with an SRE and how to verify it with the probabilistic action based logic and present a preliminary performance evaluation with respect to the execution time of the reachability algorithm.


2020 ◽  
Vol 47 (3) ◽  
pp. 228-237
Author(s):  
Yanjiang Li ◽  
Jianliang Zhang ◽  
Guangwei Wang ◽  
Wang Liang ◽  
Nan Zhang ◽  
...  

Metallurgist ◽  
2015 ◽  
Vol 59 (1-2) ◽  
pp. 16-24 ◽  
Author(s):  
V. I. Andreev ◽  
A. V. Pozdnyakov ◽  
Yu. L. Kurbatov ◽  
I. V. Mishin ◽  
D. S. Pikalov

Sign in / Sign up

Export Citation Format

Share Document