Formal development of an operation monitoring and control system for nuclear reactors using Event‐B method

2020 ◽  
Vol 44 (10) ◽  
pp. 8170-8180 ◽  
Author(s):  
Jihun Kim ◽  
Moon‐Ghu Park
2019 ◽  
pp. 41-48
Author(s):  
Yan Guojun ◽  
Oleksiy Kozlov ◽  
Oleksandr Gerasin ◽  
Galyna Kondratenko

The article renders the special features of the design of a tracked mobile robot (MR) for moving over inclined ferromagnetic surfaces while performing specified technological operations. There is conducted a synthesis of the functional structure and selective technological parameters (such as control coordinates) of the computerized monitoring and control system (CMCS) intended for use with this MR. Application of the CMCS with the proposed functional structure allows substantially increasing the accuracy of the MR monitoring and control, which in turn provides for a considerable enhancement in the quality and economic efficiency of the operations on processing of large ferromagnetic surfaces.


Sign in / Sign up

Export Citation Format

Share Document