Method of structural and graphical analysis and verification of intellectual simulation model | Vestnik Tomskogo gosudarstvennogo universiteta. Upravlenie, vychislitelnaja tehnika i informatika – Tomsk State University Journal of Control and Computer Science. 2020. № 50. 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.

Download file

Counter downloads: 156

Keywords

validation, verification, spacecraft onboard equipment, simulation modeling, инфографика, базы знаний, валидация, верификация, бортовая аппаратура космического аппарата, имитационное моделирование, knowledge base, inforgafika

Authors

Name	Organization	E-mail
Isaeva Olga S.	Krasnoyarsk Scientific Center of the Siberian Branch of the Russian Academy of Sciences	isaeva@icm.krasn.ru
Kulaysov Nikita V.	Krasnoyarsk Scientific Center of the Siberian Branch of the Russian Academy of Sciences	razor@icm.krasn.ru
Isaev Sergey V.	Krasnoyarsk Scientific Center of the Siberian Branch of the Russian Academy of Sciences	si@icm.krasn.ru

Всего: 3

References

Bostock M. Data-Driven Documents. URL: https://d3js.org/ (accessed: 28.04.2019).

Антонов А.В. Системный анализ : учебник для вузов. 3-е изд. М. : Высш. шк., 2008. 454 с.

Ноженкова Л.Ф., Исаева О.С., Грузенко Е. А. Метод системного моделирования бортовой аппаратуры космического аппарата // Вычислительные технологии. 2015. № 20 (3). С. 33-44.

Исаева О.С. Разработка методики автоматизации испытаний на основе имитационной модели функционирования бортовой аппаратуры космического аппарата // Вестник компьютерных и информационных технологий. 2018. № 10 (172). C. 30-38.

Ноженкова Л.Ф., Исаева О.С., Евсюков А.А. Инструменты компьютерного моделирования функционирования бортовой аппаратуры космических систем // Тр. СПИИРАН. 2018. № 56. C. 144-168. DOI: 10.15622/sp.56.7.

Zanon O. The SimTG simulation modeling framework a domain specific language for space simulation // Proc. of the 2011 Symposium on Theory of Modeling & Simulation: DEVS Integrative M&S Symposium. 2011. P. 16-23.

Yuchen Zhou, Ke Fang, Ming Yang, Ping Ma. An intelligent model validation method based on ECOC SVM // Proc. of the 10th Int. Conference on Computer Modeling and Simulation. 2018. P. 67-71.

Василенко Д.Е., Обидин Д.Н., Бердник П.Г. Разработка процедуры контроля непротиворечивости знаний для открытой экспертной системы реального времени // Системи обробки шформацн. 2016. № 9 (146). С. 90-93.

Min F., Yang M., Wang Z. Knowledge-based method for the validation of complex simulation models // Simulation Modelling Practice and Theory. 2010. No. 18 (5). P. 500-515.

Eickhoff J. Simulating Spacecraft System. Springer, 2009. 376 p.

Лычкина Н.Н. Имитационное моделирование экономических процессов / под ред. В.В. Година. М. : Академия IT, 2005. 165 с.

Tan C.F., Wahidin L.S., Khalil S.N., Tamaldin N. The application of expert system: a review of research fnd applications // ARPN Journal of Engineering and Applied Sciences. 2016. No. 11 (4). P. 2448-2453.

Литвинов В.В., Марьянович Т.П. Методы построения имитационных систем. Киев : Наукова думка, 1991. 120 с.

Остроух А.В. Интеллектуальные системы. Красноярск : Науч.-инновационный центр, 2015. 110 с.

Советов Б.Я., Яковлев С.А. Моделирование систем. М. : Высш. шк., 2009. 343 с.

Аксенов К.А., Гончарова Н.В. Моделирование и принятие решений в организационно-технических системах. Екатеринбург : Изд-во Урал. ун-та, 2015. 104 с.