Белгіленген уақыт жүйесі - Timed event system

Бұл мақалада бірнеше мәселе бар. Өтінемін көмектесіңіз оны жақсарту немесе осы мәселелерді талқылау талқылау беті. (Бұл шаблон хабарламаларын қалай және қашан жою керектігін біліп алыңыз) Бұл мақалаға үлкен үлес қосқан тығыз байланыс оның тақырыбымен. Бұл Уикипедияның мазмұн саясатына сәйкес тазалауды талап етуі мүмкін, әсіресе бейтарап көзқарас. Келесіде талқылаңыз талқылау беті. (Қараша 2012) (Бұл шаблон хабарламасын қалай және қашан жою керектігін біліп алыңыз) Осы мақаланың тақырыбы Уикипедияға сәйкес келмеуі мүмкін жалпы ескерту нұсқаулығы. Анықтамалықты анықтауға көмектесуіңізді өтінемін сенімді екінші көздер бұл тәуелсіз Тақырыптың мазмұны және оны елеусіз еске түсіруден басқа маңызды қамту. Егер жарамсыздықты анықтау мүмкін болмаса, мақала болуы мүмкін біріктірілген, қайта бағытталды, немесе жойылды. Дереккөздерді табу: «Уақытша іс-шаралар жүйесі»  – жаңалықтар  · газеттер  · кітаптар  · ғалым  · JSTOR (Қараша 2012) (Бұл шаблон хабарламасын қалай және қашан жою керектігін біліп алыңыз) Бұл мақала тым көп сүйенеді сілтемелер дейін бастапқы көздер. Мұны қосу арқылы жақсартыңыз екінші немесе үшінші реттік көздер. (Қараша 2012) (Бұл шаблон хабарламасын қалай және қашан жою керектігін біліп алыңыз) (Бұл шаблон хабарламасын қалай және қашан жою керектігін біліп алыңыз)

Жалпы жүйе сипатталған [Zeigler76] және [ZPK00] (1) уақыт базасын, (2) рұқсат етілген кіріс сегменттерін, (3) жүйе күйлерін, (4) рұқсат етілген кіріс сегментімен күй траекториясын, (5) берілген күй үшін шығуды анықтау үшін тірек нүктелерімен.

Ағымға байланысты күй траекториясын анықтайтын уақтылы оқиға жүйесі іс-шаралар сегменттері ондағы детерминистік емес мінез-құлыққа мүмкіндік беру үшін Жалпы Жүйе класынан шыққан [Hwang2012]. Бастап DEVS әрекеттері Timed Event System арқылы сипатталуы мүмкін, DEVS және РТДЕВС Уақытша Оқиға Жүйесінің қосалқы немесе баламалы класы болып табылады.

Хронометраждық жүйелер

Уақытылы оқиғалар жүйесі - бұл құрылым

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

қайда

• ${displaystyle, Z}$ болып табылады іс-шаралар жиынтығы;
• ${displaystyle, Q}$ болып табылады мемлекеттер жиынтығы;
• ${displaystyle, Q_ {0} ішкі топша Q}$ болып табылады бастапқы күйлер жиынтығы;
• ${displaystyle Q_ {A} ішкі топша Q}$ болып табылады қабылдау күйлерінің жиынтығы;
• ${displaystyle Delta subeteq O imga Omega _ {Z, [t_ {l}, t_ {u}]} imes Q}$ болып табылады күй траекторияларының жиынтығы онда ${displaystyle (q, omega, q ') Delta}$ күйін көрсетеді ${displaystyle qin Q}$ болып өзгеруі мүмкін ${displaystyle q'in Q}$ бірге оқиға сегменті ${displaystyle omega in Omega _ {Z, [t_ {l}, t_ {u}]}}$. Егер екі мемлекеттік траектория болса ${displaystyle (q_ {1}, omega _ {1}, q_ {2})}$ және ${Displaystyle (q_ {3}, omega _ {2}, q_ {4}) Delta}$ егер шектес деп аталады ${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 ') Delta}$.

Уақытты белгілеу жүйесінің мінез-құлқы мен тілдері

Уақытылы іс-шаралар жүйесі берілген ${displaystyle {mathcal {G}} = }$, оның мінез-құлық жиынтығы оның деп аталады тіл бақылау уақытының ұзақтығына байланысты. Келіңіздер ${displaystyle t}$ бақылау уақытының ұзақтығы ${displaystyle 0leq t$, ${displaystyle t}$- ұзындықты бақылау тілі${displaystyle {mathcal {G}}}$ деп белгіленеді ${displaystyle L ({mathcal {G}}, t)}$, және ретінде анықталады

${displaystyle L ({mathcal {G}}, t) = {omega in Omega _ {Z, [0, t]}: бар (q_ {0}, omega, q) Дельтада, q_ {0} - Q_ { 0}, Qin Q_ {A}}.}$

Біз оқиға сегменті деп атаймыз ${displaystyle omega in Omega _ {Z, [0, t]}}$ а ${displaystyle t}$-қызметінің ұзындығы ${displaystyle {mathcal {G}}}$, егер ${displaystyle omega in L ({mathcal {G}}, t)}$.

Бақылау уақытының ұзақтығын жіберу арқылы ${displaystyle t}$ шексіздікке дейін, біз анықтаймыз шексіз ұзындықты бақылау тілі ${displaystyle {mathcal {G}}}$деп белгіленеді ${displaystyle L ({mathcal {G}}, шамалы)}$, және ретінде анықталады

${displaystyle L ({mathcal {G}}, ақылды) = {omega in {underset {tightarrow infty} {lim}} Omega _ {Z, [0, t]}: бар {q: (q_ {0}, omega) , q) Дельтада, q_ {0} Q_ {0}} кіші Q_ {A}}}}.}$

Біз оқиға сегменті деп атаймыз ${displaystyle omega in {underset {tightarrow infty} {lim}} Omega _ {Z, [0, t]}}$ шексіз жүріс-тұрысы ${displaystyle {mathcal {G}}}$, егер ${displaystyle omega in L ({mathcal {G}}, епті)}$.

Сондай-ақ қараңыз

Мемлекеттік өтпелі жүйе

Пайдаланылған әдебиеттер

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