Filtern
Erscheinungsjahr
- 2009 (15) (entfernen)
Dokumenttyp
- Dissertation (15) (entfernen)
Sprache
- Deutsch (15) (entfernen)
Schlagworte
- Heilanstalt (2)
- Pflegeanstalt (2)
- Schizophrenie (2)
- Achtsamkeit (1)
- Akzeptanz (1)
- Alltäglichkeit (1)
- Ambulante Behandlung (1)
- Aneignung (1)
- Anstaltspsychiater (1)
- Arzt-Angehörigen-Kommunikation (1)
- Außeralltäglichkeit (1)
- Bildung (1)
- Charisma (1)
- Cognitive-behavioral group therapy (1)
- Computermodell (1)
- Computersimulation (1)
- Coping (1)
- Derrida (1)
- Echtzeitsystem (1)
- Ehe (1)
- Erziehung (1)
- Frau (1)
- Funktionelle Störung (1)
- Fusion (1)
- Gesundheitskommunikation (1)
- Habitus (1)
- Individualisierung (1)
- Interactive engagement (1)
- Islam (1)
- Just-in-Time Teaching (1)
- Kabel (1)
- Karrierefaktor (1)
- Kausalanalyse (1)
- Klingenmünster (1)
- Klinische Psychologie (1)
- Kognitiv-behaviorale Gruppentherapie (1)
- Konflikt (1)
- Kriegsneurose (1)
- Kultur (1)
- Lendenwirbelsäule (1)
- Linguistische Gesprächsanalyse (1)
- Lumbar Spine (1)
- MBS Model (1)
- Mediator (1)
- Medienphilosophie (1)
- Medientheorie (1)
- Mehrkörpersystem (1)
- Mehrprozessorsystem (1)
- Misskonzepte (1)
- Modellierung (1)
- Multiple somatoforme Symptome (1)
- Nationalsozialismus (1)
- Optimismus (1)
- Partnerschaft (1)
- Persönlichkeit (1)
- Petri-Netz (1)
- Positive Peer Culture (1)
- Präkonzepte (1)
- Psychiatrie (1)
- Psychische Erkrankungen (1)
- Psychische Störung (1)
- Psychologie (1)
- Psychotherapie (1)
- Randomisierte kontrollierte Therapieevaluation (1)
- Ratgeber (1)
- Ressourcen (1)
- Schlauch (1)
- Selbstwirksamkeit (1)
- Simulation (1)
- Somatoform disorder (1)
- Somatoform symptoms (1)
- Somatoforme Störung (1)
- Sprachliche Handlungsmuster (1)
- Sprachtheorie (1)
- Stresstheorien (1)
- Tod (1)
- Trauer (1)
- Verlust (1)
- Vermittlung (1)
- Virtualisation (1)
- Virtualisierung (1)
- Weltkrieg <1939-1945> (1)
- Wirkfaktor (1)
- Wirkfaktoren (1)
- Zwangssterilisation (1)
- Zweiter Weltkrieg (1)
- adaptiver Unterricht (1)
- alternative fromeworks (1)
- inszeniertes Charisma (1)
- mechanism of action (1)
- multiprocessing (1)
- parallel computing (1)
- primary care (1)
- randomized controlled trial (1)
- real-time computing (1)
- schizophrene Frau (1)
- soziale Konstruktion von Wirklichkeit (1)
- Ätiologie (1)
Institut
- Arbeitsbereich Biopsychologie, Klinische Psychologie und Psychotherapie (3)
- Institut für Germanistik (2)
- Arbeitsbereich Diagnostik, Differentielle und Persönlichkeitspsychologie, Methodik und Evaluation (1)
- Arbeitsbereich Kognitive Psychologie (1)
- Institut für Computervisualistik (1)
- Institut für Informatik (1)
- Institut für Psychologie (1)
- Institut für Pädagogik, Abteilung Pädagogik (1)
- Institut für Softwaretechnik (1)
- Institut für Soziologie und Politikwissenschaft (1)
Im Rahmen dieser Arbeit wurden die zeitbewerteten Prädikat/Transitions-Netze (Z-Pr/T-Netze) zur Modellierung, Simulation und Verifikation sicherheitskritischer Echtzeitsysteme entwickelt. Z-Pr/T-Netze integrieren Konzepte zur Modellierung temporärer Zusammenhänge und sind darüber hinaus mittels der Berechnung von S- und T-Invarianten sowie der Identifikation von Traps und Co-Traps strukturell analysierbar. Die Eignung von Z-Pr/T-Netzen zur Modellierung, Simulation und Verifikation komplexer Systeme aus dem Anwendungsbereich sicherheitskritischer Echtzeitsysteme wird anhand des Earliest-Deadline-First-Protokolls (EDF) und des Priority-Inheritance-Protokolls (PIP) belegt. Es erfolgt daher eine Modellierung des EDF und PIP mittels Z-Pr/T-Netzen sowie eine Verifikation für das EDF und PIP basierend auf der strukturellen Analyse der korrespondierenden Z-Pr/T-Netze. Die Anwendbarkeit struktureller Analyseverfahren zur Verifikation des EDF und PIP in Verbindung mit der nicht zu unterschätzenden Komplexität eben dieser belegen die Anwendbarkeit von Z-Pr/T-Netzen zur Modellierung, Simulation und Verifikation komplexer Systeme aus dem Anwendungsbereich sicherheitskritischer Echtzeitsysteme.