Перевод названия: Method of structural and graphical analysis and verification of intellectual simulation model
Тип публикации: статья из журнала
Год издания: 2020
Идентификатор DOI: 10.17223/19988605/50/10
Ключевые слова: имитационное моделирование, бортовая аппаратура космического аппарата, верификация, валидация, базы знаний, инфографика, simulation modeling, spacecraft onboard equipment, verification, validation, knowledge base, inforgafika
Аннотация: Представлен метод анализа интеллектуальной модели имитации функционирования бортовой аппаратуры космического аппарата. Модель состоит из графической структуры, отражающей состав элементов бортовой аппаратуры, и базы знаний, описывающей методы ее работы. Выполнена формализация модели и предложены критерии анализа и верификации ее стПоказать полностьюруктуры и свойств. Разработаны визуальные компоненты интерактивной инфографики, выполняющие интерпретацию формального описания модели в интерактивные графические образы и формирующие перечень ошибок в функциональных зависимостях базы знаний. 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.
Журнал: Вестник Томского государственного университета. Управление, вычислительная техника и информатика
Выпуск журнала: № 50
Номера страниц: 79-88
ISSN журнала: 19988605
Место издания: Томск
Издатель: Национальный исследовательский Томский государственный университет