Применение конечных автоматов для реализации алгоритмов контроля полетов воздушных судов
DOI:
https://doi.org/10.18372/2306-1472.10.12161Abstract
Рассмотрены вопросы применения аппарата структурных конечных автоматов для обработки информации параметрических бортовых регистраторов. Исследованы аспекты использования конечных автоматов для реализации алгоритмов контроля полетов. Построены канонические уравнения общего вида, описывающие алгоритмы контроля. Разработана методика построения автоматных моделей для описания алгоритмов контроля полетов воздушных судовReferences
Малежик А. И. Основы компьютерных технологий оперативного контроля полетов воздушных судов по полетной информации. -К: КМУГА, 1996. - 124 с.
Яцков НА.. Основы построения автоматизированных систем контроля полетов воздушных судов. -К: КНИГА, 1989. - 344 с.
Райчев И.Э.,Харченко А..Г, Яцков НА. Исследование методов тестирования программных модулей обработки полетной информации// Вести. КМУГА. - 2000. -№ 1-2. - С. 127-133.
Райчев И.Э., Харченко А.Г., Яцков Н.А. Методы создания тестовых наборов данных при сертификационных испытаниях комплексов программ контроля полетов// Вісн. НАУ. -2001. - № 1. - С.126-132.
Глушков ЯМ Синтез цифровых автоматов. -М.: Физматгиз, 1962. - 476 с.
Кобринский Н.Е., Трахтенброт Б.А. Введение в теорию конечных автоматов. -М.: Физматгиз, 1962. -404 с.
Вельбицкий И.В. Технология программирования. - К.: Техніка, 1984. - 279 с.