Reflektivní simulace lůžkových oddělení nemocnic
Reflective simulation of patients-in-bed movement
diplomová práce (OBHÁJENO)
Zobrazit/ otevřít
Trvalý odkaz
http://hdl.handle.net/20.500.11956/9953Identifikátory
SIS: 43118
Kolekce
- Kvalifikační práce [11244]
Autor
Vedoucí práce
Oponent práce
Říha, Antonín
Fakulta / součást
Matematicko-fyzikální fakulta
Obor
Softwarové systémy
Katedra / ústav / klinika
Katedra softwarového inženýrství
Datum obhajoby
21. 5. 2007
Nakladatel
Univerzita Karlova, Matematicko-fyzikální fakultaJazyk
Čeština
Známka
Výborně
V této práci nejprve definujeme pojmy vnořené a vnější simulace. Vnější simulace pracuje s modelem M a vnořená simulace s modelem N. Vnější simulace vždy volá vnořenou simulaci tak, že vždy nejprve inicializuje její model N podle svého modelu M. Pak na modelu N provede experiment, jehož výsledek může zpětně ovlivnit model M. Reflektivní simulace je speciálním případem vnořené simulace, kdy jsou modely M a N shodné nebo témě shodné. Dále se věnujeme popisu obtížných pasáží implementace reflektivní simulace v jazyce Simula. Popsané znalosti následně využijeme k implementaci reflektivní simulace lůžkových oddělení v jazyce Simula. Výsledný program je plně funkční a demonstruje vlastnosti reflektivní simulace.
The work at first proposes ideas of the nested and external simulation. The external simulation works with the model M and the nested simulation work with the model N. The external simulation always calls nested simulation so that the nested model N is initialized according to the state of the external model M and then the nested experiment is performed. Its result can influence the state of the external model. The reflective simulation is a special case of the nested simulation when the external and the nested models are identical or almost identical. We describe how to implement reflective simulation in Simula language. Using this knowledge, we implement reflective simulation of patients-in-bed movement in Simula language. The resulting fully functional program clearly demonstrates properties of the reflective simulation.