Open Access. Powered by Scholars. Published by Universities.®
Articles 1 - 3 of 3
Full-Text Articles in Engineering
Uncertainty Of The Ultrasonic Method For Determining The Strength Of Concrete, Ortagoli Sharipovich Hakimov, Zamira Khudoyberdiyevna Ernazarova
Uncertainty Of The Ultrasonic Method For Determining The Strength Of Concrete, Ortagoli Sharipovich Hakimov, Zamira Khudoyberdiyevna Ernazarova
Chemical Technology, Control and Management
The issues of measuring the strength of concrete by the method of surface sounding by ultrasound are considered. A measurement model and formulas for estimating the total standard measurement uncertainty, information about the standards used, measurement tools and methods, and environmental parameters are given. Information about the estimation of uncertainty in the form of "eight steps", such as: measurement task; mathematical model of measurement; analysis of input values; observation results; correlations; uncertainty budget; expanded uncertainty; measurement result. It has been established that the uncertainty of type B of the ultrasonic method for determining the strength of concrete is much less …
Problems Of Modeling And Control Of The Technological Process Of Ore Grinding, Djalolitdin Pakhritdinovich Mukhitdinov, Sanjar Boybutayev
Problems Of Modeling And Control Of The Technological Process Of Ore Grinding, Djalolitdin Pakhritdinovich Mukhitdinov, Sanjar Boybutayev
Chemical Technology, Control and Management
The article analyzes the methods of mathematical modeling of the closed-loop process of fine grinding of ore in order to predict the composition of the crushed raw material. Analyzed modeling methods that consider the control of classification of crushed raw materials and finished products by the size of the recirculating load, simulation modeling methods, methods that use neuro-phase netthe research apparatus, in which the fuzzy logic apparatus serves as a fundamental component for the formation of conclusions. The materials presented in the article reflect the theoretical substantiation and generalization of the accumulated practical experience in modeling and control of the …
Control Synthesis For Parametric Timed Automata Under Reachability, Ebru Aydin Göl
Control Synthesis For Parametric Timed Automata Under Reachability, Ebru Aydin Göl
Turkish Journal of Electrical Engineering and Computer Sciences
Timed automata is a fundamental modeling formalism for real-time systems. During the design of such real-time systems, often the system information is incomplete, and design choices can vary. These uncertainties can be integrated to the model via parameters and labelled transitions. Then, the design can be completed by tuning the parameters and restricting the transitions via controller synthesis. These problems, namely parameter synthesis and controller synthesis, are studied separately in the literature. Herein, these are combined to generate an automaton satisfying the given specification by both parameter tuning and controller synthesis, thus exploring all design choices. First, it is shown …