Preview

Вопросы радиоэлектроники

Расширенный поиск

ФОРМАЛИЗАЦИЯ И ПОСТРОЕНИЕ СЕТЕВОЙ МОДЕЛИ ИСПЫТАНИЙ РАДИОЭЛЕКТРОННОЙ БОРТОВОЙ АППАРАТУРЫ КОСМИЧЕСКОГО АППАРАТА С ПОМОЩЬЮ СЕТЕЙ ПЕТРИ

https://doi.org/10.21778/2218-5453-2018-7-51-58

Полный текст:

Аннотация

Рассматривается вопрос создания и применения формальных моделей в виде разновидностей сетей Петри к процессу автоматизированных электрических испытаний автоматического космического аппарата (АКА). В настоящее время к автоматическим космическим аппаратам предъявляется требование длительного срока активного существования. Это подразумевает использование современных радиоэлектронных компонентов, стойких к ионизирующему излучению и другим внешним воздействующим факторам космического пространства. Радиоэлектронная аппаратура (РЭА), состоящая из этих компонентов, образует информационные сети на борту АКА, по которым идет интенсивный обмен информацией между абонентами. Для подтверждения исправности АКА необходимо проводить комплексные электрические проверки функционирования бортовых приборов и систем таких сетей в автоматизированном режиме в заводских условиях с максимальной имитацией полета в космическом пространстве. Моделирование процессов, происходящих в бортовой РЭА и контрольно-проверочной аппаратуре, взаимодействующей с ней, представляет отдельный интерес, так как позволяет по полученным данным анализа модели разрабатывать методики автоматизированных проверок.

Об авторах

С. Ю. Страхов
Балтийский государственный технический университет «ВОЕНМЕХ» им. Д.Ф. Устинова
Россия

д. т. н., профессор, декан факультета

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.Y., 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

Просмотров: 55


Creative Commons License
Контент доступен под лицензией Creative Commons Attribution 4.0 License.


ISSN 2218-5453 (Print)
ISSN 2686-7680 (Online)