Моделирование подсистемы загрузки данных наземной системы контроля авиационных радиолокационных комплексов с использованием аппарата сетей Петри
Обсуждаются вопросы моделирования подсистемы загрузки данных наземной системы контроля для авиационных радиолокационных комплексов с использованием сетей Петри. С использованием результатов моделирования производится выбор аппаратных средств системы контроля.
Авторы
Тэги
Тематические рубрики
Предметные рубрики
В этом же номере:
Резюме по документу**
В. И. Волчихин, Д. В. Пащенко, Д. А. Трокоз
МОДЕЛИРОВАНИЕ ПОДСИСТЕМЫ ЗАГРУЗКИ ДАННЫХ
НАЗЕМНОЙ СИСТЕМЫ КОНТРОЛЯ АВИАЦИОННЫХ
РАДИОЛОКАЦИОННЫХ КОМПЛЕКСОВ
С ИСПОЛЬЗОВАНИЕМ АППАРАТА СЕТЕЙ ПЕТРИ
Аннотация. <...> Обсуждаются вопросы моделирования подсистемы загрузки данных
наземной системы контроля для авиационных радиолокационных комплексов
с использованием сетей Петри. <...> При построении однопоточной модели на сетях Петри позиции будут
выступать в роли элементов хранения данных, которые представлены фишками,
а переходы – в роли процессов или действий, осуществляемых над данными
(фишками). <...> При этом каждая фишка будет относиться к определенному
множеству цветов – типу данных. <...> Обработка данных в модели происходит при переходе, т.е. перемещении
фишки из одной позиции в другую. <...> Поволжский регион
входных фишек (поступающих на вход перехода), а также непропускании на
выход некоторых входных фишек и создании новых выходных фишек. <...> При этом каждый тип данных, который участвует
в многопоточной обработке, будет преобразован в следующую структуру:
colset TYPE_T = record thread:Thread*data:TYPE,
где TYPE – базовый тип данных, который будет участвовать в многопоточной
обработке; Thread – поток, который производит обработку данных. <...> Для построения модели с многопоточной
обработкой требуется ввод в модель критической секции – участка
сети Петри, в котором единовременно может находиться лишь один поток
(в общем случае ограниченное количество потоков). <...> Для реализации критической секции вводятся две позиции:
– Free (критическая секция свободна);
– Take (критическая секция занята). <...> Число фишек типа Mark в позиции Free в начальной расстановке фишек
указывает на число критических ресурсов, т.е. число потоков, которые могут
единовременно находиться в критической секции. <...> Пока в позиции Free есть
фишки, в критическую секцию могут поступать потоки. <...> При поступлении
очередного потока в критическую секцию одна фишка Mark переходит из
позиции Free в позицию Take. <...> т <...>
** - вычисляется автоматически, возможны погрешности
Похожие документы: