Determination of the composition of programs in a special software of the computer-aided fire-explosion safety systems of objectsJournal: Pozharovzryvobezopastnost/Fire and Explosion Safety (Vol.27, No. 7)
Publication Date: 2018-08-25
Authors : Topolskiy N.G. Kryuchkov A.V. Grachev D.S. Mikhaylov K.A.;
Page : 67-73
Keywords : ;
Introduction. For the sustainable operation of modern industries, in particular oil refineries, computer-aided process control systems are used. One of the key components of these systems are the computer-aided fire-explosion safety systems. A crucial role in these systems is played by special software, the reliability of which depends on the successful functioning of the computer-aided fire-explosion safety systems and in general oil refineries. The work purpose is to determine the composition of programs in special software for computer-aided fire-explosion safety systems of objects. The following tasks are solved: the mathematical definition of single software systems and their characteristics is described; the number of formulas in the special software of computer-aided fire-explosion safety systems is estimated; from the formal point of view, the identification of the unifier in a single software system is described. Methods. The article uses the methods of mathematical logic, graph theory for the formal description of single software systems and their functional characteristics. Results and discussion. One of the possible mathematical definitions of single software systems of computer-aided fire-explosion safety systems and their characteristics is given. The assesment of quantity of formulas for the special software of the computer-aided fire-explosion safety systems and computer-aided process control systems in general which about one million is necessary is carried out. It is shown that to determine the unifier in a single program system, it is necessary to divide it into basic groups of functionality. The basic functionality groups are meant as basic elements of programs. Conclusions. In the end, the identification of groups of basic elements of programs allows to define unambiguously the required structure of programs of the special software of the computer-aided fire-explosion safety systems of objects, increase its reliability and simplify the work with it.
Other Latest Articles
Last modified: 2018-10-16 23:20:56