The asymptotic state of a quantum system, which is in contact with a heat bath, is strongly disturbed by a time-periodic driving in comparison to a time-independent system. In this thesis an extensive picture of the asymptotic state of time-periodic quantum systems is drawn by relating it to the structure of the corresponding classical phase space. To this end the occupation probabilities of the Floquet states are analyzed with respect to their semiclassical property of being either regular or chaotic. The regular Floquet states are occupied with exponential weights e^{-betaeff Ereg} similar to the canonical weights e^{-beta E} of time-independent systems. The regular energies Ereg are defined by the quantization of the time-periodic system, whose classical properties also determine the effective temperature 1/betaeff. In contrast, the chaotic Floquet states acquire almost equal probabilities, irrespective of their time-averaged energy. Beyond these semiclassical properties the existence of avoided crossings in the spectrum is an intrinsic quantum property of time-periodic systems. Avoided crossings can strongly influence the entire occupation distribution. As an impressive application a novel switching mechanism is proposed in a periodically driven double well potential coupled to a heat bath. By a weak variation of the driving amplitude its asymptotic state is switched from the ground state in one well to a state with higher average energy in the other well. / Der asymptotische Zustand eines Quantensystems, das in Kontakt mit einem Wärmebad steht, wird durch einen zeitlich periodischen Antrieb gegenüber einem zeitunabhängigen System nachhaltig verändert. In dieser Arbeit wird ein umfassendes Bild über den asymptotischen Zustand zeitlich periodischer Quantensysteme entworfen, indem es diesen zur Struktur des zugehörigen klassischen Phasenraums in Beziehung setzt. Dazu werden die Besetzungswahrscheinlichkeiten der Floquet-Zustände hinsichtlich ihrer semiklassischen Eigenschaft analysiert, nach welcher sie entweder regulär oder chaotisch sind. Die regulären Floquet-Zustände sind mit exponentiellen Gewichten e^{-betaeff Ereg} ähnlich der kanonischen Verteilung e^{-beta E} zeitunabhängiger Systeme besetzt. Dabei sind die reguläre Energien Ereg durch die Quantisierung des Systems vorgegeben, dessen klassische Eigenschaften auch die effektive Temperatur 1/betaeff bestimmen. Die chaotischen Zustände dagegen haben fast einheitliche Besetzungswahrscheinlichkeiten, welche unabhängig von ihrer mittleren Energie sind. Über diese semiklassischen Eigenschaften hinaus ist das Auftreten von vermiedenen Kreuzungen im Spektrum eine intrinsisch quantenmechanische Eigenschaft zeitlich periodischer Systeme. Diese können die gesamte Besetzungsverteilung nachhaltig beeinflussen und finden eine eindrucksvolle Anwendung in Form eines neuartigen Schaltmechanismus in einem harmonisch modulierten Doppelmuldenpotential in Kontakt mit einem Wärmebad. Der asymptotische Zustand kann unter geringer Variation der Antriebsamplitude vom Grundzustand der einen Mulde in einen Zustand höherer mittlerer Energie in der anderen Mulde geschaltet werden.

In the area of online analytical processing (OLAP), the concept of multidimensional databases is receiving much popularity. Thus, a couple of different multidimensional data models were proposed from the research as well as from the commercial product side, each emphasizing different perspectives. However, very little work has been done investigating guidelines for good schema design within such a multidimensional data model. Based on a logical reconstruction of multidimensional schema design, this paper proposes two multidimensional normal forms. These normal forms define modeling constraints for summary attributes describing the cells within a multidimensional data cube and constraints to model complex dimensional structures appropriately. Multidimensional schemas compliant to these normal forms do not only ensure the validity of analytical computations on the multidimensional database, but also favor an efficient physical database design.

Bc. Karel Höfer Komparativní volební inženýrství v postjugoslávském prostoru KP IPS FSV UK Diplomová práce ABSTRACT The thesis deals with the topic of electoral engineering and electoral design in the Post- Yugoslav area. It can be classified within social sciences as a part of political science, specifically as a part of comparative political science and electoral studies. The subject of this thesis is electoral design and electoral engineering. Its cases are political and electoral systems in the Post-Yugoslav area up to 2012. The importance of this topic consists in the fact that it is not entirely explored topic. On that account it deserves attention from both empirical and theoretical perspective. The research of electoral design and electoral engineering is one of the most promising courses of contemporary political science. The Post-Yugoslav area offers an ideal environment for comparative political science in general and comparative approach due to its common historical and institutional grounds, but different political and institutional development after the disintegration. The primary objective of this work is the comparison of electoral design and electoral engineering in the Post-Yugoslav area. An important component of this work is also original and comprehensive theoretical framework for a...

Quantum systems that are in weak contact with a thermal heat bath will ultimately relax to an equilibrium state which is characterized by the temperature of the environment only. This state is independent of the specific properties of the bath and of how it is coupled to the system. This changes completely, when the system is additionally driven. Such a driven-dissipative situation can emerge, for example, due to an additional time-periodic modulation of the system, or when it is brought into contact with a second bath of different temperature. Then, the system will run into a well-defined nonequilibrium steady state. This state, however, will depend on the very details of the environment and its coupling to the system. We study whether this freedom can be used to engineer interesting properties of quantum systems, which are not found in their equilibrium states, i.e. in the absence of a drive. We focus on bosonic quantum many-body systems. We investigate when far-from-equilibrium ideal gases feature Bose condensation in a group of single-particle states, as opposed to situations where Bose condensation is completely absent in the nonequilibrium steady state. We show that Bose condensation can be induced in a finite one-dimensional ideal gas by the competition of two heat baths whose temperatures both lie well above the equilibrium condensation temperature. This setup also allows to engineer condensation in excited single-particle states. We discuss first ideas to study similar setups in weakly interacting Bose gases. Describing the microscopic dynamics of interacting many-body systems coupled to thermal baths is extremely challenging, due to the fact that generally the full many-body spectrum is inaccessible. Using ideas from semiclassics, we develop an approximation to the dynamics that yields good results at high and intermediate bath temperatures. We also investigate the transient dynamics of driven-dissipative quantum systems. Our studies are motivated by a result that is well known for isolated quantum systems: for a system whose dynamics is generated by a time-periodic Hamiltonian, the stroboscopic dynamics (observed at integer multiples of the driving period) can always be understood as if it would stem from a time-independent Hamiltonian, the Floquet Hamiltonian. For open quantum systems in contact with an environment, we ask if a similar mapping to an effective generator, the Floquet Lindbladian, is always possible. For a simple qubit model we show that there are two extended parameter regions, one in which the Floquet Lindbladian exists, and one in which it does not. We discuss problems of analytical expansions that can give rise to this Floquet Lindbladian and discuss how we can interpret the region where it does not exist. These results are important for dissipative Floquet engineering and open up new perspectives for the control of open quantum systems via time-periodic driving.:1. Introduction 2. Master equation for open quantum systems 3. Existence of the Floquet Lindbladian 4. Number of Bose-selected modes in driven-dissipative ideal Bose gases 5. High-temperature nonequilibrium Bose condensation induced by a hot needle 6. Weakly interacting Bose gases far from thermal equilibrium 7. Summary and outlook / Quantensysteme, die in schwacher Wechselwirkung mit einem thermischen Wärmebad stehen, relaxieren stets in einen Gleichgewichtszustand, welcher allein durch die Temperatur der Umgebung beschrieben ist. Dieser Zustand ist unabhängig von den spezifischen Eigenschaften des Bades, und davon wie dieses an das System gekoppelt ist. Dies ändert sich, wenn das System zusätzlich angetrieben wird. Ein solches getrieben-dissipatives Szenario kann beispielsweise durch einen zusätzlichen zeitperiodischen Antrieb entstehen, oder wenn das System mit einem zweiten Bad unterschiedlicher Temperatur in Kontakt gebracht wird. In diesem Fall läuft das System in einen wohldefinierten stationären Nichtgleichgewichtszustand. Dieser Zustand hängt jedoch von den Details der Umgebung, und davon wie diese an das System gekoppelt ist, ab. Es wird untersucht ob diese Freiheit genutzt werden kann um interessante Eigenschaften von Quantensystemen zu konstruieren, die in deren Gleichgewichtszuständen, d.h. in Abwesenheit des Antriebs, nicht zu finden sind. Der Fokus der Arbeit liegt auf bosonischen Quantenvielteilchensystemen. Es wird ergründet unter welchen Bedingungen ideale Gase fernab des thermischen Gleichgewichts Bose Kondensation in einer Gruppe von Einteilchenzuständen aufweisen, im Gegensatz zu Szenarien in denen überhaupt keine Bose Kondensation im stationären Nichtgleichgewichtszustand auftritt. Weiterhin wird gezeigt, dass Bose Kondensation in einem eindimensionalen idealen Gas durch das Wechselspiel zweier Wärmebäder induziert werden kann. Die Temperatur beider Bäder liegt dabei weit über der Kondensationstemperatur des Gleichgewichts. Diese Anordnung erlaubt außerdem kontrollierte Kondensation in angeregten Einteilchenzuständen. Erste Ideen für das theoretische Studium ähnlicher Anordnungen für schwach wechselwirkende Bosegase werden diskutiert. Eine Beschreibung der mikroskopischen Dynamik wechselwirkender Vielteilchensysteme ist extrem anspruchsvoll, da typischerweise das volle Vielteilchenspektrum unzugänglich ist. Unter Zurhilfenahme semiklassischer Ideen wird eine Näherung der Dynamik entwickelt, welche eine gute Beschreibung für hohe und intermediäre Temperaturen liefert. Weiterhin wird die transiente Dynamik getrieben-dissipativer Quantensysteme untersucht. Die Motivation bietet ein bekanntes Resultat für abgeschlossene Quantensysteme: Für ein System, dessen Dynamik durch einen zeitperiodischen Hamiltonoperator bestimmt ist, kann die stroboskopische Dynamik (unter Beobachtung zu Zeiten, die Vielfache der Antriebsperiode sind) immer so verstanden werden als würde sie von einem zeitunabhängigen Hamiltonoperator, dem Floquet Hamiltonian, induziert. Für offene Quantensysteme im Kontakt mit einer Umgebung wird untersucht ob eine ähnliche Abbildung auf einen effektiven Generator, den Floquet Lindbladian, existiert. Für ein einfaches Qubit Modell wird gezeigt, dass es zwei ausgedehnte Parameterregionen gibt, eine in welcher der Floquet Lindbladian existiert und eine weitere in der dieser nicht existiert. Es werden Probleme von analytischen Entwicklungen des Floquet Lindbladian diskutiert. Auch wird eine Interpretation der Region gegeben, in der dieser nicht existiert. Diese Resultate sind maßgeblich für dissipatives Floquetengineering und eröffnen neue Blickwinkel auf die zeitperiodische Kontrolle offener Quantensysteme.:1. Introduction 2. Master equation for open quantum systems 3. Existence of the Floquet Lindbladian 4. Number of Bose-selected modes in driven-dissipative ideal Bose gases 5. High-temperature nonequilibrium Bose condensation induced by a hot needle 6. Weakly interacting Bose gases far from thermal equilibrium 7. Summary and outlook

The work description is to create a system of measures to prevent the spread and the consequent attenuation of sound in air handling systems serving the cleanrooms. The thesis presents a solution to noise attenuation in the investigated area, and in HVAC duct, which uses a commercially available material in the form of sound insulation hoses. In the systém solution is part of the work focuses on the optimal design of terminal elements to distribute air in a clean room. Processing methods utilize theoretical and experimental approach. The experiment comprises a unique analysis of the sound insulation properties of selected products under specific conditions. The data obtained are analyzed and incorporated into the framework of this work created program module for determining the attenuation and noise propagation in an enclosed space. Math and physical dependence are programmed into their own DLL by programming language DELPHI.

Mit steigender Komplexität heterogener, verteilter Systeme nehmen auch die Anforderungen an deren Validierung zu. In dieser Arbeit wird ein Konzept vorgestellt, mit dem eine bestimmte Klasse komplexer Systeme, so genannte Dienstbereitstellende Systeme, durch automatisiertes Testen validiert werden kann. Mit Hilfe heterogener Klienten, bspw. eingebetteter Systeme, wird die Systemfunktionalität getestet. Hierzu wird das zu testende System auf die nach außen zur Verfügung gestellten Dienste reduziert und die Nutzung dieser Dienste durch Klienten mit einer Last quantifiziert. Eine Validierung wird durch die Vorgabe zeitlich veränderlicher Lasten für jeden Dienst definiert. Diese Lasten werden zielgerichtet den verfügbaren Klienten zugeteilt und durch diese im zu testenden System erzeugt. Zur praktikablen Anwendung dieses Konzeptes ist eine Automatisierung des Validierungsprozesses notwendig. In der Arbeit wird die Architektur einer Testbench vorgestellt, die zum einen die Heterogenität der Klienten berücksichtigt und zum anderen Einflüsse durch die Dynamik der Klienten während der Laufzeit der Validierung ausgleicht. Das hierbei zu lösende algorithmische Problem der Dynamischen Testpartitionierung wird ebenso definiert, wie ein Modell zur Beschreibung aller notwendigen Parameter. Die Testpartitionierung kann mittels einer eigens entwickelten Heuristik in Polynomialzeit gelöst werden. Zur Bestimmung der Leistungsfähigkeit des entwickelten Verfahrens wird die Heuristik aufwendigen Untersuchungen unterzogen. Am Beispiel eines zu testenden Mobilfunknetzwerkes wird die beschriebene Testbench umgesetzt und Kernparameter mittels Simulation ermittelt. Das Ergebnis dieser Arbeit ist ein Konzept zur Systemvalidierung, das generisch auf jede Art von dienstbereitstellenden Systemen angewandt werden kann und damit zur Verbesserung des Entwicklungsprozesses von komplexen verteilten Systemen beiträgt.

Nowadays, Renewable Energy Sources (RES) are attracting more and more interest. Thus, many countries aim to increase the share of green energy and have to face with several challenges (e.g., balancing, storage, pricing). In this paper, we address the balancing challenge and present the MIRABEL project which aims to prototype an Energy Data Management System (EDMS) which takes benefit of flexibilities to efficiently balance energy demand and supply. The EDMS consists of millions of heterogeneous nodes that each incorporates advanced components (e.g., aggregation, forecasting, scheduling, negotiation). We describe each of these components and their interaction. Preliminary experimental results confirm the feasibility of our EDMS.

The SAP HANA database is positioned as the core of the SAP HANA Appliance to support complex business analytical processes in combination with transactionally consistent operational workloads. Within this paper, we outline the basic characteristics of the SAP HANA database, emphasizing the distinctive features that differentiate the SAP HANA database from other classical relational database management systems. On the technical side, the SAP HANA database consists of multiple data processing engines with a distributed query processing environment to provide the full spectrum of data processing -- from classical relational data supporting both row- and column-oriented physical representations in a hybrid engine, to graph and text processing for semi- and unstructured data management within the same system. From a more application-oriented perspective, we outline the specific support provided by the SAP HANA database of multiple domain-specific languages with a built-in set of natively implemented business functions. SQL -- as the lingua franca for relational database systems -- can no longer be considered to meet all requirements of modern applications, which demand the tight interaction with the data management layer. Therefore, the SAP HANA database permits the exchange of application semantics with the underlying data management platform that can be exploited to increase query expressiveness and to reduce the number of individual application-to-database round trips.

This thesis presents a body of work on the theme of millimetre-wave FMCW radar, for the purposes of security screening and remote sensing. First, the development of an optimised software radar signal processor will be outlined. Through use of threading and GPU acceleration, high data processing rates were achieved using standard PC hardware. The flexibility of this approach, compared to specialised hardware (e.g. DSP, FPGA etc…), allowed the processor to be rapidly adapted and has produced a significant performance increase in a number of advanced real-time radar systems. An efficient tracker was developed and was successfully deployed in live trials for the purpose of real-time wave detection in an autonomous boat control system. Automated radar operation and remote data telemetry functions were implemented in a terrain mapping radar to allow continuous monitoring of the Soufrière Hills volcano on the Caribbean island of Montserrat. This work concluded with the installation of the system 3 km from the volcano. Hardware modifications were made to enable coherent measurement in a number of existing radar systems, allowing phase sensitive measurements, including range-Doppler, to be performed. Sensitivity to displacements of less than 200 nm was demonstrated, which is limited by the phase noise of the system. Efficient compensation techniques are presented which correct for quadrature mixer imbalance, FMCW chirp non-linearity, and scanner drive distortions. In collaboration with the Home Office, two radar systems were evaluated for the stand-off detection of concealed objects. Automatic detection capability, based on polarimetric signatures, was developed using data gathered under controlled conditions. Algorithm performance was assessed through blind testing across a statistically significant number of subjects. A detailed analysis is presented, which evaluates the effect of clothing and object type on detection efficiency.

Approved for public release; distribution in unlimited. / This thesis represents a cross Systems Command (NAVSEA/NAVAIR) developed product. The product - the Sunset Supply Base (SSB) system - provides a complete system for addressing the risks and supportability issues involved with Commercial Off the Shelf (COTS) products in Navy combat and support systems. The SSB system was implemented on three Navy combat weapon systems at various phases of the product development life cycle. The main body provides to the Program Management Offices (PMO) and other decision makers, a high level summary of performance expectations. Appendix A - The Sunset Supply Base Architecture - identifies at a high level of abstraction a collaborative architecture providing a roadmap for design and development of the SSB system. Appendix B - The Systems Engineering Development and Implementation (SEDI) plan - is a prescriptive or "How to" manual describing activities that have been used to successfully implement the SSB system. Appendix C - Business Case Analysis (BCA) - presents the data collected as a result of SEDI plan implementation then addresses the business/programmatic attributes showing the viability and value proposition possible through the SSB system. Appendix D - The Marketing Plan for the SSB system - defines methods and practices necessary to establish the SSB system as the alternative of choice. / Chemical Engineer, United States Navy / Systems Engineer, United States Navy