Reflektivní simulace lůžkových oddělení nemocnic
Reflective simulation of patients-in-bed movement
diploma thesis (DEFENDED)
View/ Open
Permanent link
http://hdl.handle.net/20.500.11956/9953Identifiers
Study Information System: 43118
Collections
- Kvalifikační práce [11244]
Author
Advisor
Referee
Říha, Antonín
Faculty / Institute
Faculty of Mathematics and Physics
Discipline
Software systems
Department
Department of Software Engineering
Date of defense
21. 5. 2007
Publisher
Univerzita Karlova, Matematicko-fyzikální fakultaLanguage
Czech
Grade
Excellent
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.