In-situ Messung großer Hydrometeore mit Hilfe der In-line-Holographie

In-situ Messung großer Hydrometeore mit Hilfe derIn-line-Holographie Diese Dissertation beschreibt die Entwicklung und Erprobungeiner Apparatur zur holographischen In-situ-Messung großerHydrometeore (HODAR). Dazu wird eine dreidimensionaleMomentaufnahme eines etwa 500 dm³ großes Meßvolumen derfreien Atmosphäre mittels der In-line-Holographieaufgezeichnet. In dieser Aufnahme kann die Größe und Formeinzelner Hydrometeore, aber auch ihre Position imMeßvolumen ausgemessen werden. Daraus sind Größen- undAbstandsverteilungen der Hydrometeore zu bestimmen. MitHilfe von Doppelbelichtungen lassen sich zusätzlich auchihre Geschwindigkeiten ermitteln.Im Verlauf dieser Arbeit werden zunächst die Hydrometeorevorgestellt. Die theoretischen Möglichkeiten einer Apparaturzur In-situ-Messung werden aus den Eigenschaften desholographischen Bildes entwickelt. Anschließend wird derverwirklichte Aufbau des HODAR erläutert. Kalibrierung undTest, sowie Messungen, die die Fähigkeiten des HODAR unterBeweis stellen, werden beschrieben.

Rational design of selective anion receptors

The new family of the anion receptors based on oligoureas with varied flexibility was developed and studied. The preparation of the urea chains containing two different units in various sequences was elaborated. The complete sets of four cyclic trimers and six tetramers based on the two units were prepared. Their conformational and complexation properties were studied with NMR spectroscopy and X-ray structure determinations, their behaviour towards various anions was evaluated and compared. The synthesis and the same studies were performed also with four different cyclic hexamers. During these studies the remarkable templation by two halide anions was observed.

Efficient certification of feasibility and objective value of linear programs and its applications

The use of linear programming in various areas has increased with the significant improvement of specialized solvers. Linear programs are used as such to model practical problems, or as subroutines in algorithms such as formal proofs or branch-and-cut frameworks. In many situations a certified answer is needed, for example the guarantee that the linear program is feasible or infeasible, or a provably safe bound on its objective value. Most of the available solvers work with floating-point arithmetic and are thus subject to its shortcomings such as rounding errors or underflow, therefore they can deliver incorrect answers. While adequate for some applications, this is unacceptable for critical applications like flight controlling or nuclear plant management due to the potential catastrophic consequences. We propose a method that gives a certified answer whether a linear program is feasible or infeasible, or returns unknown'. The advantage of our method is that it is reasonably fast and rarely answers unknown'. It works by computing a safe solution that is in some way the best possible in the relative interior of the feasible set. To certify the relative interior, we employ exact arithmetic, whose use is nevertheless limited in general to critical places, allowing us to rnremain computationally efficient. Moreover, when certain conditions are fulfilled, our method is able to deliver a provable bound on the objective value of the linear program. We test our algorithm on typical benchmark sets and obtain higher rates of success compared to previous approaches for this problem, while keeping the running times acceptably small. The computed objective value bounds are in most of the cases very close to the known exact objective values. We prove the usability of the method we developed by additionally employing a variant of it in a different scenario, namely to improve the results of a Satisfiability Modulo Theories solver. Our method is used as a black box in the nodes of a branch-and-bound tree to implement conflict learning based on the certificate of infeasibility for linear programs consisting of subsets of linear constraints. The generated conflict clauses are in general small and give good rnprospects for reducing the search space. Compared to other methods we obtain significant improvements in the running time, especially on the large instances.

Die Debatte über die Ziele des Vierten Kreuzzugs : ein Beitrag zur Lösung geschichtswissenschaftlich umstrittener Fragen mit Hilfe sozialwissenschaftlicher Instrumente

Der Rational-Choice-Ansatz (RCA) hat in den letzten Jahrzehnten eine weite Ver-rnbreitung in vielen sozialwissenschaftlichen Disziplinen erfahren. Insbesondere in den letzten zwei Jahrzehnten gab es wiederholte Bemühungen, den RCA auchrnauf geschichtswissenschaftliche Fragestellungen und Themen anzuwenden. Ein interssanter Ansatz dafür ist eine integrative Methodik, die unter der Bezeichnung „Analytic Narrative“ bekannt wurde. Damit wird versucht, die klassische narrative Form der Erklärung historischer Phänomene mit spieltheoretischen Modellierungen zu verbinden. Inspiriert durch diesen Ansatz geht die vorliegende Untersuchung der Frage nach, in welcher Form und unter welchen Umständen der RCA als analytische Grundlage für historische Themenfelder und Fragestellungen geeignet sein mag. Dies wird nicht nur theoretisch, sondern an einem historischen Beispiel untersucht. Konkreter Betrachtungsgegenstand der Arbeit ist der Vierte Kreuzzug. Vor über 800 Jahren endete dieser mit der Eroberung und Plünderung Konstantinopels sowie der Zerschlagung des Byzantinischen Reichs. Seit mehr als 150 Jahren streiten Historiker über die Ursachen für diese Ereignisse. Die theoretischenrnGrundpositionen, die innerhalb dieser Debatte durch einzelne Historiker einge-rnnommen wurden, dienen als Ausgangspunkt für die hier verfolgte Untersuchung.rnEs wird gezeigt, dass die Daten, die uns über den Vierten Kreuzzug vorliegen,rndie Möglichkeit eröffnen, verschiedene auf dem RCA basierende Analyseverfah-rnren zur Anwendung zu bringen. Das zentrale Ziel der Analyse besteht darin, ausrnden vorhandenen Quellen neue Einsichten in die strategischen Handlungsoptionen der für den Verlauf des Kreuzzugs relevanten Akteure zu generieren undrnüberdies ein Höchstmaß an Überprüfbarkeit zu gewährleisten.