The proxel-based method : formalisation, analysis and applications

Autor :Sanja Lazarova-Molnar
Herkunft :OvGU Magdeburg, Fakultät für Informatik
Datum :11.11.2005
Dokumente :
Dataobject from HALCoRe_document_00006750
Typ :Dissertation
Format :Text
Kurzfassung :The proxel-based method is an intuitive approach to analysing discrete stochastic models, such as are described by stochastic Petri nets or queuing systems for example. The approach analyses models in a deterministic manner, avoiding the typical problems of discrete-event simulation (e.g. finding good-quality pseudo-random-number generator) and partial differential equations (difficult to set up and solve). The underlying stochastic process is a discrete-time Markov chain which is constructed on-the-fly by inspecting all possible behaviours of the model. The proxel-based simulation is shown to be very useful in analysing some classes of reliability models and fault-trees. In particular it is more efficient than the discrete-event approach applied to the same models, because the proxel-based method is less sensitive to the stiffness of the models. The goal of the thesis is to formally define this new method, study its behaviour under different circumstances, as well as show that it can be more suitable than some existing methods for certain classes of problems. Further, the thesis examines some of the application areas of the proxel-based method.
Schlagwörter :simulation, modelling, proxels, PDEs, Markov chains, Petri nets, stochastic, performability, transient analysis
Rechte :Dieses Dokument ist urheberrechtlich geschützt.
Größe :185 S.
Erstellt am :16.04.2009 - 08:17:00
Letzte Änderung :22.04.2010 - 08:20:23
MyCoRe ID :HALCoRe_document_00006750
Statische URL :http://edoc.bibliothek.uni-halle.de/servlets/DocumentServlet?id=6750