Method of dynamic programming on the basis of dekartovozamknuty category with the qualifier of subobjects

V. V. Antonov; G. G. Kulikov; A. R. Fakhrullina; L. E. Rodionova; M. A. Shilina; E. E. Popkova

Информационные технологии интеллектуальной поддержки принятия решений, Информационные технологии интеллектуальной поддержки принятия решений 2018

V. V. Antonov, G. G. Kulikov, A. R. Fakhrullina, L. E. Rodionova, M. A. Shilina, E. E. Popkova

Изменена: 2018-06-20

Аннотация

Formulation of the problem: when designing an information analytical program system, there arises the problem of representing the domain and its semantic description, expressed by formal models of different levels of the abstract formal system making up the structure. Purpose: increase the efficiency of processing and transmission of data and knowledge, taking into account the dynamic changes in the formal domain model from the consistency of the structure of the abstract formal system. Results: the method of transition to quantitative multivariate description of information processes and application of the requirements of ISO / IEC 15288, using the provisions of category theory and set theory as a formal apparatus for describing information objects for the modeling, processing and transfer of data and knowledge. The possibility of constructing a number of identical formal models of algorithms for controlling the integrity of the structure of initial processes is shown, in case of violation of which "external" control is required.Practical value: the generalized scheme of the data store and knowledge of the analytical information program system is constructed, as an abstract formal structure, considered on the example of the formation of the personnel reserve.

Ключевые слова

dynamic programming; processing and transmission of data and knowledge; data storing

Литература

1. Formalization of the subject area with the use of tools that support the standards / GG Kulikov, VV Antonov, DV Antonov // Bulletin of the USATU: Nauk. the journal Ufimsk. state. aviats. tech. un-ta UGATU. 2012. Vol. 16. No. 3 (48). Pp. 42-52.

2. Formal domain model based on fuzzy relationships. V. Antonov, G. G. Kulikov // International Journal of Software Products and Systems. Tver. 2011. № 2 (94). Pp. 48-51.

3. Construction of a formal domain model using fuzzy clustering / GG Kulikov, V. V. Antonov, D. Antonov // Herald USATU: scientific. the journal Ufimsk. state. aviats. tech. un-ta. UGATU. 2011. T. 15 number 5. 2011. P. 3-11

4. Chomsky, N. "Language and the problem of knowledge" [Text] // Vestnik MGU: sb.nauch. tr. Moscow, 1996. Issue. 6. P. 157-185

5. The method of designing an adaptive software system based on the methodology of the category formal model of an open domain / V.V. Antonov // Bulletin of the USATU: Nauk. the journal Ufimsk. state. aviats. tech. un-ta UGATU. 2015. Vol. 19. No. 1 (67). Pp. 258-263.

6. Antonov VV Semantic and mathematical language for describing the structure of intellectual system based on fuzzy logic [Text] / Antonov VV, Kulikov GG // International Journal "Software products and systems." Tver. 2011, No. 3 (95). Pp. 33-35.

7. Method of constructing a mathematical model of a domain / VVAntonov, GG Kulikov // Vestnik SSEU: nauch. journal. Samarsk. state. econ. un-ta. 2010. № 5 (67). Pp. 10-14.

8. ISO / IEC / IEEE 15288: 2015 System and software engineering - System lifecycle processes

9. Bellman R., Zade L. Decision-making under vague conditions ", Mir: Sat. sci. tr. Moscow, 1976. pp. 172-215

10. Kulikov G. G., Antonov AA, Shilina MA, Fakhrullina A.R. Structuring the content of the area under consideration for further intellectual analysis. An example of the formation of structured content OPS / G. Mr. Kulikov, Vladimir Antonov, M. A. Shilina, A. R. Fahrullina // Journal of St. Petersburg, "Information and Control Systems" SUAE number 2. 2016 -C. 95-100.

11. Method of subject-oriented classification and system modeling of weakly formalized information flows in industrial automation systems / G.G. Kulikov, V.V. Antonov, D.V. Antonov, F.F. Shingarev // Herald of SUSU. A series of "Computer technologies, management, radio electronics". - 2016. - T. 16, No. 2. - P. 116-130.

12. Goldblatt R. Toposes. Moscow: Mir, 1983