Алгоритм первичной обработки телеметрической информации с автоматизированной верификацией исходных данных и коррекцией ошибок
Читать статью полностью
Алгоритм первичной обработки телеметрической информации с автоматизированной верификацией исходных данных и коррекцией ошибок(1,37 MB)Аннотация
В статье приведено краткое описание этапов обработки телеметрической информации космических средств. Представлен процесс первичной обработки телеметрической информации с помощью вычислительной сети Петри в среде CPN IDE. Представлен способ поиска и устранения ошибок при вводе различного рода исходных данных в систему обработки на примере задания масштабного ко-эффициента при проведении операции обработки телеметрической информации.
Ключевые слова:
обработка телеметрической информации – processing of telemetric information; сети Петри – Petri nets; анализ свойств сетей Петри – analysis of properties of Petri nets; ошибки обработки телеметрической информации – telemetric information processing errors; автоматизированная верификация – automatic check; коррекция ошибок – error correction.
Список литературы
1. Николаев, А. Ю. Модель выявления семантических ошибок в алгоритмах первичной обработки телеметрической информации космических средств / А.Ю. Николаев, Е.Б. Самойлов, В.В. Шмелев // Труды ВКА им. А.Ф. Можайского. – 2022. – № 682. – С. 238–247.
2. Полимодельный комплекс оперативного диагно- стирования технического состояния сложных технических систем на основе функционально логических схем обработки измерительной информации / В.В. Шмелев, А.Ю. Николаев, А.Ю. Иваню, М.Н. Волков // Авиакосмическое приборостроение. – 2022. – № 1. – С. 44–53.
3. Шмелев, В. В. Методика оперативного диагностирования системы управления расходованием топлива ракетносителей типа "Союз-2" на основе функционально-логических схем обработки телеметрической информации в режиме реального времени / В.В. Шмелев, А.Ю. Николаев, Е.Б. Самойлов // Авиакосмическое приборостроение. – 2022.– № 5. – С. 34–46.
4. Зайцев, Д. А. Моделирование телекоммуникационных систем в CPN Tools / Д.А. Зайцев, Т.Р. Шмелева. – Одесса: Одесская национальная академия связи им. А.С. Попова. – 2006. – 68 с.
5. Рудаков, И. В. Алгоритм верификации программного обеспечения с помощью иерархических сетей Петри / И.В. Рудаков, В.О. Медведев // Наука и бизнес: пути развития. – 2019. – № 1 (91). – С. 74–77.
6. Оленев, В. Л. Методология формализованного проектирования коммуникационных протоколов на основе сетей Петри / В.Л. Оленев // Информация и Космос. – 2022. – № 4. – С. 37–45.
7. Медведев, В. О. Верификация программного обеспечения формализованного сетью Петри / В.О. Медведев, И.В. Рудаков // Современные научные исследования и разработки. – 2017. – № 7 (15). – С. 230–233.
8. Котов, В. Е. Сети Петри / В.Е. Котов. – Москва: Наука. Главная редакция физико-математической литературы. – 1984. – 160 с.
9. Шмелев, В. В. Применение модифицированных сетей Петри к моделированию процесса послеполетного анализа телеметрической информации / В.В. Шмелев, Ю.С. Мануйлов // Труды МАИ. – 2015. – № 84. – С. 29.
10. Шмелёв, В. В. Обоснование методики мониторинга технического состояния ракет-носителей с компенсацией искажений процесса телеизмерений / В.В. Шмелёв, В.Г. Зиновьев, Д.О. Зайцев // Информация и Космос. – 2019. – № 4. – С. 145–151.