ФОРМАЛИЗАЦИЯ И ПОСТРОЕНИЕ СЕТЕВОЙ МОДЕЛИ ИСПЫТАНИЙ РАДИОЭЛЕКТРОННОЙ БОРТОВОЙ АППАРАТУРЫ КОСМИЧЕСКОГО АППАРАТА С ПОМОЩЬЮ СЕТЕЙ ПЕТРИ
Аннотация
Об авторах
С. Ю. СтраховРоссия
д. т. н., профессор, декан факультета
190005, Санкт‑Петербург, ул. 1‑я Красноармейская, д. 1, тел.: 8 (812) 495‑76‑95
А. А. Карасев
Россия
старший преподаватель
190005, Санкт‑Петербург, ул. 1‑я Красноармейская, д. 1, тел.: 8 (812) 316‑24‑77
Н. В. Сотникова
Россия
доцент
190005, Санкт‑Петербург, ул. 1‑я Красноармейская, д. 1, тел.: 8 (904) 333‑06‑92
Список литературы
1. ГОСТ Р 53802–2010. Системы и комплексы космические. Термины и определения. М.: Стандартинформ, 2011. 32 с.
2. Никольский В. В. Исследование процессов в бортовых системах автоматических космических аппаратов. СПб.: Балтийский государственный технический университет, 2013. 59 с.
3. Мартин Дж. Программирование для вычислительных систем реального времени. М.: Наука, 1975. 360 с.
4. Кертен Р. Введение в QNX/Neutrino 2. Руководство по программированию приложений реального времени в QNX Realtime Platform. СПб.: Петрополис, 2001. 482 с.
5. Гарсиа-Молина Г., Ульман Д., Уидом Д. Системы баз данных. М.: Издательский дом «Вильямс», 2003. 1088 с.
6. Теоретические основы проектирования информационно-управляющих систем космических аппаратов / В. В. Кульба, Е. А. Микрин, Б. В. Павлов, В. Н. Платонов; под ред. Е. А. Микрина. М.: Наука, 2006. 579 с.
7. Карасев А. А. Проблема разработки испытательного программного обеспечения для новых бортовых комплексов дистанционного зондирования Земли в составе автоматического космического аппарата: итоги диссертационных исследований. Т. 3 // Материалы IV Всероссийского конкурса молодых ученых. М.: РАН, 2012. С. 3–10.
8. Хопкрофт Д. Э., Мотвани Р., Ульман Дж. Д. Введение в теорию автоматов, языков и вычислений. 2-е изд.; пер. с англ. М.: Вильямс, 2008. 528 с.
9. Дунаев В. В., Поляков О. М., Фролов В. В. Алгоритмические основы испытаний. СПб.: 1991. 427 с.
10. Лабскер Л. Г., Бабешко Л. О. Теория массового обслуживания в экономической сфере. М.: Бaнки и биржи, ЮНИТИ, 1998. 319 с.
11. Портенко Н. И., Скороход А. В., Шуренков В. М. Марковские процессы. Итоги науки и техники. ВИНИТИ РАН, 1989. Т. 46. 245 c.
12. Бусленко Н. П. Моделирование сложных систем. М.: Наука, 1976. 400 с.
13. Котов В. Е. Сети Петри. М.: Наука, 1984. 160 с.
14. Питерсен Дж. Теория сетей Петри и моделирование систем. М.: Мир, 1984. 264 с.
15. Малиновский Б. Н., Слепцов А. И., Юрасов А. А. Автоматизация проектирования управляющих систем гибких автоматизированных производств. Киев: Технiка, 1986. 160 с.
16. Мальков М. В., Малыгина С. Н. Сети Петри и моделирование // Труды Кольского научного центра РАН. Апатиты, 2010. Вып. 1. С. 35–40.
17. Вопросы модернизации испытательных комплексов ИВК для подготовки КА типа «Метеор» / Г. А. Акопов, А. Г. Шехтман, А. Б. Платонов, В. А. Тутов // Вопросы электромеханики, 2005. Т. 102. C. 28-34.
18. ГОСТ Р 52070–2003. Интерфейс магистральный последовательный системы электронных модулей. М.: Изд-во стан-дартов, 2003. 27 с.
19. Еленев В. Д., Салмин В. В. Использование сетевых моделей в задачах анализа процессов функционирования космических аппаратов. Самара: Изд-во Самарского государственного аэрокосмического университета, 2006. 54 с.
20. Карасев А. А., Чупринский И. И. О разработке методики электрических испытаний бортовой аппаратуры в составе автоматического космического аппарата // Вестник СГАУ им. академика С. П. Королева, 2013. № 4 (42). С. 164–169.
Для цитирования:
Страхов С.Ю., Карасев А.А., Сотникова Н.В. ФОРМАЛИЗАЦИЯ И ПОСТРОЕНИЕ СЕТЕВОЙ МОДЕЛИ ИСПЫТАНИЙ РАДИОЭЛЕКТРОННОЙ БОРТОВОЙ АППАРАТУРЫ КОСМИЧЕСКОГО АППАРАТА С ПОМОЩЬЮ СЕТЕЙ ПЕТРИ. Вопросы радиоэлектроники. 2018;(7):51-58. https://doi.org/10.21778/2218-5453-2018-7-51-58
For citation:
Strakhov S.Yu., Karasev A.A., Sotnikova N.V. FORMALIZATION AND THE CONSTRUCTION OF A NETWORK MODEL OF TESTING OF THE ELECTRONIC ONBOARD EQUIPMENT OF THE SPACECRAFT WITH THE HELP OF PETRI NETS. Issues of radio electronics. 2018;(7):51-58. (In Russ.) https://doi.org/10.21778/2218-5453-2018-7-51-58