Instruments and Systems: Monitoring, Control, and Diagnostics Annotation << Back Methods of synthesis mathematical model of onboard systems products rocket and space technology based logical decomposition A.I. Loskutov, V.A. Klykov The question of formalisation of processes of functioning of onboard equipment of objects of space-rocket technics is considered by preparation for start. The substantiation of a class of models of functioning of onboard equipment of products of space-rocket technics in the course of their land tests is resulted. Statement of a problem of synthesis of certainly-automatic model of functioning of onboard equipment of products of space-rocket technics on the basis of logic decomposition is carried out. The technique of synthesis of mathematical model of functioning of onboard equipment of products of space-rocket technics is developed and presented. As mathematical model for the separate logic subsystems describing the basic modes of works, the determined final automatic machine is chosen. The example of synthesis of certainly-automatic model for one of modes of electric tests of onboard equipment разгонного the block at a stage of preparation for start is resulted. Directions of increase of automation of tests of objects of space-rocket technics are designated by preparation for start, on the basis of application of the formalized models of functioning of onboard systems. Keywords: tests, products of space-rocket technics, onboard equipment, certainly-automatic model, logic decomposition. Contacts: - Pp. 07-18.