O.K. Nikolskiy, A.N. Tushev, L.Y. Kachesova
I.I. Polsunov Altai State Technical University, prosp. Lenina, 46, Barnaul, 656038, Russian Federation
Abstract. Analysis and synthesis of a human-machine system (HMS) such as “Human – Electrical device – Environment” (H-ED-E) are the core of more effective control in real-time dangerous industrial accidents in agro-industry electrical facilities. Such model should develop the interaction of the components (H, ED, E) taking into account the ambiguity and imperfection of initial data. Also, this model should be easily interpreted and allow to consider not only strict (functional) dependencies between HMS elements, but also applies soft (approximate) methods. To solve these specific tasks it is necessary to use the means with time variables – apparatus of temporal logic as a foundation for decision making in risk control on agro-industry electrical facilities. It is proposed to use simple and complex temporal expressions for the description of temporal dependencies between risk-forming factors. The simple temporal expression is obtained by using one of a unary temporal statement of the past time in propositional temporal logic to a risk factor: “sometimes in the past”, “always in the past”, “sometimes in the past in the interval”, “always in the past in the interval”. Complex temporal expressions is a number of simple temporal expressions, which connected by temporal relations in the context of the interval temporal logic, proposed by J. Allen. Calculation of the risk of stuff electrical accident on a poultry farm in Altai region. In the first case the value of the integral risk (basic) RB= 2.1 * 10E-4. This value is evaluated as allowable. In the second case we obtained unacceptable (high) risk (RT = 1 * 10E-3). The analysis of electrical facilities in poultry farm also confirmed the inadequacy to requirements of technogenic safety. The proposed model of simulation and evaluation of risk factors for electrical installations with temporal dependencies between risk-forming factors gives an adequate estimation of the technogenic safety of the unit in question, in comparison with the procedures of the risks estimation of electrical devices without the use of the temporal dependencies.
Keywords: electrical facilities, technogenic risk, temporal logic, fuzzy number, human-machine systems.
Author Details: O.K. Nikolskiy, D. Sc. (Tech.), prof. (e-mail: Этот адрес электронной почты защищён от спам-ботов. У вас должен быть включен JavaScript для просмотра.); A.N. Tushev, Cand. Sc. (Tech.), assoc. prof.; L.Y. Kachesova, senior lecturer.
For citation: Nikolskiy O.K., Tushev A.N., Kachesova L.Y. Using of Temporal Logic Instruments for Control Technogenic Risk Factors in Human-Machine Systems. Dostizheniya nauki i tekhniki APK. 2017. Vol. 31. No. 3. Pp. 41-45 (in Russ.).