Библиографическое описание:Метод структурно-графического анализа и верификации интеллектуальной имитационной модели : научное издание / О. С. Исаева, Н. В. Кулясов, С. В. Исаев. - Текст : непосредственный // Вестник Томского государственного университета. Управление, вычислительная техника и информатика. - 2020. - № 50. - С. 79-88. - ISSN 1998-8605. - ISSN 2311-2085, DOI 10.17223/19988605/50/10. Перевод заглавия: Method of structural and graphical analysis and verification of intellectual simulation model
Аннотация:Представлен метод анализа интеллектуальной модели имитации функционирования бортовой аппаратуры космического аппарата. Модель состоит из графической структуры, отражающей состав элементов бортовой аппаратуры, и базы знаний, описывающей методы ее работы. Выполнена формализация модели и предложены критерии анализа и верификации ее структуры и свойств. Разработаны визуальные компоненты интерактивной инфографики, выполняющие интерпретацию формального описания модели в интерактивные графические образы и формирующие перечень ошибок в функциональных зависимостях базы знаний.
The method of analysis of an intellectual model of simulating the functioning of onboard equipment of a spacecraft is presented. The model consists of a graphic structure that reflects the composition of the elements of on-board equipment, and a knowledge base that describes the methods of its operation. The model is formalized and criteria for the analysis and verification of its structure and properties are proposed. The visual components of interactive infographics have been developed that interpret the formal description of the model into interactive graphic images and form a list of errors in the functional dependencies of the knowledge base.
