The problem of theoretical substantiation of information technology of intellectual monitoring of the state of technical systems is considered. The technology is based on functional-logical programs of stream computing, built on modified Petri networks and G-networks.
Streaming computing is understood as the process of processing heterogeneous information (technical, technological) for the purpose of diagnosing the state of complex technical systems with the possibility of parallelization, asynchrony and hierarchy of direct operations over data. The question of organizing the practical application of such programs on electronic computers without regard to their hardware and software is disclosed in the article. A corresponding scheme consisting of seven blocks is proposed. The first four blocks are a comparison of the properties of the controlled process and the variables of the flow calculation program, monitoring and interpretation of the output variables of the program, the formation of control actions for the program, and, fourth, the execution (change of state) of the program. These blocks are an interpretation of the classic stages of identification and technical diagnostics of technical objects in order to determine their technical condition. For these steps, the necessary formal expressions are given. The fifth stage is the formation of a system of indicators of the quality of streaming computing. The sixth stage is a comprehensive assessment of the quality of streaming computing when monitoring the state of a technical system. The content of the fifth and sixth stages is a reflection of the features of the subject area of the controlled processes of the technical system. The last seventh stage is the formation of the structure of information technology of intelligent monitoring based on the flow computing program. Three blocks of such a system are proposed: a single information space for describing controlled processes on the basis of a special poly-model complex, a unified software environment for the synthesis and execution of special computing programs, and a system for supporting the decision-making by the operator of the monitoring workplace. Theoretical novelty of the material consists in the conceptual interpretation of the tasks of technical diagnostics on a new methodological monitoring tool - functional logic programs of stream computing. Practical significance and relevance is justified by the extreme need to improve technologies for monitoring complex technical systems, for example, in the rocket and space industry.
Keywords: theory of computation; functional logic programming; stream computing; processing of the measuring information; information technology; identification and technical diagnostics.