Метод структурно-графического анализа и верификации интеллектуальной имитационной модели : научное издание

Описание

Перевод названия: 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

Место издания: Томск

Издатель: Национальный исследовательский Томский государственный университет

Персоны

  • Исаева Ольга Сергеевна (Красноярский научный центр Сибирского отделения Российской академии наук)
  • Кулясов Никита Владимирович (Красноярский научный центр Сибирского отделения Российской академии наук)
  • Исаев Сергей Владиславович (Красноярский научный центр Сибирского отделения Российской академии наук)

Вхождение в базы данных