Задача контроля данных системы управления работой космического аппарата с охватом проблемной области


DOI: 10.34759/trd-2019-109-28

Авторы

Шихин С. М.

Научно-производственное объединение им. С.А. Лавочкина, ул. Ленинградская, 24, Химки, Московская область, 141400, Россия

e-mail: wooling@rambler.ru

Аннотация

Опыт создания и эксплуатации сложных искусственных систем позволяет говорить о несовершенстве современных инструментальных программных средств, широко применяемых в таких системах, в том числе, для решения задач контроля данных системы планирования и управления работой аппаратуры космического аппарата, управления ее жизненным циклом. Рассматриваемая в данной статье проблемная область содержит большое число составляющих, их свойств и связей, образующих сложные структуры. Подлежащие обработке и контролю данные имеют сложную организацию и большой объем. Кроме того, проблемная область изменчива во времени. Современные инструментальные программные средства, позволяющие разработчикам программного обеспечения допускать семантические ошибки, не соответствуют сложности проблемной области.

На практике, их применение обеспечивает лишь фрагментарное покрытие проблемной области. Отсюда – трудности контроля данных системы планирования и управления, трудности управления ее жизненным циклом. Важнейшие для практического применения программно-технических средств проблемы верификации и безотказности, в общем случае, продолжают оставаться нерешенными.

Ключевые слова:

автоматизированная система, космический аппарат, система планирования и управления. логика предикатов, логическое программирование, программно-технические средства, стандартизация, интеллектуализация

Библиографический список

  1. Информационная технология. Комплекс стандартов на автоматизированные системы. Автоматизированные системы. Термины и определения. ГОСТ 34.003.90. – М.: Стандартинформ, 1992.

  2. Баринов К.Н., Бурдаев М.Н., Мамон П.А. Динамика и принципы построения орбитальных систем космических аппаратов. – М.: Машиностроение, 1975. – 232 с.

  3. Хартов В.В., Ефанов В.В., Занин К.А. Основы проектирования орбитальных оптико-электронных комплексов. – М: Изд-во МАИ, 2011. – 127 с.

  4. Чечкин А.В., Пирогов М.В. Необходимость радикальной стандартизации в формализме радикального моделирования и радикального программирования целенаправленных автоматизированных систем // Нейрокомпьютеры: разработка, применение. 2018. № 8. С. 3 – 19.

  5. Верба В.С., Неронский Л.Б., Осипов И.Г., Турук В.Э. Радиолокационные системы землеобзора космического базирования. – М.: Радиотехника, 2010. – 675 с.

  6. Кодратенков Г.С. Радиолокационные системы дистанционного зондирования Земли. – М.: Радиотехника, 2005. – 368 с.

  7. Бусленко Н.П., Шрейдер Ю.А. Метод статистических испытаний (Монте-Карло) и его реализация на цифровых вычислительных машинах. – М.: Физматлит, 1961. – 228 с.

  8. Кристофидес Н. Теория графов. Алгоритмический подход. – М.: Мир, 1978. – 432 с.

  9. Бусурин В.И., Медведев В.М., Карабицкий А.С., Гроппа Д.В. Алгоритмы анализа цифровой информации для оптимизации контроля систем управления // Труды МАИ. 2017. № 97. URL: http://trudymai.ru/published.php?ID=87277

  10. Поляков В.Б., Неретин Е.С., Иванов А.С., Будков А.С., Дяченко С.А., Дудкин С.О. Архитектура перспективных комплексов управления бортовым оборудованием // Труды МАИ. 2018. № 100. URL: http://trudymai.ru/published.php?ID=93459

  11. Бузуев К.В. Определение оптимальных планов наблюдения космического аппарата дистанционного зондирования земли с помощью графа // Вестник Самарского государственного аэрокосмического университета. 2013. № 1 (39). С. 63 – 72.

  12. Бусленко Н.П., Шрейдер Ю.А. Метод статистических испытаний и его реализация на цифровых вычислительных машинах. – М.: Физико-математическая литература, 1961. – 228 с.

  13. Маслов А.Е., Пирогов М.В., Рожков В.В., Шихин С.М. Разработка информационного обеспечения системы планирования и управления работой целевой аппаратуры космического аппарата на основе радикального моделирования // Нейрокомпьютеры: разработка, применение. 2018. № 4. С. 50 – 61 с.

  14. Васенин В.А., Пирогов М.В., Чечкин А.В. Информационно-системная безопасность критических систем. – М.: Изд-во Курс, 2018. – 352 с.

  15. Иванов Н.М., Лысенко Л.Н. Баллистика и навигация космических аппаратов. – М.: Радиотехника, 2016. – 523 с.

  16. Серапинас Б.Б. Глобальные системы позиционирования. – М.: Каталог, 2002. – 106 с.

  17. Федоровский А.Д., Даргейко Л.Ф., Зубко В.П., Якимчук В.Г. Системный подход к оценке эффективности аппаратурных комплексов дистанционного зондирования Земли // Космическая наука и технология. 2001. Т. 7. № 5–6. С. 75 – 79.

  18. Гарбук С.В., Гершензон В.Е. Космические системы дистанционного зондирования Земли. – М.: Изд-во А и Б, 1997. – 296 с.

  19. Занин К.А. Москатиньев И.В. Рациональное баллистическое построение космической системы радиолокационного наблюдения // Полет. 2018. № 9. С. 23 – 29.

  20. Занин К.А. Москатиньев И.В. Метод оценки пространственного и фазового разрешения космического радиолокатора с синтезированной апертурой // Космонавтика и ракетостроение. 2018. № 3(102). С. 53 – 64.

  21. Вернигора Л.В., Казмерчук П.В. Оптимизация траекторий КА с малой тягой методом линеаризации // Труды МАИ. 2019. № 106. URL: http://trudymai.ru/published.php?ID=105759

  22. Васильев В.А., Федюнин П.А., Данилин М.А., Васильев А.В. Проблемные вопросы организации информационного обеспечения управления ударными авиационными комплексами // Труды МАИ. 2019. № 105. URL: http://trudymai.ru/published.php?ID=104241

  23. Гусев С.Н., Сахно И.В., Хуббиев Р.В. Методика оценивания качества формирования виртуальных объектов на радиолокационных изображениях // Труды МАИ. 2019. № 104. URL: http://trudymai.ru/published.php?ID=102169


Скачать статью

mai.ru — информационный портал Московского авиационного института

© МАИ, 2000—2024

Вход