Beskrivelse
Metodologiske aspekter ved simulering. Modellering av diskrete hendelsessystemer. Modellformalisme: FSA, FSM, Petri-nett, DEVS, andre. Verifikasjon og validering. Cellemodeller: Cellular Automata, Cell-DEVS. Kontinuerlige og hybride modeller. Parallell- og distribuert simulering (PADS) teknikker. PADS-mellomvare: HLA, Parallel-DEVS, Time-Warp.
Forkunnskaper
- Forkunnskapskrav: kunnskap om C++ og grunnleggende konsepter innen samtidighet og distribuerte systemer.
Vilkår og bestemmelser
- Forkunnskapskrav: kunnskap om C++ og grunnleggende konsepter innen samtidighet og distribuerte systemer.
Referansetekst i originalspråket
Methodological aspects of simulation. Modeling discrete events systems. Modeling formalisms: FSA, FSM, Petri Nets, DEVS, others. Verification and validation. Cellular models: Cellular Automata, Cell-DEVS. Continous and hybrid models. Parallel and Distributed simulation (PADS) techniques. PADS middleware: HLA, Parallel-DEVS, Time-Warp.
- Prerequisite(s): knowledge of C+ + and of basic concepts of concurrency and distributed systems.
Kilder og referanser
Datoer og kilder beholdes for å hjelpe deg å verifisere opplysningene. Oversettelsene tilbys for å lette lesing; den offisielle kilden er referansen for krav og betingelser.
Kildereferanse : https://calendar.carleton.ca/grad/courses/SYSC/