Алгоритмы моделирования для связанных DEVS - Simulation algorithms for coupled DEVS

Учитывая связанную модель DEVS, алгоритмы моделирования - это методы для создания модели законный поведения, которые представляют собой набор траекторий, по которым они не достигают незаконных состояний. (видеть поведение связанных DEVS модель.) [Zeigler84] первоначально представил алгоритмы, которые обрабатывают временные переменные, связанные с срок жизни ${\displaystyle t_{s}\in [0,\infty ]}$ и пройденное время ${\displaystyle t_{e}\in [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 t\in [0,\infty )}$ обозначает Текущее время. И оставшееся время,

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

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

${\displaystyle \,t_{r}=t_{n}-t,}$

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

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

Алгоритмы

DEVS-координатор Переменные: родитель // родительский координатор ${\displaystyle t_{l}}$: // время последнего события ${\displaystyle t_{n}}$: // время следующего события ${\displaystyle N=(X,Y,D,\{M_{i}\},C_{xx},C_{yx},C_{yy},Select)}$// связанный Связанные DEVS модель при получении сообщения инициализации (Время т)     для каждого ${\displaystyle i\in D}$ отправить сообщение инициализации (т) ребенку ${\displaystyle i}$     ${\displaystyle t_{l}\leftarrow \max\{t_{li}:i\in D\}}$;     ${\displaystyle t_{n}\leftarrow \min\{t_{ni}:i\in D\}}$; при получении звездного сообщения (Время т)     если ${\displaystyle t\neq t_{n}}$ затем ошибка: плохая синхронизация; ${\displaystyle i^{*}\leftarrow Select(\{i\in D:t_{ni}=t_{n}\});}$     отправить звездочку (т)к ${\displaystyle i^{*}}$     ${\displaystyle t_{l}\leftarrow \max\{t_{li}:i\in D\}}$;     ${\displaystyle t_{n}\leftarrow \min\{t_{ni}:i\in D\}}$; при получении x-сообщения (${\displaystyle x\in X}$, Время т)     если ${\displaystyle (t_{l}\leq t}$ и ${\displaystyle t\leq t_{n})}$ == false тогда ошибка: плохая синхронизация; для каждого ${\displaystyle (x,x_{i})\in C_{xx}}$ отправить x-сообщение (${\displaystyle x_{i}}$,т) ребенку ${\displaystyle i}$     ${\displaystyle t_{l}\leftarrow \max\{t_{li}:i\in D\}}$;     ${\displaystyle t_{n}\leftarrow \min\{t_{ni}:i\in D\}}$; при получении y-сообщения (${\displaystyle y_{i}\in Y_{i}}$, Время т)     для каждого ${\displaystyle (y_{i},x_{i})\in C_{yx}}$ отправить x-сообщение (${\displaystyle x_{i}}$,т) ребенку ${\displaystyle i}$     если ${\displaystyle C_{yy}(y_{i})\neq \phi }$ затем отправьте y-сообщение (${\displaystyle C_{yy}(y_{i})}$, т) родителю; ${\displaystyle t_{l}\leftarrow \max\{t_{li}:i\in D\}}$;     ${\displaystyle t_{n}\leftarrow \min\{t_{ni}:i\in D\}}$;

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

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

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

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