snt — simulacnˇ ´ı n astroje a techniky´ · uvod´ devsspojite´diskretn´...
TRANSCRIPT
![Page 1: SNT — Simulacnˇ ´ı n astroje a techniky´ · Uvod´ DEVSSpojite´Diskretn´ ´ıKombinovane´1234Z PravidlaLiteratura Modelovan´ ´ı syst em´ u na po˚ cˇ´ıta cˇ´ıch](https://reader030.vdocuments.mx/reader030/viewer/2022040416/5d0ee0dc88c993a2358bbd23/html5/thumbnails/1.jpg)
Uvod DEVS Spojite Diskretnı Kombinovane 1 2 3 4 Z
SNT — Simulacnı nastroje a techniky
Petr Peringerperinger AT fit.vutbr.cz
Vysoke ucenı technicke v Brne,Fakulta informacnıch technologiı,
Bozetechova 1, 612 66 Brno
(Verze 2019-02)Prelozeno February 7, 2019
SNT — Simulacnı nastroje a techniky 1/254
![Page 2: SNT — Simulacnˇ ´ı n astroje a techniky´ · Uvod´ DEVSSpojite´Diskretn´ ´ıKombinovane´1234Z PravidlaLiteratura Modelovan´ ´ı syst em´ u na po˚ cˇ´ıta cˇ´ıch](https://reader030.vdocuments.mx/reader030/viewer/2022040416/5d0ee0dc88c993a2358bbd23/html5/thumbnails/2.jpg)
Uvod DEVS Spojite Diskretnı Kombinovane 1 2 3 4 Z Pravidla Literatura
Uvod
Text je urcen pro studenty FIT. Obsahuje prehled problematikysimulacnıch nastroju, technik, metod, algoritmu a teoretickych prıstupuvhodny pro studenty magisterskeho studia, kterı zvladli zakladymodelovanı a simulace v bakalarskem predmetu IMS, nektery zvyssıch programovacıch jazyku (C, C++, ...) a majı odpovıdajıcımatematicke znalosti.
Obsah slajdu je velmi strucny, podrobnejsı informace jsou soucastıvykladu. Predpoklada se tez samostatna prace studentu s literaturou.
SNT — Simulacnı nastroje a techniky 2/254
![Page 3: SNT — Simulacnˇ ´ı n astroje a techniky´ · Uvod´ DEVSSpojite´Diskretn´ ´ıKombinovane´1234Z PravidlaLiteratura Modelovan´ ´ı syst em´ u na po˚ cˇ´ıta cˇ´ıch](https://reader030.vdocuments.mx/reader030/viewer/2022040416/5d0ee0dc88c993a2358bbd23/html5/thumbnails/3.jpg)
Uvod DEVS Spojite Diskretnı Kombinovane 1 2 3 4 Z Pravidla Literatura
Pravidla
prednaskykonzultacesamostatna prace — projekt (a ruzne domacı ukoly)
Hodnocenı celkem 100b:30b projektZapocet: alespon polovina z vyse uvedenych bodu70b zkouska (minimum=30b)
SNT — Simulacnı nastroje a techniky 3/254
![Page 4: SNT — Simulacnˇ ´ı n astroje a techniky´ · Uvod´ DEVSSpojite´Diskretn´ ´ıKombinovane´1234Z PravidlaLiteratura Modelovan´ ´ı syst em´ u na po˚ cˇ´ıta cˇ´ıch](https://reader030.vdocuments.mx/reader030/viewer/2022040416/5d0ee0dc88c993a2358bbd23/html5/thumbnails/4.jpg)
Uvod DEVS Spojite Diskretnı Kombinovane 1 2 3 4 Z Pravidla Literatura
Zdroje informacı
LiteraturaWWW odkazyOficialnı stranka:http://www.fit.vutbr.cz/study/courses/SNT/
Aktualnı informace pro studenty:..../SNT/public/
Vlastnı simulacnı experimenty...
SNT — Simulacnı nastroje a techniky 4/254
![Page 5: SNT — Simulacnˇ ´ı n astroje a techniky´ · Uvod´ DEVSSpojite´Diskretn´ ´ıKombinovane´1234Z PravidlaLiteratura Modelovan´ ´ı syst em´ u na po˚ cˇ´ıta cˇ´ıch](https://reader030.vdocuments.mx/reader030/viewer/2022040416/5d0ee0dc88c993a2358bbd23/html5/thumbnails/5.jpg)
Uvod DEVS Spojite Diskretnı Kombinovane 1 2 3 4 Z Pravidla Literatura
Literatura
Cellier F., Kofman E.: Continuous System Simulation, Springer,2006Fishwick P.: Simulation Model Design and Execution: BuildingDigital Worlds, Prentice-Hall, 1995Law A., Kelton D.: Simulation Modelling & Analysis, secondedition, McGraw-Hill, 1991Rabova a kol.: Modelovanı a simulace, skriptum VUT, Brno, 1992Ross S.: Simulation, 3rd edition, Academic Press, 2002Zeigler B., Praehofer H., Kim T.: Theory of Modelling andSimulation, 2nd edition, Academic Press, 2000
SNT — Simulacnı nastroje a techniky 5/254
![Page 6: SNT — Simulacnˇ ´ı n astroje a techniky´ · Uvod´ DEVSSpojite´Diskretn´ ´ıKombinovane´1234Z PravidlaLiteratura Modelovan´ ´ı syst em´ u na po˚ cˇ´ıta cˇ´ıch](https://reader030.vdocuments.mx/reader030/viewer/2022040416/5d0ee0dc88c993a2358bbd23/html5/thumbnails/6.jpg)
Uvod DEVS Spojite Diskretnı Kombinovane 1 2 3 4 Z Pravidla Literatura
Modelovanı systemu na pocıtacıch
Opakovanı – viz materialy k predmetu IMS:
Zakladnı pojmy a principySouvislosti a pouzitıVyhody, problemyAlternativy
SNT:
Teorie systemu — DEVSSimulacnı algoritmy a jejich pouzitıPrehled simulacnıch nastrojuPrıpadove studie
SNT — Simulacnı nastroje a techniky 6/254
![Page 7: SNT — Simulacnˇ ´ı n astroje a techniky´ · Uvod´ DEVSSpojite´Diskretn´ ´ıKombinovane´1234Z PravidlaLiteratura Modelovan´ ´ı syst em´ u na po˚ cˇ´ıta cˇ´ıch](https://reader030.vdocuments.mx/reader030/viewer/2022040416/5d0ee0dc88c993a2358bbd23/html5/thumbnails/7.jpg)
Uvod DEVS Spojite Diskretnı Kombinovane 1 2 3 4 Z Pravidla Literatura
Zakladnı pojmy — opakovanı
System, Model, Modelovanı, SimulacePrincip modelovanı a simulace:Realita→ Znalosti→ Abstraktnı model→ Simulacnı modelExperimentovanı s modelem→ Analyza vysledkuCılem simulace je zıskat nove znalosti o modelovanem systemu.Zakladnı etapy modelovanı a simulace.Klasifikace systemu a modelu.Zakladnı algoritmy: Next-event, numericke integracnı metody,razenı funkcnıch bloku, metoda Monte Carlo, ...
SNT — Simulacnı nastroje a techniky 7/254
![Page 8: SNT — Simulacnˇ ´ı n astroje a techniky´ · Uvod´ DEVSSpojite´Diskretn´ ´ıKombinovane´1234Z PravidlaLiteratura Modelovan´ ´ı syst em´ u na po˚ cˇ´ıta cˇ´ıch](https://reader030.vdocuments.mx/reader030/viewer/2022040416/5d0ee0dc88c993a2358bbd23/html5/thumbnails/8.jpg)
Uvod DEVS Spojite Diskretnı Kombinovane 1 2 3 4 Z System Model DEVS Simulator
Teoreticke zaklady modelovanı
Definice zakladnıch pojmu:Casova mnozina
Realny/fyzikalnı casModelovy casStrojovy cas
System, prvek systemuOkolı systemuChovanı systemuModel systemuSimulatorSimulace
SNT — Simulacnı nastroje a techniky 8/254
![Page 9: SNT — Simulacnˇ ´ı n astroje a techniky´ · Uvod´ DEVSSpojite´Diskretn´ ´ıKombinovane´1234Z PravidlaLiteratura Modelovan´ ´ı syst em´ u na po˚ cˇ´ıta cˇ´ıch](https://reader030.vdocuments.mx/reader030/viewer/2022040416/5d0ee0dc88c993a2358bbd23/html5/thumbnails/9.jpg)
Uvod DEVS Spojite Diskretnı Kombinovane 1 2 3 4 Z System Model DEVS Simulator
Cas – definice
Cas je chapan jako nezavisla velicina
time = (T , <)
kdeT je mnozina< je linearnı usporadanı nad T . To znamena ze pro kazdoudvojici (t , t ′) bud t < t ′ nebo t ′ < t nebo t = t ′.
Relace usporadanı dovoluje pouzıvat termıny jako minulost,budoucnost a prıtomnost.
SNT — Simulacnı nastroje a techniky 9/254
![Page 10: SNT — Simulacnˇ ´ı n astroje a techniky´ · Uvod´ DEVSSpojite´Diskretn´ ´ıKombinovane´1234Z PravidlaLiteratura Modelovan´ ´ı syst em´ u na po˚ cˇ´ıta cˇ´ıch](https://reader030.vdocuments.mx/reader030/viewer/2022040416/5d0ee0dc88c993a2358bbd23/html5/thumbnails/10.jpg)
Uvod DEVS Spojite Diskretnı Kombinovane 1 2 3 4 Z System Model DEVS Simulator
Casove intervaly
(t1, t2) = τ |τ ∈ T , t1 < τ < t2[t1, t2] = τ |τ ∈ T , t1 ≤ τ ≤ t2(t1, t2] = τ |τ ∈ T , t1 < τ ≤ t2Zapis 〈t1, t2〉 znamena libovolny z uvedenych intervalu.Nekdy se pro casove intervaly pouzıva oznacenı T〈t1,t2〉.
Poznamka: Pro ucely modelovanı je mozne omezit casovouzakladnu na podmnozinu realnych cısel R. Tyto casove zakladny majıdefinovanu operaci +, ktera zachovava usporadanı a (T ,+) mavlastnosti abelovske grupy. Casova zakladna R reprezentuje spojitoucasovou zakladnu, vsechny casove zakladny isomorfnı s mnozinoucelych cısel I reprezentujı diskretnı casovou zakladnu.
SNT — Simulacnı nastroje a techniky 10/254
![Page 11: SNT — Simulacnˇ ´ı n astroje a techniky´ · Uvod´ DEVSSpojite´Diskretn´ ´ıKombinovane´1234Z PravidlaLiteratura Modelovan´ ´ı syst em´ u na po˚ cˇ´ıta cˇ´ıch](https://reader030.vdocuments.mx/reader030/viewer/2022040416/5d0ee0dc88c993a2358bbd23/html5/thumbnails/11.jpg)
Uvod DEVS Spojite Diskretnı Kombinovane 1 2 3 4 Z System Model DEVS Simulator
Casove funkce, signaly
Je-li T casova zakladna, potom vsechny funkce
f : T → A
kde A je libovolna mnozina, nazyvame casove funkce nebo signaly.
Hodnotu funkce f v case t oznacıme f (t) prıpadne ft .Restrikci funkce f na mnozinu T ′ ⊂ T definujeme jako funkci f/T ′:
f/T ′ : T ′ → A, f/T ′(t) := f (t)∀t ∈ T ′
ktera je take casovou funkcı.
SNT — Simulacnı nastroje a techniky 11/254
![Page 12: SNT — Simulacnˇ ´ı n astroje a techniky´ · Uvod´ DEVSSpojite´Diskretn´ ´ıKombinovane´1234Z PravidlaLiteratura Modelovan´ ´ı syst em´ u na po˚ cˇ´ıta cˇ´ıch](https://reader030.vdocuments.mx/reader030/viewer/2022040416/5d0ee0dc88c993a2358bbd23/html5/thumbnails/12.jpg)
Uvod DEVS Spojite Diskretnı Kombinovane 1 2 3 4 Z System Model DEVS Simulator
Segmenty
Zvlastnı vyznam majı restrikce nad intervaly.Restrikce f na intervalu 〈t1, t2〉 se nazyva segment nebo trajektorie aobvykle se zapisuje:
ω : 〈t1, t2〉 → A
neboω〈t1,t2〉
Dva segmenty ω1, ω2 jsou sousedıcı (contiguous), kdyz jejich domenyna sebe navazujı.
SNT — Simulacnı nastroje a techniky 12/254
![Page 13: SNT — Simulacnˇ ´ı n astroje a techniky´ · Uvod´ DEVSSpojite´Diskretn´ ´ıKombinovane´1234Z PravidlaLiteratura Modelovan´ ´ı syst em´ u na po˚ cˇ´ıta cˇ´ıch](https://reader030.vdocuments.mx/reader030/viewer/2022040416/5d0ee0dc88c993a2358bbd23/html5/thumbnails/13.jpg)
Uvod DEVS Spojite Diskretnı Kombinovane 1 2 3 4 Z System Model DEVS Simulator
Segmenty — konkatenace
Pro spojite segmenty je definovana operace konkatenace •:
ω1 • ω2 : 〈t1, t3〉 → A
kde ω1 •ω2(t) = ω1(t) pro t ∈ 〈t1, t2〉 a ω1 •ω2(t) = ω2(t) pro t ∈ 〈t2, t3〉.
Mnozina segmentu Ω nad A a T je uzavrena vzhledem ke konkatenacijestlize pro kazdou dvojici ω1, ω2 ∈ Ω take ω1 • ω2 ∈ Ω.
SNT — Simulacnı nastroje a techniky 13/254
![Page 14: SNT — Simulacnˇ ´ı n astroje a techniky´ · Uvod´ DEVSSpojite´Diskretn´ ´ıKombinovane´1234Z PravidlaLiteratura Modelovan´ ´ı syst em´ u na po˚ cˇ´ıta cˇ´ıch](https://reader030.vdocuments.mx/reader030/viewer/2022040416/5d0ee0dc88c993a2358bbd23/html5/thumbnails/14.jpg)
Uvod DEVS Spojite Diskretnı Kombinovane 1 2 3 4 Z System Model DEVS Simulator
Segmentace
Segment ωt〉 nebo ω〈t1,t〉 nazveme levy segment ω.
Poznamka: levy segment = minulost
Mnozina segmentu Ω nad A a T je uzavrena vzhledem k levesegmentaci jestlize pro kazde ω : 〈t1, t2〉 → A ∈ Ω a t ∈ 〈t1, t2〉 takeωt〉 ∈ Ω.Podobne lze definovat pravou segmentaci.
SNT — Simulacnı nastroje a techniky 14/254
![Page 15: SNT — Simulacnˇ ´ı n astroje a techniky´ · Uvod´ DEVSSpojite´Diskretn´ ´ıKombinovane´1234Z PravidlaLiteratura Modelovan´ ´ı syst em´ u na po˚ cˇ´ıta cˇ´ıch](https://reader030.vdocuments.mx/reader030/viewer/2022040416/5d0ee0dc88c993a2358bbd23/html5/thumbnails/15.jpg)
Uvod DEVS Spojite Diskretnı Kombinovane 1 2 3 4 Z System Model DEVS Simulator
Klasifikace segmentu
1 Spojity segment ω : 〈t1, t2〉 → Rn nad spojitou casovou zakladnoumusı byt spojity ve vsech bodech t ∈ (t1, t2)
2 Po castech spojity segment musı byt spojity ve vsech bodech t ,krome konecneho poctu bodu t ′ ∈ 〈t1, t2〉
3 Po castech konstantnı segment je specialnı prıpad po castechspojiteho segmentu.
4 DEVS segment (event segment) ω : 〈t0, tn〉 → A ∪ ∅ je segmentnad spojitou casovou zakladnou a libovolnou mnozinou A ∪ ∅,kde ∅ oznacuje zadnou udalost (non-event), ktera je hodnotousegmentu mezi vyskyty jednotlivych udalostı z mnoziny A vcasech ti , i = 1, . . . ,n − 1.
5 Prazdny segment ω : 〈t1, t1〉 → A oznacujeme symbolem ∅
SNT — Simulacnı nastroje a techniky 15/254
![Page 16: SNT — Simulacnˇ ´ı n astroje a techniky´ · Uvod´ DEVSSpojite´Diskretn´ ´ıKombinovane´1234Z PravidlaLiteratura Modelovan´ ´ı syst em´ u na po˚ cˇ´ıta cˇ´ıch](https://reader030.vdocuments.mx/reader030/viewer/2022040416/5d0ee0dc88c993a2358bbd23/html5/thumbnails/16.jpg)
Uvod DEVS Spojite Diskretnı Kombinovane 1 2 3 4 Z System Model DEVS Simulator
Prıklady segmentu
SNT — Simulacnı nastroje a techniky 16/254
![Page 17: SNT — Simulacnˇ ´ı n astroje a techniky´ · Uvod´ DEVSSpojite´Diskretn´ ´ıKombinovane´1234Z PravidlaLiteratura Modelovan´ ´ı syst em´ u na po˚ cˇ´ıta cˇ´ıch](https://reader030.vdocuments.mx/reader030/viewer/2022040416/5d0ee0dc88c993a2358bbd23/html5/thumbnails/17.jpg)
Uvod DEVS Spojite Diskretnı Kombinovane 1 2 3 4 Z System Model DEVS Simulator
Dynamicky system
Pod pojmem system rozumıme mnozinu prvku, ktere spolu navzajemspolupracujı (komunikujı) tak, aby vyhovovaly nasim pozadavkum avykonavaly specifikovanou cinnost.System muzeme chapat bud jako samostatnou jednotku, ktera nenıovlivnovana z okolı systemu — tzv. uzavreny system, nebo system mavstupy a vystupy a jde o otevreny system.
Poznamka: Hierarchie specifikacı systemu (”blackbox”, modularnısystemy)
SNT — Simulacnı nastroje a techniky 17/254
![Page 18: SNT — Simulacnˇ ´ı n astroje a techniky´ · Uvod´ DEVSSpojite´Diskretn´ ´ıKombinovane´1234Z PravidlaLiteratura Modelovan´ ´ı syst em´ u na po˚ cˇ´ıta cˇ´ıch](https://reader030.vdocuments.mx/reader030/viewer/2022040416/5d0ee0dc88c993a2358bbd23/html5/thumbnails/18.jpg)
Uvod DEVS Spojite Diskretnı Kombinovane 1 2 3 4 Z System Model DEVS Simulator
Obecny dynamicky system
Obecny dynamicky system DS lze definovat jako strukturu:
DS = (T ,X ,Y ,Ω,Q,∆,Λ)
kdeT je casova zakladna,X je mnozina vstupnıch hodnot,Y je mnozina vystupnıch hodnot,Ω je mnozina prıpustnych vstupnıch segmentu ω : 〈t1, t2〉 → X nadT a platı, ze Ω je uzavrena vzhledem ke konkatenaci a levesegmentaci.Q je mnozina stavu systemu,Λ : Q × X → Y je vystupnı funkce
SNT — Simulacnı nastroje a techniky 18/254
![Page 19: SNT — Simulacnˇ ´ı n astroje a techniky´ · Uvod´ DEVSSpojite´Diskretn´ ´ıKombinovane´1234Z PravidlaLiteratura Modelovan´ ´ı syst em´ u na po˚ cˇ´ıta cˇ´ıch](https://reader030.vdocuments.mx/reader030/viewer/2022040416/5d0ee0dc88c993a2358bbd23/html5/thumbnails/19.jpg)
Uvod DEVS Spojite Diskretnı Kombinovane 1 2 3 4 Z System Model DEVS Simulator
∆ : Q × Ω→ Q je globalnı prechodova funkce, ktera musısplnovat nasledujıcı vlastnosti:
Konzistence: ∆(q, ω(t,t〉) = q.Vlastnost pologrupy: ∀ω : 〈t1, t2〉 → X ∈ Ω,t ∈ 〈t1, t2〉 : ∆(q, ω〈t1,t2〉) = ∆(∆(q, ω〈t1,t〉), ω〈t,t2〉).Tato vlastnost zarucuje ze mnozina stavu Q zachycuje veskerouhistorii systemu tak, ze system muze byt prerusen v libovolnemcase a pokracovanı z tohoto casu povede ke stejnemu vysledkujako bez prerusenı.Kauzalita: ∀ω, ω ∈ Ω jestlize platı ∀t ∈ 〈t1, t2〉 : ω(t) = ω(t) potom∆(q, ω〈t1,t2〉) = ∆(q, ω〈t1,t2〉)
Mnozina vstupu X a vystupu Y spolu s mnozinou prıpustnychvstupnıch segmentu Ω definuje vstupnı a vystupnı rozhranı systemu.
SNT — Simulacnı nastroje a techniky 19/254
![Page 20: SNT — Simulacnˇ ´ı n astroje a techniky´ · Uvod´ DEVSSpojite´Diskretn´ ´ıKombinovane´1234Z PravidlaLiteratura Modelovan´ ´ı syst em´ u na po˚ cˇ´ıta cˇ´ıch](https://reader030.vdocuments.mx/reader030/viewer/2022040416/5d0ee0dc88c993a2358bbd23/html5/thumbnails/20.jpg)
Uvod DEVS Spojite Diskretnı Kombinovane 1 2 3 4 Z System Model DEVS Simulator
Okolı systemu
Kazdy otevreny system podle predchazejıcı definice je obklopendalsımi systemy, ktere definujı jeho okolı.Toto okolı poskytuje systemu vstupnı hodnoty a sleduje vystupysystemu.Prakticky vetsinou uvazujeme pouze okolnı systemy pro modelvyznamne a vsechny ostatnı zanedbavame.
SNT — Simulacnı nastroje a techniky 20/254
![Page 21: SNT — Simulacnˇ ´ı n astroje a techniky´ · Uvod´ DEVSSpojite´Diskretn´ ´ıKombinovane´1234Z PravidlaLiteratura Modelovan´ ´ı syst em´ u na po˚ cˇ´ıta cˇ´ıch](https://reader030.vdocuments.mx/reader030/viewer/2022040416/5d0ee0dc88c993a2358bbd23/html5/thumbnails/21.jpg)
Uvod DEVS Spojite Diskretnı Kombinovane 1 2 3 4 Z System Model DEVS Simulator
Podsystemy
Podsystem je system, ktery definuje urcitou cast rozsahlejsıhosystemu.Strukturu slozeneho systemu muzeme popsat grafem (uzly jsouelementarnı podsystemy, hrany predstavujı vzajemne interakce).Hierarchicke podsystemy:
Redukujı celkovou slozitost systemu.Musıme definovat elementarnı uroven popisu.
SNT — Simulacnı nastroje a techniky 21/254
![Page 22: SNT — Simulacnˇ ´ı n astroje a techniky´ · Uvod´ DEVSSpojite´Diskretn´ ´ıKombinovane´1234Z PravidlaLiteratura Modelovan´ ´ı syst em´ u na po˚ cˇ´ıta cˇ´ıch](https://reader030.vdocuments.mx/reader030/viewer/2022040416/5d0ee0dc88c993a2358bbd23/html5/thumbnails/22.jpg)
Uvod DEVS Spojite Diskretnı Kombinovane 1 2 3 4 Z System Model DEVS Simulator
Model dynamickeho systemu
Model je specialnı prıpad systemu, ktery ma presne definovany(homomorfnı) vztah k originalnımu vzorovemu systemu.Existuje zobrazenı (modelovanı), ktere mapuje system na model apritom zachova podstatne vlastnosti systemu. Toto zobrazenı jeobecne nejednoznacne, to znamena, ze jeden system muzememodelovat vıce modely podle ucelu a urovne abstrakce a jedenmodel muze odpovıdat vıce vzorum (to je mozne, protoze modelabstrahuje nektere detaily systemu).Homomorfnı zobrazenı mezi systemem a modelem dovolujezjednodusenı struktury modelu.
SNT — Simulacnı nastroje a techniky 22/254
![Page 23: SNT — Simulacnˇ ´ı n astroje a techniky´ · Uvod´ DEVSSpojite´Diskretn´ ´ıKombinovane´1234Z PravidlaLiteratura Modelovan´ ´ı syst em´ u na po˚ cˇ´ıta cˇ´ıch](https://reader030.vdocuments.mx/reader030/viewer/2022040416/5d0ee0dc88c993a2358bbd23/html5/thumbnails/23.jpg)
Uvod DEVS Spojite Diskretnı Kombinovane 1 2 3 4 Z System Model DEVS Simulator
Strukturovane mnoziny
V definici obecneho dynamickeho systemu nejsou kladena zadnaomezenı na mnoziny vstupu, vystupu a stavu — nemusı to byt jencısla.Pro simulacnı modelovanı budeme pouzıvat strukturovane mnoziny,definovane takto:
S = (V ,S1 × S2 × . . .× Sn)
kde V je usporadana mnozina n promennych a kartezsky soucinmnozin S1, . . . ,Sn definuje n-tice, ve kterych kazdy prvek odpovıdahodnote promenne z mnoziny V .
SNT — Simulacnı nastroje a techniky 23/254
![Page 24: SNT — Simulacnˇ ´ı n astroje a techniky´ · Uvod´ DEVSSpojite´Diskretn´ ´ıKombinovane´1234Z PravidlaLiteratura Modelovan´ ´ı syst em´ u na po˚ cˇ´ıta cˇ´ıch](https://reader030.vdocuments.mx/reader030/viewer/2022040416/5d0ee0dc88c993a2358bbd23/html5/thumbnails/24.jpg)
Uvod DEVS Spojite Diskretnı Kombinovane 1 2 3 4 Z System Model DEVS Simulator
Strukturovane mnoziny
Pro zjednodusenı zapisu budeme strukturovane mnoziny zapisovat:
S = (v1, v2, . . . , vn)|v1 ∈ S1, . . . , vn ∈ Sn
Prvky v1, v2, . . . , vn jsou promenne nebo porty v zavislosti na pouzitemnozine:
pro vstupnı a vystupnı mnoziny pouzijeme termın port,u mnoziny stavu pouzijeme termın stavova promenna.
Pouzıvame operace variables(s) = (v1, v2, . . . , vn) pro zıskanı mnozinypromennych a operaci rangevi (S) = Si , pro zıskanı rozsahu promennevi .
SNT — Simulacnı nastroje a techniky 24/254
![Page 25: SNT — Simulacnˇ ´ı n astroje a techniky´ · Uvod´ DEVSSpojite´Diskretn´ ´ıKombinovane´1234Z PravidlaLiteratura Modelovan´ ´ı syst em´ u na po˚ cˇ´ıta cˇ´ıch](https://reader030.vdocuments.mx/reader030/viewer/2022040416/5d0ee0dc88c993a2358bbd23/html5/thumbnails/25.jpg)
Uvod DEVS Spojite Diskretnı Kombinovane 1 2 3 4 Z System Model DEVS Simulator
Strukturovane mnoziny — projekce
Dale definujeme operaci projekce, ktera zprıstupnı zadanou souradnicive strukturovane mnozine
S = (v1, v2, . . . , vn)|v1 ∈ S1, . . . , vn ∈ Sn
s prvkem s = (s1, . . . , sn):
. : S × V →n⋃
i=1
Si
s.vi := si
Poznamka: Funkce f : A→ B, jejız domena A a rozsah hodnot Bjsou strukturovane mnoziny, se nazyva strukturovana funkce. Stejnejako pro strukturovane mnoziny definujeme projekci i pro strukturovanefunkce.
SNT — Simulacnı nastroje a techniky 25/254
![Page 26: SNT — Simulacnˇ ´ı n astroje a techniky´ · Uvod´ DEVSSpojite´Diskretn´ ´ıKombinovane´1234Z PravidlaLiteratura Modelovan´ ´ı syst em´ u na po˚ cˇ´ıta cˇ´ıch](https://reader030.vdocuments.mx/reader030/viewer/2022040416/5d0ee0dc88c993a2358bbd23/html5/thumbnails/26.jpg)
Uvod DEVS Spojite Diskretnı Kombinovane 1 2 3 4 Z System Model DEVS Simulator
DEVS formalismus
DEVS (Discrete EVent specified System) [Zeigler]Byl rozsıren o moznost popisovat dalsı kategorie systemu:
DEVS – popisuje jen diskretnı systemyDTSS (Discrete Time Specified System) – popis systemus diskretnım casemDESS (Differential Equation Specified System) – popisuje spojitesystemyDEVS&DESS – kombinovane systemyModularnı DEVS – skladanı z komponentParallel DEVS – varianta vhodna pro paralelnı implementaciruzna specialnı rozsırenı: Fuzzy-DEVS, Real-Time DEVS,Dynamic Structure DEVS, Cell-DEVS
SNT — Simulacnı nastroje a techniky 26/254
![Page 27: SNT — Simulacnˇ ´ı n astroje a techniky´ · Uvod´ DEVSSpojite´Diskretn´ ´ıKombinovane´1234Z PravidlaLiteratura Modelovan´ ´ı syst em´ u na po˚ cˇ´ıta cˇ´ıch](https://reader030.vdocuments.mx/reader030/viewer/2022040416/5d0ee0dc88c993a2358bbd23/html5/thumbnails/27.jpg)
Uvod DEVS Spojite Diskretnı Kombinovane 1 2 3 4 Z System Model DEVS Simulator
DEVS formalismus
DEVS formalismus rozlisuje atomicke a slozene modely. AtomickyDEVS je modularnı jednotka s rozhranım tvorenym vstupnımi avystupnımi porty.Chovanı je popsano udalostmi, ktere nastavajı v case. DEVSreaguje na externı vstupnı udalosti externı prechodovou funkcı ana internı (casove planovane) udalosti reaguje internıprechodovou funkcı.Planovanı internıch udalostı je provadeno funkcı posuvu casu(Time advance function), ktera definuje cas zbyvajıcı do dalsıinternı udalosti.
SNT — Simulacnı nastroje a techniky 27/254
![Page 28: SNT — Simulacnˇ ´ı n astroje a techniky´ · Uvod´ DEVSSpojite´Diskretn´ ´ıKombinovane´1234Z PravidlaLiteratura Modelovan´ ´ı syst em´ u na po˚ cˇ´ıta cˇ´ıch](https://reader030.vdocuments.mx/reader030/viewer/2022040416/5d0ee0dc88c993a2358bbd23/html5/thumbnails/28.jpg)
Uvod DEVS Spojite Diskretnı Kombinovane 1 2 3 4 Z System Model DEVS Simulator
definice DEVS formalismu
DEVS = (X ,Y ,S, δext , δint , λ, ta)
kde
X = (x1, x2, . . . , xm)|x1 ∈ X1, x2 ∈ X2, . . . , xm ∈ Xm je mnozinavstupuY = (y1, y2, . . . , yp)|y1 ∈ Y1, y2 ∈ Y2, . . . , yp ∈ Yp je mnozinavystupuS = (s1, s2, . . . , sn)|s1 ∈ S1, s2 ∈ S2, . . . , sn ∈ Sn je mnozinastavu,δext : Q × X → S je externı prechodova funkce kdeQ = (s,e) : s ∈ S,0 ≤ e ≤ ta(s) je mnozina totalnıch stavu,δint : S → S je internı prechodova funkce,
SNT — Simulacnı nastroje a techniky 28/254
![Page 29: SNT — Simulacnˇ ´ı n astroje a techniky´ · Uvod´ DEVSSpojite´Diskretn´ ´ıKombinovane´1234Z PravidlaLiteratura Modelovan´ ´ı syst em´ u na po˚ cˇ´ıta cˇ´ıch](https://reader030.vdocuments.mx/reader030/viewer/2022040416/5d0ee0dc88c993a2358bbd23/html5/thumbnails/29.jpg)
Uvod DEVS Spojite Diskretnı Kombinovane 1 2 3 4 Z System Model DEVS Simulator
Definice DEVS formalismu – pokracovanı
λ : S → Y je vystupnı funkceta : S → R+
0 ∪ ∞ je funkce posunu casu udavajıcı cas zbyvajıcıdo vyskytu nasledujıcı planovane udalosti.
Takto definovany system implicitne omezuje prvky odpovıdajıcıhodynamickeho systemu:
SNT — Simulacnı nastroje a techniky 29/254
![Page 30: SNT — Simulacnˇ ´ı n astroje a techniky´ · Uvod´ DEVSSpojite´Diskretn´ ´ıKombinovane´1234Z PravidlaLiteratura Modelovan´ ´ı syst em´ u na po˚ cˇ´ıta cˇ´ıch](https://reader030.vdocuments.mx/reader030/viewer/2022040416/5d0ee0dc88c993a2358bbd23/html5/thumbnails/30.jpg)
Uvod DEVS Spojite Diskretnı Kombinovane 1 2 3 4 Z System Model DEVS Simulator
Definice DEVS formalismu – pokracovanı
Casova zakladna T musı byt mnozina realnych cısel R;X , Y , S mohou byt libovolne mnoziny.X ∅ = X ∪ ∅ (vstupnı mnozina dynamickeho systemu) je vstupnımnozinou DEVS sjednocenou se symbolem ∅ 6∈ X , kteryreprezentuje zadnou udalost (non-event).Y ∅ = Y ∪ ∅ je vystupnı mnozina dynamickeho systemu.Mnozina stavu Q je stavovou mnozinou dynamickeho systemu.Mnozina Ω prıpustnych vstupnıch segmentu je mnozina vsechDEVS segmentu nad X a T .Stavove trajektorie jsou po castech konstantnı segmenty nad S aT .Vystupnı trajektorie jsou DEVS segmenty nad Y a T .
SNT — Simulacnı nastroje a techniky 30/254
![Page 31: SNT — Simulacnˇ ´ı n astroje a techniky´ · Uvod´ DEVSSpojite´Diskretn´ ´ıKombinovane´1234Z PravidlaLiteratura Modelovan´ ´ı syst em´ u na po˚ cˇ´ıta cˇ´ıch](https://reader030.vdocuments.mx/reader030/viewer/2022040416/5d0ee0dc88c993a2358bbd23/html5/thumbnails/31.jpg)
Uvod DEVS Spojite Diskretnı Kombinovane 1 2 3 4 Z System Model DEVS Simulator
Hierarchicky model — slozeny DEVS
Slozeny DEVS (DEVN) je definovan takto:
N = (X ,Y ,D, Md, Id, Zi,d,Select)
kde
X je mnozina vstupnıch udalostı,Y je mnozina vystupnıch udalostı,D je mnozina odkazu na DEVS komponenty,pro kazde d ∈ D platı, ze Md je odpovıdajıcı DEVS modelpro kazde d ∈ D ∪ N je Id mnozina ”influencer” = mnozinakomponent, jejichz vystup ovlivnuje d : Id ⊆ D ∪ N, d 6∈ Id
SNT — Simulacnı nastroje a techniky 31/254
![Page 32: SNT — Simulacnˇ ´ı n astroje a techniky´ · Uvod´ DEVSSpojite´Diskretn´ ´ıKombinovane´1234Z PravidlaLiteratura Modelovan´ ´ı syst em´ u na po˚ cˇ´ıta cˇ´ıch](https://reader030.vdocuments.mx/reader030/viewer/2022040416/5d0ee0dc88c993a2358bbd23/html5/thumbnails/32.jpg)
Uvod DEVS Spojite Diskretnı Kombinovane 1 2 3 4 Z System Model DEVS Simulator
DEVN
pro kazde i ∈ Id je Zi,d funkce popisujıcı propojenı komponent(transformaci udalostı):Zi,d : X → Xd pro i = NZi,d : Yi → Y pro d = NZi,d : Yi → Xd pro d 6= N a i 6= NSelect : 2D → D je funkce (tie-breaking function) pro rozhodovanıv prıpade vyskytu vıce udalostı soucasne.
Poznamka: Mnozina DEVS systemu je uzavrena vzhledemk operaci skladanı, tj. kazdy slozeny system je soucasne DEVS. Tatovlastnost je podstatna pro vytvarenı hierarchickych systemu a bylaformalne dokazana. Podobnym zpusobem lze definovat ostatnıstrukturovane systemy s jinym chovanım a jejich kombinace.
SNT — Simulacnı nastroje a techniky 32/254
![Page 33: SNT — Simulacnˇ ´ı n astroje a techniky´ · Uvod´ DEVSSpojite´Diskretn´ ´ıKombinovane´1234Z PravidlaLiteratura Modelovan´ ´ı syst em´ u na po˚ cˇ´ıta cˇ´ıch](https://reader030.vdocuments.mx/reader030/viewer/2022040416/5d0ee0dc88c993a2358bbd23/html5/thumbnails/33.jpg)
Uvod DEVS Spojite Diskretnı Kombinovane 1 2 3 4 Z System Model DEVS Simulator
Hierarchicky model
SNT — Simulacnı nastroje a techniky 33/254
![Page 34: SNT — Simulacnˇ ´ı n astroje a techniky´ · Uvod´ DEVSSpojite´Diskretn´ ´ıKombinovane´1234Z PravidlaLiteratura Modelovan´ ´ı syst em´ u na po˚ cˇ´ıta cˇ´ıch](https://reader030.vdocuments.mx/reader030/viewer/2022040416/5d0ee0dc88c993a2358bbd23/html5/thumbnails/34.jpg)
Uvod DEVS Spojite Diskretnı Kombinovane 1 2 3 4 Z System Model DEVS Simulator
System popsany diferencialnımi rovnicemi
Atomicky system popsatelny diferencialnımi rovnicemi (DifferentialEquation Specified System, DESS) je struktura:
DESS = (X ,Y ,S, f , λ)
kdeX je mnozina vstupu,Y je mnozina vystupu,S je mnozina stavu,f : S × X → S je funkce udavajıcı rychlost zmeny stavu,λ : S → Y nebo λ : S × X → Y je vystupnı funkce Moorova resp.Mealyho typu.
SNT — Simulacnı nastroje a techniky 34/254
![Page 35: SNT — Simulacnˇ ´ı n astroje a techniky´ · Uvod´ DEVSSpojite´Diskretn´ ´ıKombinovane´1234Z PravidlaLiteratura Modelovan´ ´ı syst em´ u na po˚ cˇ´ıta cˇ´ıch](https://reader030.vdocuments.mx/reader030/viewer/2022040416/5d0ee0dc88c993a2358bbd23/html5/thumbnails/35.jpg)
Uvod DEVS Spojite Diskretnı Kombinovane 1 2 3 4 Z System Model DEVS Simulator
DESS
Tento system vyzaduje nasledujıcı omezenı vlastnostı mnozinobecneho dynamickeho systemu:
casova zakladna T musı byt mnozina realnych cısel R,X ,Y a S musı byt vektorove prostory nad R,mnozina Ω prıpustnych vstupnıch segmentu je mnozina vsech pocastech spojitych vstupnıch segmentu,stavove a vystupnı trajektorie jsou po castech spojite
SNT — Simulacnı nastroje a techniky 35/254
![Page 36: SNT — Simulacnˇ ´ı n astroje a techniky´ · Uvod´ DEVSSpojite´Diskretn´ ´ıKombinovane´1234Z PravidlaLiteratura Modelovan´ ´ı syst em´ u na po˚ cˇ´ıta cˇ´ıch](https://reader030.vdocuments.mx/reader030/viewer/2022040416/5d0ee0dc88c993a2358bbd23/html5/thumbnails/36.jpg)
Uvod DEVS Spojite Diskretnı Kombinovane 1 2 3 4 Z System Model DEVS Simulator
DESS
DESS ma dynamicke chovanı definovane takto:
pro dany vstupnı segment ω : 〈t1, t2〉 → X a pocatecnı stav q vcase t1 pozadujeme, aby stavova trajektorie (STRAJ)dynamickeho systemu v libovolnem case t ∈ 〈t1, t2〉 splnovalapodmınku
STRAJq,ω(t1) = q
d STRAJq,ω(t)dt
= f (STRAJq,ω(t), ω(t))
Vystupnı funkce Λ dynamickeho systemu jeΛ(q, x) = λ(q) pro Moorovu variantu aΛ(q, x) = λ(q, x) pro Mealyho variantu systemu.
Aby resenı dynamickeho systemu bylo jednoznacne, musı byt splnenaLipschitzova podmınka.
SNT — Simulacnı nastroje a techniky 36/254
![Page 37: SNT — Simulacnˇ ´ı n astroje a techniky´ · Uvod´ DEVSSpojite´Diskretn´ ´ıKombinovane´1234Z PravidlaLiteratura Modelovan´ ´ı syst em´ u na po˚ cˇ´ıta cˇ´ıch](https://reader030.vdocuments.mx/reader030/viewer/2022040416/5d0ee0dc88c993a2358bbd23/html5/thumbnails/37.jpg)
Uvod DEVS Spojite Diskretnı Kombinovane 1 2 3 4 Z System Model DEVS Simulator
Kombinace DEV&DESS
Kombinovany model DEV&DESS zahrnuje spojite i diskretnı zmenystavu systemu (originalnı definice je mırne upravena):
DEV &DESS = (X ,Xc ,Y ,Yc ,S, δext ,Cint , δint , λ, ta, f , λc)
kde
X ,Y ,S odpovıdajı obdobnym mnozinam v tradicnım DEVS,Xc = (xc1 , xc2 , . . .)|xc1 ∈ Xc1 , xc2 ∈ Xc2 , . . .je strukturovana mnozina hodnotovych vstupu se vstupnımipromennymi xci ,Yc = (yc1 , yc2 , . . .)|yc1 ∈ Yc1 , yc2 ∈ Yc2 , . . .je strukturovana mnozina hodnotovych vystupu s vystupnımipromennymi yci ,
SNT — Simulacnı nastroje a techniky 37/254
![Page 38: SNT — Simulacnˇ ´ı n astroje a techniky´ · Uvod´ DEVSSpojite´Diskretn´ ´ıKombinovane´1234Z PravidlaLiteratura Modelovan´ ´ı syst em´ u na po˚ cˇ´ıta cˇ´ıch](https://reader030.vdocuments.mx/reader030/viewer/2022040416/5d0ee0dc88c993a2358bbd23/html5/thumbnails/38.jpg)
Uvod DEVS Spojite Diskretnı Kombinovane 1 2 3 4 Z System Model DEVS Simulator
DEV&DESS
δext : Q × Xc × X → S,δint : S × Xc → S,λ : S × Xc → Y ,ta : S × Xc → R+
0 ∪ ∞,λc : S × Xc → Yc je vystupnı funkce pro definovanı hodnotvystupnıch promennych,
SNT — Simulacnı nastroje a techniky 38/254
![Page 39: SNT — Simulacnˇ ´ı n astroje a techniky´ · Uvod´ DEVSSpojite´Diskretn´ ´ıKombinovane´1234Z PravidlaLiteratura Modelovan´ ´ı syst em´ u na po˚ cˇ´ıta cˇ´ıch](https://reader030.vdocuments.mx/reader030/viewer/2022040416/5d0ee0dc88c993a2358bbd23/html5/thumbnails/39.jpg)
Uvod DEVS Spojite Diskretnı Kombinovane 1 2 3 4 Z System Model DEVS Simulator
DEV&DESS
Cint : S × Xc → B je internı podmınkova funkce podminujıcıprovadenı internıch (stavovych) udalostı,S = Sd × Sc je kartezsky soucin diskretnıch a spojitych stavuSc = (sc1 , sc2 , . . .)|sc1 ∈ Sc1 , . . .,f : S × Xc → Sc je funkce popisujıcı casove zmeny spojitehostavu (derivative function).
Poznamka: Internı podmınkova funkce a internı prechodova funkcejsou pouzitelne pro modelovanı stavovych podmınek a stavovychudalostı.
SNT — Simulacnı nastroje a techniky 39/254
![Page 40: SNT — Simulacnˇ ´ı n astroje a techniky´ · Uvod´ DEVSSpojite´Diskretn´ ´ıKombinovane´1234Z PravidlaLiteratura Modelovan´ ´ı syst em´ u na po˚ cˇ´ıta cˇ´ıch](https://reader030.vdocuments.mx/reader030/viewer/2022040416/5d0ee0dc88c993a2358bbd23/html5/thumbnails/40.jpg)
Uvod DEVS Spojite Diskretnı Kombinovane 1 2 3 4 Z System Model DEVS Simulator
System popsany DEV&DESS
Tento formalismus omezuje obecny dynamicky system nasledujıcımzpusobem:
Casova zakladna T musı byt mnozina realnych cısel R.X ∪ Xc je mnozina vstupu systemu.Y ∪ Yc je mnozina vystupu systemu.Xc ,Yc a Sc musı byt vektorove prostory nad R.Mnozina Ω prıpustnych vstupnıch segmentu je mnozina vsech pocastech spojitych vstupnıch segmentu sjednocena s mnozinouvsech DEVS segmentu nad X a T .Stavove trajektorie jsou po castech spojite a po castechkonstantnı segmenty.Vystupnı trajektorie jsou po castech spojite (Yc) a po castechkonstantnı segmenty (Y ).
SNT — Simulacnı nastroje a techniky 40/254
![Page 41: SNT — Simulacnˇ ´ı n astroje a techniky´ · Uvod´ DEVSSpojite´Diskretn´ ´ıKombinovane´1234Z PravidlaLiteratura Modelovan´ ´ı syst em´ u na po˚ cˇ´ıta cˇ´ıch](https://reader030.vdocuments.mx/reader030/viewer/2022040416/5d0ee0dc88c993a2358bbd23/html5/thumbnails/41.jpg)
Uvod DEVS Spojite Diskretnı Kombinovane 1 2 3 4 Z System Model DEVS Simulator
System popsany DEV&DESS
Formalismus musı definovat poradı udalostı v prıpade jejichsoucasneho vyskytu. Dynamicke chovanı systemu je popsano vliterature.
Poznamka: System popsatelny diferencnımi rovnicemi (DTSS) jeekvivalentnı DEV&DESS a nebude zde uvazovan jako zvlastnı prıpad.
SNT — Simulacnı nastroje a techniky 41/254
![Page 42: SNT — Simulacnˇ ´ı n astroje a techniky´ · Uvod´ DEVSSpojite´Diskretn´ ´ıKombinovane´1234Z PravidlaLiteratura Modelovan´ ´ı syst em´ u na po˚ cˇ´ıta cˇ´ıch](https://reader030.vdocuments.mx/reader030/viewer/2022040416/5d0ee0dc88c993a2358bbd23/html5/thumbnails/42.jpg)
Uvod DEVS Spojite Diskretnı Kombinovane 1 2 3 4 Z System Model DEVS Simulator
DEVS simulator
Simulace je transformace, ktera transformuje specifikaci systemu,pocatecnı stav a vstupnı segmenty na odpovıdajıcı stavove a vystupnısegmenty. Simulaci modelu provadı simulator:- simulator pro atomicky DEVS model- koordinator pro slozeny (coupled) DEVS model
model simulator
Coupled model
Coupled model Atomic model Coordinator
Atomic model Atomic model Coordinator
Simulator
Simulator
Simulator
Root - coordinator
SNT — Simulacnı nastroje a techniky 42/254
![Page 43: SNT — Simulacnˇ ´ı n astroje a techniky´ · Uvod´ DEVSSpojite´Diskretn´ ´ıKombinovane´1234Z PravidlaLiteratura Modelovan´ ´ı syst em´ u na po˚ cˇ´ıta cˇ´ıch](https://reader030.vdocuments.mx/reader030/viewer/2022040416/5d0ee0dc88c993a2358bbd23/html5/thumbnails/43.jpg)
Uvod DEVS Spojite Diskretnı Kombinovane 1 2 3 4 Z System Model DEVS Simulator
Simulator
Simulatory ke komunikaci pouzıvajı 4 typy zprav:
Inicializacnı zpravy (i , t)posıla nadrazeny simulator pred zacatkem simulace.Internı zpravy (internal state-transition message) (∗, t)posıla koordinator podrızenym – informujı o planovanych internıchudalostech.Vstupnı zpravy (x , t)posıla koordinator podrızenym – informujı o externıch udalostech.Vystupnı zpravy (y , t)posılajı podrızenı nadrızenym koordinatorum – informujıo vystupnıch udalostech.
SNT — Simulacnı nastroje a techniky 43/254
![Page 44: SNT — Simulacnˇ ´ı n astroje a techniky´ · Uvod´ DEVSSpojite´Diskretn´ ´ıKombinovane´1234Z PravidlaLiteratura Modelovan´ ´ı syst em´ u na po˚ cˇ´ıta cˇ´ıch](https://reader030.vdocuments.mx/reader030/viewer/2022040416/5d0ee0dc88c993a2358bbd23/html5/thumbnails/44.jpg)
Uvod DEVS Spojite Diskretnı Kombinovane 1 2 3 4 Z System Model DEVS Simulator
Simulator
DEVS simulator interpretuje dynamiku DEVS modelu.
Promenne:tl – cas poslednı udalosti,tn – cas prıstı udalosti (next event).Platı: tn = tl + ta(s)
Pro dany simulacnı cas t muzeme vypocıtat:cas od poslednı udalosti: e = t − tlcas zbyvajıcı do prıstı udalosti: σ = tn − t = ta(s)− e
Cas tn se posıla nadrazenemu koordinatoru, ktery jej pouzıva prosynchronizaci.
SNT — Simulacnı nastroje a techniky 44/254
![Page 45: SNT — Simulacnˇ ´ı n astroje a techniky´ · Uvod´ DEVSSpojite´Diskretn´ ´ıKombinovane´1234Z PravidlaLiteratura Modelovan´ ´ı syst em´ u na po˚ cˇ´ıta cˇ´ıch](https://reader030.vdocuments.mx/reader030/viewer/2022040416/5d0ee0dc88c993a2358bbd23/html5/thumbnails/45.jpg)
Uvod DEVS Spojite Diskretnı Kombinovane 1 2 3 4 Z System Model DEVS Simulator
Simulator
Promenne simulatoru:parent – nadrazeny koordinator,
tl – cas poslednı udalosti,tn – cas prıstı udalosti,
DEVS – model se stavem (s,e),y – aktualnı vystup modelu
SNT — Simulacnı nastroje a techniky 45/254
![Page 46: SNT — Simulacnˇ ´ı n astroje a techniky´ · Uvod´ DEVSSpojite´Diskretn´ ´ıKombinovane´1234Z PravidlaLiteratura Modelovan´ ´ı syst em´ u na po˚ cˇ´ıta cˇ´ıch](https://reader030.vdocuments.mx/reader030/viewer/2022040416/5d0ee0dc88c993a2358bbd23/html5/thumbnails/46.jpg)
Uvod DEVS Spojite Diskretnı Kombinovane 1 2 3 4 Z System Model DEVS Simulator
Simulator – inicializace
Kdyz DEVS-simulator prijme inicializacnı zpravu v case t, provede:
message(i,t)
tl = t - e
tn = tl + ta(s)
SNT — Simulacnı nastroje a techniky 46/254
![Page 47: SNT — Simulacnˇ ´ı n astroje a techniky´ · Uvod´ DEVSSpojite´Diskretn´ ´ıKombinovane´1234Z PravidlaLiteratura Modelovan´ ´ı syst em´ u na po˚ cˇ´ıta cˇ´ıch](https://reader030.vdocuments.mx/reader030/viewer/2022040416/5d0ee0dc88c993a2358bbd23/html5/thumbnails/47.jpg)
Uvod DEVS Spojite Diskretnı Kombinovane 1 2 3 4 Z System Model DEVS Simulator
Simulator – planovana udalost
Kdyz DEVS-simulator prijme internı zpravu v case t, provede:
message(*,t)
if(t!=tn)
ERROR: chybna synchronizace
y = \lambda(s) // vystupnı funkce
send_message((y,t),parent) // vystupnı zprava
s = \delta_int(s) // internı prechodova fce
tl = t
tn = tl + ta(s)
SNT — Simulacnı nastroje a techniky 47/254
![Page 48: SNT — Simulacnˇ ´ı n astroje a techniky´ · Uvod´ DEVSSpojite´Diskretn´ ´ıKombinovane´1234Z PravidlaLiteratura Modelovan´ ´ı syst em´ u na po˚ cˇ´ıta cˇ´ıch](https://reader030.vdocuments.mx/reader030/viewer/2022040416/5d0ee0dc88c993a2358bbd23/html5/thumbnails/48.jpg)
Uvod DEVS Spojite Diskretnı Kombinovane 1 2 3 4 Z System Model DEVS Simulator
Simulator – vstupnı udalost
Kdyz DEVS-simulator prijme vstupnı zpravu s hodnotou x v case t,provede:
message(x,t)
if( t mimo rozsah tl..tn )
ERROR: chybna synchronizace
e = t - tl
s = \delta_ext(s,e,x) // externı prechodova fce
tl = t
tn = tl + ta(s)
SNT — Simulacnı nastroje a techniky 48/254
![Page 49: SNT — Simulacnˇ ´ı n astroje a techniky´ · Uvod´ DEVSSpojite´Diskretn´ ´ıKombinovane´1234Z PravidlaLiteratura Modelovan´ ´ı syst em´ u na po˚ cˇ´ıta cˇ´ıch](https://reader030.vdocuments.mx/reader030/viewer/2022040416/5d0ee0dc88c993a2358bbd23/html5/thumbnails/49.jpg)
Uvod DEVS Spojite Diskretnı Kombinovane 1 2 3 4 Z System Model DEVS Simulator
DEVS koordinator
Koordinator obsahuje kalendarnı seznam a zajistuje synchronizacikomponent slozeneho DEVS.
Prvnı polozka v kalendari je planovana na cas:
tn = mintnd |d ∈ D
a tento cas je poslan nadrızenemu koordinatoru jako cas prıstıudalosti.Cas poslednı udalosti v podrızenych simulatorech:
tl = maxtld |d ∈ D
Koordinator musı zpracovavat udalosti podobne jako simulator.
SNT — Simulacnı nastroje a techniky 49/254
![Page 50: SNT — Simulacnˇ ´ı n astroje a techniky´ · Uvod´ DEVSSpojite´Diskretn´ ´ıKombinovane´1234Z PravidlaLiteratura Modelovan´ ´ı syst em´ u na po˚ cˇ´ıta cˇ´ıch](https://reader030.vdocuments.mx/reader030/viewer/2022040416/5d0ee0dc88c993a2358bbd23/html5/thumbnails/50.jpg)
Uvod DEVS Spojite Diskretnı Kombinovane 1 2 3 4 Z System Model DEVS Simulator
Koordinator – promenne
Promenne koordinatoruDEVN — model slozeneho DEVS:
DEVN = (X ,Y ,D, Md, Id, Zi,d,Select)parent — nadrazeny koordinator
tl — cas poslednı udalosti,tn — cas prıstı planovane udalosti,
event list — kalendar udalostı,d∗ — aktualne vybrany prvek
SNT — Simulacnı nastroje a techniky 50/254
![Page 51: SNT — Simulacnˇ ´ı n astroje a techniky´ · Uvod´ DEVSSpojite´Diskretn´ ´ıKombinovane´1234Z PravidlaLiteratura Modelovan´ ´ı syst em´ u na po˚ cˇ´ıta cˇ´ıch](https://reader030.vdocuments.mx/reader030/viewer/2022040416/5d0ee0dc88c993a2358bbd23/html5/thumbnails/51.jpg)
Uvod DEVS Spojite Diskretnı Kombinovane 1 2 3 4 Z System Model DEVS Simulator
Koordinator – inicializace
Kdyz DEVS-koordinator prijme inicializacnı zpravu v case t, provede:
message(i,t)
for-each d in D
send message(i,t) to d
sort event_list // podle tn_d a Select
tl = max(tl_d) // pro vsechna d \in D
tn = min(tn_d)
SNT — Simulacnı nastroje a techniky 51/254
![Page 52: SNT — Simulacnˇ ´ı n astroje a techniky´ · Uvod´ DEVSSpojite´Diskretn´ ´ıKombinovane´1234Z PravidlaLiteratura Modelovan´ ´ı syst em´ u na po˚ cˇ´ıta cˇ´ıch](https://reader030.vdocuments.mx/reader030/viewer/2022040416/5d0ee0dc88c993a2358bbd23/html5/thumbnails/52.jpg)
Uvod DEVS Spojite Diskretnı Kombinovane 1 2 3 4 Z System Model DEVS Simulator
Koordinator – planovana udalost
Kdyz DEVS-koordinator prijme internı zpravu v case t, provede:
message(*,t)
if(t!=tn)
ERROR: chybna synchronizace
d* = first(event_list) // vyber z kalendare
send message(*,t) to d* // preposlanı komponente
sort event_list // podle tn_d a Select
tl = t
tn = min(tn_d) // pro vsechny komponenty
SNT — Simulacnı nastroje a techniky 52/254
![Page 53: SNT — Simulacnˇ ´ı n astroje a techniky´ · Uvod´ DEVSSpojite´Diskretn´ ´ıKombinovane´1234Z PravidlaLiteratura Modelovan´ ´ı syst em´ u na po˚ cˇ´ıta cˇ´ıch](https://reader030.vdocuments.mx/reader030/viewer/2022040416/5d0ee0dc88c993a2358bbd23/html5/thumbnails/53.jpg)
Uvod DEVS Spojite Diskretnı Kombinovane 1 2 3 4 Z System Model DEVS Simulator
Koordinator – vstupnı udalost
Kdyz DEVS-koordinator prijme vstupnı zpravu x v case t, provede:
x-message(x,t)
if( t mimo rozsah tl..tn )
ERROR: chybna synchronizace
// zjistıme, kterych komponent se tyka:
receivers = r |r ∈ D,N ∈ Ir ,ZN,r (x) 6= Φ
for-each r in receivers
send message(xr,t) to r // xr = ZN,r (x)
sort event_list // podle tn_d a Select
tl = t
tn = min(tn_d) // pro vsechny komponenty
SNT — Simulacnı nastroje a techniky 53/254
![Page 54: SNT — Simulacnˇ ´ı n astroje a techniky´ · Uvod´ DEVSSpojite´Diskretn´ ´ıKombinovane´1234Z PravidlaLiteratura Modelovan´ ´ı syst em´ u na po˚ cˇ´ıta cˇ´ıch](https://reader030.vdocuments.mx/reader030/viewer/2022040416/5d0ee0dc88c993a2358bbd23/html5/thumbnails/54.jpg)
Uvod DEVS Spojite Diskretnı Kombinovane 1 2 3 4 Z System Model DEVS Simulator
Koordinator – vystupnı udalost
Kdyz DEVS-koordinator prijme od komponenty d∗ vystupnı zpravu svystupem Yd∗ v case t, provede:
message(y_d*, t)
// kontrola externıho propojenı komponent
if (d* ∈ In && Zd∗,N(yd∗) 6= Φ)
send message(yN,t) to parent // yN = Zd∗,N(yd∗)
// kontrola a informovanı komponent o zmene y_d*
receivers = r |r ∈ D,d∗ ∈ Ir ,Zd∗,r (yd∗) 6= Φ
for-each r in receivers
send message(xr, t) to r
// vstup xr = Zd∗,r (yd∗)
SNT — Simulacnı nastroje a techniky 54/254
![Page 55: SNT — Simulacnˇ ´ı n astroje a techniky´ · Uvod´ DEVSSpojite´Diskretn´ ´ıKombinovane´1234Z PravidlaLiteratura Modelovan´ ´ı syst em´ u na po˚ cˇ´ıta cˇ´ıch](https://reader030.vdocuments.mx/reader030/viewer/2022040416/5d0ee0dc88c993a2358bbd23/html5/thumbnails/55.jpg)
Uvod DEVS Spojite Diskretnı Kombinovane 1 2 3 4 Z System Model DEVS Simulator
Hlavnı koordinator
Implementuje hlavnı smycku simulacnıho algoritmu.
Promennet – simulacnı cas
child – podrızeny simulator nebo koordinator
Simulace()
t = t_0 // pocatecnı cas
send message(i,t) to child // inicializace
t = tn of the child
do
send message(*,t) to child
t = tn of the child
while( not end of simulation )
SNT — Simulacnı nastroje a techniky 55/254
![Page 56: SNT — Simulacnˇ ´ı n astroje a techniky´ · Uvod´ DEVSSpojite´Diskretn´ ´ıKombinovane´1234Z PravidlaLiteratura Modelovan´ ´ı syst em´ u na po˚ cˇ´ıta cˇ´ıch](https://reader030.vdocuments.mx/reader030/viewer/2022040416/5d0ee0dc88c993a2358bbd23/html5/thumbnails/56.jpg)
Uvod DEVS Spojite Diskretnı Kombinovane 1 2 3 4 Z System Model DEVS Simulator
Simulator DESS
Pro vıcekrokovou metodu radu m musı simulator uchovat m hodnotstavu q, derivacı r a vstupu x.
q(t + h) = METODA(h,q(t),q(t − h), ..., r(t), r(t − h), ...)
Poznamka: Problem startu metody.
SNT — Simulacnı nastroje a techniky 56/254
![Page 57: SNT — Simulacnˇ ´ı n astroje a techniky´ · Uvod´ DEVSSpojite´Diskretn´ ´ıKombinovane´1234Z PravidlaLiteratura Modelovan´ ´ı syst em´ u na po˚ cˇ´ıta cˇ´ıch](https://reader030.vdocuments.mx/reader030/viewer/2022040416/5d0ee0dc88c993a2358bbd23/html5/thumbnails/57.jpg)
Uvod DEVS Spojite Diskretnı Kombinovane 1 2 3 4 Z System Model DEVS Simulator
Simulator DESS – inicializace
Promenne simulatoru:DESS = (X ,Y ,Q, f , λ) – model
qvec = q(t),q(t − h), ... – vektor uschovanych stavurvec = r(t), r(t − h), ... – vektor uschovanych derivacıxvec = x(t), x(t − h), ... – vektor uschovanych vstupu
h – velikost kroku
Kdyz DESS-simulator prijme inicializacnı zpravu v case t, provede:
message(i,t)
inicializace vektoru uschovanych hodnot
SNT — Simulacnı nastroje a techniky 57/254
![Page 58: SNT — Simulacnˇ ´ı n astroje a techniky´ · Uvod´ DEVSSpojite´Diskretn´ ´ıKombinovane´1234Z PravidlaLiteratura Modelovan´ ´ı syst em´ u na po˚ cˇ´ıta cˇ´ıch](https://reader030.vdocuments.mx/reader030/viewer/2022040416/5d0ee0dc88c993a2358bbd23/html5/thumbnails/58.jpg)
Uvod DEVS Spojite Diskretnı Kombinovane 1 2 3 4 Z System Model DEVS Simulator
Simulator DESS – planovana udalost
Kdyz DESS-simulator prijme internı zpravu v case t, provede:
message(*,t)
y = \lambda(q) // vystupnı funkce
send_message((y,t),parent) // vystupnı zprava
SNT — Simulacnı nastroje a techniky 58/254
![Page 59: SNT — Simulacnˇ ´ı n astroje a techniky´ · Uvod´ DEVSSpojite´Diskretn´ ´ıKombinovane´1234Z PravidlaLiteratura Modelovan´ ´ı syst em´ u na po˚ cˇ´ıta cˇ´ıch](https://reader030.vdocuments.mx/reader030/viewer/2022040416/5d0ee0dc88c993a2358bbd23/html5/thumbnails/59.jpg)
Uvod DEVS Spojite Diskretnı Kombinovane 1 2 3 4 Z System Model DEVS Simulator
Simulator DESS – vstupnı udalost
Kdyz DESS-simulator prijme vstupnı zpravu s hodnotou x v case t,provede:
message(x,t)
aktualizace xvec a rvec
q(t+h) = METODA(h, qvec, rvec)
aktualizace qvec
SNT — Simulacnı nastroje a techniky 59/254
![Page 60: SNT — Simulacnˇ ´ı n astroje a techniky´ · Uvod´ DEVSSpojite´Diskretn´ ´ıKombinovane´1234Z PravidlaLiteratura Modelovan´ ´ı syst em´ u na po˚ cˇ´ıta cˇ´ıch](https://reader030.vdocuments.mx/reader030/viewer/2022040416/5d0ee0dc88c993a2358bbd23/html5/thumbnails/60.jpg)
Uvod DEVS Spojite Diskretnı Kombinovane 1 2 3 4 Z Modely Numericke metody Elektro PDR
Spojita simulace
Prehled:PrincipyAplikace spojite simulaceNastroje pro spojitou simulaci
Knihovny podprogramu: ode, GSL, ...Specializovana prostredı: Matlab, Octave, Scilab, ...Simulacnı jazyky: Modelica, ACSL, ...
Numericke metodyAlgebraicke (rychle) smyckyTuhe (stiff) systemy
SNT — Simulacnı nastroje a techniky 60/254
![Page 61: SNT — Simulacnˇ ´ı n astroje a techniky´ · Uvod´ DEVSSpojite´Diskretn´ ´ıKombinovane´1234Z PravidlaLiteratura Modelovan´ ´ı syst em´ u na po˚ cˇ´ıta cˇ´ıch](https://reader030.vdocuments.mx/reader030/viewer/2022040416/5d0ee0dc88c993a2358bbd23/html5/thumbnails/61.jpg)
Uvod DEVS Spojite Diskretnı Kombinovane 1 2 3 4 Z Modely Numericke metody Elektro PDR
Formy popisu spojitych systemu
Soustavy obyc. diferencialnıch rovnic (ODE)Soustavy algebraickych rovnicBlokova schemataParcialnı diferencialnı rovnice (PDE)+ Kombinace vıce zpusobu popisu...Grafy signalovych toku, Kompartmentove systemy, Systemovadynamika, Bond-graphs
SNT — Simulacnı nastroje a techniky 61/254
![Page 62: SNT — Simulacnˇ ´ı n astroje a techniky´ · Uvod´ DEVSSpojite´Diskretn´ ´ıKombinovane´1234Z PravidlaLiteratura Modelovan´ ´ı syst em´ u na po˚ cˇ´ıta cˇ´ıch](https://reader030.vdocuments.mx/reader030/viewer/2022040416/5d0ee0dc88c993a2358bbd23/html5/thumbnails/62.jpg)
Uvod DEVS Spojite Diskretnı Kombinovane 1 2 3 4 Z Modely Numericke metody Elektro PDR
Soustavy rovnic: maticovy popis
ddt~w(t) = A(t)~w(t) + B(t)~x(t)
~y(t) = C(t)~w(t) + D(t)~x(t)
kde ~x je vektor m vstupu, ~w vektor n stavovych promennych, ~y vektork vystupu a A,B,C,D matice koeficientu
B
A
C
D
w
x y
m nn k
SNT — Simulacnı nastroje a techniky 62/254
![Page 63: SNT — Simulacnˇ ´ı n astroje a techniky´ · Uvod´ DEVSSpojite´Diskretn´ ´ıKombinovane´1234Z PravidlaLiteratura Modelovan´ ´ı syst em´ u na po˚ cˇ´ıta cˇ´ıch](https://reader030.vdocuments.mx/reader030/viewer/2022040416/5d0ee0dc88c993a2358bbd23/html5/thumbnails/63.jpg)
Uvod DEVS Spojite Diskretnı Kombinovane 1 2 3 4 Z Modely Numericke metody Elektro PDR
Typy obyc. diferencialnıch rovnic
Koeficienty (prvky matic A,B,C,D) mohou byt:
nezavisle na case (stacionarnı systemy)casove promennekonstanty (linearnı systemy)nelinearnı funkce (nelinearnı systemy)
Poznamky:Vztah k DESS = (X ,Y ,S, f , λ)
Algebraicko-diferencialnı rovnice (DAE)Problemy pri resenı: nespojitosti, ...Numericke metody a jejich vlastnosti
SNT — Simulacnı nastroje a techniky 63/254
![Page 64: SNT — Simulacnˇ ´ı n astroje a techniky´ · Uvod´ DEVSSpojite´Diskretn´ ´ıKombinovane´1234Z PravidlaLiteratura Modelovan´ ´ı syst em´ u na po˚ cˇ´ıta cˇ´ıch](https://reader030.vdocuments.mx/reader030/viewer/2022040416/5d0ee0dc88c993a2358bbd23/html5/thumbnails/64.jpg)
Uvod DEVS Spojite Diskretnı Kombinovane 1 2 3 4 Z Modely Numericke metody Elektro PDR
Knihovny podprogramu
Zaklad pro vsechny bezne simulacnı nastroje.
Rada komercnıch i volne dostupnych zdroju:Archıv netlib (vetsinou ”public domain”)
http://www.netlib.org/ode/
http://www.netlib.org/odepack/
...
GSL: GNU Scientific Library (pro C, licence GPL)NumPy, SciPy (pro Python)...Komercnı zdroje – viz prehledy na WWW
SNT — Simulacnı nastroje a techniky 64/254
![Page 65: SNT — Simulacnˇ ´ı n astroje a techniky´ · Uvod´ DEVSSpojite´Diskretn´ ´ıKombinovane´1234Z PravidlaLiteratura Modelovan´ ´ı syst em´ u na po˚ cˇ´ıta cˇ´ıch](https://reader030.vdocuments.mx/reader030/viewer/2022040416/5d0ee0dc88c993a2358bbd23/html5/thumbnails/65.jpg)
Uvod DEVS Spojite Diskretnı Kombinovane 1 2 3 4 Z Modely Numericke metody Elektro PDR
Matlab, Scilab, Octave
Integrovana prostredı:
numericke knihovny + vestaveny jazyk + vizualizace + ...
programovatelne, vestaveny interpret jazykaoperace s maticemi, vektory, atd.vstup/vystup, vizualizace 2D/3Dvestavene knihovny obsahujı algoritmy pro resenı:
obycejnych diferencialnıch rovnic (ODE)diferencialne–algebraickych rovnic (DAE)algebraickych rovnic (rychle smycky)
rozsiritelne: toolboxy, propojenı s jinymi nastrojiinteraktivnı: GUI, ladicı nastroje, editory: Matlab/Simulink,Scilab/SciCos
SNT — Simulacnı nastroje a techniky 65/254
![Page 66: SNT — Simulacnˇ ´ı n astroje a techniky´ · Uvod´ DEVSSpojite´Diskretn´ ´ıKombinovane´1234Z PravidlaLiteratura Modelovan´ ´ı syst em´ u na po˚ cˇ´ıta cˇ´ıch](https://reader030.vdocuments.mx/reader030/viewer/2022040416/5d0ee0dc88c993a2358bbd23/html5/thumbnails/66.jpg)
Uvod DEVS Spojite Diskretnı Kombinovane 1 2 3 4 Z Modely Numericke metody Elektro PDR
Simulacnı jazyky
Specializovane jazyky a prekladace:
Modelica http://www.modelica.org/
objektove-orientovany jazyk (mechanicke, elektricke, hydraulicke,tepelne modely, ...)popis rovnicemi, automaticky upravuje rovnicesoucast systemu DymolaOpenModelica+rozsahle knihovny modelu
ACSL – Advanced Continuous Simulation Languagemoznost blokoveho/grafickeho popisu modelu
existuje cela rada dalsıch jazyku/systemu
SNT — Simulacnı nastroje a techniky 66/254
![Page 67: SNT — Simulacnˇ ´ı n astroje a techniky´ · Uvod´ DEVSSpojite´Diskretn´ ´ıKombinovane´1234Z PravidlaLiteratura Modelovan´ ´ı syst em´ u na po˚ cˇ´ıta cˇ´ıch](https://reader030.vdocuments.mx/reader030/viewer/2022040416/5d0ee0dc88c993a2358bbd23/html5/thumbnails/67.jpg)
Uvod DEVS Spojite Diskretnı Kombinovane 1 2 3 4 Z Modely Numericke metody Elektro PDR
Numericke metody
Numericke resenı obyc. diferencialnıch rovnic
dydt
= f (t , y), y(0) = y0
Hledame priblizne resenı v diskretnıch casovych okamzicıch:
tj = t0 + jh
kde h je integracnı krok
Poznamky:Krok nemusı byt konstantnıPozor na vlastnosti numerickych metod
SNT — Simulacnı nastroje a techniky 67/254
![Page 68: SNT — Simulacnˇ ´ı n astroje a techniky´ · Uvod´ DEVSSpojite´Diskretn´ ´ıKombinovane´1234Z PravidlaLiteratura Modelovan´ ´ı syst em´ u na po˚ cˇ´ıta cˇ´ıch](https://reader030.vdocuments.mx/reader030/viewer/2022040416/5d0ee0dc88c993a2358bbd23/html5/thumbnails/68.jpg)
Uvod DEVS Spojite Diskretnı Kombinovane 1 2 3 4 Z Modely Numericke metody Elektro PDR
Numericke resenı ODE
t0 t2t1 t
y
y0
y2
y1y(t)
h
f(t0,y0)
SNT — Simulacnı nastroje a techniky 68/254
![Page 69: SNT — Simulacnˇ ´ı n astroje a techniky´ · Uvod´ DEVSSpojite´Diskretn´ ´ıKombinovane´1234Z PravidlaLiteratura Modelovan´ ´ı syst em´ u na po˚ cˇ´ıta cˇ´ıch](https://reader030.vdocuments.mx/reader030/viewer/2022040416/5d0ee0dc88c993a2358bbd23/html5/thumbnails/69.jpg)
Uvod DEVS Spojite Diskretnı Kombinovane 1 2 3 4 Z Modely Numericke metody Elektro PDR
Eulerova metoda
Tayloruv rozvoj:
y(t) = y(t0) + (t − t0)dydt
∣∣∣∣t0
+(t − t0)2
2d2ydt2
∣∣∣∣t0
+ ...
Ponechame pouze prvnı derivaci vyjadrenou funkcı f (t0, y0) adostaneme aproximaci:
y(t) ≈ y(t0) + (t − t0)f (t0, y0)
Vypocet nasledujıcı hodnoty j-teho kroku:
yj+1 = yj + hf (tj , yj)
SNT — Simulacnı nastroje a techniky 69/254
![Page 70: SNT — Simulacnˇ ´ı n astroje a techniky´ · Uvod´ DEVSSpojite´Diskretn´ ´ıKombinovane´1234Z PravidlaLiteratura Modelovan´ ´ı syst em´ u na po˚ cˇ´ıta cˇ´ıch](https://reader030.vdocuments.mx/reader030/viewer/2022040416/5d0ee0dc88c993a2358bbd23/html5/thumbnails/70.jpg)
Uvod DEVS Spojite Diskretnı Kombinovane 1 2 3 4 Z Modely Numericke metody Elektro PDR
Eulerova metoda – prıklad v C – (opakovanı)
double dy[2], y[2] = 1.0, 0.0 ;
double time = 0, h = 0.001;
void f() // vypocet derivacı (vstupu integratoru)
dy[0] = y[1]; // y’
dy[1] = -y[0]; // y’’
void integrate_euler() // krok num. integrace
f(); // vypocet derivacı
for (int i = 0; i < 2; i++) // pro vsechny integratory
y[i] += h * dy[i]; // Euler
time += h; // posun casu
int main()
while (time < 20)
printf("%10f %10f\n", time, y[0]);
integrate_euler();
SNT — Simulacnı nastroje a techniky 70/254
![Page 71: SNT — Simulacnˇ ´ı n astroje a techniky´ · Uvod´ DEVSSpojite´Diskretn´ ´ıKombinovane´1234Z PravidlaLiteratura Modelovan´ ´ı syst em´ u na po˚ cˇ´ıta cˇ´ıch](https://reader030.vdocuments.mx/reader030/viewer/2022040416/5d0ee0dc88c993a2358bbd23/html5/thumbnails/71.jpg)
Uvod DEVS Spojite Diskretnı Kombinovane 1 2 3 4 Z Modely Numericke metody Elektro PDR
Metody Runge-Kutta
Pouzıvajı vazeny prumer derivacı v nekolika bodech uvnitr kroku:
t t+ht+h/2 time
y
y(t)
y(t+h)
SNT — Simulacnı nastroje a techniky 71/254
![Page 72: SNT — Simulacnˇ ´ı n astroje a techniky´ · Uvod´ DEVSSpojite´Diskretn´ ´ıKombinovane´1234Z PravidlaLiteratura Modelovan´ ´ı syst em´ u na po˚ cˇ´ıta cˇ´ıch](https://reader030.vdocuments.mx/reader030/viewer/2022040416/5d0ee0dc88c993a2358bbd23/html5/thumbnails/72.jpg)
Uvod DEVS Spojite Diskretnı Kombinovane 1 2 3 4 Z Modely Numericke metody Elektro PDR
Metoda Runge-Kutta 4. radu
RK4
k1 = f (tj , yj) (1)
k2 = f (tj +h2, yj +
h2
k1) (2)
k3 = f (tj +h2, yj +
h2
k2) (3)
k4 = f (tj + h, yj + hk3) (4)
yj+1 = yj + h (k1
6+
k2
3+
k3
3+
k4
6) (5)
Odhad lokalnı chyby je radove O(h4)
Poznamka: Existuje rada jinych variantSNT — Simulacnı nastroje a techniky 72/254
![Page 73: SNT — Simulacnˇ ´ı n astroje a techniky´ · Uvod´ DEVSSpojite´Diskretn´ ´ıKombinovane´1234Z PravidlaLiteratura Modelovan´ ´ı syst em´ u na po˚ cˇ´ıta cˇ´ıch](https://reader030.vdocuments.mx/reader030/viewer/2022040416/5d0ee0dc88c993a2358bbd23/html5/thumbnails/73.jpg)
Uvod DEVS Spojite Diskretnı Kombinovane 1 2 3 4 Z Modely Numericke metody Elektro PDR
Numericke metody – prehled
Klasifikace:Jednokrokove: Euler, Runge-Kutta, ...Vıcekrokove: Adams-Bashforth, ...
Varianty:Prediktor-korektor (PECE = Predict, Evaluate, Correct, Evaluate)Explicitnı: y(t + h) := g(h, t , y(t), ...)Implicitnı: y(t + h) = g(h, t , y(t + h), y(t), ...)
Poznamky:Volba kroku (automaticka: RK45, ...)Metody vyssıch radu jsou efektivnejsı
SNT — Simulacnı nastroje a techniky 73/254
![Page 74: SNT — Simulacnˇ ´ı n astroje a techniky´ · Uvod´ DEVSSpojite´Diskretn´ ´ıKombinovane´1234Z PravidlaLiteratura Modelovan´ ´ı syst em´ u na po˚ cˇ´ıta cˇ´ıch](https://reader030.vdocuments.mx/reader030/viewer/2022040416/5d0ee0dc88c993a2358bbd23/html5/thumbnails/74.jpg)
Uvod DEVS Spojite Diskretnı Kombinovane 1 2 3 4 Z Modely Numericke metody Elektro PDR
Presnost numerickych metod
Lokalnı chyba v libovolnem j-tem kroku:
ej = yj − y(tj)
kde y(tj) je presne resenı.
Error
step size
Round−off Error
Numerical aproximationError
Total Error
Globalnı diskretizacnı chyba: GDE = max(ej) j = 1, ...zahrnuje akumulovane lokalnı chyby.
SNT — Simulacnı nastroje a techniky 74/254
![Page 75: SNT — Simulacnˇ ´ı n astroje a techniky´ · Uvod´ DEVSSpojite´Diskretn´ ´ıKombinovane´1234Z PravidlaLiteratura Modelovan´ ´ı syst em´ u na po˚ cˇ´ıta cˇ´ıch](https://reader030.vdocuments.mx/reader030/viewer/2022040416/5d0ee0dc88c993a2358bbd23/html5/thumbnails/75.jpg)
Uvod DEVS Spojite Diskretnı Kombinovane 1 2 3 4 Z Modely Numericke metody Elektro PDR
Stabilita numerickych metod
Vypocet muze byt pro prılis velkou hodnotu kroku nestabilnı(vzdaluje se od presneho resenı).Kazda metoda ma urcitou charakteristickou oblast stability (jde oplochu v komplexnı rovine ve ktere lezı vlastnı cısla matice Asoustavy resenych dif. rovnic).Stabilita je velmi dulezitou vlastnostı numericke metody.
Poznamka: Analyticka stabilita vs. stabilita num. metody
SNT — Simulacnı nastroje a techniky 75/254
![Page 76: SNT — Simulacnˇ ´ı n astroje a techniky´ · Uvod´ DEVSSpojite´Diskretn´ ´ıKombinovane´1234Z PravidlaLiteratura Modelovan´ ´ı syst em´ u na po˚ cˇ´ıta cˇ´ıch](https://reader030.vdocuments.mx/reader030/viewer/2022040416/5d0ee0dc88c993a2358bbd23/html5/thumbnails/76.jpg)
Uvod DEVS Spojite Diskretnı Kombinovane 1 2 3 4 Z Modely Numericke metody Elektro PDR
Oblast stability metodIm(λh)
Re(λh)
3.0
2.0
1.0
-3.0 -2.0 -1.0 0
0
Adams - explicit
Prediktor - korektor
Runge-Kutta
RK4
RK3
RK2
RK1, Euler, A1
A2
A3 A4 A5
2. 3.
4. 5.
SNT — Simulacnı nastroje a techniky 76/254
![Page 77: SNT — Simulacnˇ ´ı n astroje a techniky´ · Uvod´ DEVSSpojite´Diskretn´ ´ıKombinovane´1234Z PravidlaLiteratura Modelovan´ ´ı syst em´ u na po˚ cˇ´ıta cˇ´ıch](https://reader030.vdocuments.mx/reader030/viewer/2022040416/5d0ee0dc88c993a2358bbd23/html5/thumbnails/77.jpg)
Uvod DEVS Spojite Diskretnı Kombinovane 1 2 3 4 Z Modely Numericke metody Elektro PDR
Pouzıvane numericke integracnı metody
Nejcasteji se pouzıvajı varianty metody Runge-Kutta a pro specialnıprıpady jine metody.
Matlab:
ode45 – Runge-Kutta 4. a 5. rad,ode23 – Runge-Kutta 2. a 3. rad,
ode113 – Adams-Bashforth-Moulton prediktor-korektor,1.-13. radu
Octave:ode45, lsode (vıce metod: Adams,...), odessa, ...Knihovny:GSL: gsl_odeiv_step_rkf45 ...
SNT — Simulacnı nastroje a techniky 77/254
![Page 78: SNT — Simulacnˇ ´ı n astroje a techniky´ · Uvod´ DEVSSpojite´Diskretn´ ´ıKombinovane´1234Z PravidlaLiteratura Modelovan´ ´ı syst em´ u na po˚ cˇ´ıta cˇ´ıch](https://reader030.vdocuments.mx/reader030/viewer/2022040416/5d0ee0dc88c993a2358bbd23/html5/thumbnails/78.jpg)
Uvod DEVS Spojite Diskretnı Kombinovane 1 2 3 4 Z Modely Numericke metody Elektro PDR
Tuhe (stiff) systemy rovnic
Tuhost soustavy diferencialnıch rovnic zpusobuje numerickounestabilitu nekterych integracnıch metod.
Presna definice pojmu tuhost (stiffness) je obtızna. Prıkladynajdete napr nahttp://en.wikipedia.org/wiki/Stiff_equation
Metody, ktere jsou tzv. ”A-stabilnı”, jsou pouzitelne pro resenıtuhych rovnic.Oblast absolutnı stability u A-stabilnıch metod obsahuje celoukomplexnı polorovinu definovanou rovnicı Re(z) < 0
Poznamka: Tuhy system vyzaduje pri resenı rovnic beznymimetodami pouzitı prılis kratkeho integracnıho kroku.
SNT — Simulacnı nastroje a techniky 78/254
![Page 79: SNT — Simulacnˇ ´ı n astroje a techniky´ · Uvod´ DEVSSpojite´Diskretn´ ´ıKombinovane´1234Z PravidlaLiteratura Modelovan´ ´ı syst em´ u na po˚ cˇ´ıta cˇ´ıch](https://reader030.vdocuments.mx/reader030/viewer/2022040416/5d0ee0dc88c993a2358bbd23/html5/thumbnails/79.jpg)
Uvod DEVS Spojite Diskretnı Kombinovane 1 2 3 4 Z Modely Numericke metody Elektro PDR
Pouzıvane metody pro tuhe systemy
Matlab:ode15s – vıcekrokova 1.-5. rad,(ode23s – RK pro stredne tuhe systemy)Octave:lsode + extra parametry, ...Knihovny:GSL: Bulirsch-Stoer, ...
Poznamka: Existujı varianty pro ruzne tuhe systemy
SNT — Simulacnı nastroje a techniky 79/254
![Page 80: SNT — Simulacnˇ ´ı n astroje a techniky´ · Uvod´ DEVSSpojite´Diskretn´ ´ıKombinovane´1234Z PravidlaLiteratura Modelovan´ ´ı syst em´ u na po˚ cˇ´ıta cˇ´ıch](https://reader030.vdocuments.mx/reader030/viewer/2022040416/5d0ee0dc88c993a2358bbd23/html5/thumbnails/80.jpg)
Uvod DEVS Spojite Diskretnı Kombinovane 1 2 3 4 Z Modely Numericke metody Elektro PDR
DAE (Differential-Algebraic Equations)
Pri vypoctu derivacı je v nekterych modelech treba resit soustavyalgebraickych rovnic. (Typicke naprıklad pri popisu elektrickychobvodu.) Obecna forma zapisu:
u′ = f (t ,u, v)
0 = g(t ,u, v)
kde u jsou stavove a v jsou algebraicke promenneNejjednodussı zpusob resenı je pro kazde vyhodnocenı f resitalgebraicke rovnice g. (Lepsı metody viz napr. Matlab.)Existujı specialnı podprogramy pro resenı DAE:
Matlab: ode23tOctave: dassl, daspk, dasrtKnihovny: DAEPACK, ... viz netlib
SNT — Simulacnı nastroje a techniky 80/254
![Page 81: SNT — Simulacnˇ ´ı n astroje a techniky´ · Uvod´ DEVSSpojite´Diskretn´ ´ıKombinovane´1234Z PravidlaLiteratura Modelovan´ ´ı syst em´ u na po˚ cˇ´ıta cˇ´ıch](https://reader030.vdocuments.mx/reader030/viewer/2022040416/5d0ee0dc88c993a2358bbd23/html5/thumbnails/81.jpg)
Uvod DEVS Spojite Diskretnı Kombinovane 1 2 3 4 Z Modely Numericke metody Elektro PDR
Simulace elektrickych obvodu
Specialnı prıpad spojitych simulacı:analyza chovanı elektrickych soucastek a obvodu (ustaleny stav,dynamicke chovanı, vlastnosti pri ruznych frekvencıch, ...)
SPICE – specializovany nastroj – existujı ruzne implementaceUniverzalnı simulacnı nastroje: Modelica, ...
SNT — Simulacnı nastroje a techniky 81/254
![Page 82: SNT — Simulacnˇ ´ı n astroje a techniky´ · Uvod´ DEVSSpojite´Diskretn´ ´ıKombinovane´1234Z PravidlaLiteratura Modelovan´ ´ı syst em´ u na po˚ cˇ´ıta cˇ´ıch](https://reader030.vdocuments.mx/reader030/viewer/2022040416/5d0ee0dc88c993a2358bbd23/html5/thumbnails/82.jpg)
Uvod DEVS Spojite Diskretnı Kombinovane 1 2 3 4 Z Modely Numericke metody Elektro PDR
Parcialnı diferencialnı rovnice
Rovnice s derivacemi podle vıce promennych – napr.:
∂2y∂t2 = a
∂2y∂x2
Klasifikace: rad, (2: elipticke, parabolicke,hyperbolicke)
Znacenı
∂u∂x
= ∂xu = ux∂2u∂x2 = uxx
Pocatecnı podmınkyOkrajove podmınky
SNT — Simulacnı nastroje a techniky 82/254
![Page 83: SNT — Simulacnˇ ´ı n astroje a techniky´ · Uvod´ DEVSSpojite´Diskretn´ ´ıKombinovane´1234Z PravidlaLiteratura Modelovan´ ´ı syst em´ u na po˚ cˇ´ıta cˇ´ıch](https://reader030.vdocuments.mx/reader030/viewer/2022040416/5d0ee0dc88c993a2358bbd23/html5/thumbnails/83.jpg)
Uvod DEVS Spojite Diskretnı Kombinovane 1 2 3 4 Z Modely Numericke metody Elektro PDR
Metody pro resenı PDE
Typy numerickych metod pro resenı PDE:
Metoda konecnych diferencı (”Finite difference”, FDM)Metoda prımek (MOL, ”Method of lines”)Metoda konecnych prvku (”Finite element”, FEM)Metoda konecnych objemu (”Finite volume”, FVM)Metoda Monte-Carlo
Poznamka: Problem generovanı sıte (”mesh”).
Software:Komercnı: FLUENT, ANSYS, ...Volne dostupne: OpenFOAM, FreeFEM, ...
SNT — Simulacnı nastroje a techniky 83/254
![Page 84: SNT — Simulacnˇ ´ı n astroje a techniky´ · Uvod´ DEVSSpojite´Diskretn´ ´ıKombinovane´1234Z PravidlaLiteratura Modelovan´ ´ı syst em´ u na po˚ cˇ´ıta cˇ´ıch](https://reader030.vdocuments.mx/reader030/viewer/2022040416/5d0ee0dc88c993a2358bbd23/html5/thumbnails/84.jpg)
Uvod DEVS Spojite Diskretnı Kombinovane 1 2 3 4 Z Modely Numericke metody Elektro PDR
Metoda konecnych diferencı (metoda sıtı)
1 Pokrytı oblasti, v nız hledame resenı, sıtı konecneho poctuuzlovych bodu.
2 Derivace v uzlovych bodech nahradıme prıslusnymi diferencemi,tj. linearnımi kombinacemi funkcnıch hodnot v okolnıch bodech.(V zavislosti na tom, zda volıme diference dopredne ci zpetne,dostavame ruzne typy metody sıtı.)
3 Po zamene derivacı diferencemi ve vsech uzlovych bodechdostavame soustavu linearnıch algebraickych rovnic s neznamymihledanymi hodnotami v techto uzlovych bodech.
4 Resenı soustavy.
Poznamka: Hledanymi hodnotami mohou byt naprıklad vychylkynosnıku atd.
SNT — Simulacnı nastroje a techniky 84/254
![Page 85: SNT — Simulacnˇ ´ı n astroje a techniky´ · Uvod´ DEVSSpojite´Diskretn´ ´ıKombinovane´1234Z PravidlaLiteratura Modelovan´ ´ı syst em´ u na po˚ cˇ´ıta cˇ´ıch](https://reader030.vdocuments.mx/reader030/viewer/2022040416/5d0ee0dc88c993a2358bbd23/html5/thumbnails/85.jpg)
Uvod DEVS Spojite Diskretnı Kombinovane 1 2 3 4 Z Modely Numericke metody Elektro PDR
Metoda konecnych prvku (FEM)
Patrı mezi metody variacnı, vychazejıcı z minimalizace energetickehopotencialu.Postup resenı:
1 Generovanı sıte (mesh) = diskretizace. Nejcasteji pouzıvanymtypem konecnych prvku v rovine jsou trojuhelnıky.
2 Na kazdem konecnem prvku se volı vhodna aproximacnı funkcepresneho resenı, ktera jednoznacne definuje stav uvnitr tohotoprvku pomocı jeho uzlu.Na zaklade teto aproximace se pak s vyuzitım podmınek prominimalizaci energetickeho potencialu odvodı pro kazdy uzelrovnice rovnovahy, ktera je funkcı techto neznamych v uzlovychbodech sıte.
SNT — Simulacnı nastroje a techniky 85/254
![Page 86: SNT — Simulacnˇ ´ı n astroje a techniky´ · Uvod´ DEVSSpojite´Diskretn´ ´ıKombinovane´1234Z PravidlaLiteratura Modelovan´ ´ı syst em´ u na po˚ cˇ´ıta cˇ´ıch](https://reader030.vdocuments.mx/reader030/viewer/2022040416/5d0ee0dc88c993a2358bbd23/html5/thumbnails/86.jpg)
Uvod DEVS Spojite Diskretnı Kombinovane 1 2 3 4 Z Modely Numericke metody Elektro PDR
Metoda konecnych prvku
3 Resenım teto soustavy algebraickych rovnic zıskame hodnoty vuzlovych bodech.
4 Tyto hodnoty pak spolecne s dalsımi charakteristikami definujıstav jak uvnitr prvku, tak i na jeho hranicıch.
Metoda konecnych prvku umoznuje resit ulohy se slozitymi okrajovymipodmınkami, se slozitou geometriı, kazdy prvek muze mıt odlisnevlastnosti.
SNT — Simulacnı nastroje a techniky 86/254
![Page 87: SNT — Simulacnˇ ´ı n astroje a techniky´ · Uvod´ DEVSSpojite´Diskretn´ ´ıKombinovane´1234Z PravidlaLiteratura Modelovan´ ´ı syst em´ u na po˚ cˇ´ıta cˇ´ıch](https://reader030.vdocuments.mx/reader030/viewer/2022040416/5d0ee0dc88c993a2358bbd23/html5/thumbnails/87.jpg)
Uvod DEVS Spojite Diskretnı Kombinovane 1 2 3 4 Z Modely Numericke metody Elektro PDR
Metoda konecnych objemu
Pouzıvana v CFD (Computational Fluid Dynamics).Resı problem presunu tekutin v prostoru – modelem jeNavier-Stokesova rovnice
Podrobnosti viz literatura, napr:http://en.wikipedia.org/wiki/Navier-Stokes_equations
SNT — Simulacnı nastroje a techniky 87/254
![Page 88: SNT — Simulacnˇ ´ı n astroje a techniky´ · Uvod´ DEVSSpojite´Diskretn´ ´ıKombinovane´1234Z PravidlaLiteratura Modelovan´ ´ı syst em´ u na po˚ cˇ´ıta cˇ´ıch](https://reader030.vdocuments.mx/reader030/viewer/2022040416/5d0ee0dc88c993a2358bbd23/html5/thumbnails/88.jpg)
Uvod DEVS Spojite Diskretnı Kombinovane 1 2 3 4 Z Modely Numericke metody Elektro PDR
Metoda prımek
Postupujeme podobne jako u metody konecnych diferencı, aleponechame derivaci podle jedne promenne.Vysledkem je soustava obycejnych diferencialnıch rovnic, ktereresıme obvyklymi metodami.Metody prımek rozdelujeme podle toho, ktera z nezavislepromennych zustava spojita. Provedeme-li diskretizaci vprostorovych souradnicıch jde o metodu typu DSCT (DiscreteSpace Continuous Time).Tato metoda je vhodna pro vypocet dynamickeho chovanısystemu v case.
Prıklad: kmitanı struny (viz WWW: SIMLIB)
SNT — Simulacnı nastroje a techniky 88/254
![Page 89: SNT — Simulacnˇ ´ı n astroje a techniky´ · Uvod´ DEVSSpojite´Diskretn´ ´ıKombinovane´1234Z PravidlaLiteratura Modelovan´ ´ı syst em´ u na po˚ cˇ´ıta cˇ´ıch](https://reader030.vdocuments.mx/reader030/viewer/2022040416/5d0ee0dc88c993a2358bbd23/html5/thumbnails/89.jpg)
Uvod DEVS Spojite Diskretnı Kombinovane 1 2 3 4 Z Modely Numericke metody Elektro PDR
Prıklad: Kmitanı struny, metoda prımek
Vlnova parcialnı diferencialnı rovnice
∂2y∂t2 = a
∂2y∂x2
(sledujeme vychylku pouze ve smeru osy y )
Pocatecnı podmınky:
y(x ,0) = − 4L2 x2 + 4
Lxy ′(x ,0) = 0
Okrajove podmınky:
y(0, t) = y(L, t) = 0(Struna delky L je na koncıch upevnena.)
SNT — Simulacnı nastroje a techniky 89/254
![Page 90: SNT — Simulacnˇ ´ı n astroje a techniky´ · Uvod´ DEVSSpojite´Diskretn´ ´ıKombinovane´1234Z PravidlaLiteratura Modelovan´ ´ı syst em´ u na po˚ cˇ´ıta cˇ´ıch](https://reader030.vdocuments.mx/reader030/viewer/2022040416/5d0ee0dc88c993a2358bbd23/html5/thumbnails/90.jpg)
Uvod DEVS Spojite Diskretnı Kombinovane 1 2 3 4 Z Modely Numericke metody Elektro PDR
Prıklad: Kmitanı struny – pokracovanı
Cas ponechame spojity a prostorovou souradnici x diskretizujeme:Hledame resenı v n + 1 bodech intervalu 〈0,L〉.Vzdalenost dvojice bodu ve smeru osy x bude ∆x (rovnomernerozdelenı bodu).Parcialnı derivaci podle casu nahradıme obycejnou derivacı podlecasu.Parcialnı derivaci podle x nahradıme vhodnym diferencnımvztahem, napr.
∂2y∂x2
∣∣∣∣xi =yi+1 − 2yi + yi−1
∆x2
Tento vztah lze zıskat z Taylorova rozvoje funkce y v bodech(xi + ∆x) a (xi −∆x).
SNT — Simulacnı nastroje a techniky 90/254
![Page 91: SNT — Simulacnˇ ´ı n astroje a techniky´ · Uvod´ DEVSSpojite´Diskretn´ ´ıKombinovane´1234Z PravidlaLiteratura Modelovan´ ´ı syst em´ u na po˚ cˇ´ıta cˇ´ıch](https://reader030.vdocuments.mx/reader030/viewer/2022040416/5d0ee0dc88c993a2358bbd23/html5/thumbnails/91.jpg)
Uvod DEVS Spojite Diskretnı Kombinovane 1 2 3 4 Z Modely Numericke metody Elektro PDR
Prıklad: Kmitanı struny – pokracovanı
Po dosazenı do rovnice dostaneme soustavu obyc.diferencialnıch rovnic 2. radu:
d2yi
dt2 =a
∆x2 (yi+1 − 2yi + yi−1)
pro i = 1, ...,n − 1,Okrajove podmınky: y0 = 0, yn = 0Pocatecnı podmınky: yi(0) = − 4
L2 x2i + 4
Lxi
Tuto soustavu jiz umıme upravit metodou postupne integrace aresit.Vysledkem jsou casove prubehy vychylky yi = y(xi)pro i = 0,1, ...,n.
SNT — Simulacnı nastroje a techniky 91/254
![Page 92: SNT — Simulacnˇ ´ı n astroje a techniky´ · Uvod´ DEVSSpojite´Diskretn´ ´ıKombinovane´1234Z PravidlaLiteratura Modelovan´ ´ı syst em´ u na po˚ cˇ´ıta cˇ´ıch](https://reader030.vdocuments.mx/reader030/viewer/2022040416/5d0ee0dc88c993a2358bbd23/html5/thumbnails/92.jpg)
Uvod DEVS Spojite Diskretnı Kombinovane 1 2 3 4 Z Modely Numericke metody Elektro PDR
Prıklad: Kmitanı struny – vysledek
-0.03
-0.02
-0.01
0
0.01
0.02
0.03
0 0.2 0.4 0.6 0.8 1
y
x
SNT — Simulacnı nastroje a techniky 92/254
![Page 93: SNT — Simulacnˇ ´ı n astroje a techniky´ · Uvod´ DEVSSpojite´Diskretn´ ´ıKombinovane´1234Z PravidlaLiteratura Modelovan´ ´ı syst em´ u na po˚ cˇ´ıta cˇ´ıch](https://reader030.vdocuments.mx/reader030/viewer/2022040416/5d0ee0dc88c993a2358bbd23/html5/thumbnails/93.jpg)
Uvod DEVS Spojite Diskretnı Kombinovane 1 2 3 4 Z Modely Numericke metody Elektro PDR
Poznamky
SNT — Simulacnı nastroje a techniky 93/254
![Page 94: SNT — Simulacnˇ ´ı n astroje a techniky´ · Uvod´ DEVSSpojite´Diskretn´ ´ıKombinovane´1234Z PravidlaLiteratura Modelovan´ ´ı syst em´ u na po˚ cˇ´ıta cˇ´ıch](https://reader030.vdocuments.mx/reader030/viewer/2022040416/5d0ee0dc88c993a2358bbd23/html5/thumbnails/94.jpg)
Uvod DEVS Spojite Diskretnı Kombinovane 1 2 3 4 Z Modely Algoritmy Activity scanning
Diskretnı simulace
Opakovanı — viz predmet IMSPrincipy
Next-event: kalendarUdalostiProcesyAktivity (”Activity scanning”)
PouzitıNastroje: diskretnı simulacnı jazyky...
SNT — Simulacnı nastroje a techniky 94/254
![Page 95: SNT — Simulacnˇ ´ı n astroje a techniky´ · Uvod´ DEVSSpojite´Diskretn´ ´ıKombinovane´1234Z PravidlaLiteratura Modelovan´ ´ı syst em´ u na po˚ cˇ´ıta cˇ´ıch](https://reader030.vdocuments.mx/reader030/viewer/2022040416/5d0ee0dc88c993a2358bbd23/html5/thumbnails/95.jpg)
Uvod DEVS Spojite Diskretnı Kombinovane 1 2 3 4 Z Modely Algoritmy Activity scanning
Diskretnı simulace – uvod
Modelovy cas: spojity (ve specialnıch prıpadech i diskretnı)Stav modelu: jakykoli, zmena pouze v diskretnıch casovychokamzicıchSledovanı stavu: casy udalostı, doba trvanı obsluhy, statistiky, ...Zakladnı formy popisu: udalosti, procesy, aktivity
Poznamka: Opakovanı: Petriho sıte, SIMLIB/C++ (viz IMS)
SNT — Simulacnı nastroje a techniky 95/254
![Page 96: SNT — Simulacnˇ ´ı n astroje a techniky´ · Uvod´ DEVSSpojite´Diskretn´ ´ıKombinovane´1234Z PravidlaLiteratura Modelovan´ ´ı syst em´ u na po˚ cˇ´ıta cˇ´ıch](https://reader030.vdocuments.mx/reader030/viewer/2022040416/5d0ee0dc88c993a2358bbd23/html5/thumbnails/96.jpg)
Uvod DEVS Spojite Diskretnı Kombinovane 1 2 3 4 Z Modely Algoritmy Activity scanning
Udalosti a procesy
Konceptualnı rozdıl v prıstupu k modelovanı
Udalosti: popis zmen stavu.Procesy: posloupnosti na sebe navazujıcıch udalostı.Typicky prıstup pouzıva:
aktivnı transakce (popisuje posloupnost souvisejıcıch udalostı),pasivnı zarızenı (reagujı jen na pozadavky transakcı)
Poznamka: Agent-based simulation: zapouzdrenı procesudo objektu/agentu (obvykle s ”inteligentnım” chovanım popsanympravidly).
SNT — Simulacnı nastroje a techniky 96/254
![Page 97: SNT — Simulacnˇ ´ı n astroje a techniky´ · Uvod´ DEVSSpojite´Diskretn´ ´ıKombinovane´1234Z PravidlaLiteratura Modelovan´ ´ı syst em´ u na po˚ cˇ´ıta cˇ´ıch](https://reader030.vdocuments.mx/reader030/viewer/2022040416/5d0ee0dc88c993a2358bbd23/html5/thumbnails/97.jpg)
Uvod DEVS Spojite Diskretnı Kombinovane 1 2 3 4 Z Modely Algoritmy Activity scanning
Next-event prıstup
Kalendar (Pending Event Set): datova struktura typu prioritnı frontaKazda naplanovana budoucı udalost ”next event”) ma v kalendarizaznam [(acttimei ,priorityi ,eventi), ...]Kalendar definuje operace:
FindMin: nalezenı zaznamu s nejmensım aktivacnım casema prioritou (lze pouzıt i na testovanı prazdnehokalendare)
DeleteMin: vyjmutı zaznamu s nejmensım aktivacnım casema prioritou
Insert: vlozenı noveho zaznamuDelete: rusenı zadaneho zaznamu
Init: inicializace kalendareDestruct: zrusenı kalendare
SNT — Simulacnı nastroje a techniky 97/254
![Page 98: SNT — Simulacnˇ ´ı n astroje a techniky´ · Uvod´ DEVSSpojite´Diskretn´ ´ıKombinovane´1234Z PravidlaLiteratura Modelovan´ ´ı syst em´ u na po˚ cˇ´ıta cˇ´ıch](https://reader030.vdocuments.mx/reader030/viewer/2022040416/5d0ee0dc88c993a2358bbd23/html5/thumbnails/98.jpg)
Uvod DEVS Spojite Diskretnı Kombinovane 1 2 3 4 Z Modely Algoritmy Activity scanning
Algoritmus rızenı simulace
Diskretnı simulator typu ”next-event” se rıdı algoritmem:
Time = T_START; // modelovy cas
calendar.Init();
model.Init();
while( act = calendar.FindMin() )
if(act.atime > T_END)
break;
calendar.DeleteMin(); // vyjmout
Time = act.atime; // nastavit modelovy cas
act.event.Run(); // provest udalost
Time = T_END; // konec simulace
Poznamky: Stav modelu se mezi udalostmi nemenı.Procesy jsou implementovany jako posloupnosti udalostı.
SNT — Simulacnı nastroje a techniky 98/254
![Page 99: SNT — Simulacnˇ ´ı n astroje a techniky´ · Uvod´ DEVSSpojite´Diskretn´ ´ıKombinovane´1234Z PravidlaLiteratura Modelovan´ ´ı syst em´ u na po˚ cˇ´ıta cˇ´ıch](https://reader030.vdocuments.mx/reader030/viewer/2022040416/5d0ee0dc88c993a2358bbd23/html5/thumbnails/99.jpg)
Uvod DEVS Spojite Diskretnı Kombinovane 1 2 3 4 Z Modely Algoritmy Activity scanning
Implementace kalendare udalostı
Nejdulezitejsı je casova slozitost operacı vlozenı do kalendare avyberu nejmensıho prvku.
Pouzıvane implementace a slozitost operacı:
Linearnı seznam: O(n), O(1)
Stromy: heap, pairing heap, priority_queue, ... O(log n)
Calendar queue O(1)
Ruzne dalsı varianty seznamu (skiplist, ...)”Lazy queue” – omezenı velikosti kalendare
Poznamka: Viz prıklady
SNT — Simulacnı nastroje a techniky 99/254
![Page 100: SNT — Simulacnˇ ´ı n astroje a techniky´ · Uvod´ DEVSSpojite´Diskretn´ ´ıKombinovane´1234Z PravidlaLiteratura Modelovan´ ´ı syst em´ u na po˚ cˇ´ıta cˇ´ıch](https://reader030.vdocuments.mx/reader030/viewer/2022040416/5d0ee0dc88c993a2358bbd23/html5/thumbnails/100.jpg)
Uvod DEVS Spojite Diskretnı Kombinovane 1 2 3 4 Z Modely Algoritmy Activity scanning
Implementace kalendare: Seznam
Seznam (double-linked list)
Casova slozitost operacı:Vlozenı: O(N)Vyber prvnıho prvku: O(1)
Vhodne pro male pocty planovanych udalostı (max stovky).
SNT — Simulacnı nastroje a techniky 100/254
![Page 101: SNT — Simulacnˇ ´ı n astroje a techniky´ · Uvod´ DEVSSpojite´Diskretn´ ´ıKombinovane´1234Z PravidlaLiteratura Modelovan´ ´ı syst em´ u na po˚ cˇ´ıta cˇ´ıch](https://reader030.vdocuments.mx/reader030/viewer/2022040416/5d0ee0dc88c993a2358bbd23/html5/thumbnails/101.jpg)
Uvod DEVS Spojite Diskretnı Kombinovane 1 2 3 4 Z Modely Algoritmy Activity scanning
Implementace kalendare: Calendar queue
Pole seznamu (buckets)
buckets
1
234
Prizpusobuje velikost pole (nbuckets = 2k )Prumerna casova slozitost operacı:
Vlozenı: O(1)Vyber prvnıho prvku: O(1)
Vhodne pro velky pocet naplanovanych udalostı.
Literatura: R. Brown. ”Calendar queues: A fast O(1) priority queueimplementation for the simulation event set problem”. Comm. ACM,31(10):1220–1227, Oct. 1988.
SNT — Simulacnı nastroje a techniky 101/254
![Page 102: SNT — Simulacnˇ ´ı n astroje a techniky´ · Uvod´ DEVSSpojite´Diskretn´ ´ıKombinovane´1234Z PravidlaLiteratura Modelovan´ ´ı syst em´ u na po˚ cˇ´ıta cˇ´ıch](https://reader030.vdocuments.mx/reader030/viewer/2022040416/5d0ee0dc88c993a2358bbd23/html5/thumbnails/102.jpg)
Uvod DEVS Spojite Diskretnı Kombinovane 1 2 3 4 Z Modely Algoritmy Activity scanning
Calendar queue – pokracovanı
Index do pole je ”den”, v seznamech jsou usporadany zaznamypro dany ”den”. Rozlozenı zaznamu zavisı na delce ”dne”(parameter bucket width):
1
2
3
4
Time
bucket
bucket_width
= scheduled event
Prumerna delka seznamu je cca 1.5, pokud se zvysı, pole sezvetsı (rozdelıme ”den” na ”pulden”) a naopak.Problem: stanovenı vhodne delky ”dne”
Implementace: viz literaturaSNT — Simulacnı nastroje a techniky 102/254
![Page 103: SNT — Simulacnˇ ´ı n astroje a techniky´ · Uvod´ DEVSSpojite´Diskretn´ ´ıKombinovane´1234Z PravidlaLiteratura Modelovan´ ´ı syst em´ u na po˚ cˇ´ıta cˇ´ıch](https://reader030.vdocuments.mx/reader030/viewer/2022040416/5d0ee0dc88c993a2358bbd23/html5/thumbnails/103.jpg)
Uvod DEVS Spojite Diskretnı Kombinovane 1 2 3 4 Z Modely Algoritmy Activity scanning
Prıklad: efektivita implementace
Experimentalne zıskana doba trvanı operacı pro ruzne typy kalendare:
0
500
1000
1500
2000
10 100 1000 10000 100000 1e+06
tim
e
n
"heap""linked-list"
"pairing-heap""splay-tree"
"stl-priority_queue"
SNT — Simulacnı nastroje a techniky 103/254
![Page 104: SNT — Simulacnˇ ´ı n astroje a techniky´ · Uvod´ DEVSSpojite´Diskretn´ ´ıKombinovane´1234Z PravidlaLiteratura Modelovan´ ´ı syst em´ u na po˚ cˇ´ıta cˇ´ıch](https://reader030.vdocuments.mx/reader030/viewer/2022040416/5d0ee0dc88c993a2358bbd23/html5/thumbnails/104.jpg)
Uvod DEVS Spojite Diskretnı Kombinovane 1 2 3 4 Z Modely Algoritmy Activity scanning
Prıklad: efektivita implementace CQ
Doba trvanı operace vkladanı v zavislosti na poctu polozek:
100
1000
10000
100000
1e+06
1e+07
1e+08
10 100 1000 10000 100000
CP
U c
locks
calendar size
enqueue
SNT — Simulacnı nastroje a techniky 104/254
![Page 105: SNT — Simulacnˇ ´ı n astroje a techniky´ · Uvod´ DEVSSpojite´Diskretn´ ´ıKombinovane´1234Z PravidlaLiteratura Modelovan´ ´ı syst em´ u na po˚ cˇ´ıta cˇ´ıch](https://reader030.vdocuments.mx/reader030/viewer/2022040416/5d0ee0dc88c993a2358bbd23/html5/thumbnails/105.jpg)
Uvod DEVS Spojite Diskretnı Kombinovane 1 2 3 4 Z Modely Algoritmy Activity scanning
Prıklad: efektivita
Prumerny cas pro obe operace (vkladanı + vyber), ruzna rozlozenı:
100
1000
10000
10 100 1000 10000 100000
CP
U c
locks
calendar size
calendar queuelist
Poznamky: neoptimalizovano, dalsı varianta: SNOOPYSNT — Simulacnı nastroje a techniky 105/254
![Page 106: SNT — Simulacnˇ ´ı n astroje a techniky´ · Uvod´ DEVSSpojite´Diskretn´ ´ıKombinovane´1234Z PravidlaLiteratura Modelovan´ ´ı syst em´ u na po˚ cˇ´ıta cˇ´ıch](https://reader030.vdocuments.mx/reader030/viewer/2022040416/5d0ee0dc88c993a2358bbd23/html5/thumbnails/106.jpg)
Uvod DEVS Spojite Diskretnı Kombinovane 1 2 3 4 Z Modely Algoritmy Activity scanning
Udalosti, procesy, aktivity
event1 event2
activity1
process
time
SNT — Simulacnı nastroje a techniky 106/254
![Page 107: SNT — Simulacnˇ ´ı n astroje a techniky´ · Uvod´ DEVSSpojite´Diskretn´ ´ıKombinovane´1234Z PravidlaLiteratura Modelovan´ ´ı syst em´ u na po˚ cˇ´ıta cˇ´ıch](https://reader030.vdocuments.mx/reader030/viewer/2022040416/5d0ee0dc88c993a2358bbd23/html5/thumbnails/107.jpg)
Uvod DEVS Spojite Diskretnı Kombinovane 1 2 3 4 Z Modely Algoritmy Activity scanning
Algoritmus ”Activity scanning”
Chovanı modelu je popsano mnozinou podmınek a jim odpovıdajıcıchoperacı. Simulator posouva cas po krocıch.
inicializace
while(Time<TEND)
if(podmınka1)
akce1 // = zahajenı nebo ukoncenı aktivity
if(podmınka2)
akce2
if(podmınka3)
akce3
// ...
Time += deltaT; // zmena casu
SNT — Simulacnı nastroje a techniky 107/254
![Page 108: SNT — Simulacnˇ ´ı n astroje a techniky´ · Uvod´ DEVSSpojite´Diskretn´ ´ıKombinovane´1234Z PravidlaLiteratura Modelovan´ ´ı syst em´ u na po˚ cˇ´ıta cˇ´ıch](https://reader030.vdocuments.mx/reader030/viewer/2022040416/5d0ee0dc88c993a2358bbd23/html5/thumbnails/108.jpg)
Uvod DEVS Spojite Diskretnı Kombinovane 1 2 3 4 Z Modely Algoritmy Activity scanning
Pouzitı ”Activity scanning”
Vhodne pro modely s velkym poctem udalostı rovnomernerozlozenych v case.Nevyhody proti next-event prıstupu:
mensı presnost v prıpade pevneho casoveho krokunutnost testovat vsechny podmınky pro kazdy interval (i kdyz sedlouho nic nedeje)
Pouzitı: animace (musıme zobrazovat kazdy krok), hrySouvislosti:
podmınky typu WaitUntilkombinovana simulace (stavove podmınky/udalosti)...
SNT — Simulacnı nastroje a techniky 108/254
![Page 109: SNT — Simulacnˇ ´ı n astroje a techniky´ · Uvod´ DEVSSpojite´Diskretn´ ´ıKombinovane´1234Z PravidlaLiteratura Modelovan´ ´ı syst em´ u na po˚ cˇ´ıta cˇ´ıch](https://reader030.vdocuments.mx/reader030/viewer/2022040416/5d0ee0dc88c993a2358bbd23/html5/thumbnails/109.jpg)
Uvod DEVS Spojite Diskretnı Kombinovane 1 2 3 4 Z Modely Algoritmy Activity scanning
Nastroje pro diskretnı simulaci
Klasifikace simulacnıch jazyku:orientovane na udalosti (SIMSCRIPT,...)orientovane na procesy (Simula,...)orientovane na aktivity (CSL,...)
Specialnı prıpady optimalizovane pro cıslicove systemy, celularnıautomaty, ...Ruzne implementace: paralelnı, distribuovane (HLA)...
Strucny prehled a prıklady – viz WWW
SNT — Simulacnı nastroje a techniky 109/254
![Page 110: SNT — Simulacnˇ ´ı n astroje a techniky´ · Uvod´ DEVSSpojite´Diskretn´ ´ıKombinovane´1234Z PravidlaLiteratura Modelovan´ ´ı syst em´ u na po˚ cˇ´ıta cˇ´ıch](https://reader030.vdocuments.mx/reader030/viewer/2022040416/5d0ee0dc88c993a2358bbd23/html5/thumbnails/110.jpg)
Uvod DEVS Spojite Diskretnı Kombinovane 1 2 3 4 Z Modely Algoritmy Activity scanning
Implementace diskretnıch simulatoru
Pouze prehled (podrobnosti viz zdrojove texty nastroju).
Algoritmus rızenı simulace a pomocne datove struktury (kalendar)Udalosti, aktivity: implementace obycejnymi funkcemi/metodami.Procesy: problem ”prerusitelnosti” provadeneho kodu pri cekanı(SIMLIB/C++: prıkazy Wait, WaitUntil, Seize, Enter, Passivate).Moznosti implementace:
preprocesor/interpret”vlakna” (coroutines) implementovana napr. setjmp/longjmp
SNT — Simulacnı nastroje a techniky 110/254
![Page 111: SNT — Simulacnˇ ´ı n astroje a techniky´ · Uvod´ DEVSSpojite´Diskretn´ ´ıKombinovane´1234Z PravidlaLiteratura Modelovan´ ´ı syst em´ u na po˚ cˇ´ıta cˇ´ıch](https://reader030.vdocuments.mx/reader030/viewer/2022040416/5d0ee0dc88c993a2358bbd23/html5/thumbnails/111.jpg)
Uvod DEVS Spojite Diskretnı Kombinovane 1 2 3 4 Z
Kombinovana simulace
Kombinovana (hybridnı) simulace spojuje spojitou i diskretnı simulaci.
Zakladnı principy:
Stavove podmınky a stavove udalosti.Synchronizace spojite a diskretnı casti (”dokrocenı”).
Pouzitı: casto je nutne kombinovat vıce prıstupu.Nastroje: vetsina simulacnıch systemu je schopna (na ruzneurovni) kombinovat spojite a diskretnı prıstupy (viz Modelica).
SNT — Simulacnı nastroje a techniky 111/254
![Page 112: SNT — Simulacnˇ ´ı n astroje a techniky´ · Uvod´ DEVSSpojite´Diskretn´ ´ıKombinovane´1234Z PravidlaLiteratura Modelovan´ ´ı syst em´ u na po˚ cˇ´ıta cˇ´ıch](https://reader030.vdocuments.mx/reader030/viewer/2022040416/5d0ee0dc88c993a2358bbd23/html5/thumbnails/112.jpg)
Uvod DEVS Spojite Diskretnı Kombinovane 1 2 3 4 Z
Stavove podmınky
Zapis:
if(podmınka)
akce-stavova-udalost;
nebo specialnı bloky/objekty (viz napr. SIMLIB/C++)
Implementace — resenı algebraickych rovnic:
Pulenı intervalu (bisection)Newtonova metodaRegula-falsi...
Poznamka: Opakovanı — viz IMS. Jazyk Modelica bude pozdeji.
SNT — Simulacnı nastroje a techniky 112/254
![Page 113: SNT — Simulacnˇ ´ı n astroje a techniky´ · Uvod´ DEVSSpojite´Diskretn´ ´ıKombinovane´1234Z PravidlaLiteratura Modelovan´ ´ı syst em´ u na po˚ cˇ´ıta cˇ´ıch](https://reader030.vdocuments.mx/reader030/viewer/2022040416/5d0ee0dc88c993a2358bbd23/html5/thumbnails/113.jpg)
Uvod DEVS Spojite Diskretnı Kombinovane 1 2 3 4 Z
Stavove udalosti
Implementace: obycejne funkce/metodyMohou menit stav spojite i diskretnı casti modelu.
Skokova zmena stavu spojite casti obvykle vyzaduje specialnıinicializaci numericke integracnı metody (nejen u vıcekrokovychmetod).Diskretnı zmenou muze byt napr. planovanı udalosti atd.
SNT — Simulacnı nastroje a techniky 113/254
![Page 114: SNT — Simulacnˇ ´ı n astroje a techniky´ · Uvod´ DEVSSpojite´Diskretn´ ´ıKombinovane´1234Z PravidlaLiteratura Modelovan´ ´ı syst em´ u na po˚ cˇ´ıta cˇ´ıch](https://reader030.vdocuments.mx/reader030/viewer/2022040416/5d0ee0dc88c993a2358bbd23/html5/thumbnails/114.jpg)
Uvod DEVS Spojite Diskretnı Kombinovane 1 2 3 4 Z
Nastroje pro kombinovanou simulaci
Pouze strucny prehled, prıklady
Implementace: Lze pouzıt specialnı metody pro resenıalgebraicko-diferencialnıch rovnic a dif. rovnic se zpozdenım:
FORTRAN: DASSL, LSODAR, ...Scilab/Octave/MatlabModelica/Dymola (when)SIMLIB/C++: specialnı objekty (Condition), metoda pulenıintervalu...
SNT — Simulacnı nastroje a techniky 114/254
![Page 115: SNT — Simulacnˇ ´ı n astroje a techniky´ · Uvod´ DEVSSpojite´Diskretn´ ´ıKombinovane´1234Z PravidlaLiteratura Modelovan´ ´ı syst em´ u na po˚ cˇ´ıta cˇ´ıch](https://reader030.vdocuments.mx/reader030/viewer/2022040416/5d0ee0dc88c993a2358bbd23/html5/thumbnails/115.jpg)
Uvod DEVS Spojite Diskretnı Kombinovane 1 2 3 4 Z Citlivost Optimalizace CA Agenti
Analyza citlivosti systemu na parametry
Princip:
Reakce systemu na vstupy je zavisla na parametrech, kteremerıme nebo odhadujemeI mala zmena parametru muze velmi ovlivnit vysledne chovanısystemuSouvislosti: chaoticke chovanı, bifurkace
Pouzitı: dulezite pro nastavenı vyrobnıch systemu (dovolenetolerance soucastek, nastavenı stroju atd.)Nastroje: vestavene do sim. systemu, toolboxy, ...
SNT — Simulacnı nastroje a techniky 115/254
![Page 116: SNT — Simulacnˇ ´ı n astroje a techniky´ · Uvod´ DEVSSpojite´Diskretn´ ´ıKombinovane´1234Z PravidlaLiteratura Modelovan´ ´ı syst em´ u na po˚ cˇ´ıta cˇ´ıch](https://reader030.vdocuments.mx/reader030/viewer/2022040416/5d0ee0dc88c993a2358bbd23/html5/thumbnails/116.jpg)
Uvod DEVS Spojite Diskretnı Kombinovane 1 2 3 4 Z Citlivost Optimalizace CA Agenti
Koeficient citlivosti
Oznacuje-li yi nejakou vystupnı promennou systemu S a pj parametr,jehoz vliv vysetrujeme, muzeme definovat citlivost promenne yi naparametr pj (koeficient citlivosti) v urcitem bodu x0 vstupnıho prostorua hodnote parametru pj0 jako parcialnı derivaci
Syi pj =∂yi
∂pj
∣∣∣∣x0,pj0
SNT — Simulacnı nastroje a techniky 116/254
![Page 117: SNT — Simulacnˇ ´ı n astroje a techniky´ · Uvod´ DEVSSpojite´Diskretn´ ´ıKombinovane´1234Z PravidlaLiteratura Modelovan´ ´ı syst em´ u na po˚ cˇ´ıta cˇ´ıch](https://reader030.vdocuments.mx/reader030/viewer/2022040416/5d0ee0dc88c993a2358bbd23/html5/thumbnails/117.jpg)
Uvod DEVS Spojite Diskretnı Kombinovane 1 2 3 4 Z Citlivost Optimalizace CA Agenti
Prıklad vypoctu koeficientu citlivosti
Mejme spojity system se vstupem x a vystupem y
y ′ + ay = bx
s pocatecnı podmınkou y(0) = y0.
Mame dva parametry a a bHledame citlivost vystupu y na parametr a pro jednotkovy skok navstupu x v okolı hodnoty parametru a = a0.Predpokladejme, ze se zmenı hodnota parametru a o ∆a.Nasledkem toho se zmenı i vystup y . Odchylku(perturbaci)oznacıme ∆y coz je obecne funkce casu.
SNT — Simulacnı nastroje a techniky 117/254
![Page 118: SNT — Simulacnˇ ´ı n astroje a techniky´ · Uvod´ DEVSSpojite´Diskretn´ ´ıKombinovane´1234Z PravidlaLiteratura Modelovan´ ´ı syst em´ u na po˚ cˇ´ıta cˇ´ıch](https://reader030.vdocuments.mx/reader030/viewer/2022040416/5d0ee0dc88c993a2358bbd23/html5/thumbnails/118.jpg)
Uvod DEVS Spojite Diskretnı Kombinovane 1 2 3 4 Z Citlivost Optimalizace CA Agenti
Prıklad – resenı
Muzeme zapsat tzv. rovnici odchylek (perturbacı)
(y + ∆y)′ + (a0 + ∆a)(y + ∆y) = b ∆y(0) = ∆y0
a resit ji pro neznamou odchylku ∆y . Dostaneme opet diferencialnırovnici
(∆y)′ + a0∆y + ∆ay + ∆a∆y + y ′ + a0y = b0
odkud po dosazenı za y ′ z puvodnı rovnice a po linearizaci (zanedbanıclenu ∆a∆y ) obdrzıme
(∆y)′ + a0∆y = −∆ay ∆y(0) = ∆y0
Jejım resenım je casovy prubeh odchylky vystupu y pri zmeneparametru a o ∆a.
SNT — Simulacnı nastroje a techniky 118/254
![Page 119: SNT — Simulacnˇ ´ı n astroje a techniky´ · Uvod´ DEVSSpojite´Diskretn´ ´ıKombinovane´1234Z PravidlaLiteratura Modelovan´ ´ı syst em´ u na po˚ cˇ´ıta cˇ´ıch](https://reader030.vdocuments.mx/reader030/viewer/2022040416/5d0ee0dc88c993a2358bbd23/html5/thumbnails/119.jpg)
Uvod DEVS Spojite Diskretnı Kombinovane 1 2 3 4 Z Citlivost Optimalizace CA Agenti
Prıklad – pokracovanı
Jinou moznostı je zjistovat prubeh koeficientu citlivosti Sya(t). Meziodchylkou ∆y a koeficientem citlivosti Sya platı pro male hodnoty ∆avztah: ∆y(t ,a) = Sya(t ,a)∆aDerivovanım vychozı rovnice pro x = 1 podle parametru a zıskamerovnici tvaru
∂
∂ay ′ +
∂
∂a(ay) = 0 (6)
Protoze parcialnı derivace vystupu y podle a znacı koeficient citlivostiSya a parametr a nenı casove promenny, muzeme rovnici upravit natzv. rovnici citlivosti, ktera ma pro a = a0 tvar
S′ya + a0Sya = −y (7)
s pocatecnı podmınkou Sya(0) = Sya0.
SNT — Simulacnı nastroje a techniky 119/254
![Page 120: SNT — Simulacnˇ ´ı n astroje a techniky´ · Uvod´ DEVSSpojite´Diskretn´ ´ıKombinovane´1234Z PravidlaLiteratura Modelovan´ ´ı syst em´ u na po˚ cˇ´ıta cˇ´ıch](https://reader030.vdocuments.mx/reader030/viewer/2022040416/5d0ee0dc88c993a2358bbd23/html5/thumbnails/120.jpg)
Uvod DEVS Spojite Diskretnı Kombinovane 1 2 3 4 Z Citlivost Optimalizace CA Agenti
Prıklad – pokracovanı
Z rovnice citlivosti je videt, ze vystupnı velicina y je zde ve funkcivstupu. Proto lze vytvorit simulacnı model, ktery bude soucasne resitprubeh vystupu y i koeficientu citlivosti Sya, resp. odchylky ∆y .
Prubeh odchylky a koeficientu citlivosti naseho jednoducheho prıkladupro b = 1,a = 2 a ∆a = 0.2 jsou na obrazku.
Poznamka:Obrazek obsahuje i vystupnı prubeh pro a = a0 + ∆a
SNT — Simulacnı nastroje a techniky 120/254
![Page 121: SNT — Simulacnˇ ´ı n astroje a techniky´ · Uvod´ DEVSSpojite´Diskretn´ ´ıKombinovane´1234Z PravidlaLiteratura Modelovan´ ´ı syst em´ u na po˚ cˇ´ıta cˇ´ıch](https://reader030.vdocuments.mx/reader030/viewer/2022040416/5d0ee0dc88c993a2358bbd23/html5/thumbnails/121.jpg)
Uvod DEVS Spojite Diskretnı Kombinovane 1 2 3 4 Z Citlivost Optimalizace CA Agenti
Prıklad: Prubeh koeficientu citlivosti
-0.3
-0.2
-0.1
0
0.1
0.2
0.3
0.4
0.5
0 0.5 1 1.5 2 2.5 3 3.5 4
t
yy2Δ y
Sya * Δ aSya
SNT — Simulacnı nastroje a techniky 121/254
![Page 122: SNT — Simulacnˇ ´ı n astroje a techniky´ · Uvod´ DEVSSpojite´Diskretn´ ´ıKombinovane´1234Z PravidlaLiteratura Modelovan´ ´ı syst em´ u na po˚ cˇ´ıta cˇ´ıch](https://reader030.vdocuments.mx/reader030/viewer/2022040416/5d0ee0dc88c993a2358bbd23/html5/thumbnails/122.jpg)
Uvod DEVS Spojite Diskretnı Kombinovane 1 2 3 4 Z Citlivost Optimalizace CA Agenti
Shrnutı
Poznamky:Koeficienty citlivosti lze pocıtat i pro diskretnı systemy (SHO, ...)Citlivostnı analyzaLze provadet slozitejsı analyzy, jejichz cılem je zjistenı citlivostisystemu na nekolik parametru soucasne, na vlastnostipodsystemu apod.
Zaver:Ukazali jsme pouze nektere zakladnı pojmy, s nimiz se v oblasticitlivostnı analyzy setkavame.
SNT — Simulacnı nastroje a techniky 122/254
![Page 123: SNT — Simulacnˇ ´ı n astroje a techniky´ · Uvod´ DEVSSpojite´Diskretn´ ´ıKombinovane´1234Z PravidlaLiteratura Modelovan´ ´ı syst em´ u na po˚ cˇ´ıta cˇ´ıch](https://reader030.vdocuments.mx/reader030/viewer/2022040416/5d0ee0dc88c993a2358bbd23/html5/thumbnails/123.jpg)
Uvod DEVS Spojite Diskretnı Kombinovane 1 2 3 4 Z Citlivost Optimalizace CA Agenti
Optimalizacnı metody – uvod
Operacnı vyzkum — jak formulovat matematicke modely slozitychsystemu a jak je analyzovat abychom zıskali prehled o moznychresenıch.Optimalizace — jak nalezt takovou kombinaci hodnot parametrumodelu pri danych omezenıch (constraints), aby vysledek (danyhodnotıcı funkcı) byl nejlepsı.Numericke optimalizacnı metodyPouzitı: hledanı (sub)optimalnıho resenı problemu (obchodnıcestujıcı, pocet stroju v tovarne, nastavenı parametru stroje nebovyrobku, ...)
SNT — Simulacnı nastroje a techniky 123/254
![Page 124: SNT — Simulacnˇ ´ı n astroje a techniky´ · Uvod´ DEVSSpojite´Diskretn´ ´ıKombinovane´1234Z PravidlaLiteratura Modelovan´ ´ı syst em´ u na po˚ cˇ´ıta cˇ´ıch](https://reader030.vdocuments.mx/reader030/viewer/2022040416/5d0ee0dc88c993a2358bbd23/html5/thumbnails/124.jpg)
Uvod DEVS Spojite Diskretnı Kombinovane 1 2 3 4 Z Citlivost Optimalizace CA Agenti
Optimalizacnı metody
Formulace problemu:
Cenova funkce: f (x1, ..., xn)=min (nebo max),Omezenı (constraints):gi(x1, ..., xn)[≤=≥]bi i = 1, ...,mkde f , g1, ...,gm jsou dane funkce a b1, ...,bm konstanty.
Linearita/nelinearita f a/nebo g definuje zda jde o problemlinearnıho programovanı (LP) nebo nelinearnıho programovanı(NLP). Pozor – pojem ”programovanı” se pouzıva z historickychduvodu a nesouvisı s programovanım pocıtacu.Diskretnı/spojite parametry — pojmy ”Integer program”,”Mixed-integer program”Vıcekriterialnı optimalizace (multiobjective optimization)Nastroje: casto vestavene do sim. systemu (toolboxy,...)
SNT — Simulacnı nastroje a techniky 124/254
![Page 125: SNT — Simulacnˇ ´ı n astroje a techniky´ · Uvod´ DEVSSpojite´Diskretn´ ´ıKombinovane´1234Z PravidlaLiteratura Modelovan´ ´ı syst em´ u na po˚ cˇ´ıta cˇ´ıch](https://reader030.vdocuments.mx/reader030/viewer/2022040416/5d0ee0dc88c993a2358bbd23/html5/thumbnails/125.jpg)
Uvod DEVS Spojite Diskretnı Kombinovane 1 2 3 4 Z Citlivost Optimalizace CA Agenti
Optimalizace – zakladnı prehled
Optimization problems
Continuous Discrete
Unconstrained Constrained Unconstrained Constrained
Uni-modal Multi-modal Linear Nonlinear P-class NP-hard
SNT — Simulacnı nastroje a techniky 125/254
![Page 126: SNT — Simulacnˇ ´ı n astroje a techniky´ · Uvod´ DEVSSpojite´Diskretn´ ´ıKombinovane´1234Z PravidlaLiteratura Modelovan´ ´ı syst em´ u na po˚ cˇ´ıta cˇ´ıch](https://reader030.vdocuments.mx/reader030/viewer/2022040416/5d0ee0dc88c993a2358bbd23/html5/thumbnails/126.jpg)
Uvod DEVS Spojite Diskretnı Kombinovane 1 2 3 4 Z Citlivost Optimalizace CA Agenti
Optimalizacnı metody
Heuristicke metody”Simplex method” – pro LP”Interior point method” – pro LPDiskretnı: hlednanı nejkratsı cesty v grafu, ...Gradientnı metodyNewtonova metoda (derivace f je nulova), ...Simulovane zıhanı (simulated annealing)Geneticke algoritmy
Poznamka:Vetsina inzenyrskych problemu je nelinearnı (nektere je ale moznelinearizovat)
SNT — Simulacnı nastroje a techniky 126/254
![Page 127: SNT — Simulacnˇ ´ı n astroje a techniky´ · Uvod´ DEVSSpojite´Diskretn´ ´ıKombinovane´1234Z PravidlaLiteratura Modelovan´ ´ı syst em´ u na po˚ cˇ´ıta cˇ´ıch](https://reader030.vdocuments.mx/reader030/viewer/2022040416/5d0ee0dc88c993a2358bbd23/html5/thumbnails/127.jpg)
Uvod DEVS Spojite Diskretnı Kombinovane 1 2 3 4 Z Citlivost Optimalizace CA Agenti
Gradientnı metody
1 Inicializace: startovacı bod ~x0, cılova tolerance ε > 02 Vypocet gradientu hodnotıcı funkce: ∇f (~xi)
3 Test ukoncenı: kdyz norma gradientu ||∇f (~xi)|| < ε
4 Smer posunutı: ∆~xi = ±∇f (~xi)
5 Posunutı: resıme jednorozmerny problem hledanı minima/maximafunkce f (~xi + λ∆~xi)
6 Novy bod: ~xi+1 = ~xi + λi+1∆~xi
7 i = i + 1 a jdeme na bod 2.
Poznamka: Problem lokalnıho minima, konvergence, ...
SNT — Simulacnı nastroje a techniky 127/254
![Page 128: SNT — Simulacnˇ ´ı n astroje a techniky´ · Uvod´ DEVSSpojite´Diskretn´ ´ıKombinovane´1234Z PravidlaLiteratura Modelovan´ ´ı syst em´ u na po˚ cˇ´ıta cˇ´ıch](https://reader030.vdocuments.mx/reader030/viewer/2022040416/5d0ee0dc88c993a2358bbd23/html5/thumbnails/128.jpg)
Uvod DEVS Spojite Diskretnı Kombinovane 1 2 3 4 Z Citlivost Optimalizace CA Agenti
Simulovane zıhanı
1 Inicializace: startovacı bod ~x0, pocatecnı ”teplota” t > 0, limitpoctu iteracı IMAX, ...
2 Test ukoncenı: dosazeno IMAX, nebo nebylo nalezeno lepsıresenı...
3 Nahodne zvoleny bod posunuty o ∆x ∈M: hodnotıcı funkce sezmenı o ∆obj
4 Pokud je nove resenı lepsı nebo s pravdepodobnostı e∆obj/t ipokud je horsı (∆obj ≤ 0), prijmeme novy bod: ~xi+1 = ~xi + ∆xJinak se vracıme k bodu 3.
5 Jestlize nove ~xi+1 je lepsı, zapamatujeme si jej jako prozatımnejlepsı vysledek.
6 Zmensenı ”teploty” t pokud byl proveden dostatecny pocet iteracı.7 i = i + 1 a jdeme na bod 2.
SNT — Simulacnı nastroje a techniky 128/254
![Page 129: SNT — Simulacnˇ ´ı n astroje a techniky´ · Uvod´ DEVSSpojite´Diskretn´ ´ıKombinovane´1234Z PravidlaLiteratura Modelovan´ ´ı syst em´ u na po˚ cˇ´ıta cˇ´ıch](https://reader030.vdocuments.mx/reader030/viewer/2022040416/5d0ee0dc88c993a2358bbd23/html5/thumbnails/129.jpg)
Uvod DEVS Spojite Diskretnı Kombinovane 1 2 3 4 Z Citlivost Optimalizace CA Agenti
Geneticke algoritmy
1 Inicializace: volba velikosti populace p, vytvorenı p pocatecnıchhodnot ~x , max. pocet generacı IMAX, rozdelenı populace na elitupe, imigranty pi a ”crossovers” pc .
2 Test ukoncenı: po zadanem poctu generacı IMAX vratıme nejlepsıresenı v populaci.
3 Elita zustava nezmenena i v dalsı generaci.4 Imigranti: Pridame pi libovolnych novych imigrantu do populace v
dalsı generaci.5 Crossovers: vybereme pc/2 dvojic ze stavajıcı generace i a
provedeme krızenı dvojic (napr. nahodnou kombinacıchromozomu) – tım vznikne nova generace
6 i = i + 1 a jdeme na bod 2.
SNT — Simulacnı nastroje a techniky 129/254
![Page 130: SNT — Simulacnˇ ´ı n astroje a techniky´ · Uvod´ DEVSSpojite´Diskretn´ ´ıKombinovane´1234Z PravidlaLiteratura Modelovan´ ´ı syst em´ u na po˚ cˇ´ıta cˇ´ıch](https://reader030.vdocuments.mx/reader030/viewer/2022040416/5d0ee0dc88c993a2358bbd23/html5/thumbnails/130.jpg)
Uvod DEVS Spojite Diskretnı Kombinovane 1 2 3 4 Z Citlivost Optimalizace CA Agenti
Ant Colony Optimization – ACO
Zjednoduseny pseudokod algoritmu (specialne pro TSP):1 Inicializace: pocet ”mravencu” (agentu), feromonove stopy2 Test ukoncenı: po zadanem poctu iteracı IMAX vratıme nejlepsı
nalezene resenı.3 Kazdy mravenec vyhodnotı nejlepsı smer dalsıho postupu
(heuristika, ktera pouzije i feromonove stopy).4 Kazdy mravenec provede nasledujıcı krok.5 Aktualizace feromonovych stop pro kazdy usek:
f = (1− ρ)f +∑
m
∆fm
kde ρ je koeficient odparovanı feromonu a m jsou mravenci, kterıprosli dany usek.
6 Jdeme na bod 2.SNT — Simulacnı nastroje a techniky 130/254
![Page 131: SNT — Simulacnˇ ´ı n astroje a techniky´ · Uvod´ DEVSSpojite´Diskretn´ ´ıKombinovane´1234Z PravidlaLiteratura Modelovan´ ´ı syst em´ u na po˚ cˇ´ıta cˇ´ıch](https://reader030.vdocuments.mx/reader030/viewer/2022040416/5d0ee0dc88c993a2358bbd23/html5/thumbnails/131.jpg)
Uvod DEVS Spojite Diskretnı Kombinovane 1 2 3 4 Z Citlivost Optimalizace CA Agenti
Prıklady
Viz literatura:Rardin R.: Optimization in Operations Research, Prentice Hall,1998MIT OpenCourseWare: 16.888 / IDS.338J MultidisciplinarySystem Design Optimization, Spring 2010
SNT — Simulacnı nastroje a techniky 131/254
![Page 132: SNT — Simulacnˇ ´ı n astroje a techniky´ · Uvod´ DEVSSpojite´Diskretn´ ´ıKombinovane´1234Z PravidlaLiteratura Modelovan´ ´ı syst em´ u na po˚ cˇ´ıta cˇ´ıch](https://reader030.vdocuments.mx/reader030/viewer/2022040416/5d0ee0dc88c993a2358bbd23/html5/thumbnails/132.jpg)
Uvod DEVS Spojite Diskretnı Kombinovane 1 2 3 4 Z Citlivost Optimalizace CA Agenti
Celularnı automaty (CA) – uvod
Princip CA – opakovanıVarianty CA:
diskretnı a deterministicke (vetsina CA)stochasticke (napr. Lattice-Boltzman)spojite
Pouzitı CA:Zpracovanı obrazu, generovanı textur, fraktalyDoprava, sypanı pısku, snehove zavejeSırenı epidemie, pozaru, vln, trhlin, ...Difuze, rust krystaluProudenı tekutin, turbulenceChemicke reakceUmely zivot, evoluce...
Souvislosti: chaos, slozitost, prırodnı CA, kryptografieSNT — Simulacnı nastroje a techniky 132/254
![Page 133: SNT — Simulacnˇ ´ı n astroje a techniky´ · Uvod´ DEVSSpojite´Diskretn´ ´ıKombinovane´1234Z PravidlaLiteratura Modelovan´ ´ı syst em´ u na po˚ cˇ´ıta cˇ´ıch](https://reader030.vdocuments.mx/reader030/viewer/2022040416/5d0ee0dc88c993a2358bbd23/html5/thumbnails/133.jpg)
Uvod DEVS Spojite Diskretnı Kombinovane 1 2 3 4 Z Citlivost Optimalizace CA Agenti
Definice CA
Typicky jde o diskretnı system:
Bunka (Cell): obsahuje stavPole bunek (Lattice): obecne n-rozmerneOkolı (Neighbourhood)Pravidla (Rules): Funkce stavu bunky a jejıho okolı definujıcı novystav bunky v case:
s(t + 1) = f (s(t),Ns(t))
Ruzne typy pravidel:”legal” – z nuloveho vstupnıho stavu nesmı vzniknout
nenulovy”totalistic” – rozhoduje soucet vstupnıch stavu
varianty: CellDEVS, dynamicke, stochasticke, ...
SNT — Simulacnı nastroje a techniky 133/254
![Page 134: SNT — Simulacnˇ ´ı n astroje a techniky´ · Uvod´ DEVSSpojite´Diskretn´ ´ıKombinovane´1234Z PravidlaLiteratura Modelovan´ ´ı syst em´ u na po˚ cˇ´ıta cˇ´ıch](https://reader030.vdocuments.mx/reader030/viewer/2022040416/5d0ee0dc88c993a2358bbd23/html5/thumbnails/134.jpg)
Uvod DEVS Spojite Diskretnı Kombinovane 1 2 3 4 Z Citlivost Optimalizace CA Agenti
Typy okolı
1D, 2D, 3D
Nektera 2D okolı:
SNT — Simulacnı nastroje a techniky 134/254
![Page 135: SNT — Simulacnˇ ´ı n astroje a techniky´ · Uvod´ DEVSSpojite´Diskretn´ ´ıKombinovane´1234Z PravidlaLiteratura Modelovan´ ´ı syst em´ u na po˚ cˇ´ıta cˇ´ıch](https://reader030.vdocuments.mx/reader030/viewer/2022040416/5d0ee0dc88c993a2358bbd23/html5/thumbnails/135.jpg)
Uvod DEVS Spojite Diskretnı Kombinovane 1 2 3 4 Z Citlivost Optimalizace CA Agenti
Typy okolı – pokracovanı
Sestiuhelnıkove okolı
Poznamky:Pouzitı: napr. rust snehovych vlocek, sırenı vln (FHP)Implementace: prevod sestiuhelnıkova→ ctvercova struktura
SNT — Simulacnı nastroje a techniky 135/254
![Page 136: SNT — Simulacnˇ ´ı n astroje a techniky´ · Uvod´ DEVSSpojite´Diskretn´ ´ıKombinovane´1234Z PravidlaLiteratura Modelovan´ ´ı syst em´ u na po˚ cˇ´ıta cˇ´ıch](https://reader030.vdocuments.mx/reader030/viewer/2022040416/5d0ee0dc88c993a2358bbd23/html5/thumbnails/136.jpg)
Uvod DEVS Spojite Diskretnı Kombinovane 1 2 3 4 Z Citlivost Optimalizace CA Agenti
Okrajove podmınky
Problem hranic pri omezene velikosti pole bunek
Periodicke (periodic): topologie typu kruznice/toroidPevne (fixed): konstantnı hodnota na hranici(adiabatic): hodnota vedlejsı bunky (nulovy gradient)(reflection): hodnota predposlednı bunky
SNT — Simulacnı nastroje a techniky 136/254
![Page 137: SNT — Simulacnˇ ´ı n astroje a techniky´ · Uvod´ DEVSSpojite´Diskretn´ ´ıKombinovane´1234Z PravidlaLiteratura Modelovan´ ´ı syst em´ u na po˚ cˇ´ıta cˇ´ıch](https://reader030.vdocuments.mx/reader030/viewer/2022040416/5d0ee0dc88c993a2358bbd23/html5/thumbnails/137.jpg)
Uvod DEVS Spojite Diskretnı Kombinovane 1 2 3 4 Z Citlivost Optimalizace CA Agenti
Trıdy CA
CA muzeme rozdelit podle jejich dynamickeho chovanı do 4 kategoriı:trıda 1: Po konecnem poctu kroku dosahnou jednoho konkretnıhoustaleneho stavutrıda 2: Dosahnou periodickeho opakovanı (s kratkou periodou)nebo zustanou stabilnı.trıda 3: Chaoticke chovanı (vysledne posloupnosti konfiguracıtvorı specialnı fraktalnı utvary).trıda 4: Kombinace bezneho a chaotickeho chovanı (naprıkladLife), nejsou reverzibilnı.
Poznamka: Viz Wolfram S.: NKS
SNT — Simulacnı nastroje a techniky 137/254
![Page 138: SNT — Simulacnˇ ´ı n astroje a techniky´ · Uvod´ DEVSSpojite´Diskretn´ ´ıKombinovane´1234Z PravidlaLiteratura Modelovan´ ´ı syst em´ u na po˚ cˇ´ıta cˇ´ıch](https://reader030.vdocuments.mx/reader030/viewer/2022040416/5d0ee0dc88c993a2358bbd23/html5/thumbnails/138.jpg)
Uvod DEVS Spojite Diskretnı Kombinovane 1 2 3 4 Z Citlivost Optimalizace CA Agenti
Metody implementace
Implementace ulozenı bunek
Prıma: kazda bunka ulozena zvlast (pole[i])Vyhledavacı tabulka: ulozeny jen ”nenulove” bunkySIMD styl (”multispin coding”): vıce bunek v jednom prvku pole(napr. 32 bunek v int + bitove operace)”Hash life”: cache + quadtree...
Poznamka: Snadno paralelizovatelne
SNT — Simulacnı nastroje a techniky 138/254
![Page 139: SNT — Simulacnˇ ´ı n astroje a techniky´ · Uvod´ DEVSSpojite´Diskretn´ ´ıKombinovane´1234Z PravidlaLiteratura Modelovan´ ´ı syst em´ u na po˚ cˇ´ıta cˇ´ıch](https://reader030.vdocuments.mx/reader030/viewer/2022040416/5d0ee0dc88c993a2358bbd23/html5/thumbnails/139.jpg)
Uvod DEVS Spojite Diskretnı Kombinovane 1 2 3 4 Z Citlivost Optimalizace CA Agenti
Prıklad – sypanı pısku
Sypanı pısku a podobnych materialu – ”sand rule”, ”sandpile”Okolı typu MargolusPravidla:
SNT — Simulacnı nastroje a techniky 139/254
![Page 140: SNT — Simulacnˇ ´ı n astroje a techniky´ · Uvod´ DEVSSpojite´Diskretn´ ´ıKombinovane´1234Z PravidlaLiteratura Modelovan´ ´ı syst em´ u na po˚ cˇ´ıta cˇ´ıch](https://reader030.vdocuments.mx/reader030/viewer/2022040416/5d0ee0dc88c993a2358bbd23/html5/thumbnails/140.jpg)
Uvod DEVS Spojite Diskretnı Kombinovane 1 2 3 4 Z Citlivost Optimalizace CA Agenti
Prıklad: FHP
Model pohybu tekutiny:Sestiuhelnıkove okolıBunky obsahujı castice a jejich smer pohybuPravidla viz obrazky + volny prulet v ostatnıch prıpadech
SNT — Simulacnı nastroje a techniky 140/254
![Page 141: SNT — Simulacnˇ ´ı n astroje a techniky´ · Uvod´ DEVSSpojite´Diskretn´ ´ıKombinovane´1234Z PravidlaLiteratura Modelovan´ ´ı syst em´ u na po˚ cˇ´ıta cˇ´ıch](https://reader030.vdocuments.mx/reader030/viewer/2022040416/5d0ee0dc88c993a2358bbd23/html5/thumbnails/141.jpg)
Uvod DEVS Spojite Diskretnı Kombinovane 1 2 3 4 Z Citlivost Optimalizace CA Agenti
Dalsı aplikace CA
Dopravapravidlo 184Nagel-Schreckenbergmodely krizovatek
Resenı parcialnıch dif. rovnic (napr. sırenı signalu)Generovanı pseudonahodnych cısel (pravidlo 30)Pohyb pevnych teles: deformace, pruznostStatisticka mechanika: Lattice BoltzmannBiologie: rust organismuKrystalografie: rust krystalu...
SNT — Simulacnı nastroje a techniky 141/254
![Page 142: SNT — Simulacnˇ ´ı n astroje a techniky´ · Uvod´ DEVSSpojite´Diskretn´ ´ıKombinovane´1234Z PravidlaLiteratura Modelovan´ ´ı syst em´ u na po˚ cˇ´ıta cˇ´ıch](https://reader030.vdocuments.mx/reader030/viewer/2022040416/5d0ee0dc88c993a2358bbd23/html5/thumbnails/142.jpg)
Uvod DEVS Spojite Diskretnı Kombinovane 1 2 3 4 Z Citlivost Optimalizace CA Agenti
”Agent-based simulation”
Definice pojmu: agent, prostredı, ...PrincipySouvislosti s umelou inteligencıOblasti pouzitı:modely dopravy,biologicke, ekonomicke, socio-technicke, ...Nastroje...
SNT — Simulacnı nastroje a techniky 142/254
![Page 143: SNT — Simulacnˇ ´ı n astroje a techniky´ · Uvod´ DEVSSpojite´Diskretn´ ´ıKombinovane´1234Z PravidlaLiteratura Modelovan´ ´ı syst em´ u na po˚ cˇ´ıta cˇ´ıch](https://reader030.vdocuments.mx/reader030/viewer/2022040416/5d0ee0dc88c993a2358bbd23/html5/thumbnails/143.jpg)
Uvod DEVS Spojite Diskretnı Kombinovane 1 2 3 4 Z Citlivost Optimalizace CA Agenti
Definice pojmu
Agent [”Agere” = latinsky jednat (za nekoho)]:Podle literatury [Weiss, p. 29]:Agent je pocıtacovy system umısteny do nejakeho prostredı, kteryje schopen samostatne cinnosti v tomto prostredı aby dosahlurcitych cılu.Podle [Russell and Norvig, p. 7:]Agent je cokoli co sleduje okolı a neco dela.
SNT — Simulacnı nastroje a techniky 143/254
![Page 144: SNT — Simulacnˇ ´ı n astroje a techniky´ · Uvod´ DEVSSpojite´Diskretn´ ´ıKombinovane´1234Z PravidlaLiteratura Modelovan´ ´ı syst em´ u na po˚ cˇ´ıta cˇ´ıch](https://reader030.vdocuments.mx/reader030/viewer/2022040416/5d0ee0dc88c993a2358bbd23/html5/thumbnails/144.jpg)
Uvod DEVS Spojite Diskretnı Kombinovane 1 2 3 4 Z Citlivost Optimalizace CA Agenti
Definice pojmu
Podle [Ferber, p. 9]:Agent je fyzicka nebo virtualnı entita, vykazujıcı nasledujıcıvlastnosti:
schopnost pracovat v danem prostredı,muze komunikovat s ostatnımi agenty,je rızen mnozinou tendencı vedoucıch ke splnenı jeho cılu,disponuje vlastnımi prostredky,je schopen sledovat okolnı prostredı,ma jen castecnou reprezentaci okolnıho prostredı,ma jiste schopnosti a muze poskytovat sluzby,muze mıt schopnost se rozmnozovat.
SNT — Simulacnı nastroje a techniky 144/254
![Page 145: SNT — Simulacnˇ ´ı n astroje a techniky´ · Uvod´ DEVSSpojite´Diskretn´ ´ıKombinovane´1234Z PravidlaLiteratura Modelovan´ ´ı syst em´ u na po˚ cˇ´ıta cˇ´ıch](https://reader030.vdocuments.mx/reader030/viewer/2022040416/5d0ee0dc88c993a2358bbd23/html5/thumbnails/145.jpg)
Uvod DEVS Spojite Diskretnı Kombinovane 1 2 3 4 Z Citlivost Optimalizace CA Agenti
Definice pojmu
Prostredı (environment)Okolı agenta – podobne jako okolı modelu se vstupy a vystupy.Poznamky
SNT — Simulacnı nastroje a techniky 145/254
![Page 146: SNT — Simulacnˇ ´ı n astroje a techniky´ · Uvod´ DEVSSpojite´Diskretn´ ´ıKombinovane´1234Z PravidlaLiteratura Modelovan´ ´ı syst em´ u na po˚ cˇ´ıta cˇ´ıch](https://reader030.vdocuments.mx/reader030/viewer/2022040416/5d0ee0dc88c993a2358bbd23/html5/thumbnails/146.jpg)
Uvod DEVS Spojite Diskretnı Kombinovane 1 2 3 4 Z Citlivost Optimalizace CA Agenti
Simulace
Muzeme rozlisit dve vyznamne varianty simulace s agenty:
Agenti komunikujı pres sdılene prostredı.Stav prostredı definuje stav celeho systemu. Kazdy agent macastecne znalosti prostredı pres svoje vstupy a na jejich zaklademenı prostredı pres svoje vystupy – provadı specificke akce.Agenti komunikujı navzajem prostrednictvım zprav. Agenti a jejichstav urcujı stav celeho systemu. Zmeny stavu se sırı komunikacımezi agenty.
SNT — Simulacnı nastroje a techniky 146/254
![Page 147: SNT — Simulacnˇ ´ı n astroje a techniky´ · Uvod´ DEVSSpojite´Diskretn´ ´ıKombinovane´1234Z PravidlaLiteratura Modelovan´ ´ı syst em´ u na po˚ cˇ´ıta cˇ´ıch](https://reader030.vdocuments.mx/reader030/viewer/2022040416/5d0ee0dc88c993a2358bbd23/html5/thumbnails/147.jpg)
Uvod DEVS Spojite Diskretnı Kombinovane 1 2 3 4 Z Citlivost Optimalizace CA Agenti
Nastroje
Agenti se pouzıvajı v cele rade aplikacı – nejen v simulaci.
Swarm – Java, multi-agent simulacedalsı – viz WWW
SNT — Simulacnı nastroje a techniky 147/254
![Page 148: SNT — Simulacnˇ ´ı n astroje a techniky´ · Uvod´ DEVSSpojite´Diskretn´ ´ıKombinovane´1234Z PravidlaLiteratura Modelovan´ ´ı syst em´ u na po˚ cˇ´ıta cˇ´ıch](https://reader030.vdocuments.mx/reader030/viewer/2022040416/5d0ee0dc88c993a2358bbd23/html5/thumbnails/148.jpg)
Uvod DEVS Spojite Diskretnı Kombinovane 1 2 3 4 Z Neurcitost Kvalitativnı Multimodely
Neurcitost (uncertainty)
Pri praci s realnymi systemy se stezı muzeme vyhnout neurcitosti.Neurcitost je soucast temer kazdeho merenı (chyby merenı), na urovnipopisu znalostı se vyskytuje nejednoznacnost prirozeneho jazyka, vespolecnosti je casto pouzıvana k ruznym ucelum (utajenı, ...).
Typy neurcitostiFormy popisu neurcitostiPouzitı v simulaciNastroje
Literatura: Klir G.: Uncertainty and Information, Willey, 2006
SNT — Simulacnı nastroje a techniky 148/254
![Page 149: SNT — Simulacnˇ ´ı n astroje a techniky´ · Uvod´ DEVSSpojite´Diskretn´ ´ıKombinovane´1234Z PravidlaLiteratura Modelovan´ ´ı syst em´ u na po˚ cˇ´ıta cˇ´ıch](https://reader030.vdocuments.mx/reader030/viewer/2022040416/5d0ee0dc88c993a2358bbd23/html5/thumbnails/149.jpg)
Uvod DEVS Spojite Diskretnı Kombinovane 1 2 3 4 Z Neurcitost Kvalitativnı Multimodely
Zpusoby reprezentace neurcitosti
Podle aplikacnıch oblastı [Klir]:
possibility/necessity: vyjadrenı neurcitosti jako jedne z Nmoznostı. Velke N vede k mene specifickym predpovedım nezmale N. Pokud N=1 nejde o neurcitost.Klasicka teorie pravdepodobnosti: Mıra neurcitosti vyjadrenapravdepodobnostı (0..1) vyskytu alternativy v dane podmnozinevsech moznych jevu.Teorie fuzzy mnozin: umoznujı vyjadrenı nespecificnosti avagnosti. Vagnost se lisı od nespecificnosti tım, ze vychazı znepresnosti definic (predevsım z hlediska jazyka). Prıslusnost dofuzzy mnozin nevyjadruje potvrzenı/odmıtnutı ale stupenvyznamnosti.
SNT — Simulacnı nastroje a techniky 149/254
![Page 150: SNT — Simulacnˇ ´ı n astroje a techniky´ · Uvod´ DEVSSpojite´Diskretn´ ´ıKombinovane´1234Z PravidlaLiteratura Modelovan´ ´ı syst em´ u na po˚ cˇ´ıta cˇ´ıch](https://reader030.vdocuments.mx/reader030/viewer/2022040416/5d0ee0dc88c993a2358bbd23/html5/thumbnails/150.jpg)
Uvod DEVS Spojite Diskretnı Kombinovane 1 2 3 4 Z Neurcitost Kvalitativnı Multimodely
Zpusoby reprezentace neurcitosti 2
”Fuzzy measure theory”: viz literaturaTato teorie se znacne lisı od teorie fuzzy mnozin – podmınkyprıslusnosti do mnozin jsou presne, ale informace o prvcıchnepostacuje k urcenı prıslusnosti.”Rough set theory”: viz literaturaFormalnı aproximace klasicke mnoziny parem mnozin, kteredefinujı dolnı a hornı mez (lower/upper approximation). Tytomnoziny mohou byt i ”fuzzy”.
SNT — Simulacnı nastroje a techniky 150/254
![Page 151: SNT — Simulacnˇ ´ı n astroje a techniky´ · Uvod´ DEVSSpojite´Diskretn´ ´ıKombinovane´1234Z PravidlaLiteratura Modelovan´ ´ı syst em´ u na po˚ cˇ´ıta cˇ´ıch](https://reader030.vdocuments.mx/reader030/viewer/2022040416/5d0ee0dc88c993a2358bbd23/html5/thumbnails/151.jpg)
Uvod DEVS Spojite Diskretnı Kombinovane 1 2 3 4 Z Neurcitost Kvalitativnı Multimodely
Fuzzy logika
Rozsırenı Booleovske logiky, (1965, Lofti Zadeh)Popisuje ”vagnost” ve vyjadrovanı. (napr. Co presne znamena, zeje teplota ”vysoka” nebo ”nızka”?)Pojmy: fuzzy mnozina, funkce prıslusnostiMıra prıslusnosti do fuzzy mnoziny je cıslo od 0 do 1 (ale pozor –nesouvisı s pravdepodobnostı)Pouzitı fuzzy logiky: rızenı, expertnı systemy, ...
Poznamka: Podrobnosti viz napr. PDF na WWW:Navara M., Olsak P.: Zaklady fuzzy mnozin, CVUT, Praha, 2002
SNT — Simulacnı nastroje a techniky 151/254
![Page 152: SNT — Simulacnˇ ´ı n astroje a techniky´ · Uvod´ DEVSSpojite´Diskretn´ ´ıKombinovane´1234Z PravidlaLiteratura Modelovan´ ´ı syst em´ u na po˚ cˇ´ıta cˇ´ıch](https://reader030.vdocuments.mx/reader030/viewer/2022040416/5d0ee0dc88c993a2358bbd23/html5/thumbnails/152.jpg)
Uvod DEVS Spojite Diskretnı Kombinovane 1 2 3 4 Z Neurcitost Kvalitativnı Multimodely
Fuzzy mnozina, funkce prıslusnosti
Prıklad: teplota v mıstnosti, 3 fuzzy mnoziny:mala – strednı – velka (cold – normal – hot)
0
0.2
0.4
0.6
0.8
1
1.2
1.4
15 20 25 30
mem
bers
hip
temperature
hotnormal
cold
Fuzzifikace: prevod ”ostre” hodnoty na prıslusnost do mnozin(Prıklad: 18 C→ cold:0.5, normal:0.5, hot:0)
SNT — Simulacnı nastroje a techniky 152/254
![Page 153: SNT — Simulacnˇ ´ı n astroje a techniky´ · Uvod´ DEVSSpojite´Diskretn´ ´ıKombinovane´1234Z PravidlaLiteratura Modelovan´ ´ı syst em´ u na po˚ cˇ´ıta cˇ´ıch](https://reader030.vdocuments.mx/reader030/viewer/2022040416/5d0ee0dc88c993a2358bbd23/html5/thumbnails/153.jpg)
Uvod DEVS Spojite Diskretnı Kombinovane 1 2 3 4 Z Neurcitost Kvalitativnı Multimodely
Operace fuzzy logiky
Negace: ¬s α = 1− α
Konjunkce: α∧
s β = min(α, β)
Disjunkce: α∨
s β = max(α, β)
kde α a β jsou funkce prıslusnosti
Poznamky:Existujı i jine definice operacıPokud budou hodnoty funkce prıslusnosti omezeny pouze na 0 a1, dostaneme Booleovu logiku.
SNT — Simulacnı nastroje a techniky 153/254
![Page 154: SNT — Simulacnˇ ´ı n astroje a techniky´ · Uvod´ DEVSSpojite´Diskretn´ ´ıKombinovane´1234Z PravidlaLiteratura Modelovan´ ´ı syst em´ u na po˚ cˇ´ıta cˇ´ıch](https://reader030.vdocuments.mx/reader030/viewer/2022040416/5d0ee0dc88c993a2358bbd23/html5/thumbnails/154.jpg)
Uvod DEVS Spojite Diskretnı Kombinovane 1 2 3 4 Z Neurcitost Kvalitativnı Multimodely
Fuzzy blok
Postup vyhodnocovanı:prevod vstupu na fuzzy hodnoty (fuzzification)pravidla (if-then rules)Prıklad pravidel:IF teplota IS mala THEN topenı=hodne
IF teplota IS strednı THEN topenı=malo
IF teplota IS velka THEN topenı=chladit
spojenı vystupu pravidel (aggregation)prevod na ”ostre” hodnoty (defuzzification)
SNT — Simulacnı nastroje a techniky 154/254
![Page 155: SNT — Simulacnˇ ´ı n astroje a techniky´ · Uvod´ DEVSSpojite´Diskretn´ ´ıKombinovane´1234Z PravidlaLiteratura Modelovan´ ´ı syst em´ u na po˚ cˇ´ıta cˇ´ıch](https://reader030.vdocuments.mx/reader030/viewer/2022040416/5d0ee0dc88c993a2358bbd23/html5/thumbnails/155.jpg)
Uvod DEVS Spojite Diskretnı Kombinovane 1 2 3 4 Z Neurcitost Kvalitativnı Multimodely
Nastroje
Matlab: Fuzzy Logic ToolboxSciLab: sciFLT (Fuzzy Logic Toolbox)Dymola/Modelica: Fuzzy Control Library...
SNT — Simulacnı nastroje a techniky 155/254
![Page 156: SNT — Simulacnˇ ´ı n astroje a techniky´ · Uvod´ DEVSSpojite´Diskretn´ ´ıKombinovane´1234Z PravidlaLiteratura Modelovan´ ´ı syst em´ u na po˚ cˇ´ıta cˇ´ıch](https://reader030.vdocuments.mx/reader030/viewer/2022040416/5d0ee0dc88c993a2358bbd23/html5/thumbnails/156.jpg)
Uvod DEVS Spojite Diskretnı Kombinovane 1 2 3 4 Z Neurcitost Kvalitativnı Multimodely
Kvalitativnı simulace
Pouzitelna v prıpadech, kdy nezname dostatecne presne numerickeinformace o resenem problemu.
Kvalitativnı informace, promenneKvalitativnı diferencialnı rovniceCılem je zıskat kvalitativnı informace o chovanı systemu(naprıklad: ”hladina vody se ustalı a bude na vyssı urovni”).Muze byt doplneno kvantitativnı informacı – semikvantitativnımodely.Nastroje: QSIM algoritmus, ...
Poznamka: Klıcova jmena pro hledanı: Kuipers, Kleer, Forbus
SNT — Simulacnı nastroje a techniky 156/254
![Page 157: SNT — Simulacnˇ ´ı n astroje a techniky´ · Uvod´ DEVSSpojite´Diskretn´ ´ıKombinovane´1234Z PravidlaLiteratura Modelovan´ ´ı syst em´ u na po˚ cˇ´ıta cˇ´ıch](https://reader030.vdocuments.mx/reader030/viewer/2022040416/5d0ee0dc88c993a2358bbd23/html5/thumbnails/157.jpg)
Uvod DEVS Spojite Diskretnı Kombinovane 1 2 3 4 Z Neurcitost Kvalitativnı Multimodely
Souvislosti
system/model results
Physical System
Differential Equations
Actual Behavior
Qualitative Constraints
f_i: R->R
Behavioral Description
SNT — Simulacnı nastroje a techniky 157/254
![Page 158: SNT — Simulacnˇ ´ı n astroje a techniky´ · Uvod´ DEVSSpojite´Diskretn´ ´ıKombinovane´1234Z PravidlaLiteratura Modelovan´ ´ı syst em´ u na po˚ cˇ´ıta cˇ´ıch](https://reader030.vdocuments.mx/reader030/viewer/2022040416/5d0ee0dc88c993a2358bbd23/html5/thumbnails/158.jpg)
Uvod DEVS Spojite Diskretnı Kombinovane 1 2 3 4 Z Neurcitost Kvalitativnı Multimodely
Princip
Algoritmy pro praci s kvalitativnımi udaji musı definovat:
jak popsat kvantitu kvalitativne: naprıklad (−,0,+), pocet hodnotse muze pri simulaci zvetsovat viz [Kuipers]jak se provadı zmena stavu modelu: pravidla pro vypocetnasledujıcıch stavu(zda kvantitativnı udaje odpovıdajı matematicke analyze)zda kvalitativnı simulace poskytuje vsechna (a platna) chovanı protrıdu systemu popsanych modelem.
Chovanı systemu je popsano stromem nebo grafem kvalitativnıchstavu. Vetvenı znamena, ze stav ma vıce moznych naslednıku (to jezpusobeno nepresnostı v popisu modelu).
SNT — Simulacnı nastroje a techniky 158/254
![Page 159: SNT — Simulacnˇ ´ı n astroje a techniky´ · Uvod´ DEVSSpojite´Diskretn´ ´ıKombinovane´1234Z PravidlaLiteratura Modelovan´ ´ı syst em´ u na po˚ cˇ´ıta cˇ´ıch](https://reader030.vdocuments.mx/reader030/viewer/2022040416/5d0ee0dc88c993a2358bbd23/html5/thumbnails/159.jpg)
Uvod DEVS Spojite Diskretnı Kombinovane 1 2 3 4 Z Neurcitost Kvalitativnı Multimodely
Zpusoby reprezentace hodnot
Kvalitativnı hodnota v promenne v je dvojice (qmag,qdir):qmag mnozina totalne usporadanych hodnot nebo intervalu mezidvema hodnotami. Pocet hodnot je obvykle velmi maly.qdir smer zmeny hodnoty (znamenko derivace) – jedna z hodnotinc (rostoucı), std (ustalena), dec (klesajıcı).
Kvalitativnı stav modelu je dan hodnotami vsech n promennych –rozmer stavoveho prostoru je 2 ∗ n.
Hodnoty stavu jsou definovany v konkretnıch casovych okamzicıchnebo v intervalech.
SNT — Simulacnı nastroje a techniky 159/254
![Page 160: SNT — Simulacnˇ ´ı n astroje a techniky´ · Uvod´ DEVSSpojite´Diskretn´ ´ıKombinovane´1234Z PravidlaLiteratura Modelovan´ ´ı syst em´ u na po˚ cˇ´ıta cˇ´ıch](https://reader030.vdocuments.mx/reader030/viewer/2022040416/5d0ee0dc88c993a2358bbd23/html5/thumbnails/160.jpg)
Uvod DEVS Spojite Diskretnı Kombinovane 1 2 3 4 Z Neurcitost Kvalitativnı Multimodely
Kvalitativnı dif. rovnice
QDE je abstrakce ODE a lze ji definovat jako ctverici:
< V ,Q,C,T >
kde:V je mnozina promennychQ mnozina prostoru hodnot promennychC mnozina omezujıcıch rovnic (constraints)T mnozina prechodu definujıcıch hranice pouzitelnosti QDE
SNT — Simulacnı nastroje a techniky 160/254
![Page 161: SNT — Simulacnˇ ´ı n astroje a techniky´ · Uvod´ DEVSSpojite´Diskretn´ ´ıKombinovane´1234Z PravidlaLiteratura Modelovan´ ´ı syst em´ u na po˚ cˇ´ıta cˇ´ıch](https://reader030.vdocuments.mx/reader030/viewer/2022040416/5d0ee0dc88c993a2358bbd23/html5/thumbnails/161.jpg)
Uvod DEVS Spojite Diskretnı Kombinovane 1 2 3 4 Z Neurcitost Kvalitativnı Multimodely
Prıklad – Spojene nadoby
A B
Omezenı:Tlak vody je umerny vysce hladinyMnozstvı vody protekajıcı mezi nadobami zavisı na rozdılu tlakuPrutok snizuje mnozstvı vody v jedne nadobe a zvysuje ve druhe
SNT — Simulacnı nastroje a techniky 161/254
![Page 162: SNT — Simulacnˇ ´ı n astroje a techniky´ · Uvod´ DEVSSpojite´Diskretn´ ´ıKombinovane´1234Z PravidlaLiteratura Modelovan´ ´ı syst em´ u na po˚ cˇ´ıta cˇ´ıch](https://reader030.vdocuments.mx/reader030/viewer/2022040416/5d0ee0dc88c993a2358bbd23/html5/thumbnails/162.jpg)
Uvod DEVS Spojite Diskretnı Kombinovane 1 2 3 4 Z Neurcitost Kvalitativnı Multimodely
Prıklad – pokracovanı
Chovanı systemu:Na zacatku je system v rovnovaze a pridame vodu do nadoby AZvysı se mnozstvı vody a tlak v nadobe A, coz vede k prutoku doBVoda tece z A do B, vyska hladiny A klesa, B roste. Rozdıl tlaku iprutok vody klesajı k nule.System se ustalı kdyz rozdıl tlaku i prutok klesne na nulu, hladinyv obou nadobach jsou vyssı nez na zacatku.
Kvalitativnı simulace urcı chovanı systemu a nepotrebuje pocatecnıvysku hladiny, ani mnozstvı pridane vody.Nezjistıme o kolik se zvysila hladina ani jak dlouho proces ustalovanıstavu trval.
SNT — Simulacnı nastroje a techniky 162/254
![Page 163: SNT — Simulacnˇ ´ı n astroje a techniky´ · Uvod´ DEVSSpojite´Diskretn´ ´ıKombinovane´1234Z PravidlaLiteratura Modelovan´ ´ı syst em´ u na po˚ cˇ´ıta cˇ´ıch](https://reader030.vdocuments.mx/reader030/viewer/2022040416/5d0ee0dc88c993a2358bbd23/html5/thumbnails/163.jpg)
Uvod DEVS Spojite Diskretnı Kombinovane 1 2 3 4 Z Neurcitost Kvalitativnı Multimodely
Algoritmus QSIM
1 Nastavit pocatecnı stav do seznamu ACTIVE2 While( not empty(ACTIVE) ) opakovat nasledujıcı body:3 Vybrat kvalitativnı stav z ACTIVE4 Pro kazdou funkci vybrat mnozinu moznych nasledujıcıch stavu5 Pro kazdou rovnici (constraint) generovat mnozinu n-tic prechodu
jejich argumentu. Vyradit nekonzistentnı n-tice.6 Test konzistence mnozin n-tic pro vsechny rovnice v systemu7 Generovat vsechny mozne interpretace zbylych n-tic (pokud
zadne nezbyly, je chovanı nekonzistentnı). Vytvorit nove stavyvznikle interpretacı a nazvat je naslednıky aktualnıho stavu.
8 Vyradit stavy nevyhovujıcı pravidlum a zbyvajıcı pridat do ACTIVE.
SNT — Simulacnı nastroje a techniky 163/254
![Page 164: SNT — Simulacnˇ ´ı n astroje a techniky´ · Uvod´ DEVSSpojite´Diskretn´ ´ıKombinovane´1234Z PravidlaLiteratura Modelovan´ ´ı syst em´ u na po˚ cˇ´ıta cˇ´ıch](https://reader030.vdocuments.mx/reader030/viewer/2022040416/5d0ee0dc88c993a2358bbd23/html5/thumbnails/164.jpg)
Uvod DEVS Spojite Diskretnı Kombinovane 1 2 3 4 Z Neurcitost Kvalitativnı Multimodely
Nastroje, Literatura
QSIM algoritmusKuipers B.: Qualitative Simulation, Artificial Intelligence 29, p.289-338, 1986...
SNT — Simulacnı nastroje a techniky 164/254
![Page 165: SNT — Simulacnˇ ´ı n astroje a techniky´ · Uvod´ DEVSSpojite´Diskretn´ ´ıKombinovane´1234Z PravidlaLiteratura Modelovan´ ´ı syst em´ u na po˚ cˇ´ıta cˇ´ıch](https://reader030.vdocuments.mx/reader030/viewer/2022040416/5d0ee0dc88c993a2358bbd23/html5/thumbnails/165.jpg)
Uvod DEVS Spojite Diskretnı Kombinovane 1 2 3 4 Z Neurcitost Kvalitativnı Multimodely
Multimodely
= modely slozene z jinych modelu.
Vetsina realnych modelu jsou multimodely (slozite modely obvyklenelze popsat jednım formalismem).Modelujeme na ruznych urovnıch abstrakce a ruznymi zpusoby –heterogennı popis multimodelu.Skladanı modelu z komponent – hierarchicke modely.Nastroje: vetsina simulacnıch systemu
SNT — Simulacnı nastroje a techniky 165/254
![Page 166: SNT — Simulacnˇ ´ı n astroje a techniky´ · Uvod´ DEVSSpojite´Diskretn´ ´ıKombinovane´1234Z PravidlaLiteratura Modelovan´ ´ı syst em´ u na po˚ cˇ´ıta cˇ´ıch](https://reader030.vdocuments.mx/reader030/viewer/2022040416/5d0ee0dc88c993a2358bbd23/html5/thumbnails/166.jpg)
Uvod DEVS Spojite Diskretnı Kombinovane 1 2 3 4 Z Neurcitost Kvalitativnı Multimodely
Urovne abstrakce
Konceptualnı modelyKvalitativnı modelyModely s neurcitostı (fuzzy, stochasticke, ...)Spojite a diskretnı modely(Fyzikalnı modely)Realny system (presne vysledky)
Poznamka: Pri vytvarenı modelu obvykle zpresnujeme popis.
SNT — Simulacnı nastroje a techniky 166/254
![Page 167: SNT — Simulacnˇ ´ı n astroje a techniky´ · Uvod´ DEVSSpojite´Diskretn´ ´ıKombinovane´1234Z PravidlaLiteratura Modelovan´ ´ı syst em´ u na po˚ cˇ´ıta cˇ´ıch](https://reader030.vdocuments.mx/reader030/viewer/2022040416/5d0ee0dc88c993a2358bbd23/html5/thumbnails/167.jpg)
Uvod DEVS Spojite Diskretnı Kombinovane 1 2 3 4 Z Neurcitost Kvalitativnı Multimodely
Prıklady
SNT — Simulacnı nastroje a techniky 167/254
![Page 168: SNT — Simulacnˇ ´ı n astroje a techniky´ · Uvod´ DEVSSpojite´Diskretn´ ´ıKombinovane´1234Z PravidlaLiteratura Modelovan´ ´ı syst em´ u na po˚ cˇ´ıta cˇ´ıch](https://reader030.vdocuments.mx/reader030/viewer/2022040416/5d0ee0dc88c993a2358bbd23/html5/thumbnails/168.jpg)
Uvod DEVS Spojite Diskretnı Kombinovane 1 2 3 4 Z Neurcitost Kvalitativnı Multimodely
Literatura
Fishwick P.: Simulation Model Design and Execution, PrenticeHall, 1995...
SNT — Simulacnı nastroje a techniky 168/254
![Page 169: SNT — Simulacnˇ ´ı n astroje a techniky´ · Uvod´ DEVSSpojite´Diskretn´ ´ıKombinovane´1234Z PravidlaLiteratura Modelovan´ ´ı syst em´ u na po˚ cˇ´ıta cˇ´ıch](https://reader030.vdocuments.mx/reader030/viewer/2022040416/5d0ee0dc88c993a2358bbd23/html5/thumbnails/169.jpg)
Uvod DEVS Spojite Diskretnı Kombinovane 1 2 3 4 Z Simulace Parallel DEVS Cıslicove Vizualizace Analyza
Paralelnı a distribuovana simulace
Paralelnı zpracovanıDistribuovane zpracovanıSouvislosti: Architektury pocıtacu, algoritmyParalelizace simulacnıch programu (modelu)Typy modelu vhodne pro paralelizaciParalelnı simulatory, synchronizace
Poznamka: Superpocıtace
SNT — Simulacnı nastroje a techniky 169/254
![Page 170: SNT — Simulacnˇ ´ı n astroje a techniky´ · Uvod´ DEVSSpojite´Diskretn´ ´ıKombinovane´1234Z PravidlaLiteratura Modelovan´ ´ı syst em´ u na po˚ cˇ´ıta cˇ´ıch](https://reader030.vdocuments.mx/reader030/viewer/2022040416/5d0ee0dc88c993a2358bbd23/html5/thumbnails/170.jpg)
Uvod DEVS Spojite Diskretnı Kombinovane 1 2 3 4 Z Simulace Parallel DEVS Cıslicove Vizualizace Analyza
Nastroje
OpenMP, PVM, MPI, Java RMI, CORBA, ...HLA – High Level Architecture (CORBA)Multi-Simulation Interface – MSI (XML)Bezne simulacnı nastroje podporujı i paralelizaci vypoctu (SciLab,MatLab, Dymola, ...)
Prehled viz naprıklad [Fishwick], [Fujimoto]
SNT — Simulacnı nastroje a techniky 170/254
![Page 171: SNT — Simulacnˇ ´ı n astroje a techniky´ · Uvod´ DEVSSpojite´Diskretn´ ´ıKombinovane´1234Z PravidlaLiteratura Modelovan´ ´ı syst em´ u na po˚ cˇ´ıta cˇ´ıch](https://reader030.vdocuments.mx/reader030/viewer/2022040416/5d0ee0dc88c993a2358bbd23/html5/thumbnails/171.jpg)
Uvod DEVS Spojite Diskretnı Kombinovane 1 2 3 4 Z Simulace Parallel DEVS Cıslicove Vizualizace Analyza
Aplikace
Vojenske: hry, trenazery, testovanı HWZabava: hry (let. simulatory, MUD)VyukaTelekomunikace: modely sıtı, komponentCıslicove systemy: VHDL, ...Doprava...
Poznamky: ”virtual environment”, VR
SNT — Simulacnı nastroje a techniky 171/254
![Page 172: SNT — Simulacnˇ ´ı n astroje a techniky´ · Uvod´ DEVSSpojite´Diskretn´ ´ıKombinovane´1234Z PravidlaLiteratura Modelovan´ ´ı syst em´ u na po˚ cˇ´ıta cˇ´ıch](https://reader030.vdocuments.mx/reader030/viewer/2022040416/5d0ee0dc88c993a2358bbd23/html5/thumbnails/172.jpg)
Uvod DEVS Spojite Diskretnı Kombinovane 1 2 3 4 Z Simulace Parallel DEVS Cıslicove Vizualizace Analyza
Paralelnı pocıtace
Flynnova klasifikace (1972):SISD - jeden procesorSIMD - vektorove (CRAY) / ”array”MIMD - distribuovana/sdılena pamet, clusterMISD - malo pouzıvane
Prıstup do pameti: UMA(SMP) / NUMA / NoRMA(cluster)Topologie sıte (staticka/dynamicka), parametry sıte
SNT — Simulacnı nastroje a techniky 172/254
![Page 173: SNT — Simulacnˇ ´ı n astroje a techniky´ · Uvod´ DEVSSpojite´Diskretn´ ´ıKombinovane´1234Z PravidlaLiteratura Modelovan´ ´ı syst em´ u na po˚ cˇ´ıta cˇ´ıch](https://reader030.vdocuments.mx/reader030/viewer/2022040416/5d0ee0dc88c993a2358bbd23/html5/thumbnails/173.jpg)
Uvod DEVS Spojite Diskretnı Kombinovane 1 2 3 4 Z Simulace Parallel DEVS Cıslicove Vizualizace Analyza
Paralelizace vypoctu
Explicitnı: knihovnyImplicitnı: specialnı jazyky a prekladaceParadigmata:
Imperativnı: Fortran, C, C++Logicke: PrologFunkcionalnı: Lisp, Scheme
Poznamka: OpenMP
SNT — Simulacnı nastroje a techniky 173/254
![Page 174: SNT — Simulacnˇ ´ı n astroje a techniky´ · Uvod´ DEVSSpojite´Diskretn´ ´ıKombinovane´1234Z PravidlaLiteratura Modelovan´ ´ı syst em´ u na po˚ cˇ´ıta cˇ´ıch](https://reader030.vdocuments.mx/reader030/viewer/2022040416/5d0ee0dc88c993a2358bbd23/html5/thumbnails/174.jpg)
Uvod DEVS Spojite Diskretnı Kombinovane 1 2 3 4 Z Simulace Parallel DEVS Cıslicove Vizualizace Analyza
MPI - Message Passing Interface
Explicitnı paralelizaceVhodne pro distribuovane systemy, clusteryNezavisle na prog. jazyku (C, Fortran90, C++)Standardnı API:
MPI-1 (1992-1994)MPI-1.2 (1996) - staticke, minimalnıMPI-2 (1996) - dynamicke, narocnejsı, paralelnı vstup/vystupMPI-2.1 (2007)MPI-3.1 (2015), ...
+ vykon, skalovatelnost, prenositelnost- obtızne, prılis nızkourovnoveImplementace: MPICH, Open MPI
SNT — Simulacnı nastroje a techniky 174/254
![Page 175: SNT — Simulacnˇ ´ı n astroje a techniky´ · Uvod´ DEVSSpojite´Diskretn´ ´ıKombinovane´1234Z PravidlaLiteratura Modelovan´ ´ı syst em´ u na po˚ cˇ´ıta cˇ´ıch](https://reader030.vdocuments.mx/reader030/viewer/2022040416/5d0ee0dc88c993a2358bbd23/html5/thumbnails/175.jpg)
Uvod DEVS Spojite Diskretnı Kombinovane 1 2 3 4 Z Simulace Parallel DEVS Cıslicove Vizualizace Analyza
PVM - Parallel Virtual Machine
Explicitnı paralelizaceVhodne pro heterogennı pocıtacove systemyPouzitelne pro C, Fortran, C++Verze:
Verze 1 (1989)Verze 2 (1991)Verze 3 (1993) - prenositelnost, odolnost proti chybamAktualnı verze 3.4.6 (2009)
+ skalovatelnost, prenositelnost, flexibilita- vykon?Implementace: PVM
SNT — Simulacnı nastroje a techniky 175/254
![Page 176: SNT — Simulacnˇ ´ı n astroje a techniky´ · Uvod´ DEVSSpojite´Diskretn´ ´ıKombinovane´1234Z PravidlaLiteratura Modelovan´ ´ı syst em´ u na po˚ cˇ´ıta cˇ´ıch](https://reader030.vdocuments.mx/reader030/viewer/2022040416/5d0ee0dc88c993a2358bbd23/html5/thumbnails/176.jpg)
Uvod DEVS Spojite Diskretnı Kombinovane 1 2 3 4 Z Simulace Parallel DEVS Cıslicove Vizualizace Analyza
CORBA
Common Object Request Broker ArchitectureObjektove orientovany distribuovany systemUmoznuje volanı metod objektu nezavisle na jejich umıstenıPouzitelne pro C, C++, Lisp, Smalltalk, Java, Python, ...IDL - Interface Description LanguageORB - Object Request BrokerVerze:
Verze 1.0 (1991)Verze 2.0 (1996)Verze 3.0 (2002)Verze 3.3 (2012)
Implementace: omniORB, GNOME/ORBit, ...
SNT — Simulacnı nastroje a techniky 176/254
![Page 177: SNT — Simulacnˇ ´ı n astroje a techniky´ · Uvod´ DEVSSpojite´Diskretn´ ´ıKombinovane´1234Z PravidlaLiteratura Modelovan´ ´ı syst em´ u na po˚ cˇ´ıta cˇ´ıch](https://reader030.vdocuments.mx/reader030/viewer/2022040416/5d0ee0dc88c993a2358bbd23/html5/thumbnails/177.jpg)
Uvod DEVS Spojite Diskretnı Kombinovane 1 2 3 4 Z Simulace Parallel DEVS Cıslicove Vizualizace Analyza
Paralelizace modelu
Deklarativnı modelyFunkcionalnı modelyConstraint modely (rovnice) – prevod na funkcionalnı (blokovy)popis.Prostorove (spatial) modely – jejich slozitost casto vyzadujeparalelizaci.
SNT — Simulacnı nastroje a techniky 177/254
![Page 178: SNT — Simulacnˇ ´ı n astroje a techniky´ · Uvod´ DEVSSpojite´Diskretn´ ´ıKombinovane´1234Z PravidlaLiteratura Modelovan´ ´ı syst em´ u na po˚ cˇ´ıta cˇ´ıch](https://reader030.vdocuments.mx/reader030/viewer/2022040416/5d0ee0dc88c993a2358bbd23/html5/thumbnails/178.jpg)
Uvod DEVS Spojite Diskretnı Kombinovane 1 2 3 4 Z Simulace Parallel DEVS Cıslicove Vizualizace Analyza
Algoritmy
Lokalnı virtualnı cas – pro kazdy procesorKomunikace prostrednictvım zpravZpravy nesou take informaci o modelovem case
Metody paralelnı simulace:Konzervativnı – usporadanı zprav, provadenı udalostı v poradıpodle casu aktivaceOptimisticka – anti-zpravy rozeslane ostatnım procesorum mohourusit efekt jiz provedenych operacı
SNT — Simulacnı nastroje a techniky 178/254
![Page 179: SNT — Simulacnˇ ´ı n astroje a techniky´ · Uvod´ DEVSSpojite´Diskretn´ ´ıKombinovane´1234Z PravidlaLiteratura Modelovan´ ´ı syst em´ u na po˚ cˇ´ıta cˇ´ıch](https://reader030.vdocuments.mx/reader030/viewer/2022040416/5d0ee0dc88c993a2358bbd23/html5/thumbnails/179.jpg)
Uvod DEVS Spojite Diskretnı Kombinovane 1 2 3 4 Z Simulace Parallel DEVS Cıslicove Vizualizace Analyza
HLA – High Level Architecture
Software pro vytvarenı komponentnıch distribuovanych simulacıobecnepodporuje znovupouzitelnost komponentmoznost propojovanı ruznych nastrojucasto real-time simulaceStandard: DoD, NATO, OMG, IEEE 1516Vylepsenı starsıch standardu: DIS, ALSP
SNT — Simulacnı nastroje a techniky 179/254
![Page 180: SNT — Simulacnˇ ´ı n astroje a techniky´ · Uvod´ DEVSSpojite´Diskretn´ ´ıKombinovane´1234Z PravidlaLiteratura Modelovan´ ´ı syst em´ u na po˚ cˇ´ıta cˇ´ıch](https://reader030.vdocuments.mx/reader030/viewer/2022040416/5d0ee0dc88c993a2358bbd23/html5/thumbnails/180.jpg)
Uvod DEVS Spojite Diskretnı Kombinovane 1 2 3 4 Z Simulace Parallel DEVS Cıslicove Vizualizace Analyza
HLA – terminologie
”federate” – zakladnı jednotka (model+simulator)”federation” – skupina jednotek tvorıcı simulaciRTI – Runtime Infrastructure – komunikacnı vrstva (existujı ruzneimplementace RTI) poskytuje rozhranı pro sluzby rozdelene dokategoriı:
Federation management (20)Declaration management (12)Object management (17)Ownership management (16)Time management (23)Data distribution management (13)
SNT — Simulacnı nastroje a techniky 180/254
![Page 181: SNT — Simulacnˇ ´ı n astroje a techniky´ · Uvod´ DEVSSpojite´Diskretn´ ´ıKombinovane´1234Z PravidlaLiteratura Modelovan´ ´ı syst em´ u na po˚ cˇ´ıta cˇ´ıch](https://reader030.vdocuments.mx/reader030/viewer/2022040416/5d0ee0dc88c993a2358bbd23/html5/thumbnails/181.jpg)
Uvod DEVS Spojite Diskretnı Kombinovane 1 2 3 4 Z Simulace Parallel DEVS Cıslicove Vizualizace Analyza
HLA – terminologie
Kazda sluzba RTI je specifikovana polozkami:Jmeno a popisParametryNavratove hodnotyPre- a Post-conditionsVyjimkySouvisejıcı sluzby
HLA pravidla, OMT-Object Model Template: FOM-Federation,SOM-Simulation(=federate), MOM-Management Object ModelExistujı API pro: CORBA IDL, C++, Ada, Java
SNT — Simulacnı nastroje a techniky 181/254
![Page 182: SNT — Simulacnˇ ´ı n astroje a techniky´ · Uvod´ DEVSSpojite´Diskretn´ ´ıKombinovane´1234Z PravidlaLiteratura Modelovan´ ´ı syst em´ u na po˚ cˇ´ıta cˇ´ıch](https://reader030.vdocuments.mx/reader030/viewer/2022040416/5d0ee0dc88c993a2358bbd23/html5/thumbnails/182.jpg)
Uvod DEVS Spojite Diskretnı Kombinovane 1 2 3 4 Z Simulace Parallel DEVS Cıslicove Vizualizace Analyza
HLA – cas
Logicky – federate time (pri TSO), kazda jednotka muze mıt jiny,internı zpracovanı casu v jednotce nesmı byt viditelne z okolıRealny...RTI – Time management:
zadna sprava casu – kazda jednotka pracuje nezavisle, naprıklad vrealnem casekonzervativnı – posuv casu pouze kdyz je zaruceno, ze nebudeproblemoptimisticka – moznost ”Roll-back””activity scan” – posun casu po vzajemne dohode jednotek, napr.konstantnı casovy krok
SNT — Simulacnı nastroje a techniky 182/254
![Page 183: SNT — Simulacnˇ ´ı n astroje a techniky´ · Uvod´ DEVSSpojite´Diskretn´ ´ıKombinovane´1234Z PravidlaLiteratura Modelovan´ ´ı syst em´ u na po˚ cˇ´ıta cˇ´ıch](https://reader030.vdocuments.mx/reader030/viewer/2022040416/5d0ee0dc88c993a2358bbd23/html5/thumbnails/183.jpg)
Uvod DEVS Spojite Diskretnı Kombinovane 1 2 3 4 Z Simulace Parallel DEVS Cıslicove Vizualizace Analyza
HLA – cas 2
Poradı zpracovanı zprav:TSO – Time Stamp OrderRTI zarucı, ze nedojde k prıjmu zprav z minulostiMusı byt explicitne zapnuto prıslusnymi sluzbami.RO – Receive Order
Pozadavky na posun casu:Spojita simulace: ”Request Time Advance”, RTI odpovı, zda je tomozne ”Time Advance Grant”Diskretnı simulace: Sluzba ”Next Event Request (t1)” pozadujeposun casu na dalsı udalost nebo na t1,podle toho co nastanedrıve. RTI odpovı kdy posunout cas a o kolik zpravou ”TimeAdvance Grant”
SNT — Simulacnı nastroje a techniky 183/254
![Page 184: SNT — Simulacnˇ ´ı n astroje a techniky´ · Uvod´ DEVSSpojite´Diskretn´ ´ıKombinovane´1234Z PravidlaLiteratura Modelovan´ ´ı syst em´ u na po˚ cˇ´ıta cˇ´ıch](https://reader030.vdocuments.mx/reader030/viewer/2022040416/5d0ee0dc88c993a2358bbd23/html5/thumbnails/184.jpg)
Uvod DEVS Spojite Diskretnı Kombinovane 1 2 3 4 Z Simulace Parallel DEVS Cıslicove Vizualizace Analyza
HLA – cas 3
Simulace rızena realnym casem:specialnı prıpadnutnost synchronizace hodinreal-time zpracovanıkompenzace komunikacnıho zpozdenı (naprıklad predikcepohybu na zaklade predchozı pozice a rychlosti)vse musı implementovat jednotka - ”federate”
SNT — Simulacnı nastroje a techniky 184/254
![Page 185: SNT — Simulacnˇ ´ı n astroje a techniky´ · Uvod´ DEVSSpojite´Diskretn´ ´ıKombinovane´1234Z PravidlaLiteratura Modelovan´ ´ı syst em´ u na po˚ cˇ´ıta cˇ´ıch](https://reader030.vdocuments.mx/reader030/viewer/2022040416/5d0ee0dc88c993a2358bbd23/html5/thumbnails/185.jpg)
Uvod DEVS Spojite Diskretnı Kombinovane 1 2 3 4 Z Simulace Parallel DEVS Cıslicove Vizualizace Analyza
MSI – Multi-Simulation Interface
Alternativa k HLAPropojovanı vıce simulacı (CSIM,...)Synchronizace casuVe srovnanı s HLA je:
jednodussı a mensı,mene narocne na prenos dat,umoznuje hierarchicke simulace
Pouzitelne s ruznymi jazyky (napr. C, C++, Java, Lisp, Perl)
SNT — Simulacnı nastroje a techniky 185/254
![Page 186: SNT — Simulacnˇ ´ı n astroje a techniky´ · Uvod´ DEVSSpojite´Diskretn´ ´ıKombinovane´1234Z PravidlaLiteratura Modelovan´ ´ı syst em´ u na po˚ cˇ´ıta cˇ´ıch](https://reader030.vdocuments.mx/reader030/viewer/2022040416/5d0ee0dc88c993a2358bbd23/html5/thumbnails/186.jpg)
Uvod DEVS Spojite Diskretnı Kombinovane 1 2 3 4 Z Simulace Parallel DEVS Cıslicove Vizualizace Analyza
Parallel DEVS formalismus
Proc Parallel DEVSSoubezne provadenı udalostıRozsırenı formalismuParallel DEVS Simulation Protocol...
Literatura:Zeigler, B. et al.: Theory of Modelling and Simulation, AP, 2000Nutaro, J.: Building Software for Simulation, Wiley, 2011
SNT — Simulacnı nastroje a techniky 186/254
![Page 187: SNT — Simulacnˇ ´ı n astroje a techniky´ · Uvod´ DEVSSpojite´Diskretn´ ´ıKombinovane´1234Z PravidlaLiteratura Modelovan´ ´ı syst em´ u na po˚ cˇ´ıta cˇ´ıch](https://reader030.vdocuments.mx/reader030/viewer/2022040416/5d0ee0dc88c993a2358bbd23/html5/thumbnails/187.jpg)
Uvod DEVS Spojite Diskretnı Kombinovane 1 2 3 4 Z Simulace Parallel DEVS Cıslicove Vizualizace Analyza
Proc Parallel DEVS?
Problem vyskytu soucasnych (vstupnıch a internıch) udalostıProvedenı δint → δext nebo naopak?Klasicky DEVS problem resı pomocı funkce Select v DEVN, ale vprıpade zpetne vazby muze dojıt k problemu – napr. ztratavstupnı udalosti.Paralelnı DEVS rozhodovanı o poradı soucasnych udalostıpresouva do atomickeho DEVS, kde je lepe resitelne.Vhodne pro paralelnı implementaci simulatoru
SNT — Simulacnı nastroje a techniky 187/254
![Page 188: SNT — Simulacnˇ ´ı n astroje a techniky´ · Uvod´ DEVSSpojite´Diskretn´ ´ıKombinovane´1234Z PravidlaLiteratura Modelovan´ ´ı syst em´ u na po˚ cˇ´ıta cˇ´ıch](https://reader030.vdocuments.mx/reader030/viewer/2022040416/5d0ee0dc88c993a2358bbd23/html5/thumbnails/188.jpg)
Uvod DEVS Spojite Diskretnı Kombinovane 1 2 3 4 Z Simulace Parallel DEVS Cıslicove Vizualizace Analyza
Definice Parallel DEVS
PDEVS = (X ,Y ,S, δext , δint , δcon, λ, ta)
kde
X je mnozina vstupu,Y je mnozina vystupu,S je mnozina stavu,δext : Q × X b → S je externı prechodova funkce kdeQ = (s,e) : s ∈ S,0 ≤ e ≤ ta(s) je mnozina totalnıch stavu,δcon : S × X b → S je ”confluent” prechodova funkce pro soucasnyvyskyt vstupnı a internı udalosti (e = ta(s)). Implicitne se pouzıvaδcon(s, x) = δext (δint (s),0, x). Vzdy platı δcon(s, ∅) = δint (s).
SNT — Simulacnı nastroje a techniky 188/254
![Page 189: SNT — Simulacnˇ ´ı n astroje a techniky´ · Uvod´ DEVSSpojite´Diskretn´ ´ıKombinovane´1234Z PravidlaLiteratura Modelovan´ ´ı syst em´ u na po˚ cˇ´ıta cˇ´ıch](https://reader030.vdocuments.mx/reader030/viewer/2022040416/5d0ee0dc88c993a2358bbd23/html5/thumbnails/189.jpg)
Uvod DEVS Spojite Diskretnı Kombinovane 1 2 3 4 Z Simulace Parallel DEVS Cıslicove Vizualizace Analyza
Definice DEVS formalismu – pokracovanı
δint : S → S je internı prechodova funkce,λ : S → Y b je vystupnı funkceta : S → R+
0 ∪ ∞ je funkce posunu casu udavajıcı cas zbyvajıcıdo vyskytu nasledujıcı planovane udalosti.
Poznamka:X b, Y b jsou mnoziny multimnozin (bag), protoze je mozne soucasnezpracovanı vıce udalostı
SNT — Simulacnı nastroje a techniky 189/254
![Page 190: SNT — Simulacnˇ ´ı n astroje a techniky´ · Uvod´ DEVSSpojite´Diskretn´ ´ıKombinovane´1234Z PravidlaLiteratura Modelovan´ ´ı syst em´ u na po˚ cˇ´ıta cˇ´ıch](https://reader030.vdocuments.mx/reader030/viewer/2022040416/5d0ee0dc88c993a2358bbd23/html5/thumbnails/190.jpg)
Uvod DEVS Spojite Diskretnı Kombinovane 1 2 3 4 Z Simulace Parallel DEVS Cıslicove Vizualizace Analyza
Hierarchicky model — slozeny DEVS
Slozeny paralelnı DEVS (PDEVN) je definovan takto:
PN = (X ,Y ,D, Md, Id, Zi,d)
kde vsechny polozky odpovıdajı DEVN, pouze Select chybı.
Paralelnı DEVS simulatorSimulator pro PDEVS model ma jinou strukturu nez DEVS simulator,je bez root-koordinatoru.
Implementace: adevs
SNT — Simulacnı nastroje a techniky 190/254
![Page 191: SNT — Simulacnˇ ´ı n astroje a techniky´ · Uvod´ DEVSSpojite´Diskretn´ ´ıKombinovane´1234Z PravidlaLiteratura Modelovan´ ´ı syst em´ u na po˚ cˇ´ıta cˇ´ıch](https://reader030.vdocuments.mx/reader030/viewer/2022040416/5d0ee0dc88c993a2358bbd23/html5/thumbnails/191.jpg)
Uvod DEVS Spojite Diskretnı Kombinovane 1 2 3 4 Z Simulace Parallel DEVS Cıslicove Vizualizace Analyza
Modelovanı cıslicovych systemu
Urovne popisuAlgoritmyJazyky VHDL, Verilog, SystemCOblasti pouzitı:
Navrh integrovanych obvoduDiagnostika, testovanıVyuka
Souvislosti: vizualizace, paralelnı simulace
SNT — Simulacnı nastroje a techniky 191/254
![Page 192: SNT — Simulacnˇ ´ı n astroje a techniky´ · Uvod´ DEVSSpojite´Diskretn´ ´ıKombinovane´1234Z PravidlaLiteratura Modelovan´ ´ı syst em´ u na po˚ cˇ´ıta cˇ´ıch](https://reader030.vdocuments.mx/reader030/viewer/2022040416/5d0ee0dc88c993a2358bbd23/html5/thumbnails/192.jpg)
Uvod DEVS Spojite Diskretnı Kombinovane 1 2 3 4 Z Simulace Parallel DEVS Cıslicove Vizualizace Analyza
Popis cıslicovych systemu
Urovne popisu:Elektricka – tranzistory, rezistory, kondenzatory (spojite modely)”Switch” – tranzistory nahrazeny spınaci, obousmerne signaly, RCclanky (diskretnı)Logicka (”gate”) – hradla, klopne obvody (diskretnı modely)RTL (meziregistrove prenosy) – cıtace, radice, ALU (diskretnımodely)Algoritmus – popis programem (diskretnı modely)Systemova – procesory, pameti, periferie (hromadna obsluha,vykonnost)
SNT — Simulacnı nastroje a techniky 192/254
![Page 193: SNT — Simulacnˇ ´ı n astroje a techniky´ · Uvod´ DEVSSpojite´Diskretn´ ´ıKombinovane´1234Z PravidlaLiteratura Modelovan´ ´ı syst em´ u na po˚ cˇ´ıta cˇ´ıch](https://reader030.vdocuments.mx/reader030/viewer/2022040416/5d0ee0dc88c993a2358bbd23/html5/thumbnails/193.jpg)
Uvod DEVS Spojite Diskretnı Kombinovane 1 2 3 4 Z Simulace Parallel DEVS Cıslicove Vizualizace Analyza
Jazyky
Specializovane nastroje:SPICE: elektricka uroven (casova, stejnosmerna, frekvencnı,citlivostnı analyza)VHDL: logicka, RTL, algoritmusVHDL-AMS (IEEE Std 1076.1): + elektrickaVerilog: logicka, RTL, algoritmusVerilog-AMS: + elektricka urovenSystem C: TLM = ”Transaction Level Modelling”System C - AMS (IEEE Std 1666.1): + elektricka...
Poznamka: Volne dostupne: ngspice, IRSIM, Icarus Verilog, ...
SNT — Simulacnı nastroje a techniky 193/254
![Page 194: SNT — Simulacnˇ ´ı n astroje a techniky´ · Uvod´ DEVSSpojite´Diskretn´ ´ıKombinovane´1234Z PravidlaLiteratura Modelovan´ ´ı syst em´ u na po˚ cˇ´ıta cˇ´ıch](https://reader030.vdocuments.mx/reader030/viewer/2022040416/5d0ee0dc88c993a2358bbd23/html5/thumbnails/194.jpg)
Uvod DEVS Spojite Diskretnı Kombinovane 1 2 3 4 Z Simulace Parallel DEVS Cıslicove Vizualizace Analyza
Modely signalu
Dvouhodnotove: jen 0 a 1 (malo pouzıvane, rychle)Trojhodnotove: 0, 1, X (neurcita uroven)Hodnoty 0, 1, X, R (Rise) a F (Fall)presnejsı popis, odhalı vıce hazardu, pomalejsı
Dalsı moznosti:Hodnota Z (vysoka impedance)Ruzna ”sıla” signalu (typicke u CMOS)Staticky (_/\_) a dynamicky (_/\/~) hazard
SNT — Simulacnı nastroje a techniky 194/254
![Page 195: SNT — Simulacnˇ ´ı n astroje a techniky´ · Uvod´ DEVSSpojite´Diskretn´ ´ıKombinovane´1234Z PravidlaLiteratura Modelovan´ ´ı syst em´ u na po˚ cˇ´ıta cˇ´ıch](https://reader030.vdocuments.mx/reader030/viewer/2022040416/5d0ee0dc88c993a2358bbd23/html5/thumbnails/195.jpg)
Uvod DEVS Spojite Diskretnı Kombinovane 1 2 3 4 Z Simulace Parallel DEVS Cıslicove Vizualizace Analyza
Modely signalu — VHDL
VHDL definuje vycet std_logic’U’: uninitialized. This signal hasn’t been set yet.’X’: unknown. Impossible to determine this value/result.’0’: logic 0’1’: logic 1’Z’: High Impedance
’W’: Weak signal, can’t tell if it should be 0 or 1.’L’: Weak signal that should probably go to 0
’H’: Weak signal that should probably go to 1’-’: Don’t care.
SNT — Simulacnı nastroje a techniky 195/254
![Page 196: SNT — Simulacnˇ ´ı n astroje a techniky´ · Uvod´ DEVSSpojite´Diskretn´ ´ıKombinovane´1234Z PravidlaLiteratura Modelovan´ ´ı syst em´ u na po˚ cˇ´ıta cˇ´ıch](https://reader030.vdocuments.mx/reader030/viewer/2022040416/5d0ee0dc88c993a2358bbd23/html5/thumbnails/196.jpg)
Uvod DEVS Spojite Diskretnı Kombinovane 1 2 3 4 Z Simulace Parallel DEVS Cıslicove Vizualizace Analyza
Modely zpozdenı
Zpozdenı logickych clenu:0 – nulove (vhodne jen pro overenı log. funkce)1 – jednotkovetd – pevne (nastavitelne zvlast pro 0→1 a 1→0)〈t1, t2〉— promenne (rozsah od-do, vyzaduje hodnoty signalu R,F)
Zpozdenı na spojıch:nulovenastavitelne (Problem: delky spoju jsou k dispozici az porozmıstenı prvku.)
Poznamka: Kontrola casovanı (napr. dodrzenı predstihu a presahuu klopnych obvodu)
SNT — Simulacnı nastroje a techniky 196/254
![Page 197: SNT — Simulacnˇ ´ı n astroje a techniky´ · Uvod´ DEVSSpojite´Diskretn´ ´ıKombinovane´1234Z PravidlaLiteratura Modelovan´ ´ı syst em´ u na po˚ cˇ´ıta cˇ´ıch](https://reader030.vdocuments.mx/reader030/viewer/2022040416/5d0ee0dc88c993a2358bbd23/html5/thumbnails/197.jpg)
Uvod DEVS Spojite Diskretnı Kombinovane 1 2 3 4 Z Simulace Parallel DEVS Cıslicove Vizualizace Analyza
Modely chovanı komponent
Rovnice (Booleovske)Pravdivostnı tabulkyPodprogram (popis algoritmu)Propojenı komponent (hierarchicke)
SNT — Simulacnı nastroje a techniky 197/254
![Page 198: SNT — Simulacnˇ ´ı n astroje a techniky´ · Uvod´ DEVSSpojite´Diskretn´ ´ıKombinovane´1234Z PravidlaLiteratura Modelovan´ ´ı syst em´ u na po˚ cˇ´ıta cˇ´ıch](https://reader030.vdocuments.mx/reader030/viewer/2022040416/5d0ee0dc88c993a2358bbd23/html5/thumbnails/198.jpg)
Uvod DEVS Spojite Diskretnı Kombinovane 1 2 3 4 Z Simulace Parallel DEVS Cıslicove Vizualizace Analyza
Algoritmy rızenı simulace
Rızenı udalostmi – problem velkeho mnozstvı udalostı v kalendari.Jen malo hradel menı stav soucasne – pocıtame novy vystup jenpro ta, ktera se menı (tzv. selektivnı sledovanı). Nevyhoda - reziesledovanı zmen.Simulace s pevnym krokem – vyhodnocujı se vzdy vsechny prvky(nenı potreba kalendar, predpoklada usporadanı prvku, problemzpetnych vazeb u sekvencnıch obvodu).
Implementace:Tabulkovy model (simulace = interpretace grafu)Kompilovany model (pro synchronnı obvody, je rychlejsı, neodhalıproblemy casovanı)
SNT — Simulacnı nastroje a techniky 198/254
![Page 199: SNT — Simulacnˇ ´ı n astroje a techniky´ · Uvod´ DEVSSpojite´Diskretn´ ´ıKombinovane´1234Z PravidlaLiteratura Modelovan´ ´ı syst em´ u na po˚ cˇ´ıta cˇ´ıch](https://reader030.vdocuments.mx/reader030/viewer/2022040416/5d0ee0dc88c993a2358bbd23/html5/thumbnails/199.jpg)
Uvod DEVS Spojite Diskretnı Kombinovane 1 2 3 4 Z Simulace Parallel DEVS Cıslicove Vizualizace Analyza
Algoritmus rızenı simulace
Dvoufazovy algoritmus, selektivnı sledovanı:
inicializace
planovanı udalosti pro novy vstupnı vektor
while (je planovana udalost)
nastavit hodnotu modeloveho casu na T
foreach (u in planovane udalosti na cas T)
vyber zaznamu udalosti u z kalendare
provedenı u (aktualizace hodnoty signalu)
pridat vsechny pripojene prvky do mnoziny M
foreach (p in mnozina M)
vyhodnocenı prvku p
if (zmena jeho vystupu)
planovanı udalosti/zmeny
SNT — Simulacnı nastroje a techniky 199/254
![Page 200: SNT — Simulacnˇ ´ı n astroje a techniky´ · Uvod´ DEVSSpojite´Diskretn´ ´ıKombinovane´1234Z PravidlaLiteratura Modelovan´ ´ı syst em´ u na po˚ cˇ´ıta cˇ´ıch](https://reader030.vdocuments.mx/reader030/viewer/2022040416/5d0ee0dc88c993a2358bbd23/html5/thumbnails/200.jpg)
Uvod DEVS Spojite Diskretnı Kombinovane 1 2 3 4 Z Simulace Parallel DEVS Cıslicove Vizualizace Analyza
Model popsany tabulkami/grafem
Popis modelu:Tabulka prvku (TP) — pro kazdy prvek vcetne primarnıchvstupu/vystupu obsahuje zaznam: (typ, zpozdenı, pocet vstupu,pocet spoju z vystupu, odkazy do dalsıch tabulek, hodnotavystupu).Tabulka vstupu (TV) — popisuje propojenı vstupu na prvkyTabulka vystupnıho vetvenı (TVV) — kam vedou spoje z vystupu
SNT — Simulacnı nastroje a techniky 200/254
![Page 201: SNT — Simulacnˇ ´ı n astroje a techniky´ · Uvod´ DEVSSpojite´Diskretn´ ´ıKombinovane´1234Z PravidlaLiteratura Modelovan´ ´ı syst em´ u na po˚ cˇ´ıta cˇ´ıch](https://reader030.vdocuments.mx/reader030/viewer/2022040416/5d0ee0dc88c993a2358bbd23/html5/thumbnails/201.jpg)
Uvod DEVS Spojite Diskretnı Kombinovane 1 2 3 4 Z Simulace Parallel DEVS Cıslicove Vizualizace Analyza
Prace s casem
Pevny krok – zavisı na modelu zpozdenı:Jednotkove zpozdenı: dva seznamy pro aktualnı cas a pro prıstıcas, po zvysenı casu se zamenı.Slozitejsı model zpozdenı: ”casova mapa” – pole seznamu
Problem: volba vhodneho kroku.Vyhodou je jednoduchost a rychlost.Next-event s kalendarem udalostı
Slozitejsı, narocne na implementaci kalendareVyhodou je obecnost – lze pouzıt jakekoli zpozdenı.
SNT — Simulacnı nastroje a techniky 201/254
![Page 202: SNT — Simulacnˇ ´ı n astroje a techniky´ · Uvod´ DEVSSpojite´Diskretn´ ´ıKombinovane´1234Z PravidlaLiteratura Modelovan´ ´ı syst em´ u na po˚ cˇ´ıta cˇ´ıch](https://reader030.vdocuments.mx/reader030/viewer/2022040416/5d0ee0dc88c993a2358bbd23/html5/thumbnails/202.jpg)
Uvod DEVS Spojite Diskretnı Kombinovane 1 2 3 4 Z Simulace Parallel DEVS Cıslicove Vizualizace Analyza
Simulace poruch
Pouzitı pri testovanı logickych obvodu – vyhodnocovanı kvalitydiagnostickych testu (pokrytı testu).Modely poruch:
Trvala 0Trvala 1Zkrat mezi vodici
Cinnost:Specifikace poruch – ktere poruchy budou simulovanyInjekce poruch – transformace modelu na model s poruchouSırenı poruch modelem (casto se pouzıvajı zjednodusene modely)Detekce poruch – projevı se na funkci?Zpracovanı vysledku – vytvorenı podkladu pro rızenı testu...
SNT — Simulacnı nastroje a techniky 202/254
![Page 203: SNT — Simulacnˇ ´ı n astroje a techniky´ · Uvod´ DEVSSpojite´Diskretn´ ´ıKombinovane´1234Z PravidlaLiteratura Modelovan´ ´ı syst em´ u na po˚ cˇ´ıta cˇ´ıch](https://reader030.vdocuments.mx/reader030/viewer/2022040416/5d0ee0dc88c993a2358bbd23/html5/thumbnails/203.jpg)
Uvod DEVS Spojite Diskretnı Kombinovane 1 2 3 4 Z Simulace Parallel DEVS Cıslicove Vizualizace Analyza
Simulace poruch – optimalizace
Opakovat vsechny kroky pro kazdou poruchu je casove velmi narocne– pouzıvajı se ruzne optimalizace
Paralelnı simulace poruch: vhodna pro zakladnı logicke cleny,pouzıva bitove kodovanı simulacnıch hodnot do jedne promennea zpracovanı nekolika najednou.Naprıklad u dvouhodnotovych signalu muzeme jedinou instrukcıAND zpracovat 32 hodnot.Deduktivnı: viz literaturaSoubezna: referencnı model doplnıme o soubezne modelyreprezentujıcı zmeny v chovanı modelu s poruchou. Kazdy prvekreferencnıho modelu ma seznam poruchovych prvku, ktere setake simulujı a dynamicky vznikajı/zanikajı podle toho, zda sejejich hodnoty lisı od referencnıch.
SNT — Simulacnı nastroje a techniky 203/254
![Page 204: SNT — Simulacnˇ ´ı n astroje a techniky´ · Uvod´ DEVSSpojite´Diskretn´ ´ıKombinovane´1234Z PravidlaLiteratura Modelovan´ ´ı syst em´ u na po˚ cˇ´ıta cˇ´ıch](https://reader030.vdocuments.mx/reader030/viewer/2022040416/5d0ee0dc88c993a2358bbd23/html5/thumbnails/204.jpg)
Uvod DEVS Spojite Diskretnı Kombinovane 1 2 3 4 Z Simulace Parallel DEVS Cıslicove Vizualizace Analyza
Jazyky pro popis cıslicovych systemu
VHDLVerilogSystemC
Poznamka: IEEE standardy
SNT — Simulacnı nastroje a techniky 204/254
![Page 205: SNT — Simulacnˇ ´ı n astroje a techniky´ · Uvod´ DEVSSpojite´Diskretn´ ´ıKombinovane´1234Z PravidlaLiteratura Modelovan´ ´ı syst em´ u na po˚ cˇ´ıta cˇ´ıch](https://reader030.vdocuments.mx/reader030/viewer/2022040416/5d0ee0dc88c993a2358bbd23/html5/thumbnails/205.jpg)
Uvod DEVS Spojite Diskretnı Kombinovane 1 2 3 4 Z Simulace Parallel DEVS Cıslicove Vizualizace Analyza
VHDL
Vhodne pro slozite systemySyntaxe odvozena z jazyka Ada
Urovne popisu (lze kombinovat):Popis struktury – propojenı hradelPopis chovanı
algoritmem – procesdata flow – RTL (Register Transfer Level)napr. o <= transport i1 + i2 after 10 ns;
Knihovny prvku
SNT — Simulacnı nastroje a techniky 205/254
![Page 206: SNT — Simulacnˇ ´ı n astroje a techniky´ · Uvod´ DEVSSpojite´Diskretn´ ´ıKombinovane´1234Z PravidlaLiteratura Modelovan´ ´ı syst em´ u na po˚ cˇ´ıta cˇ´ıch](https://reader030.vdocuments.mx/reader030/viewer/2022040416/5d0ee0dc88c993a2358bbd23/html5/thumbnails/206.jpg)
Uvod DEVS Spojite Diskretnı Kombinovane 1 2 3 4 Z Simulace Parallel DEVS Cıslicove Vizualizace Analyza
Verilog
Syntaxe odvozena z jazyku Ada a C
Proceduralnı popis chovanıPro urovne: algoritmu a RTLProcedury: funkce a ulohy (”tasks”, nenulova doba provadenı)Vyrazy: zpozdenı (delay), podmınky (event expr.)
Strukturalnı popisPro urovne: logicka, ”switch-level”Spınace a obousmerne spojeMoznost modelovat MOS obvody s nabojovymi strukturamiSıla signalu + ruzne neurcite hodnoty signalu
Hierarchicke modelyModularita
SNT — Simulacnı nastroje a techniky 206/254
![Page 207: SNT — Simulacnˇ ´ı n astroje a techniky´ · Uvod´ DEVSSpojite´Diskretn´ ´ıKombinovane´1234Z PravidlaLiteratura Modelovan´ ´ı syst em´ u na po˚ cˇ´ıta cˇ´ıch](https://reader030.vdocuments.mx/reader030/viewer/2022040416/5d0ee0dc88c993a2358bbd23/html5/thumbnails/207.jpg)
Uvod DEVS Spojite Diskretnı Kombinovane 1 2 3 4 Z Simulace Parallel DEVS Cıslicove Vizualizace Analyza
Verilog – prıkladmodule full_adder(a, b, cin, cout, sum);
input a, b, cin;
output cout, sum;
wire tmp;
tmp = a ^ b;
sum = tmp ^ cin;
cout = (cin & tmp) | (a & b);
endmodule
wire [3:0] c;
wire [3:0] s;
full_adder fa1(a[0], b[0], ’b0, c[0], s[0]);
full_adder fa2(a[1], b[1], c[0], c[1], s[1]);
full_adder fa3(a[2], b[2], c[1], c[2], s[2]);
full_adder fa4(a[3], b[3], c[2], c[3], s[3]);
SNT — Simulacnı nastroje a techniky 207/254
![Page 208: SNT — Simulacnˇ ´ı n astroje a techniky´ · Uvod´ DEVSSpojite´Diskretn´ ´ıKombinovane´1234Z PravidlaLiteratura Modelovan´ ´ı syst em´ u na po˚ cˇ´ıta cˇ´ıch](https://reader030.vdocuments.mx/reader030/viewer/2022040416/5d0ee0dc88c993a2358bbd23/html5/thumbnails/208.jpg)
Uvod DEVS Spojite Diskretnı Kombinovane 1 2 3 4 Z Simulace Parallel DEVS Cıslicove Vizualizace Analyza
SystemC
”System description language”, ”Transaction-level modelling”Implementovano jako knihovna v C++Zahrnuje jazyk i simulatorSoubezne procesy implementujı chovanıKanaly (Channels: signal, fifo, buffer, mutex, semaphore) slouzıpro komunikaciRozhranı, udalosti, porty, modulyDatove typy: sc_int<>, sc_bit, ...
SNT — Simulacnı nastroje a techniky 208/254
![Page 209: SNT — Simulacnˇ ´ı n astroje a techniky´ · Uvod´ DEVSSpojite´Diskretn´ ´ıKombinovane´1234Z PravidlaLiteratura Modelovan´ ´ı syst em´ u na po˚ cˇ´ıta cˇ´ıch](https://reader030.vdocuments.mx/reader030/viewer/2022040416/5d0ee0dc88c993a2358bbd23/html5/thumbnails/209.jpg)
Uvod DEVS Spojite Diskretnı Kombinovane 1 2 3 4 Z Simulace Parallel DEVS Cıslicove Vizualizace Analyza
SystemC – prıklad
#include "systemc.h"
#define WIDTH 4
SC_MODULE(adder)
sc_in< sc_uint<WIDTH> > a, b;
sc_out< sc_uint<WIDTH> > sum;
void do_add()
sum.write( a.read() + b.read() );
SC_CTOR(adder)
SC_METHOD(do_add);
sensitive << a << b;
SNT — Simulacnı nastroje a techniky 209/254
![Page 210: SNT — Simulacnˇ ´ı n astroje a techniky´ · Uvod´ DEVSSpojite´Diskretn´ ´ıKombinovane´1234Z PravidlaLiteratura Modelovan´ ´ı syst em´ u na po˚ cˇ´ıta cˇ´ıch](https://reader030.vdocuments.mx/reader030/viewer/2022040416/5d0ee0dc88c993a2358bbd23/html5/thumbnails/210.jpg)
Uvod DEVS Spojite Diskretnı Kombinovane 1 2 3 4 Z Simulace Parallel DEVS Cıslicove Vizualizace Analyza
Vizualizace
(Scientific Visualization, * 1987)
Obecne principyOblasti pouzitı vizualizace:
Modelovanı a simulaceGIS, meteorologie,SoftwareLekarstvı (Medical Imaging)Architektura, umenı, ...
Poznamky: Animace, Virtualnı realitaVizualizacnı nastroje pro simulaci
SNT — Simulacnı nastroje a techniky 210/254
![Page 211: SNT — Simulacnˇ ´ı n astroje a techniky´ · Uvod´ DEVSSpojite´Diskretn´ ´ıKombinovane´1234Z PravidlaLiteratura Modelovan´ ´ı syst em´ u na po˚ cˇ´ıta cˇ´ıch](https://reader030.vdocuments.mx/reader030/viewer/2022040416/5d0ee0dc88c993a2358bbd23/html5/thumbnails/211.jpg)
Uvod DEVS Spojite Diskretnı Kombinovane 1 2 3 4 Z Simulace Parallel DEVS Cıslicove Vizualizace Analyza
Typy vizualizace
Vizualizace informacıVizualizace znalostıVizualnı komunikaceVizualizace ve vyuceVizualizace produktu (CAD)
SNT — Simulacnı nastroje a techniky 211/254
![Page 212: SNT — Simulacnˇ ´ı n astroje a techniky´ · Uvod´ DEVSSpojite´Diskretn´ ´ıKombinovane´1234Z PravidlaLiteratura Modelovan´ ´ı syst em´ u na po˚ cˇ´ıta cˇ´ıch](https://reader030.vdocuments.mx/reader030/viewer/2022040416/5d0ee0dc88c993a2358bbd23/html5/thumbnails/212.jpg)
Uvod DEVS Spojite Diskretnı Kombinovane 1 2 3 4 Z Simulace Parallel DEVS Cıslicove Vizualizace Analyza
Proces vizualizace
Simulation Filter Mapper Renderer Display
Simulace – zdroj datFiltr – vyber casti dat (zrychluje vizualizaci)Mapper – konverze dat na abstraktnı vizualnı reprezentaci.(Vetsinou prevod na primitivnı geometricke utvary: usecky,trojuhelnıky, body, ...)Renderer – generovanı obrazu (uvazuje osvetlenı, pozici kameryatd).Display – zobrazenı
SNT — Simulacnı nastroje a techniky 212/254
![Page 213: SNT — Simulacnˇ ´ı n astroje a techniky´ · Uvod´ DEVSSpojite´Diskretn´ ´ıKombinovane´1234Z PravidlaLiteratura Modelovan´ ´ı syst em´ u na po˚ cˇ´ıta cˇ´ıch](https://reader030.vdocuments.mx/reader030/viewer/2022040416/5d0ee0dc88c993a2358bbd23/html5/thumbnails/213.jpg)
Uvod DEVS Spojite Diskretnı Kombinovane 1 2 3 4 Z Simulace Parallel DEVS Cıslicove Vizualizace Analyza
Vizualizacnı techniky
Grafy (funkcı, histogramy, ...) 1D-3DGrafy (stromy, diagramy)TabulkyMapyIzocary (contours) 2DIzoplochy (isosurface) 3DZobrazovanı objemu (volume visualization) 3DVektory 2D, 3DPlochy 2DCastice 2D, 3DRezy 3DTrasovanı castic 2D, 3D
SNT — Simulacnı nastroje a techniky 213/254
![Page 214: SNT — Simulacnˇ ´ı n astroje a techniky´ · Uvod´ DEVSSpojite´Diskretn´ ´ıKombinovane´1234Z PravidlaLiteratura Modelovan´ ´ı syst em´ u na po˚ cˇ´ıta cˇ´ıch](https://reader030.vdocuments.mx/reader030/viewer/2022040416/5d0ee0dc88c993a2358bbd23/html5/thumbnails/214.jpg)
Uvod DEVS Spojite Diskretnı Kombinovane 1 2 3 4 Z Simulace Parallel DEVS Cıslicove Vizualizace Analyza
(pokracovanı)
AnimaceVykreslovanı osPrirazenı barev (barva=f (data))OrezavanıPopisy (Labels)Zvetsovanı, ...Interpolace
SNT — Simulacnı nastroje a techniky 214/254
![Page 215: SNT — Simulacnˇ ´ı n astroje a techniky´ · Uvod´ DEVSSpojite´Diskretn´ ´ıKombinovane´1234Z PravidlaLiteratura Modelovan´ ´ı syst em´ u na po˚ cˇ´ıta cˇ´ıch](https://reader030.vdocuments.mx/reader030/viewer/2022040416/5d0ee0dc88c993a2358bbd23/html5/thumbnails/215.jpg)
Uvod DEVS Spojite Diskretnı Kombinovane 1 2 3 4 Z Simulace Parallel DEVS Cıslicove Vizualizace Analyza
Nastroje pro vizualizaci
Strucny prehled, prıklady – viz WWW
VTK – knihovna pro C++OpenDXGraphviz – automaticke kreslenı grafuGnuplot – jednoduchy...
SNT — Simulacnı nastroje a techniky 215/254
![Page 216: SNT — Simulacnˇ ´ı n astroje a techniky´ · Uvod´ DEVSSpojite´Diskretn´ ´ıKombinovane´1234Z PravidlaLiteratura Modelovan´ ´ı syst em´ u na po˚ cˇ´ıta cˇ´ıch](https://reader030.vdocuments.mx/reader030/viewer/2022040416/5d0ee0dc88c993a2358bbd23/html5/thumbnails/216.jpg)
Uvod DEVS Spojite Diskretnı Kombinovane 1 2 3 4 Z Simulace Parallel DEVS Cıslicove Vizualizace Analyza
Simulace – poznamky
Navrh simulacnıch experimentuVolba parametru simulace
delka simulacnıho behupocet behuupravy omezujıcı vliv nabehu systemu...
Analyza vysledku simulace
Techniky aplikovatelne na diskretnı a MC simulaciProblem autokorelace u diskretnı simulaceIntervalove odhadyRedukce rozptylu – technika jak zvysit presnost bez zvysovanıpoctu vzorku
SNT — Simulacnı nastroje a techniky 216/254
![Page 217: SNT — Simulacnˇ ´ı n astroje a techniky´ · Uvod´ DEVSSpojite´Diskretn´ ´ıKombinovane´1234Z PravidlaLiteratura Modelovan´ ´ı syst em´ u na po˚ cˇ´ıta cˇ´ıch](https://reader030.vdocuments.mx/reader030/viewer/2022040416/5d0ee0dc88c993a2358bbd23/html5/thumbnails/217.jpg)
Uvod DEVS Spojite Diskretnı Kombinovane 1 2 3 4 Z Simulace Parallel DEVS Cıslicove Vizualizace Analyza
Intervalove odhady
Vysledky diskretnı simulace (statistiky) zahrnujı neurcitost, kteroumuzeme kvantifikovat
Stanovıme mıru spolehlivosti (napr 0.95)Vypocteme interval ve kterem lezı strednı hodnota s touto mırouspolehlivosti (pouzıva se Studentovo rozlozenı)Pokud potrebujeme zvysit presnost (zuzit interval) pri stejne mırespolehlivosti, musıme zvysit pocet vzorku
Poznamka: Mıra spolehlivosti 6= pravdepodobnost
SNT — Simulacnı nastroje a techniky 217/254
![Page 218: SNT — Simulacnˇ ´ı n astroje a techniky´ · Uvod´ DEVSSpojite´Diskretn´ ´ıKombinovane´1234Z PravidlaLiteratura Modelovan´ ´ı syst em´ u na po˚ cˇ´ıta cˇ´ıch](https://reader030.vdocuments.mx/reader030/viewer/2022040416/5d0ee0dc88c993a2358bbd23/html5/thumbnails/218.jpg)
Uvod DEVS Spojite Diskretnı Kombinovane 1 2 3 4 Z Dymola Kauzalita Modelica Prıklady Knihovny
Simulacnı system Dymola
Dymola (Dynamic Modelling Laboratory) = integrovane prostredı promodelovanı a simulaciModelica = jazyk pro popis modelu
Objektova orientace, Hierarchicke skladanı modeluKnihovny znovupouzitelnych komponent modelu pro ruzneaplikacnı oblasti: Modelica Standard Library, MultiBody,Hydraulics, Power Train, ...Propojovanı: konektory, ..., Graficky editor modeluPopis rovnicemi, automaticke upravy rovnicZvlada velke a slozite modelyRychlost - pouzıva symbolicke zpracovanıMoznost propojovanı s jinymi systemy (Matlab,...)Animace 3D, Real-time simulace, ...
Poznamky: historie, OpenModelica, JModelicaSNT — Simulacnı nastroje a techniky 218/254
![Page 219: SNT — Simulacnˇ ´ı n astroje a techniky´ · Uvod´ DEVSSpojite´Diskretn´ ´ıKombinovane´1234Z PravidlaLiteratura Modelovan´ ´ı syst em´ u na po˚ cˇ´ıta cˇ´ıch](https://reader030.vdocuments.mx/reader030/viewer/2022040416/5d0ee0dc88c993a2358bbd23/html5/thumbnails/219.jpg)
Uvod DEVS Spojite Diskretnı Kombinovane 1 2 3 4 Z Dymola Kauzalita Modelica Prıklady Knihovny
Architektura systemu Dymola
Dymola programImport dat z externıch programu (CAD,...)Editor modeluKnihovny modeluSymbolicke zpracovanıModelica, preklad do C, ”dymosim”LAPACK, ...Rızenı experimentu, zpracovanı vysledkuVizualizace, animaceMoznost propojenı na Matlab/Simulink
SNT — Simulacnı nastroje a techniky 219/254
![Page 220: SNT — Simulacnˇ ´ı n astroje a techniky´ · Uvod´ DEVSSpojite´Diskretn´ ´ıKombinovane´1234Z PravidlaLiteratura Modelovan´ ´ı syst em´ u na po˚ cˇ´ıta cˇ´ıch](https://reader030.vdocuments.mx/reader030/viewer/2022040416/5d0ee0dc88c993a2358bbd23/html5/thumbnails/220.jpg)
Uvod DEVS Spojite Diskretnı Kombinovane 1 2 3 4 Z Dymola Kauzalita Modelica Prıklady Knihovny
Dymola – zaver
Komercnı simulacnı program – problem ceny licenceDokumentace – manualModelica – existuje volne dostupna implementaceModelica Library – volne dostupnaCela rada knihoven – komercnı i nekomercnıNumericke metody – efektivita, tuhe systemyPouzıvano v prumyslu...
SNT — Simulacnı nastroje a techniky 220/254
![Page 221: SNT — Simulacnˇ ´ı n astroje a techniky´ · Uvod´ DEVSSpojite´Diskretn´ ´ıKombinovane´1234Z PravidlaLiteratura Modelovan´ ´ı syst em´ u na po˚ cˇ´ıta cˇ´ıch](https://reader030.vdocuments.mx/reader030/viewer/2022040416/5d0ee0dc88c993a2358bbd23/html5/thumbnails/221.jpg)
Uvod DEVS Spojite Diskretnı Kombinovane 1 2 3 4 Z Dymola Kauzalita Modelica Prıklady Knihovny
Modelica – uvod
Objektove orientovany jazykUmoznuje nekauzalnı popis kombinovanych modeluSymbolicke upravy rovnicNumericke resenıKnihovny modeluOrganizace: ”Modelica association” – definuje jazyk
SNT — Simulacnı nastroje a techniky 221/254
![Page 222: SNT — Simulacnˇ ´ı n astroje a techniky´ · Uvod´ DEVSSpojite´Diskretn´ ´ıKombinovane´1234Z PravidlaLiteratura Modelovan´ ´ı syst em´ u na po˚ cˇ´ıta cˇ´ıch](https://reader030.vdocuments.mx/reader030/viewer/2022040416/5d0ee0dc88c993a2358bbd23/html5/thumbnails/222.jpg)
Uvod DEVS Spojite Diskretnı Kombinovane 1 2 3 4 Z Dymola Kauzalita Modelica Prıklady Knihovny
Kauzalnı a nekauzalnı modelovanı
Nekauzalnı modelovanıpromennerovnice = omezenı moznych hodnot promennychmodely komunikujı pres nektere rovnicePrıklad – rovnice:
u − Ri = 0
Nedefinuje zda pruchodem proudu vznika napetı, nebo prilozenenapetı zpusobuje proud.
Kauzalnı modelovanıvstupy, vystupypromenne, stavove promennerelace mezi vstupy a promennymi, derivacemi promennych,vystupyPrıklad – blokove schema: i := u/R
Mame hodnotu napetı u a parametru R a pocıtame vystup – proudi.
SNT — Simulacnı nastroje a techniky 222/254
![Page 223: SNT — Simulacnˇ ´ı n astroje a techniky´ · Uvod´ DEVSSpojite´Diskretn´ ´ıKombinovane´1234Z PravidlaLiteratura Modelovan´ ´ı syst em´ u na po˚ cˇ´ıta cˇ´ıch](https://reader030.vdocuments.mx/reader030/viewer/2022040416/5d0ee0dc88c993a2358bbd23/html5/thumbnails/223.jpg)
Uvod DEVS Spojite Diskretnı Kombinovane 1 2 3 4 Z Dymola Kauzalita Modelica Prıklady Knihovny
Kauzalnı a nekauzalnı modelovanı – prıklad
SNT — Simulacnı nastroje a techniky 223/254
![Page 224: SNT — Simulacnˇ ´ı n astroje a techniky´ · Uvod´ DEVSSpojite´Diskretn´ ´ıKombinovane´1234Z PravidlaLiteratura Modelovan´ ´ı syst em´ u na po˚ cˇ´ıta cˇ´ıch](https://reader030.vdocuments.mx/reader030/viewer/2022040416/5d0ee0dc88c993a2358bbd23/html5/thumbnails/224.jpg)
Uvod DEVS Spojite Diskretnı Kombinovane 1 2 3 4 Z Dymola Kauzalita Modelica Prıklady Knihovny
Prevod rovnic na kauzalnı
Tarjanuv algoritmus pro dif.-alg. rovnice (DAE):ocıslovat rovnice (libovolne)ocıslovat nezname (libovolne) bez stavovych promennychvytvorit graf popisujıcı stukturu rovnic - cerne hrany spojujı rovnicea v nich obsazene nezname - viz obrazekv cyklu dokud je co delat:
1 Pro vsechny jeste nezpracovane rovnice, ktere majı prave jednucernou hranu, prebarvıme tuto hranu na cervenou a vsechnyostatnı hrany vychazejıcı z pripojene nezname obarvıme modre.Prave zpracovane rovnici pridelıme nejnizsı volne poradove cıslopocınaje 1.
2 Pro vsechny nezname promenne, ktere majı prave jednu cernouhranu, prebarvıme tuto hranu na cervenou a vsechny hranyvychazejıcı z pripojene rovnice obarvıme modre. Pripojene rovnicipridelıme nejvyssı volne poradove cıslo pocınaje n (n je pocetrovnic).
SNT — Simulacnı nastroje a techniky 224/254
![Page 225: SNT — Simulacnˇ ´ı n astroje a techniky´ · Uvod´ DEVSSpojite´Diskretn´ ´ıKombinovane´1234Z PravidlaLiteratura Modelovan´ ´ı syst em´ u na po˚ cˇ´ıta cˇ´ıch](https://reader030.vdocuments.mx/reader030/viewer/2022040416/5d0ee0dc88c993a2358bbd23/html5/thumbnails/225.jpg)
Uvod DEVS Spojite Diskretnı Kombinovane 1 2 3 4 Z Dymola Kauzalita Modelica Prıklady Knihovny
Prevod rovnic na kauzalnı – pokracovanı
usporadame rovnice podle poradovych cıselprevedeme rovnice je tak, aby cervenou hranou pripojenenezname byly na leve strane
Vysledna soustava je kauzalnı – vsechny nezname lze postupnevypocıtat, symbol = odpovıda operaci prirazenı.
Poznamky:Casova slozitost algoritmu je O(N), N je pocet rovnic.Problem, kdyz narazı na rychle smycky (resenı: ”tearing”)Pantelides algoritmus (”output set assignment”)Strukturalnı singularity a index problemu:Index0 DAE bez alg. smycek a bez strukt. singularitIndex1 DAE obsahuje algebraicke smycky, ne singularityIndex > 1 DAE obsahuje strukturalnı singularity (”higher index”)Pantelides algoritmus snizuje index o 1.
SNT — Simulacnı nastroje a techniky 225/254
![Page 226: SNT — Simulacnˇ ´ı n astroje a techniky´ · Uvod´ DEVSSpojite´Diskretn´ ´ıKombinovane´1234Z PravidlaLiteratura Modelovan´ ´ı syst em´ u na po˚ cˇ´ıta cˇ´ıch](https://reader030.vdocuments.mx/reader030/viewer/2022040416/5d0ee0dc88c993a2358bbd23/html5/thumbnails/226.jpg)
Uvod DEVS Spojite Diskretnı Kombinovane 1 2 3 4 Z Dymola Kauzalita Modelica Prıklady Knihovny
Prevod rovnic na kauzalnı – prıklad
Rovnice popisujıcı elektricky obvod na obrazku:1 u1 = f (t)2 u2 = Ri3 u1 = u2 + u3
4 i = C du3dt
Nekauzalnı popis, symbol = znamena rovnost (ne prirazenı)
SNT — Simulacnı nastroje a techniky 226/254
![Page 227: SNT — Simulacnˇ ´ı n astroje a techniky´ · Uvod´ DEVSSpojite´Diskretn´ ´ıKombinovane´1234Z PravidlaLiteratura Modelovan´ ´ı syst em´ u na po˚ cˇ´ıta cˇ´ıch](https://reader030.vdocuments.mx/reader030/viewer/2022040416/5d0ee0dc88c993a2358bbd23/html5/thumbnails/227.jpg)
Uvod DEVS Spojite Diskretnı Kombinovane 1 2 3 4 Z Dymola Kauzalita Modelica Prıklady Knihovny
Tarjanuv algoritmus – postup 1
SNT — Simulacnı nastroje a techniky 227/254
![Page 228: SNT — Simulacnˇ ´ı n astroje a techniky´ · Uvod´ DEVSSpojite´Diskretn´ ´ıKombinovane´1234Z PravidlaLiteratura Modelovan´ ´ı syst em´ u na po˚ cˇ´ıta cˇ´ıch](https://reader030.vdocuments.mx/reader030/viewer/2022040416/5d0ee0dc88c993a2358bbd23/html5/thumbnails/228.jpg)
Uvod DEVS Spojite Diskretnı Kombinovane 1 2 3 4 Z Dymola Kauzalita Modelica Prıklady Knihovny
Tarjanuv algoritmus – postup 2
(chyba)
SNT — Simulacnı nastroje a techniky 228/254
![Page 229: SNT — Simulacnˇ ´ı n astroje a techniky´ · Uvod´ DEVSSpojite´Diskretn´ ´ıKombinovane´1234Z PravidlaLiteratura Modelovan´ ´ı syst em´ u na po˚ cˇ´ıta cˇ´ıch](https://reader030.vdocuments.mx/reader030/viewer/2022040416/5d0ee0dc88c993a2358bbd23/html5/thumbnails/229.jpg)
Uvod DEVS Spojite Diskretnı Kombinovane 1 2 3 4 Z Dymola Kauzalita Modelica Prıklady Knihovny
Tarjanuv algoritmus – postup 3
SNT — Simulacnı nastroje a techniky 229/254
![Page 230: SNT — Simulacnˇ ´ı n astroje a techniky´ · Uvod´ DEVSSpojite´Diskretn´ ´ıKombinovane´1234Z PravidlaLiteratura Modelovan´ ´ı syst em´ u na po˚ cˇ´ıta cˇ´ıch](https://reader030.vdocuments.mx/reader030/viewer/2022040416/5d0ee0dc88c993a2358bbd23/html5/thumbnails/230.jpg)
Uvod DEVS Spojite Diskretnı Kombinovane 1 2 3 4 Z Dymola Kauzalita Modelica Prıklady Knihovny
Tarjanuv algoritmus – vysledek a poznamky
1 u1 = f (t)2 u2 = u1 − u3
3 i = u2R
4 du3dt = i
C
V grafu platı:Kauzalnı rovnice = 1 cervena hranaNekauzalnı = pouze cerne nebo modre hranyZnama promenna = 1 cervena hranaNeznama = pouze cerne nebo modre hranyNikdy se nemuze vyskytnout vıce nez 1 cervena hrana u 1 uzlu
SNT — Simulacnı nastroje a techniky 230/254
![Page 231: SNT — Simulacnˇ ´ı n astroje a techniky´ · Uvod´ DEVSSpojite´Diskretn´ ´ıKombinovane´1234Z PravidlaLiteratura Modelovan´ ´ı syst em´ u na po˚ cˇ´ıta cˇ´ıch](https://reader030.vdocuments.mx/reader030/viewer/2022040416/5d0ee0dc88c993a2358bbd23/html5/thumbnails/231.jpg)
Uvod DEVS Spojite Diskretnı Kombinovane 1 2 3 4 Z Dymola Kauzalita Modelica Prıklady Knihovny
Zakladnı koncepty jazyka Modelica
Trıdy: classrecord, function, package,connector, model, blockDatove typy: boolean, enum, integer, real, stringStrukturovane: zaznam, poleKonstruktory:Complex(re=0,im=1)
1, 2, 3
1, 2 , 3, 4
zeros(2,3)
fill(3.14, 2, 3, 4)
SNT — Simulacnı nastroje a techniky 231/254
![Page 232: SNT — Simulacnˇ ´ı n astroje a techniky´ · Uvod´ DEVSSpojite´Diskretn´ ´ıKombinovane´1234Z PravidlaLiteratura Modelovan´ ´ı syst em´ u na po˚ cˇ´ıta cˇ´ıch](https://reader030.vdocuments.mx/reader030/viewer/2022040416/5d0ee0dc88c993a2358bbd23/html5/thumbnails/232.jpg)
Uvod DEVS Spojite Diskretnı Kombinovane 1 2 3 4 Z Dymola Kauzalita Modelica Prıklady Knihovny
Prıklad modelu – kruhovy test
model ctest "kruhovy test"
Real x(start=1);
Real y;
equation
der(x) = y;
der(y) = -x;
end ctest;
SNT — Simulacnı nastroje a techniky 232/254
![Page 233: SNT — Simulacnˇ ´ı n astroje a techniky´ · Uvod´ DEVSSpojite´Diskretn´ ´ıKombinovane´1234Z PravidlaLiteratura Modelovan´ ´ı syst em´ u na po˚ cˇ´ıta cˇ´ıch](https://reader030.vdocuments.mx/reader030/viewer/2022040416/5d0ee0dc88c993a2358bbd23/html5/thumbnails/233.jpg)
Uvod DEVS Spojite Diskretnı Kombinovane 1 2 3 4 Z Dymola Kauzalita Modelica Prıklady Knihovny
Slozene modely
Konektory: trıda connector,popis konektoru neobsahuje rovnice (ale pouzıvajı je propojovacırovnice)Promenne:
spojite (real),diskretnı (boolean, integer, enumeration,string)
Rovnice:spojite,propojovacı,”instant”
Bloky: specialnı modely s konektory typu vstup a vystup
SNT — Simulacnı nastroje a techniky 233/254
![Page 234: SNT — Simulacnˇ ´ı n astroje a techniky´ · Uvod´ DEVSSpojite´Diskretn´ ´ıKombinovane´1234Z PravidlaLiteratura Modelovan´ ´ı syst em´ u na po˚ cˇ´ıta cˇ´ıch](https://reader030.vdocuments.mx/reader030/viewer/2022040416/5d0ee0dc88c993a2358bbd23/html5/thumbnails/234.jpg)
Uvod DEVS Spojite Diskretnı Kombinovane 1 2 3 4 Z Dymola Kauzalita Modelica Prıklady Knihovny
Konektory, propojenı modelu
Promenne typu tok (flow)Promenne typu potencial (bez oznacenı)Vstup/vystupnı specifikace (input, output)
connector Pin "elektricky kontakt"
Real v; // napetı = potencial
flow Real i; // proud = tok
end Pin;
block B
input Real x; // vstupnı promenna
output Real y; // vystupnı promenna
...
end B;
SNT — Simulacnı nastroje a techniky 234/254
![Page 235: SNT — Simulacnˇ ´ı n astroje a techniky´ · Uvod´ DEVSSpojite´Diskretn´ ´ıKombinovane´1234Z PravidlaLiteratura Modelovan´ ´ı syst em´ u na po˚ cˇ´ıta cˇ´ıch](https://reader030.vdocuments.mx/reader030/viewer/2022040416/5d0ee0dc88c993a2358bbd23/html5/thumbnails/235.jpg)
Uvod DEVS Spojite Diskretnı Kombinovane 1 2 3 4 Z Dymola Kauzalita Modelica Prıklady Knihovny
Promenne
Diskretnı: vsechny typu real je nutne explicitne oznacit discreteSpojite: jen typu real
model M
Integer i; // implicitne diskretnı
discrete Integer j; // explicitne
Real x[20]; // spojite
discrete Real y[5,3]; // diskretnı
end M;
SNT — Simulacnı nastroje a techniky 235/254
![Page 236: SNT — Simulacnˇ ´ı n astroje a techniky´ · Uvod´ DEVSSpojite´Diskretn´ ´ıKombinovane´1234Z PravidlaLiteratura Modelovan´ ´ı syst em´ u na po˚ cˇ´ıta cˇ´ıch](https://reader030.vdocuments.mx/reader030/viewer/2022040416/5d0ee0dc88c993a2358bbd23/html5/thumbnails/236.jpg)
Uvod DEVS Spojite Diskretnı Kombinovane 1 2 3 4 Z Dymola Kauzalita Modelica Prıklady Knihovny
Popis chovanı (constraints)
”instant”: aktivnı jen pri stavovych udalostech,popisujı zmeny stavovych (a diskretnıch) promennychvyzadujı zapis ve tvaru promenna = vyraz
Spojite (”Continuous”):obecny popis vztahu mezi promennymiPropojovacı (”Connection”):popis propojenı modelu = specialnı rovnice
Rovnice: vztahy, podmınky, ... (nezalezı na poradı)Algoritmy: imperativnı – posloupnosti prıkazu, prirazenı, cykly, ...
SNT — Simulacnı nastroje a techniky 236/254
![Page 237: SNT — Simulacnˇ ´ı n astroje a techniky´ · Uvod´ DEVSSpojite´Diskretn´ ´ıKombinovane´1234Z PravidlaLiteratura Modelovan´ ´ı syst em´ u na po˚ cˇ´ıta cˇ´ıch](https://reader030.vdocuments.mx/reader030/viewer/2022040416/5d0ee0dc88c993a2358bbd23/html5/thumbnails/237.jpg)
Uvod DEVS Spojite Diskretnı Kombinovane 1 2 3 4 Z Dymola Kauzalita Modelica Prıklady Knihovny
Spojite chovanı — rovnice
Prıklad: Diferencialnı a algebraicke rovniceequation
if (time>5) then der(x)=x; else der(x)=-x; end if;
der(y) = if time>10 then y else -y;
a = 5 * b;
f(a) = 0;
...
SNT — Simulacnı nastroje a techniky 237/254
![Page 238: SNT — Simulacnˇ ´ı n astroje a techniky´ · Uvod´ DEVSSpojite´Diskretn´ ´ıKombinovane´1234Z PravidlaLiteratura Modelovan´ ´ı syst em´ u na po˚ cˇ´ıta cˇ´ıch](https://reader030.vdocuments.mx/reader030/viewer/2022040416/5d0ee0dc88c993a2358bbd23/html5/thumbnails/238.jpg)
Uvod DEVS Spojite Diskretnı Kombinovane 1 2 3 4 Z Dymola Kauzalita Modelica Prıklady Knihovny
Spojite chovanı — algoritmy
Prıklad: Algoritmyalgorithm
if time>5 then der(x):=x; else der(x):=-x; end if;
der(y) := if time>10 then y else -y;
if a>b then tmp:=a; a:=b; b:=tmp; end if;
while a<b loop
...
end while;
SNT — Simulacnı nastroje a techniky 238/254
![Page 239: SNT — Simulacnˇ ´ı n astroje a techniky´ · Uvod´ DEVSSpojite´Diskretn´ ´ıKombinovane´1234Z PravidlaLiteratura Modelovan´ ´ı syst em´ u na po˚ cˇ´ıta cˇ´ıch](https://reader030.vdocuments.mx/reader030/viewer/2022040416/5d0ee0dc88c993a2358bbd23/html5/thumbnails/239.jpg)
Uvod DEVS Spojite Diskretnı Kombinovane 1 2 3 4 Z Dymola Kauzalita Modelica Prıklady Knihovny
Deklaracnı rovnice
Model:
model M
parametr Real a := 1;
Real x = y + a + 1
end M;
je ekvivalentnı modelu:
model M
parametr Real a;
Real x;
algorithm
a := 1;
equation
x = y + a + 1
end M;SNT — Simulacnı nastroje a techniky 239/254
![Page 240: SNT — Simulacnˇ ´ı n astroje a techniky´ · Uvod´ DEVSSpojite´Diskretn´ ´ıKombinovane´1234Z PravidlaLiteratura Modelovan´ ´ı syst em´ u na po˚ cˇ´ıta cˇ´ıch](https://reader030.vdocuments.mx/reader030/viewer/2022040416/5d0ee0dc88c993a2358bbd23/html5/thumbnails/240.jpg)
Uvod DEVS Spojite Diskretnı Kombinovane 1 2 3 4 Z Dymola Kauzalita Modelica Prıklady Knihovny
Prıklad: blok
block Integrator
input Real u;
output Real y;
protected
Real x; // zapouzdrenı
equation
der(x) = u;
y = x;
end Integrator;
SNT — Simulacnı nastroje a techniky 240/254
![Page 241: SNT — Simulacnˇ ´ı n astroje a techniky´ · Uvod´ DEVSSpojite´Diskretn´ ´ıKombinovane´1234Z PravidlaLiteratura Modelovan´ ´ı syst em´ u na po˚ cˇ´ıta cˇ´ıch](https://reader030.vdocuments.mx/reader030/viewer/2022040416/5d0ee0dc88c993a2358bbd23/html5/thumbnails/241.jpg)
Uvod DEVS Spojite Diskretnı Kombinovane 1 2 3 4 Z Dymola Kauzalita Modelica Prıklady Knihovny
Prıklad: funkce
function f
input Real x;
output Real y;
algorithm
y = if abs(x) < Modelica.Constants.eps then 1
else Modelica.Math.sin(x)/x;
end f;
SNT — Simulacnı nastroje a techniky 241/254
![Page 242: SNT — Simulacnˇ ´ı n astroje a techniky´ · Uvod´ DEVSSpojite´Diskretn´ ´ıKombinovane´1234Z PravidlaLiteratura Modelovan´ ´ı syst em´ u na po˚ cˇ´ıta cˇ´ıch](https://reader030.vdocuments.mx/reader030/viewer/2022040416/5d0ee0dc88c993a2358bbd23/html5/thumbnails/242.jpg)
Uvod DEVS Spojite Diskretnı Kombinovane 1 2 3 4 Z Dymola Kauzalita Modelica Prıklady Knihovny
Prıklady: package
package Library
constant Real k = 0.1;
type X = Real(min=0);
model A
...
end A;
model B
...
end B;
end Library;
Pouzitı: Library.k nebo importSNT — Simulacnı nastroje a techniky 242/254
![Page 243: SNT — Simulacnˇ ´ı n astroje a techniky´ · Uvod´ DEVSSpojite´Diskretn´ ´ıKombinovane´1234Z PravidlaLiteratura Modelovan´ ´ı syst em´ u na po˚ cˇ´ıta cˇ´ıch](https://reader030.vdocuments.mx/reader030/viewer/2022040416/5d0ee0dc88c993a2358bbd23/html5/thumbnails/243.jpg)
Uvod DEVS Spojite Diskretnı Kombinovane 1 2 3 4 Z Dymola Kauzalita Modelica Prıklady Knihovny
Dedicnost
Lze dedit a modifikovat chovanı a rozhranıPrıklad:
block C "odvozeny blok z B"
import Library.Types; // zprıstupnı typy
extends Library.B; // dedı z B
...
initial equation
y = y_0; // pocatecnı podmınky
equation
der(y) = x; // rovnice
end C;
SNT — Simulacnı nastroje a techniky 243/254
![Page 244: SNT — Simulacnˇ ´ı n astroje a techniky´ · Uvod´ DEVSSpojite´Diskretn´ ´ıKombinovane´1234Z PravidlaLiteratura Modelovan´ ´ı syst em´ u na po˚ cˇ´ıta cˇ´ıch](https://reader030.vdocuments.mx/reader030/viewer/2022040416/5d0ee0dc88c993a2358bbd23/html5/thumbnails/244.jpg)
Uvod DEVS Spojite Diskretnı Kombinovane 1 2 3 4 Z Dymola Kauzalita Modelica Prıklady Knihovny
Stavove podmınky a udalosti, ”instant equations”
Stavove podmınky a udalostiwhen aktivacnı podmınka then
rovnice nebo algoritmy
else when aktivacnı podmınka then
...
end when;
Kdyz se podmınka stane pravdivou, aktivuje se odpovıdajıcırovnice/algoritmusPozadavky na rovnice v sekci when:y = .... y se nemenı mezi udalostmi
SNT — Simulacnı nastroje a techniky 244/254
![Page 245: SNT — Simulacnˇ ´ı n astroje a techniky´ · Uvod´ DEVSSpojite´Diskretn´ ´ıKombinovane´1234Z PravidlaLiteratura Modelovan´ ´ı syst em´ u na po˚ cˇ´ıta cˇ´ıch](https://reader030.vdocuments.mx/reader030/viewer/2022040416/5d0ee0dc88c993a2358bbd23/html5/thumbnails/245.jpg)
Uvod DEVS Spojite Diskretnı Kombinovane 1 2 3 4 Z Dymola Kauzalita Modelica Prıklady Knihovny
Stavove podmınky – prıklad
when time>5 then
reinit(x,0); // x:=0
a = pre(a) + 1; // pre == stara hodnota
end when;
when a>10 then
z := z+y;
c = 2*pre(c) + pre(d);
end when;
Poznamka: Zavislosti mezi stavovymi udalostmi
SNT — Simulacnı nastroje a techniky 245/254
![Page 246: SNT — Simulacnˇ ´ı n astroje a techniky´ · Uvod´ DEVSSpojite´Diskretn´ ´ıKombinovane´1234Z PravidlaLiteratura Modelovan´ ´ı syst em´ u na po˚ cˇ´ıta cˇ´ıch](https://reader030.vdocuments.mx/reader030/viewer/2022040416/5d0ee0dc88c993a2358bbd23/html5/thumbnails/246.jpg)
Uvod DEVS Spojite Diskretnı Kombinovane 1 2 3 4 Z Dymola Kauzalita Modelica Prıklady Knihovny
Propojenı modelu
Propojovacı rovnice propojujı konektory stejneho typuPropojenı:connect(model1.p, model2.n);
connect(model1.p, model3.n);
je ekvivalentnıconnect(model2.n, model1.p);
connect(model2.n, model3.n);
Propojenı definuje grafV kazdem propojenı konektoru platı:
potencialove promenne jsou si rovnysuma ”flow” promennych je nulova
SNT — Simulacnı nastroje a techniky 246/254
![Page 247: SNT — Simulacnˇ ´ı n astroje a techniky´ · Uvod´ DEVSSpojite´Diskretn´ ´ıKombinovane´1234Z PravidlaLiteratura Modelovan´ ´ı syst em´ u na po˚ cˇ´ıta cˇ´ıch](https://reader030.vdocuments.mx/reader030/viewer/2022040416/5d0ee0dc88c993a2358bbd23/html5/thumbnails/247.jpg)
Uvod DEVS Spojite Diskretnı Kombinovane 1 2 3 4 Z Dymola Kauzalita Modelica Prıklady Knihovny
Propojenı modelu
Je mozne pouzıt cyklus:
...
parameter Integer NR=10 "pocet rezistoru";
Modelica.Electrical.Analog.Basic.Resistor R[NR];
equation
for i in 1:NR-1 loop
connect(R[i].p, R[i+1].n); // 9 propojovacıch rovnic
end for;
Moznosti cyklu for:
for i in 1:10 loop // i: 1,2,3,...,10
for r in 1.0 : 1.5 : 5.5 loop // r: 1.0, 2.5, 4.0, 5.5
for i in 1,3,6,7 loop // i: 1, 3, 6, 7
SNT — Simulacnı nastroje a techniky 247/254
![Page 248: SNT — Simulacnˇ ´ı n astroje a techniky´ · Uvod´ DEVSSpojite´Diskretn´ ´ıKombinovane´1234Z PravidlaLiteratura Modelovan´ ´ı syst em´ u na po˚ cˇ´ıta cˇ´ıch](https://reader030.vdocuments.mx/reader030/viewer/2022040416/5d0ee0dc88c993a2358bbd23/html5/thumbnails/248.jpg)
Uvod DEVS Spojite Diskretnı Kombinovane 1 2 3 4 Z Dymola Kauzalita Modelica Prıklady Knihovny
Prıklady ruznych forem popisu
Ekvivalentnı modely popsane rovnicemi, algoritmy a kombinacı
model R1 model R2 model R3
Pin p,n; Pin p,n; Pin p,n;
Real v,i; Real v,i; Real v,i;
parameter Real R; parameter Real R; parameter Real R;
equation algorithm equation
p.v - n.v = v; i := p.i; p.v - n.v = v;
p.i + n.i = 0; v := R * i; p.i + n.i = 0;
i = p.i; n.v := p.v + v; algorithm
v = R * i; n.i := -p.i; i := p.i;
end R1; end R1; v := R * i;
end R1;
SNT — Simulacnı nastroje a techniky 248/254
![Page 249: SNT — Simulacnˇ ´ı n astroje a techniky´ · Uvod´ DEVSSpojite´Diskretn´ ´ıKombinovane´1234Z PravidlaLiteratura Modelovan´ ´ı syst em´ u na po˚ cˇ´ıta cˇ´ıch](https://reader030.vdocuments.mx/reader030/viewer/2022040416/5d0ee0dc88c993a2358bbd23/html5/thumbnails/249.jpg)
Uvod DEVS Spojite Diskretnı Kombinovane 1 2 3 4 Z Dymola Kauzalita Modelica Prıklady Knihovny
Prıklad 2
Model: RC clanekmodel Circuit
Resistor R1(R=10);
Capacitor C(C=0.01);
SineVoltage AC(freqHz=50,V=10,startTime=0);
Ground G;
equation
connect (AC.p, R1.p);
connect (R1.n, C.p);
connect (C.n, AC.n);
connect (AC.n, G.p);
end Circuit;
Poznamka: +Anotace pro grafikuSNT — Simulacnı nastroje a techniky 249/254
![Page 250: SNT — Simulacnˇ ´ı n astroje a techniky´ · Uvod´ DEVSSpojite´Diskretn´ ´ıKombinovane´1234Z PravidlaLiteratura Modelovan´ ´ı syst em´ u na po˚ cˇ´ıta cˇ´ıch](https://reader030.vdocuments.mx/reader030/viewer/2022040416/5d0ee0dc88c993a2358bbd23/html5/thumbnails/250.jpg)
Uvod DEVS Spojite Diskretnı Kombinovane 1 2 3 4 Z Dymola Kauzalita Modelica Prıklady Knihovny
Poznamky
kontrola struktury modelusingle assignment rule (pocet rovnic = pocet neznamych)Model s pouze spojitym popisem definuje system diferencialnealgebraickych rovnic f (y ′, y , t) = 0prevod rovnic na podobu resitelnou numerickymi algoritmy(DASSL)promenne, ktere nejsou stavove nazyvame ”algebraicke”
SNT — Simulacnı nastroje a techniky 250/254
![Page 251: SNT — Simulacnˇ ´ı n astroje a techniky´ · Uvod´ DEVSSpojite´Diskretn´ ´ıKombinovane´1234Z PravidlaLiteratura Modelovan´ ´ı syst em´ u na po˚ cˇ´ıta cˇ´ıch](https://reader030.vdocuments.mx/reader030/viewer/2022040416/5d0ee0dc88c993a2358bbd23/html5/thumbnails/251.jpg)
Uvod DEVS Spojite Diskretnı Kombinovane 1 2 3 4 Z Dymola Kauzalita Modelica Prıklady Knihovny
Poznamky
Automatickou detekci zmen stavovych podmınek a provadenıstavovych udalostı lze zakazat:x = smooth(1, if y>0 then y^2 else -y^2);
x = noEvent(if y>=0 then sqrt(y) else 0);
Modelica nesynchronizuje udalosti = musı se explicitnenaprogramovat
SNT — Simulacnı nastroje a techniky 251/254
![Page 252: SNT — Simulacnˇ ´ı n astroje a techniky´ · Uvod´ DEVSSpojite´Diskretn´ ´ıKombinovane´1234Z PravidlaLiteratura Modelovan´ ´ı syst em´ u na po˚ cˇ´ıta cˇ´ıch](https://reader030.vdocuments.mx/reader030/viewer/2022040416/5d0ee0dc88c993a2358bbd23/html5/thumbnails/252.jpg)
Uvod DEVS Spojite Diskretnı Kombinovane 1 2 3 4 Z Dymola Kauzalita Modelica Prıklady Knihovny
Knihovny modelu
Modelica standard library (open source)BlokyKonstantyElektricke obvodyMatematicke funkceMechanikaJednotky SITepelne modely...
soucast Dymoly+ komercnı knihovny
SNT — Simulacnı nastroje a techniky 252/254
![Page 253: SNT — Simulacnˇ ´ı n astroje a techniky´ · Uvod´ DEVSSpojite´Diskretn´ ´ıKombinovane´1234Z PravidlaLiteratura Modelovan´ ´ı syst em´ u na po˚ cˇ´ıta cˇ´ıch](https://reader030.vdocuments.mx/reader030/viewer/2022040416/5d0ee0dc88c993a2358bbd23/html5/thumbnails/253.jpg)
Uvod DEVS Spojite Diskretnı Kombinovane 1 2 3 4 Z Dymola Kauzalita Modelica Prıklady Knihovny
Modelica – shrnutı
Jazyk: Modelica standard (v 3.3/2012)Knihovny: Modelica Standard Library (v 3.2.1/2013)Existuje nekolik implementacı:
DymolaOpenModelicaMathModelicaJModelica.org...
Stale se zdokonaluje (1.0/1997 — 3.3/2012)
SNT — Simulacnı nastroje a techniky 253/254
![Page 254: SNT — Simulacnˇ ´ı n astroje a techniky´ · Uvod´ DEVSSpojite´Diskretn´ ´ıKombinovane´1234Z PravidlaLiteratura Modelovan´ ´ı syst em´ u na po˚ cˇ´ıta cˇ´ıch](https://reader030.vdocuments.mx/reader030/viewer/2022040416/5d0ee0dc88c993a2358bbd23/html5/thumbnails/254.jpg)
Uvod DEVS Spojite Diskretnı Kombinovane 1 2 3 4 Z
Zaver
Cılem bylo uvedenı do ruznych oblastı modelovanı a simulace.Simulace je vyznamna pro navrh systemu i jejich testovanı.Prehled algoritmu a metod muze byt inspiracı i pro dalsı oblastipouzitı.Prehled temat pro zkousku — viz WWW
SNT — Simulacnı nastroje a techniky 254/254