Dissertation
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)
Software is vital for modern society. The efficient development of correct and reliable software is of ever-growing importance. An important technique to achieve this goal is deductive program verification: the construction of logical proofs that programs are correct. In this thesis, we address three important challenges for deductive verification on its way to a wider deployment in the industry: 1. verification of thread-based concurrent programs 2. correctness management of verification systems 3. change management in the verification process. These are consistently brought up by practitioners when applying otherwise mature verification systems. The three challenges correspond to the three parts of this thesis (not counting the introductory first part, providing technical background on the KeY verification approach). In the first part, we define a novel program logic for specifying correctness properties of object-oriented programs with unbounded thread-based concurrency. We also present a calculus for the above logic, which allows verifying actual Java programs. The calculus is based on symbolic execution resulting in its good understandability for the user. We describe the implementation of the calculus in the KeY verification system and present a case study. In the second part, we provide a first systematic survey and appraisal of factors involved in reliability of formal reasoning. We elucidate the potential and limitations of self-application of formal methods in this area and give recommendations based on our experience in design and operation of verification systems. In the third part, we show how the technique of similarity-based proof reuse can be applied to the problems of industrial verification life cycle. We address issues (e.g., coping with changes in the proof system) that are important in verification practice, but have been neglected by research so far.
Schwere chronische Erkrankungen beeinträchtigen nicht nur das Leben des Patienten; sie haben auch Auswirkungen auf dessen gesamtes soziales Umfeld: Besonders psychische Erkrankungen wie Schizophrenie, die mit Störungen des Denkens, des Bewusstseins und des (Selbst-)Erlebens einhergehen, führen oft zum Abbruch der meisten sozialen Kontakte, so dass als Bezugspersonen für den Patienten in der Regel nur die engsten Familienangehörigen bleiben. Durch die Erkrankung verändert sich dabei der gewohnte, vertrauensvolle Umgang zwischen Patient und Familie sowie zwischen den einzelnen Familienangehörigen untereinander. Die Umstände der stationären Behandlung in akuten Krankheitsphasen sowie die Folgen und/oder (Neben)Wirkungen der Nachbehandlung in stabilen Phasen haben oft weit reichende Konsequenzen für den Alltag der mit dem Patienten lebenden Angehörigen. Neben der professionellen, institutionell verankerten psychiatrischen Versorgung ist die Betreuung durch die Angehörigen in ihrer Rolle als Laienhelfer die tragende Säule der ambulanten Patientenversorgung. Daher wird seit einigen Jahren in der psychiatrischen Forschung gefordert, die Angehörigen als Kotherapeuten in Therapie und Nachsorge einzubeziehen. Vor diesem Hintergrund untersucht die qualitativ ausgerichtete Arbeit, wie behandelnde Psychiater und Angehörige von schizophren Erkrankten in Nachsorgeterminen, sog. Katamnesegesprächen, miteinander reden. Das Hauptaugenmerk der empirischen Gesprächsanalysen liegt darauf, wie die Angehörigen versuchen, die Therapie "ihres" Patienten zu beeinflussen und wie sie ihre eigenen Befindlichkeiten in den Gesprächen mit dem Arzt thematisieren. In 24, an den Grundsätzen von Handlungssemantik und Sequenzanalyse orientierten, Detailanalysen einer Auswahl zentraler sprachlicher Handlungen zeigt sich, dass die Psychiater es keineswegs mit Angehörigen zu tun haben, deren Verhalten einzig von Schüchternheit oder unhinterfragter Akzeptanz professionell-medizinischer Therapie-Maßnahmen geprägt ist. Vielmehr sehen sie sich durchaus mitteilungsbedürftigen und kritischen Klienten gegenüber: Neben Widersprüchen und Vorschlägen vollziehen die Angehörigen besonders im Hinblick auf die Behandlung des Patienten vor allem Handlungen, die dem Muster Kritisieren zuzuordnen sind. In Bezug auf ihre eigenen Bedürfnisse stellt sich das Handlungsmuster Belastungen äussern als zentral heraus. Die Handlungen mit Bezug auf die Therapie des Patienten gehen dabei oft Hand in Hand mit denjenigen, die sich auf die eigenen Belastungen der Angehörigen beziehen: Zum einen machen sich die Angehörigen Gedanken um den Patienten und dessen Zustand; zum anderen zeigt sich in ihren Äußerungen, dass sie in ihren Gedanken und Gefühlen selbst zutiefst von der Krankheit ihres geliebten Kindes, (Ehe-)Partners, Bruders, der Schwester oder Schwägerin mit betroffen und verunsichert sind. Die Analysen widmen sich daher auch der Frage, ob und wie die Anmerkungen der Angehörigen vom jeweiligen Arzt konstruktiv umgesetzt werden bzw. werden können. Die Arbeit plädiert für eine doppelt ausgerichtete Unterstützung der Angehörigen: zum einen im Hinblick auf ihre Funktion als Kotherapeuten sowie zum anderen im Hinblick auf ihre Bedürfnisse als von der Erkrankung (Mit)Betroffene und (Mit-)Leidende.
Over the last three decades researchers of Cognitive Metaphor Theory have shown conclusively that metaphor is motivated rather than arbitrary and often used to systematically map out conceptual territory. This cognitive semantic proposal holds the potential for alternative L2 teaching strategies. As an abstract domain, business discourse is naturally rich in metaphors and is additionally filled with consciously used metaphorical language to strategically manipulate clients and business partners. Business English courses especially stand to profit from metaphor-oriented language teaching, as (future) managers aim to quickly improve their language performance to be prepared for international business communication. In using metaphors, speakers as well as hearers conceptualize and thus experience one thing in terms of another. Having been made aware of the conceptual linkage, students are immediately equipped with a whole set of vocabulary they may already have learned for a concrete domain and are then able to elaborate in the more abstract area of business discourse. Enhanced metaphor awareness may thus prove to be a valuable vehicle for vocabulary acquisition as well as for vocabulary retention. This thesis is subdivided into ten chapters. With each successive chapter, the focus will increasingly sharpen on the main hypothesis that metaphor awareness raising and explicit teaching in the business English classroom assists the students to dip into their savings' and transfer already acquired vocabulary to abstract business discourse and thus to become more proficient business communicators. After an introduction to the main objectives, chapter two critically looks at the different strands of Cognitive Linguistic contributions to metaphor theory made within the last three decades and discusses the structure, function and processing of figurative language to single out relevant aspects of the language classroom applications. Chapter three narrows the perspective to the socio-economic discourse as the very target domain in focus and surveys the conceptual metaphors that have been identified for this target domain, namely the source domains most productive for the target and therefore most valuable for the language classroom. In chapter four Cognitive Linguistic findings are put in contact with language didactics; i.e., the Cognitive Linguistic basis is discussed in the context of language teaching and learning theories and a first classification of metaphor teaching in the theoretical framework of language didactics is proposed. Ten cornerstones summarize the theoretical output of the previous chapters and the respective didactic consequences are considered. Theories of cognitive psychology pertaining to noticing, processing, and storing metaphors are systematically revisited and expanded to formulate further didactic implications for metaphor teaching. The consequences drawn from both linguistic as well as didactic theory are translated into a list of ten short guidelines identifying essentials for the explicit integration of metaphors into the language classroom. In chapter five those experimental studies that have already been conducted in the field of Cognitive Linguistic-inspired figurative language teaching are systematically summarized and possible contributions to set up a didactic framework for metaphor teaching are investigated. Chapters six to nine then present a piece of original research. Starting out from five research questions tackling receptive and productive vocabulary acquisition and retention as well as the influence of and on the learner- level of language proficiency, a three-fold study was designed and conducted in a regular business English classroom and results are discussed in detail. The last chapter deals again with specific implications for teaching. Earlier statements about and claims for the language classroom are revisited and refined on the basis of the theoretical linguistic, didactic and empirical findings, and an agenda for further empirical investigations is sketched out.
Die Arbeit entwickelt eine eigenständige medienphilosophische Lesart der Philosophie Jaques Derridas, die zu einer sprachtheoretischen Grundlegung von Sprache als Medium herangezogen wird. Im Rahmen dieser Konzeption wird der Grundbegriff der Vermittlung eingeführt von dem ausgehend deutlich wird, inwiefern jedes Vermittlungsgeschehen in einer ästhetischen Erfahrung gründet.
Der Tod des Lebenspartners ist ein Ereignis, das sehr viele Menschen in ihrem Leben irgendwann betrifft. Die große Anzahl an Trauerratgebern, meist auf Glaubensgrundsätzen oder individuellen Erfahrungsberichten beruhend, macht das gesellschaftliche Bedürfnis nach Verständnis und Hilfen bei der Trauerbewältigung deutlich, suggeriert jedoch einen fortgeschrittenen Forschungsstand, der faktisch nicht besteht. Empirische Daten fehlen weitgehend. In Deutschland ist bisher wenig Trauerforschung zu verzeichnen, aber auch auf internationaler Ebene fehlen aussagekräftige Daten innerhalb des ersten Jahres der Trauer. Mit dieser Studie wurde das in der Forschung bestehende Vermeidungsverhalten, Betroffene schon früh nach dem Tod des Ehepartners wissenschaftlich zu befragen, überwunden. Auch bestand bisher in der Trauerforschung eine weitreichende Theorienarmut, indem Daten ohne Bezug zu bestehenden Persönlichkeits- und Stressmodellen erfasst wurden. Es wurde somit bisher versäumt, bestehende psychologische Theorien für das Thema Trauer nutzbar zu machen. Über die Auswertung von Todesanzeigen konnten 66 Teilnehmer für eine Längsschnittstudie gewonnen werden. Die Teilnehmer wurden über Fragebogen zu den drei Messzeitpunkten drei Monate, sechs Monate und neun Monate nach dem Tod des Lebenspartners befragt. Auf der Grundlage der Set-Point-Theorie des Glücks, der Persönlichkeitsmodelle des Optimismus nach Carver und Scheier und der Handlungsorientierung nach Kuhl sowie nach den Stressmodellen von Lazarus und dem Ressourcen-Konservierungs-Modell von Hobfoll wurden Hypothesen zur Gestalt des Trauerverlaufs generiert und entsprechende Variablen in die Befragung aufgenommen. Neben soziodemographischen Daten wurden Persönlichkeitsvariablen, Ressourcenvariablen sowie Bewältigungsstrategien erfasst. Als abhängige Variablen wurden die depressive und psychosomatische Symptomatik und die allgemeine Lebenszufriedenheit in die Studie aufgenommen. Die Ergebnisse zeigen, dass der Trauerverlauf primär durch eine Veränderung depressiver Symptome und nicht durch eine Veränderung psychosomatischer Symptome oder der allgemeinen Lebenszufriedenheit gekennzeichnet ist. Innerhalb des ersten halben Jahres nach dem Todesereignis ist eine deutliche Besserung der depressiven Symptome bei den Hinterbliebenen messbar. Das hervorstechendste Ergebnis ist, dass die Akzeptanz den zentralen Faktor erfolgreicher Trauerbewältigung darstellt. Die Akzeptanz hängt nicht nur mit den abhängigen Variablen zusammen, sondern ist auch ein signifikanter Prädiktor zur Vorhersage der Veränderungen depressiver und psychosomatischer Symptome sowie der allgemeinen Lebenszufriedenheit. Zwar hängt auch eine positive Neubewertung mit geringeren Symptomen zusammen, jedoch hängt dieser Zusammenhang von der Akzeptanz ab. Eine ausgeprägte Aufmerksamkeitsfokussierung auf Gefühle und Ausdruck von Gefühlen kennzeichnet eine stärkere Trauerreaktion. Handlungsorientierte Bewältigungsstrategien zeigten sich im Gegensatz zu emotionszentrierten Bewältigungsstrategien im Trauerverlauf nicht wirksam. Optimisten zeigen sich bei Verlust des Partners weniger belastet als Pessimisten, aber auch die Überlegenheit der Optimisten gegenüber den Pessimisten wird vor allem durch die Fähigkeit zur Akzeptanz vermittelt. Der Verlust finanzieller Ressourcen stellt für Hinterbliebene, insbesondere für Frauen, einen bedeutsamen weiteren Belastungsfaktor dar, der bei dem Tod des Ehepartners zusätzlich auftritt. Auch wenn die Teilnehmer nach dem Tod des Partners eine gesteigerte soziale Unterstützung erlebten, konnte jedoch nicht wie erwartet eine positive Wirkung einer gesteigerten sozialen Unterstützung auf den Trauerverlauf ausgemacht werden. Gründe hierzu wurden diskutiert. Insgesamt erwiesen sich die angewandten psychologischen Modelle zum Verständnis des Trauerverlaufs als hilfreich. Insbesondere die aus dem Persönlichkeitsmodell des Optimismus nach Carver und Scheier und die aus dem Stressmodell von Lazarus generierten Annahmen ließen sich auf die Gestalt des Trauerverlaufs übertragen. Aus den Ergebnissen dieser Studie konnten Hinweise zur Prävention besonderer Belastungen bei dem Tod des Lebenspartners gewonnen werden. Ebenso konnten Aspekte ausgemacht werden, die die Unterscheidung einer klinisch bedeutsamen Depression von einer normalen Trauerreaktion erleichtern können. Des Weiteren hat die Arbeit aufzeigen können, welche Schwerpunkte bei der Intervention anhaltend schwerer Trauerreaktionen gelegt werden sollten. Forscher arbeiten schon daran, eine pathologische Trauerreaktion zu identifizieren, was langfristig dazu führen kann, dass eine pathologische Trauer in die Klassifikation psychischer Störungen aufgenommen wird. Wichtig ist jedoch zunächst, eine normale Trauerreaktion zu verstehen, um eine pathologische Trauer von einer normalen Trauer unterscheiden zu können. Denn Trauer, so schmerzhaft das Erleben ist, ist grundsätzlich Teil des normalen Lebens.
Experten der Praxis haben zur Wirkung von Heimerziehung ihre Meinung. Die Einschätzung der Adressaten verhält sich dazu nicht immer deckungsgleich. In der vorliegenden Arbeit arbeitet der Autor im fallinterpretativen-hermeneutischen Untersuchungsdesign die Konstruktionen von jungen Menschen, die im Heim leben zu ihren persönlichen Wirkungsvorstellungen und "überzeugungen bzgl. der Ursachen ihrer eigenen Veränderung und Entwicklung heraus. Diese Konstruktionen werden in Bezug gesetzt zu den aktuellen Ergebnissen aus der Heimerziehungsforschung. Diese Befunde werden ins Verhältnis gesetzt mit den Ergebnissen aus der vorliegenden Untersuchung und dadurch untermauert, konkretisiert, ergänzt und erweitert. Daraus werden Folgerungen für die Praxis abgeleitet. Das Zusammenspiel von konzeptionellem Rahmen, Strukturen und Bedingungen der Heimerziehung wird im Zusammenhang mit den Interessen, den Aneignungsbemühungen und den Selbstwirksamkeitserfahrungen der Adressaten diskutiert und dargestellt Die aus der Untersuchung erwachsenen Ableitungen werden im historischen Aufriss des Pädagogischen Bezugs reflektiert, mit dem Versuch einer aktuellen Ortsbestimmung der Pädagogischen Beziehung. Außerdem werden die Grundzüge der Positive Peer Culture wiedergegeben und mit Praxisbeispielen illustriert
This Thesis contributes by reporting on the current state of diffusion of collaboration information technology (CIT). The investigation concludes, with a high degree of certainty, that today we have a "satisfactory" diffusion level of some level-A CITs (mostly e-Mail, distantly followed by Audio Conferencing), and a "dissatisfactory" diffusion level of higher-level CITs (i.e. those requiring significant collaboration and cooperation among users, like Meeting Support Systems, Group Decision Support Systems, etc.). The potential benefits of the latter seem to be far from fully realised due to lack of user acceptance. This conclusion has gradually developed along the research cycle " it was suggested by Empirical Study I, and tested through Empirical Studies II and III. An additional, unplanned and rather interesting, finding from this study has been the recognition of large [mostly business] reporting on numerous Web 2.0 user-community produced collaboration technologies (most of them belonging to the category of "social software") and their metamorphosis from autonomous, "bottom-up" solutions into enterprise-supported infrastructures. Another contribution of this Thesis " again suggested by Empirical Study I, and tested through Empirical Studies II and III " pertains to the "process structure" of CIT diffusion. I have found that collaboration technology has historically diffused following two distinct (interdependent but orthogonal) diffusion paths " top-down (authority-based) and bottom-up. The authority-based diffusion path seems to be characterised by efforts aimed at "imposing" technologies on employees, the primary concern being to make sure that technology seamlessly and easily integrates into the organisational IT infrastructure. On the other hand, the bottom-up diffusion trail seems to be successful. The contribution of this investigation may be summarised as threefold: 1. This investigation consolidates most of the findings to date, pertaining to CIT adoption and diffusion, which have been produced by the CIT research community. Thus, it tells a coherent story of the dynamics of the community focus and the collective wisdom gathered over a period of (at least) one decade. 2. This work offers a meaningful framework within which to analyse existing knowledge " and indeed extends that knowledge base by identifying persistent problems of collaboration technology acceptance, adoption and diffusion. These problems have been repeatedly observed in practice, though the pattern does not seem to have been recognised and internalised by the community. Many of these problems have been observed in cases of CIT use one decade ago, five years ago, three years ago, and continue to be observed today in structurally the same form despite what is unarguably "rapid technological development". This gives me reason to believe that, at least some of the persistent problems of CIT diffusion can be hypothesised as "determining factors". My contribution here is to identify these factors, discuss them in detail, and thus tackle the theme of CIT diffusion through a structured historical narrative. 3. Through my contribution (2) above, I characterise a "knowledge-action gap" in the field of CIT and illuminate a potential path through which the research community might hope to bridge this gap. The gap may be operationalised as cognitive distance between CIT "knowledge" and CIT "action".
In der vorliegenden Arbeit wurden Benetzungseigenschaften zweier stark anthropogen beeinflusster Böden in Abhängigkeit von Einflussfaktoren wie Wassergehalt, pH, Trocknungs- und Benetzungstemperatur untersucht. Ziel war es die Prozesse und Mechanismen, die zu Veränderungen der Benetzungseigenschaften von Böden führen, besser zu verstehen. Erkenntnisse über diese Prozesse und Mechanismen lassen zum einen Rückschlüsse auf das generelle Verhalten von organischer Bodensubstanz zu, können zum anderen aber auch helfen, vorsorgliche Maßnahmen zu ergreifen um Bodenhydrophobie zu verhindern oder deren negative Effekte zu reduzieren. Anhand der Zeit- und Temperaturabhängigkeit der Spreitung von liegenden Tropfen (TISED) auf hydrophoben und benetzbaren Bodenproben beider Standorte wurde die Hypothese getestet, dass der Benetzungsprozess durch chemische Reaktionen kontrolliert wird. Mithilfe von DRIFT (Diffuse Reflectance Infrared Fourier Transform) Spektren wurde überprüft, ob unterschiedliche Trocknungs-bedingungen (Temperatur, Dauer, Luftfeuchte) zu Unterschieden in der Anzahl hydrophober und hydrophiler funktioneller Gruppen in den äußeren Molekülschichten führen die sich im Grad der Benetzungshemmung widerspiegeln. Durch künstliche pH-Wert Änderung über die Gas¬phase konnte die pH-Wert Abhängigkeit der Benetzungshemmung unabhängig vom Wassergehaltseinfluss beider Standorte verglichen werden. Die beiden Standorte weisen extreme Unterschiede in der Art der Benetzungshemmung auf und sind dadurch beispielhaft für die Bandbreite der möglichen Ursachen und Mechanismen der Benetzungs-hemmung in Böden. Die Ergebnisse der Untersuchungen zur Temperatur- Wassergehalts- und pH-Abhängigkeit der Benetzungshemmung aus dieser Arbeit im Vergleich mit Ergebnissen vorhergehender Arbeiten lassen sich am besten mit jeweils einem konzeptionellen Modell pro Standort zur Natur der Benetzungshemmung erklären: Am Standort Tiergarten werden die Benetzungseigenschaften vermutlich durch mizellartige Anordnung amphiphiler Substanzen an der Oberfläche der organischen Bodensubstanz bestimmt, die abhängig vom Gehalt wasserlöslicher amphiphiler Substanzen, dem pH Wert und der Ionenstärke in der Bodenlösung im Verlaufe der Trocknung zu einer unterschiedlichen Orientierung der hydrophilen funktionellen Gruppen führt. Bei niedrigen pH-Werten und hoher Ionenstärke herrschen schwache Abstoßungskräfte zwischen den hydrophilen Gruppen, diese können aggregieren und hydrophobe Molekülketten sind nach außen gerichtet. Bei höheren pH-Werten und niedrigerer Ionenstärke sind die abstoßenden Kräfte zwischen den hydrophilen Gruppen groß und führen zu einer Aggregation hydrophober Gruppen, wobei die hydrophilen Gruppen nach der Trocknung nach außen gerichtet sind und für eine bessere Benetzbarkeit sorgen. Am Standort Buch sind chemische Reaktionen zur Benetzung nötig. Aufgrund der starken Wassergehaltsabhängigkeit der Benetzungshemmung könnte es sich dabei um Hydrolysereaktionen handeln, die säurekatalysiert reversible wassegehaltsabhängige Gleichgewichtsreaktionen und im Basischen irreversibel sind. Die beiden Modelle können eine Vielzahl von Beobachtungen erklären, die im Verlaufe dieser Untersuchung aber auch in vorhergehenden Untersuchungen gemacht wurden. Die Ergebnisse dieser Untersuchungen und ihr Vergleich mit vorherigen Untersuchungen auf denselben Standorten zeigten, dass Benetzungshemmung in Böden durch eine Vielzahl von Faktoren und Prozessen beeinflusst ist, die sowohl synergistisch als auch antagonistisch wirken können. Welche Faktoren den größten Einfluss ausüben bzw. welche Prozesse die vorherrschenden sind, hängt von lokalen Größen wie der Art des Mineralbodens und der organischen Bodensubstanz ab, die wiederum dem Einfluss von Klima, Textur, Topografie, Vegetation und der Nutzungsgeschichte unterliegen.
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.