Вестник Кольского научного центра РАН. 2016, №3.

А. Я. Фридман Все элементы МС упорядочены по возрастанию значения ty. Если какой-либо i-й процесс остановлен (хотя бы даже для обслуживания его МУИ в моменты активизации), то время последующей его активизации в МС бесконечно велико (ty = да) и соответствующий ему элемент находится в конце этого массива. Определено понятие “конфликтная ситуация в системе дискретных событий” : несколько событий Су в различных процессах происходят одновременно и требуют немедленного обслуживания со стороны МУИ. Это возможно, например, при наличии в МС нескольких элементов с одним и тем же значением Ц. Учет конфликтных ситуаций производится с помощью списка одновременно активизируемых процессов (САП). В САП заносятся номера всех процессов, которые необходимо активизировать в одно и то же модельное время t0. Запись номеров процессов i в САП и выбор их из этого списка МУИ осуществляет согласно приоритетам процессов я Обслуживание МУИ очередного элемента САП состоит в передаче управления на выполнение алгоритма АЛу i-го процесса. Выполнение этого алгоритма продолжается до появления в нем очередного оператора синхронизации процесса WAIT(Tj,). С помощью операторов ожидания типа WAIT( t ,,) имитируется изменение временных координат активностей, входящих в состав i-го процесса. Пусть задано время окончания моделирования Ток, а условие окончания моделирования — достижение модельным временем t0 значения Ток. МУИ обслуживает процессы согласно алгоритму, представленному ниже. Пусть в начальный момент моделирования t 0 = m 0 список активизации процессов пуст и процессам назначены соответственно моменты активизации tn, t21, t3i в МС. Шаг 1. Поскольку САП пуст, то осуществляется процедура смены t 0 , представляющая собой выбор минимального значения из МС (t0 = m in ^ } ) . Шаг 2. Формируется САП следующим образом. Все процессы, у которых tjj < t0, выбираются из МС и заносятся в САП согласно их приоритетам по ТС. Шаг 3. Выбирается первый элемент САП, который необходимо активизировать в момент tij = t0. По ТС определяется адрес a iJ-, и управление от МУИ передается на выполнение алгоритма соответствующей активности. По окончании выполнения алгоритма активности появляется оператор ожидания i-го процесса следующей активизации WAIT^i,). В ходе реализации алгоритма активности АКу происходит вычисление или задание значения Ту для операторов синхронизации процессов. Появления в алгоритме i-го процесса операторов синхронизации WA rr^ i,) возвращают управление МУИ, выполняющему следующие действия: формирование нового элемента МС и занесение его в этот массив согласно значению tij t0+ Ту; модификацию текущего состояния процесса и изменение адреса передачи управления a ij- для очередной активизации процесса i в ТС. Шаг 4. Проверяется, исчерпан ли САП. Если в нем есть еще элементы, то МУИ переходит к шагу 2. Иначе выполняется шаг 5. Шаг 5. Проверяется момент окончания моделирования (t0 > Ток). Если это неравенство не выполняется, то имитация продолжается, начиная с шага 1. В противном случае управление передается программе окончания моделирования. При процессном способе имитации однозначное соответствие между структурой модели и реального объекта облегчает обозрение принятых предположений и упрощений, что важно в задачах моделирования открытых систем, когда в ходе проектирования или исследования объекта в модель приходится вносить частые изменения. Процессный способ имитации обладает хорошими изобразительными возможностями при многоуровневом и модульном подходе к моделированию систем. Эти преимущества возрастают по мере роста размеров модели. Организация имитационного моделирования в ССМ Теперь покажем, какие параметры концептуальной модели предметной области (КМПО) в ССМ используются для создания возможности реализации имитационного режима изучения объекта моделирования. ВЕСТНИК Кольского научного центра РАН 3/2016(26) 133