Моделирование подсистемы загрузки данных наземной системы контроля авиационных радиолокационных комплексов с использованием аппарата сетей Петри

загрузка данных авиационные комплексы радиолокационные комплексы радиолокационное наведение радиолокационный дозор сети Петри Петри сети системы контроля наземные системы контроля радиотехнические комплексы экспертные системы

О формировании шероховатости поверхности на труднодоступных участках профиля детали при объемной центробежной обработке гранулированными средами, Оперативный дистанционный мониторинг в системе городского теплоснабжения на основе беспроводных сенсорных сетей, ...

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

• Похожие документы из РУАЭСТ
• |
• Похожие документы из Руконт