Open AccessThe application of relational interactive logic in control operation problems by the example of monitoring the server equipment of transport systems
Author(s) -
D. V. Zakharov,
О. В. Кузьмін
Publication year - 2020
Publication title -
iop conference series. materials science and engineering
Language(s) - English
Resource type - Journals
eISSN - 1757-899X
pISSN - 1757-8981
DOI - 10.1088/1757-899x/760/1/012058
Subject(s) - correctness , computer science , scope (computer science) , relational database , control (management) , logical conjunction , context (archaeology) , database , theoretical computer science , programming language , artificial intelligence , paleontology , biology
The article demonstrates the use of relational interactive logic in solving the problem of monitoring the server equipment of the transport control system. An example of such a problem is the problem of analyzing log records of monitoring server hardware. The server is considered as a special case of the physical control system. The conditions for the correctness of the current state of the equipment are defined in the form of systems of logical equations and inequalities. Solving a system of logical equations by executing a SQL query on a set of tables describing the elementary control systems in the server allows us to judge the deviation of the hardware parameters of the equipment. Recording the correctness conditions in the form of systems of logical equations provides the ability to take into account both the peculiarities of the functioning of the server hardware and some external context within which the server operates. The considered solution demonstrates the applicability of relational interactive logic in solving the problem of controlling individual classes of control systems within the scope of the system analysis discipline.