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

Учитывая атомные DEVS модели, алгоритмы симуляции - это методы для создания законного поведения модели, которое представляет собой траектории, по которым нельзя достичь незаконных состояний. (видеть Поведение DEVS ). [Zeigler84] первоначально представил алгоритмы, которые обрабатывают временные переменные, связанные с срок жизни ${ displaystyle t_ {s} in [0, infty]}$ и пройденное время ${ Displaystyle т_ {е} в [0, infty)}$ введя две другие временные переменные, время последнего события, ${ displaystyle t_ {l} in [0, infty)}$, и время следующего мероприятия ${ displaystyle t_ {n} in [0, infty]}$ со следующими отношениями:

${ displaystyle , t_ {e} = t-t_ {l}}$

и

${ displaystyle , t_ {s} = t_ {n} -t_ {l}}$

куда ${ Displaystyle т в [0, infty)}$ обозначает Текущее время. И оставшееся время,

${ displaystyle , t_ {r} = t_ {s} -t_ {e}}$

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

${ Displaystyle , t_ {r} = t_ {n} -t}$

, по-видимому ${ displaystyle t_ {r} in [0, infty]}$.

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

Общие части

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

Переменные DEVS-симулятора: родитель // родительский координатор ${ displaystyle t_ {l}}$     // время последнего события ${ displaystyle t_ {n}}$     // время следующего события ${ displaystyle A = (X, Y, S, ta,  delta _ {ext},  delta _ {int},  lambda)}$// связанный Атомные DEVS модель при получении сообщения инициализации (Время ${ displaystyle t}$)     ${ displaystyle t_ {l}  leftarrow t;}$     ${ displaystyle t_ {n}  leftarrow t_ {l} + ta (s);}$  при получении звездного сообщения (Время ${ displaystyle t}$)     если ${ displaystyle t  neq t_ {n}}$ затем ошибка: плохая синхронизация; ${ Displaystyle у  leftarrow  lambda (s);}$     отправить y-сообщение (${ displaystyle y, t}$) родителю; ${ displaystyle s  leftarrow  delta _ {int} (s)}$     ${ displaystyle t_ {l}  leftarrow t;}$     ${ displaystyle t_ {n}  leftarrow t_ {l} + ta (s);}$

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

Как указано в Поведение атомных DEVS, когда DEVS получает событие ввода, правый вызов ${ displaystyle delta _ {ext}}$, время последнего события,${ displaystyle t_ {l}}$ устанавливается по текущему времени,${ displaystyle t}$, таким образом, прошедшее время${ displaystyle t_ {e}}$ становится нулевым, потому что ${ displaystyle t_ {e} = t-t_ {l}}$.

  при получении x-сообщения (${ displaystyle x  in X}$, Время ${ displaystyle t}$)     если ${ Displaystyle (т_ {л}  leq т}$ и ${ Displaystyle т  leq t_ {п})}$ == false тогда ошибка: плохая синхронизация; ${ displaystyle s  leftarrow  delta _ {ext} (s, t-t_ {l}, x)}$     ${ displaystyle t_ {l}  leftarrow t;}$     ${ displaystyle t_ {n}  leftarrow t_ {l} + ta (s);}$

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

Обратите внимание, что, как указано в Поведение атомных DEVS, в зависимости от значения ${ displaystyle b}$ вернуться ${ displaystyle delta _ {ext}}$, время последнего события,${ displaystyle t_ {l}}$, и время следующего события,${ displaystyle t_ {n}}$, следовательно, прошедшее время, ${ displaystyle t_ {e}}$, и продолжительность жизни${ displaystyle t_ {n}}$, обновляются (если ${ displaystyle b = 1}$) или сохранены (если ${ displaystyle b = 0}$).

  при получении x-сообщения (${ displaystyle x  in X}$, Время ${ displaystyle t}$)     если ${ Displaystyle (т_ {л}  leq т}$ и ${ Displaystyle т  leq t_ {п})}$ == false тогда ошибка: плохая синхронизация; ${ displaystyle (s, b)  leftarrow  delta _ {ext} (s, t-t_ {l}, x)}$     если ${ displaystyle b = 1}$ тогда ${ displaystyle t_ {l}  leftarrow t;}$        ${ displaystyle t_ {n}  leftarrow t_ {l} + ta (s);}$

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

• Атомные DEVS
• Поведение атомарных DEVS
• Алгоритмы моделирования для связанных DEVS

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

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