Filtern
Erscheinungsjahr
- 2009 (24) (entfernen)
Dokumenttyp
- Dissertation (24) (entfernen)
Schlagworte
- Akzeptanz (2)
- Heilanstalt (2)
- Pflegeanstalt (2)
- Schizophrenie (2)
- Abwasserreinigung (1)
- Achtsamkeit (1)
- Aktionsart (1)
- Aktiver Wortschatz (1)
- Alltäglichkeit (1)
- Ambulante Behandlung (1)
- Aneignung (1)
- Anstaltspsychiater (1)
- Arzt-Angehörigen-Kommunikation (1)
- Aspekt <Linguistik> (1)
- Außeralltäglichkeit (1)
- Benetzung (1)
- Beta-Blocker (1)
- Bildsegmentierung (1)
- Bildung (1)
- Bildverarbeitung (1)
- Bodenwasser (1)
- Business English (1)
- CSCW (1)
- Charisma (1)
- Cheilolejeunea ; continental tropical Africa ; rainforest (1)
- Cognitive-behavioral group therapy (1)
- Computermodell (1)
- Computersimulation (1)
- Conceptual Metaphor Theory (1)
- Coping (1)
- DRIFTS (1)
- Data compression (1)
- Datenkompression (1)
- Derrida (1)
- Diagnoseunterstützung (1)
- Diagnosis assistance (1)
- Diffusion (1)
- Echtzeitsystem (1)
- Ehe (1)
- Empirical Research (1)
- Erziehung (1)
- Frau (1)
- Fremdsprachenunterricht (1)
- Funktionelle Störung (1)
- Fusion (1)
- Gefäßanalyse (1)
- Gesundheitskommunikation (1)
- Graphik-Hardware (1)
- Gruppenarbeit (1)
- Habitus (1)
- Humus (1)
- Hydrophobie (1)
- Individualisierung (1)
- Instructed Second Language Acquisition (1)
- Interactive engagement (1)
- Islam (1)
- Java (1)
- Just-in-Time Teaching (1)
- Kabel (1)
- Karrierefaktor (1)
- Kausalanalyse (1)
- Klingenmünster (1)
- Klinische Psychologie (1)
- Kognitiv-behaviorale Gruppentherapie (1)
- Kognitive Linguistik (1)
- Kollaboration (1)
- Konflikt (1)
- Konjugation (1)
- Kontaktwinkel (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)
- Meiofauna (1)
- Mesofauna (1)
- Metapher (1)
- Misskonzepte (1)
- Modellierung (1)
- Multiple somatoforme Symptome (1)
- Multivariable Statistik (1)
- Nationalsozialismus (1)
- Oberflächeneigenschaft (1)
- Optimismus (1)
- Ozonisierung (1)
- Partnerschaft (1)
- Passiver Wortschatz (1)
- Perfect (1)
- Perfekt (1)
- Persönlichkeit (1)
- Pestizid (1)
- Petri-Netz (1)
- Positive Peer Culture (1)
- Present Perfect (1)
- Präkonzepte (1)
- Präsentisches Perfekt (1)
- Psychiatrie (1)
- Psychische Erkrankungen (1)
- Psychische Störung (1)
- Psychologie (1)
- Psychotherapie (1)
- Randomisierte kontrollierte Therapieevaluation (1)
- Ratgeber (1)
- Regenwald ; Afrika ; Cheilolejeunea (1)
- Ressourcen (1)
- Risikoanalyse (1)
- Schlauch (1)
- Sediment (1)
- Selbstwirksamkeit (1)
- Simulation (1)
- Software Engineering (1)
- Somatoform disorder (1)
- Somatoform symptoms (1)
- Somatoforme Störung (1)
- Sprachliche Handlungsmuster (1)
- Sprachtheorie (1)
- Stresstheorien (1)
- Südafrika (1)
- Tempus (1)
- Tense (1)
- Time (1)
- Tod (1)
- Trauer (1)
- Tropfenform (1)
- Umkehrosmose (1)
- Unterrichtsforschung (1)
- VIACOBI (1)
- Vascular analysis (1)
- Verb (1)
- Verbal Aspect (1)
- Vergangenheitstempus (1)
- Verifikation (1)
- Verlust (1)
- Vermittlung (1)
- Virtualisation (1)
- Virtualisierung (1)
- Visualisierung von Verbformen (1)
- Vocabulary (1)
- Vokabellernen (1)
- Volumen-Rendering (1)
- Wavelet (1)
- Weltkrieg <1939-1945> (1)
- Wirkfaktor (1)
- Wirkfaktoren (1)
- Wirtschaftsenglisch (1)
- Wortschatz (1)
- Zeit (1)
- Zwangssterilisation (1)
- Zweiter Weltkrieg (1)
- acceptance (1)
- adaptiver Unterricht (1)
- alternative fromeworks (1)
- collaboration (1)
- concurrency (1)
- contact angle (1)
- deductive (1)
- diffusion (1)
- groupwork (1)
- hydrophobicity (1)
- inszeniertes Charisma (1)
- mechanism of action (1)
- multiprocessing (1)
- ozonation of beta blockers (1)
- ozone reactivity (1)
- pH-Wert (1)
- parallel computing (1)
- primary care (1)
- randomized controlled trial (1)
- real-time computing (1)
- repellency (1)
- reverse osmosis (1)
- risk assessment (1)
- schizophrene Frau (1)
- soil organic matter (1)
- soil pH (1)
- soil solution (1)
- soziale Konstruktion von Wirklichkeit (1)
- surface characteristics (1)
- verification (1)
- wastewater treatment (1)
- wettability (1)
- Ästuar (1)
- Ätiologie (1)
Institut
- Arbeitsbereich Biopsychologie, Klinische Psychologie und Psychotherapie (3)
- Institut für Anglistik und Amerikanistik (2)
- Institut für Computervisualistik (2)
- Institut für Germanistik (2)
- Institut für Informatik (2)
- Institut für Integrierte Naturwissenschaften (2)
- Institut für Umweltwissenschaften (2)
- Arbeitsbereich Diagnostik, Differentielle und Persönlichkeitspsychologie, Methodik und Evaluation (1)
- Arbeitsbereich Kognitive Psychologie (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)
- Institut für Sportwissenschaft (1)
- Institut für Wirtschafts- und Verwaltungsinformatik (1)
- Institut für naturwissenschaftliche Bildung (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.