Алгоритмы моделирования атомарных DEVS - Википедия - Simulation algorithms for atomic DEVS

Учитывая атомные DEVS модели, алгоритмы симуляции - это методы для создания законного поведения модели, которое представляет собой траектории, по которым нельзя достичь незаконных состояний. (видеть Поведение DEVS ). [Zeigler84] первоначально представил алгоритмы, которые обрабатывают временные переменные, связанные с срок жизни и пройденное время введя две другие временные переменные, время последнего события, , и время следующего мероприятия со следующими отношениями:

и

куда обозначает Текущее время. И оставшееся время,

эквивалентно вычисляется как

, по-видимому .

Поскольку поведение данной атомарной модели DEVS может быть определено в двух разных представлениях в зависимости от общего состояния и функции внешнего перехода (см. Поведение DEVS ), алгоритмы моделирования также представлены в двух различных представлениях, как показано ниже.

Общие части

Независимо от двух различных представлений общих состояний, алгоритмы для случаев инициализации и внутреннего перехода обычно определяются следующим образом.

Переменные DEVS-симулятора: родитель // родительский координатор      // время последнего события      // время следующего события // связанный Атомные DEVS модель при получении сообщения инициализации (Время )            при получении звездного сообщения (Время )     если  затем ошибка: плохая синхронизация;      отправить y-сообщение () родителю;           

Представление 1: общее количество состояний = состояния * прошедшее время

Как указано в Поведение атомных DEVS, когда DEVS получает событие ввода, правый вызов , время последнего события, устанавливается по текущему времени,, таким образом, прошедшее время становится нулевым, потому что .

  при получении x-сообщения (, Время )     если  и  == false тогда ошибка: плохая синхронизация;           

Представление 2: общее количество состояний = состояния * продолжительность жизни * затраченное время

Обратите внимание, что, как указано в Поведение атомных DEVS, в зависимости от значения вернуться , время последнего события,, и время следующего события,, следовательно, прошедшее время, , и продолжительность жизни, обновляются (если ) или сохранены (если ).

  при получении x-сообщения (, Время )     если  и  == false тогда ошибка: плохая синхронизация;      если  тогда         

Смотрите также

Рекомендации

  • [Zeigler84] Бернард Зейглер (1984). Многогранное моделирование и симуляция дискретных событий. Academic Press, Лондон; Орландо. ISBN  978-0-12-778450-2.
  • [ZKP00] Бернар Зейглер; Тэг Гон Ким; Герберт Прахофер (2000). Теория моделирования и моделирования (второе изд.). Academic Press, Нью-Йорк. ISBN  978-0-12-778455-7.