Система синхронизированных событий - Timed event system

Эта статья поднимает множество проблем. Пожалуйста помоги Улучши это или обсудите эти вопросы на страница обсуждения. (Узнайте, как и когда удалить эти сообщения-шаблоны) Похоже, что один из основных авторов этой статьи тесная связь со своим предметом. Может потребоваться очистка для соответствия политике содержания Википедии, в частности нейтральная точка зрения. Пожалуйста, обсудите подробнее страница обсуждения. (Ноябрь 2012 г.) (Узнайте, как и когда удалить этот шаблон сообщения) Тема этой статьи может не соответствовать Википедии общее руководство по известности. Пожалуйста, помогите установить известность, указав надежные вторичные источники которые независимый темы и предоставить подробное ее освещение, помимо банального упоминания. Если известность не может быть установлена, статья, вероятно, будет слился, перенаправлен, или же удалено. Найдите источники: «Система синхронизированных событий»  – Новости  · газеты  · книги  · ученый  · JSTOR (Ноябрь 2012 г.) (Узнайте, как и когда удалить этот шаблон сообщения) Эта статья слишком полагается на Рекомендации к основные источники. Пожалуйста, улучшите это, добавив вторичные или третичные источники. (Ноябрь 2012 г.) (Узнайте, как и когда удалить этот шаблон сообщения) (Узнайте, как и когда удалить этот шаблон сообщения)

Общая система описана в [Zeigler76] и [ZPK00] с точками стенда для определения (1) временной базы, (2) допустимых входных сегментов, (3) состояний системы, (4) траектории состояния с допустимым входным сегментом, (5) выхода для данного состояния.

Система синхронизированных событий, определяющая траекторию состояния, связанную с текущим и сегменты событий пришел из класса General System, чтобы допускать недетерминированное поведение в нем [Hwang2012]. С поведение DEVS может быть описан Системой синхронизированных событий, DEVS и RTDEVS является подклассом или эквивалентным классом Системы событий по времени.

Системы синхронных событий

Система синхронизированных событий - это структура

${displaystyle {mathcal {G}} = }$

куда

• ${displaystyle, Z}$ является набор событий;
• ${displaystyle, Q}$ является набор состояний;
• ${displaystyle, Q_ {0} subteq Q}$ является набор начальных состояний;
• ${displaystyle Q_ {A} subteq Q}$ является набор принимающих состояний;
• ${displaystyle Delta Subteq Q imes Omega _ {Z, [t_ {l}, t_ {u}]} imes Q}$ является множество траекторий состояний в котором ${displaystyle (q, omega, q ') в дельте}$ указывает, что состояние ${displaystyle qin Q}$ может превратиться в ${displaystyle q'in Q}$ вместе с сегмент события ${displaystyle omega в Omega _ {Z, [t_ {l}, t_ {u}]}}$. Если две траектории состояний ${displaystyle (q_ {1}, omega _ {1}, q_ {2})}$ и ${displaystyle (q_ {3}, omega _ {2}, q_ {4}) в дельте}$ называются смежными, если ${displaystyle q_ {2} = q_ {3}}$, и две траектории событий ${displaystyle omega _ {1}}$ и ${displaystyle omega _ {2}}$ смежные. Две траектории смежных состояний ${displaystyle (q, omega _ {1}, p)}$ и ${displaystyle (p, omega _ {2}, q ') в дельте}$ подразумевает ${displaystyle (q, omega _ {1} omega _ {2}, q ') в дельте}$.

Поведение и языки системы временных событий

Учитывая систему синхронизированных событий ${displaystyle {mathcal {G}} = }$, набор его поведения называется его язык в зависимости от продолжительности наблюдения. Позволять ${displaystyle t}$ быть длительностью наблюдения. ${displaystyle 0leq t$, ${displaystyle t}$язык наблюдения${displaystyle {mathcal {G}}}$ обозначается ${displaystyle L ({mathcal {G}}, t)}$, и определяется как

${displaystyle L ({mathcal {G}}, t) = {omega в Omega _ {Z, [0, t]}: существует (q_ {0}, omega, q) в Delta, q_ {0} в Q_ { 0}, qin Q_ {A}}.}$

Мы называем сегмент события ${displaystyle omega в Omega _ {Z, [0, t]}}$ а ${displaystyle t}$-длительное поведение ${displaystyle {mathcal {G}}}$, если ${displaystyle omega в L ({mathcal {G}}, t)}$.

Отправив продолжительность наблюдения ${displaystyle t}$ до бесконечности, определим язык наблюдения бесконечной длины ${displaystyle {mathcal {G}}}$обозначается ${displaystyle L ({mathcal {G}}, infty)}$, и определяется как

${displaystyle L ({mathcal {G}}, infty) = {omega in {underset {tightarrow infty} {lim}} Omega _ {Z, [0, t]}: существует {q: (q_ {0}, omega , q) в дельте, q_ {0} в Q_ {0}} подэтапе Q_ {A}}.}$

Мы называем сегмент события ${displaystyle omega в {underset {tightarrow infty} {lim}} Omega _ {Z, [0, t]}}$ бесконечное поведение ${displaystyle {mathcal {G}}}$, если ${displaystyle omega в L ({mathcal {G}}, infty)}$.

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

Система перехода состояний

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

• [Zeigler76] Бернард Зейглер (1976). Теория моделирования и моделирования (первое изд.). Wiley Interscience, Нью-Йорк.
• [ZKP00] Бернар Зейглер; Тэг Гон Ким; Герберт Прахофер (2000). Теория моделирования и моделирования (второе изд.). Academic Press, Нью-Йорк. ISBN  978-0-12-778455-7.
• [Hwang2012] Мун Х. Хван. «Качественная проверка конечных сетей DEVS в реальном времени». Труды 2012 TMS / DEVS. Орландо, Флорида, США. С. 43: 1–43: 8. ISBN  978-1-61839-786-7.