Search academic texts

Information × Registration Number 0299U000660, 0196U015898 , R & D reports Title The research and the development of means of the modeling and creation of the computer systems of management by the complicated dynamic objects with critical modes of functioning popup.stage_title Head Litvinov V.V., Registration Date 18-06-1999 Organization Institute of Software Systems popup.description2 A purpose of the research is to develop a formal approach to the creating of imitating models item specifications oriented to a computation for the systems with critical modes of functioning. Objects of the research are the methods of construction of formal specifications of built in hybrid systems. The main result of the work is the construction of the language subset of universal modeling and its detonation semantics. The development is based on the theory of measuring models. Objects of the empirical wold (such as empirical rules, empirical connections, informal attributes) are connected to the abstract mathematical models through the instrumentality of homomorphic reflections. This approach efforts an opportunity to form a complex of the restrictions of the critical system which is transmitted to the automatic solving program in a specified form or to formulate demands for a observed critical object. The approach is used in realization of crew assignment tasks taking into account a complex of t he real restrictions. Product Description popup.authors popup.nrat_date 2020-04-03 Close