Doctoral Thesis
Refine
Year of publication
- 2009 (24) (remove)
Document Type
- Doctoral Thesis (24) (remove)
Keywords
- 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)
Institute
- 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".
Abstract The present work investigates the wetting characteristics of soils with regard to their dependence on environmental parameters such as water content (WC), pH, drying temperature and wetting temperature of wettable and repellent soils from two contrasting anthropogenic sites, the former sewage disposal field Berlin-Buch and the inner-city park Berlin-Tiergarten. The aim of this thesis is to deepen the understanding of processes and mechanisms leading to changes in soil water repellency. This helps to gain further insight into the behaviour of soil organic matter (SOM) and identifying ways to prevent or reduce the negative effects of soil water repellency (SWR). The first focus of this work is to determine whether chemical reactions are required for wetting repellent samples. This hypothesis was tested by time and temperature dependence of sessile drop spreading on wettable and repellent samples. Additionally, diffuse reflectance infrared Fourier transform (DRIFT) spectroscopy was used to determine whether various drying regimes cause changes in the relative abundance of hydrophobic and hydrophilic functional groups in the outer layer of soil particles and whether these changes can be correlated with water content and the degree of SWR. Finally, by artificially altering the pH in dried samples applying acidic and alkaline reagents in a gaseous state, the influence of only pH on the degree of SWR was investigated separately from the influence of changes in moisture status. The investigation of the two locations Buch and Tiergarten, each exceptionally different in the nature of their respective wetting properties, leads to new insights in the variety of appearance of SWR. The results of temperature, water content and pH dependency of SWR on the two contrasting sites resulted in one respective hypothetical model of nature of repellency for each site which provides an explanation for most of the observations made in this and earlier studies: At the Tiergarten site, wetting characteristics are most likely determined by micelle-like arrangement of amphiphiles which depends on the concentration of water soluble amphiphilic substances, pH and ionic strength in soil solution. At low pH and at high ionic strength, repulsion forces between hydrophilic charged groups are minimized allowing their aggregation with outward orientated hydrophobic molecule moieties. At high pH and low ionic strength, higher repulsion forces between hydrophilic functional groups lead to an aggregation of hydrophobic groups during drying, which results in a layer with outward oriented hydrophilic moieties on soil organic matter surface leading to enhanced wettability. For samples from the Buch site, chemical reactions are necessary for the wetting process. The strong dependence of SWR on water content indicates that hydrolysis-condensation reactions are the controlling mechanisms. Since acid catalyzed hydrolysis is an equilibrium reaction dependent on water content, an excess of water favours hydrolysis leading to an increasing number of hydrophilic functional groups. In contrast, water deficiency favours condensation reactions leading to a reduction of hydrophilic functional groups and thus a reduction of wettability. The results of the present investigation and its comparison with earlier investigations clearly show that SWR is subject to numerous antagonistically and synergistically interacting environmental factors. The degree of influence, which a single factor exerts on SWR, is site-specific, e.g., it is dependent on special characteristics of mineral constituents and SOM which underlies the influence of climate, soil texture, topography, vegetation and the former and current use of the respective site.
Within this thesis time evaluated predicate/transition nets (t-pr/t-nets) have been developed for the purpose to model, simulate and verify complex real-time systems. Therefore, t-pr/t-nets integrate concepts to model timing constraints and can be analysed by the means of structural analysis such as the calculation of s- and t-invariants as well as the identification of traps and co-traps. The applicability of t-pr/t-nets to model, simulate and verify complex systems in the domain of safety-critical real-time systems is proven by the Earliest-Deadline-First-Protocol (EDF) and the Priority-Inheritance-Protocol (PIP). Therefore, the EDF and PIP are modeled by means of t-pr/t-nets. The resulting t-pr/t-nets are verified using structural analysis methods. Due to the enormous complexity and the applicability of structural analysis methods for the verification of the EDF and PIP, it can be shown that t-pr/t-nets are appropriate to model, simulate and verify complex systems in the field of safety-critical real-time systems.