В. И. Волчихин, Д. В. Пащенко, Д. А. Трокоз
МОДЕЛИРОВАНИЕ ПОДСИСТЕМЫ ЗАГРУЗКИ ДАННЫХ
НАЗЕМНОЙ СИСТЕМЫ КОНТРОЛЯ АВИАЦИОННЫХ
РАДИОЛОКАЦИОННЫХ КОМПЛЕКСОВ
С ИСПОЛЬЗОВАНИЕМ АППАРАТА СЕТЕЙ ПЕТРИ
Аннотация. <...> Обсуждаются вопросы моделирования подсистемы загрузки данных наземной системы контроля для авиационных радиолокационных комплексов с использованием сетей Петри. <...> Ключевые слова: радиолокационный комплекс, анализ систем, система объективного контроля, сети Петри. <...> Введение
Перспективные авиационные комплексы радиолокационного дозора и
наведения (АК РЛДН) для оценки качества выполнения полетных заданий и
технического состояния радиотехнических комплексов (РТК) используют
экспертные системы, которые осуществляют объективный контроль. <...> При этом в соответствии с авиационными правилами производства полетов государственной авиации [3] объективный контроль подразделяется на оперативный, специальный и полный. <...> Для определения структуры и состава таких ресурсов необходимо произвести моделирование работы вычислительного комплекса с использованием алгоритмов работы системы объективного
контроля радиолокационных комплексов воздушного базирования. <...> Принципы построения модели
Наиболее длительными и трудоемкими процессами при работе системы
объективного контроля являются загрузка данных с бортового устройства
регистрации в базу данных и автоматизированный контроль аппаратуры и
выполнения полетного задания [6]. <...> В данной статье рассматривается модель
загрузки данных в систему объективного контроля АК РЛДН с использованием механизма сетей Петри. <...> При этом каждая фишка будет относиться к определенному
множеству цветов – типу данных. <...> Обработка данных в модели происходит при переходе, т.е. перемещении фишки из одной позиции в другую. <...> Поволжский регион
входных фишек (поступающих на вход перехода), а также непропускании на
выход некоторых входных фишек и создании новых выходных фишек. <...> При создании <...>