TY - THES A1 - Troya Chinchilla, Alfonso Luís T1 - Synchronization and channel estimation in OFDM - algorithms for efficient implementation of WLAN systems N2 - This Dissertation is a contribution to the design of the Synchronization and Channel Estimation algorithms in Wireless OFDM systems, paying special attention to their implementation. After investigation of the main impairments affecting OFDM in a wireless transmission, the Dissertation obtains solutions for all the blocks forming the so-called Inner Receiver. The IEEE 802.11a standard is taken in this work as a reference, since this is the first standard proposal in which OFDM is applied for wireless LAN with transmission rates of up to 54 Mbps. The low-power feature of our proposals has been demonstrated by designing an Integrated Circuit fully compatible with the IEEE 802.11a specifications. Results show that the power figures expected for our design are very competitive in comparison with the results reported by other research groups and companies working in this field. N2 - Diese Dissertation ist ein Beitrag zu der Entwicklung von Synchronisations- und Kanalschätzungsalgorithmen im Bereich der drahtlosen OFDM-Systeme, insbesondere im Hinblick auf ihre Implementierung. Nach einer detaillierten Untersuchung aller Beeinträchtigungen eines OFDM-Signals im Falle einer drahtlosen Übertragung, stellt die Dissertation Lösungen für die verschiedenen Bestandteile des sogenannten „Inner Receiver“ vor. Der Standard IEEE 802.11a wird in dieser Arbeit als Referenz genommen, da erstmalig OFDM als Übertragungstechnik in einem drahtlosen lokalen Netzwerksystem mit Übertragungsraten bis zu 54 Mbps eingesetzt wird. Der niedrige Energieverbrauch unserer Lösung wird durch die Entwicklung eines Chips (Integrierte Schaltung), welcher völlig kompatibel mit dem 802.11a Standard ist, demonstriert. Die Ergebnisse zeigen, dass die hier entwickelte Lösung konkurrenzfähig ist, und einem Vergleich mit publizierten Parametern anderer Entwickler standhält. KW - Drahtloses lokales Netz KW - OFDM KW - Übertragungskanal KW - Schätzung KW - Synchronisierung KW - VLSI @ IEEE 802.11 KW - HIPERLAN/2 KW - OFDM KW - Übertragungskanal KW - 802.11a KW - Kanalschätzung KW - HiperLAN2 KW - OFDM KW - Synchronisation Y1 - 2004 U6 - http://nbn-resolving.de/urn/resolver.pl?urn:nbn:de:kobv:co1-000000566 ER - TY - THES A1 - Steeg, Martin T1 - RADD, raddstar - a rule based database schema ; compiler, evaluator, and optimizer N2 - The thesis discusses the problems of database development and maintenance, and presents an approach to conceptual tuning realized by conceptual design using the HERM/RADD notation. The RADD design tool has been designed in order to develope HERM specifications graphically. RADD adds semantics and operations to the design, which are not directly annotated on the graphical specification, such as "afunctional" dependencies and SQL operations and procedures. The RADD/raddstar system extends the graphical specification of the database schema with the posibility to specify the operations and with the invocations for transforming the schema, for evaluating transactions, and for optimizing the schema, each of which according the implicite requirements graphically modeled and the explicite requirements specified by means of the conceptual specification language (CSL). CSL is used as command line interface of the RADD/raddstar. The graphical RADD schema as well as the CSL specifications are compiled into terms of the RADD* data model by the system, such that these terms are used for further evaluation actions. The actions performed by the RADD/raddstar (schema transformation, transaction and cost evaluating, schema optimization) are based on rules, that can be developed and modified by the user using the CSL. N2 - Die Arbeit diskutiert die Probleme der Datenbankentwicklung und des nachfolgenden Datenbankbetriebs und führt konzeptionelles Tuning als Erweiterung der Datenbankentwurfsmethodik mit der HERM/RADD Notation ein. Die RADD Toolbox wurde entwickelt, um HERM Spezifikationen graphisch zu entwerfen und Semantik und Operationen zu ergänzen, welche nicht direkt im graphischen Entwurfsschema dargestellt werden können, wie "afunktionale" Abhängigkeiten und SQL-Operationen und -Prozeduren. Das RADD/raddstar System erweitert die graphischen Entwurfsmöglichkeiten der RADD Toolbox durch die Möglichkeit, die Operationen zu spezifizieren und Schema-Transformationen, -Bewertungen und -Optimierungen einzuleiten. Letztere können durch die impliziten Anforderungen des graphischen Datenbankentwurfs und die expliziten Anforderungen, welche mit Hilfe der CSL ("conceptual specification language") eingebracht werden, beeinflusst werden. CSL dient weiterhin als Benutzerinterface des RADD/raddstar Systems. Alle durch RADD/raddstar durchgeführten Aktionen (Schematransformation, Transaktionsberechnung und Kostenbewertung, Schemaoptimierung) werden regelbasiert durchgeführt, wobei der Benutzer die verwendeten Regeln selber entwerfen, ändern oder löschen kann. KW - Datenbankentwurf KW - Schemaevolution KW - Entity-Relationship-Datenmodell KW - Konzeptionelle Modellierung KW - Typinferenz Y1 - 2000 U6 - http://nbn-resolving.de/urn/resolver.pl?urn:nbn:de:kobv:co1-000000118 ER - TY - THES A1 - Srinivasa, Srinath T1 - An algebra of fixpoints for characterizing interactive behavior of information systems T1 - Ein Fixpunkt-Kalkül zur Charakterisierung interaktiven Verhaltens von Informationssystemen N2 - The dynamics of an information system (IS) is characterized not only by its computational behavior, but also by its interactive behavior. Interactive dynamics forms an integral part of most information systems. Despite this, an understanding of the interactive nature of an IS is still low. Interaction impacts expressiveness of an IS at such fundamental levels that Wegner [Weg97, Weg99a] came with a contention saying interactive behavior cannot be modeled by Turing Machines (TMs). A TM is considered the foundational model of computation. It models computable functions that map between problem and solution domains. However, a TM models only non-interactive mappings. A mapping between a problem and a solution domain that is interactive in nature can change its direction of computation resulting from intermediate interactions. Based on this contention, Wegner proposes interaction (rather than computation) as the fundamental framework for IS modeling [Weg99]. In this thesis, we address Wegner's contention and the nature of interactive dynamics. An information system is modeled as a collection of semantic processes or Problem Solving Processes (PSPs). If these PSPs are interactive in nature, they are called open systems; and if they are non-interactive, such an IS is called a closed system. Intuitively, open system dynamics are known to be richer than closed system dynamics. We make this distinction precise in this thesis. Interaction is shown to be made up of three properties: computation, persistence of state across computations, and channel sensitivity. Persistence of state and channel sensitivity each contribute to richer behavioral semantics than just computation. This is shown by introducing a concept called the solution space of a semantic process. A solution space is the abstract domain characterized by the process dynamics. Interactive solution spaces are found to be richer than algorithmic solution spaces and also interactive solution spaces require at least a three-valued system of logic for their characterization. The earlier question of interactive behavior as applied to IS design is then revisited. Interactive dynamics of an IS characterize the IS functionality. We call the solution space of interactive IS behavior as its interaction space. The interaction space of an IS is contrasted with the object space of the IS which is concerned with the IS structure and state maintenance dynamics. The interaction space has a degree of autonomy with respect to the object space. This aspect is often not acknowledged in IS design, resulting in the intermixing of structural and functionality concerns. Separating these concerns can avoid certain conflicting problems in IS design, as well as provide better maintainability. We call this the "dual" nature of open systems. Based on this insight we propose an IS design paradigm called dualism, where an IS model is made up of an object schema, characterizing the IS structure and an interaction schema, characterizing the IS functionality. The interaction schema is characterized by a three-valued system of logic, representing a set of obligated (or liveness) behavior, permitted (or possible) behavior and forbidden behavior. The system should perform the obligated behavior to be termed functional; it may perform any of the permitted behavior and it may not perform forbidden behavior. An analysis of the dynamics of any real world system can make these three-valued characteristics apparent. Domain theory is used to propose solution space concept, and deontic logic is used to represent the three modalities of interactive IS behavior. N2 - Die Dynamik von Informationssystemen wird nicht nur durch das Verhalten der Berechnungen, sondern insbesondere durch das interaktive Verhalten charakterisiert. Demzufolge ist die Charakterisierung der Interaktion ein integraler Bestandteil der Modellierung von Informationssystemen. Obwohl dies allgemein anerkannt ist, wird die interaktive Natur von Informationsssytemen immer noch nicht verstanden. Die Interaktion von Informationssystemen ist so komplex, dass Wegner [Weg97, Weg99a] zu der Schlussfolgerung kam, dass das interaktive Verhalten von Informationssystemen nicht durch Turing Maschinen (TM) charakterisiert werden kann. Die Turing Maschine wird als eines der grundlegenden Modelle der Berechnung angesehen. Turing Maschinen modellieren berechenbare Funktionen, die zwischen Problemen und Lösungsräumen Abbildungen herstellen. Doch modellieren Turing Maschinen nur nicht interaktive Abbildungen. Eine Abbildung zwischen einem Problem und einem Lösungsraum, der essentiell interaktiv ist, kann zur Laufzeit das Resultat der Abbildung und die Abbildung aufgrund von Interaktionen selbst ändern. Auf der Grundlage dieser Beobachtung schlug Wegner vor, die Interaktion als grundlegendes Paradigma von Informationssystemen anstelle von Berechnungen anzunehmen. In dieser Dissertation werden Wegners Vermutung und die Natur des Verhaltens von Interaktion untersucht. Ein Informationssystem wird als eine Kollektion von semantischen Prozessen bzw. Problemlösungsprozessen (PLPs) modelliert. Wenn PLPs essentiell interaktiv sind, werden Systeme dieser Art offene Systeme genannt. Wenn sie nicht interaktiv sind, werden Informationssysteme geschlossene Systeme genannt. Intuitiv kann angenommen werden, dass offene Systeme ein reicheres Verhalten haben als geschlossene Systeme. In dieser Dissertation wird diese Unterscheidung präzisiert. Interaktion basiert auf folgenden drei Eigenschaften: Berechnung, Persistenz von Zustandsveränderungen und Kanalabhängigkeit. Die Persistenz von Zustandsveränderungen und Kanalabhängigkeit ist von der Ausdruckskraft her stärker als die Berechnung. Das wird in der Dissertation durch die Einführung des Lösungsraumes von semantischen Prozessen gezeigt. Ein Lösungsraum ist eine abstrakte Domäne, die durch Prozessdynamik charakterisiert wird. Interaktive Lösungsräume sind demzufolge ausdrucksstärker als algorithmische Lösungsräume. Deshalb erfordert die Darstellung des interaktiven Lösungsraumes eine mindestens dreiwertige Logik. In der Arbeit werden sowohl Fragestellungen, die bereits für Informationssysteme ausreichend untersucht schienen, kritisch hinterfragt, als auch die interaktive Dynamik von Informationssystemen charakterisiert. Der Lösungsraum eines interaktiven Informationssystemes wird demzufolge um den Interaktionsraum erweitert. Dem Interaktionsraum steht der Objektraum des Informationssystemes gegenüber, der durch die Struktur und durch die Zustandsveränderungen des Informationssystemes beschrieben ist. Der Interaktionsraum ist bis zu einem gewissen Grad unabhängig vom Objektraum. Dieser Aspekt wurde bislang für den Entwurf von Informationssystemen nicht berücksichtigt, so dass strukturelle und funktionale Charakterisierungen vermischt wurden. Wenn man diese Charakteristiken separiert, kann man Konflikte, die üblicherweise beim Informationssystementwurf entstehen, vermeiden und dadurch eine bessere Pflege der Informationssysteme erreichen. Wir nennen diesen Zusammenhang den Dualismus von offenen Systemen. Basierend auf diesen Erkenntnissen schlagen wir als Paradigma für den Entwurf von Informationssystemen den Dualismus vor, der erfordert, dass ein Informationssystem durch ein Objektschema charakterisiert wird, das die Struktur darstellt und durch ein Interaktionsschema, das die Funktionaliät darstellt. Das Interaktionsschema wird durch eine dreiwertige Logik charakterisiert, die zum einen das obligatorische Verhalten, zum zweiten das erlaubte Verhalten und zum dritten das verbotene Verhalten charakterisiert. Ein System sollte dem obligatorischen Verhalten genügen, kann entsprechend dem erlaubten Verhalten Zustandsänderungen besitzen, darf allerdings keine Zustandsänderungen zulassen, die als verboten charakterisiert sind. Die Analysis der Dynamik von Systemen in realen Anwendungen zeigt die Sinnfältigkeit dieser dreiwertigen Charakterisierung. Die Domäntheorie ist benutzt worden, um den Lösungsraum zu charakterisieren. Mit deontischer Logik können die drei Modalitäten eines interaktiven Informationssystemes charakterisiert werden. KW - Dialogsystem KW - Informationssystem KW - Semantischer Bereich KW - Fixpunkt KW - Bereichstheorie KW - Deontische Logik KW - Interactive behavior of information systems KW - Tuning machine KW - Persistence of state KW - Object schema KW - Interaction schema Y1 - 2001 U6 - http://nbn-resolving.de/urn/resolver.pl?urn:nbn:de:kobv:co1-000000143 ER - TY - THES A1 - Spranger, Jochen T1 - Symbolische LTL-Verifikation von Petrinetzen N2 - Diese Arbeit widmet sich der Verifikation nebenläufiger Systeme unter Verwendung von Modelcheckingverfahren. Es wurden Modelcheckingverfahren betrachtet und entwickelt, welche die drei Gebiete: Petrinetze als Modellierungssprache, linear-time temporale Logik zur Spezifikation von Systemeigenschaften und binäre Entscheidungsgraphen zur Repräsentation großer Zustandsmengen verbinden. Bei der Entwicklung von Modelcheckingverfahren wurde darauf geachtet, dass durch die Kombination der einzelnen Gebiete deren Vorteile erhalten bleiben und die sich zwischen den Gebieten ergebendnen Synergien ausgenutzt werden. Den wesentlichen innovativen Teil der Arbeit stellt die Entwicklung eines LTL-Modelcheckingverfahrens dar, welches eine symbolische Repräsentierung der Zustände mit einem on-the-fly Verifikationsverfahren verbindet und dabei eine zeitliche Komplexität der klassischen LTL-Modelcheckingverfahren erreicht. N2 - This thesis is devoted to studying the problem of verifying parallel systems using a model checking approach. We have looked at and developed model checking approaches, which combine the three topics: Petri nets as a modelling language, linear-time temporal logic to capture system properties, and binary decision diagrams to represent huge state spaces. During the development of the model checking approaches we especially have focused on keeping the advantages of the different areas and on achieving benefits by combining them.The major contribution of the thesis is the development of a LTL-based model checking approach, which combines the symbolic representation of reachable states with an on-the-fly model checking approach by having the same time complexity of the classical LTL-based model checking approaches. KW - Komplexes System ; Nebenläufigkeit KW - Petri-Netz KW - Spezifikationssprache KW - Model checking KW - Temporale Logik KW - Nebenläufiges System KW - Verifikation KW - Modelchecking KW - Petrinetz KW - Stelle/Transitionsnetz Y1 - 2001 U6 - http://nbn-resolving.de/urn/resolver.pl?urn:nbn:de:kobv:co1-000000179 ER - TY - THES A1 - Sonner, Marcus T1 - Schädigungsmechanische Charakterisierung kunststoffvergossener Bauteile - Schädigungslokalisation und Lebensdauervorhersage N2 - Die Arbeit stellt ein viskoelastisches Schädigungsmodell für ein hochgefülltes Reaktionsharz vor, das zur Verpackung elektronischer Bauteile eingesetzt wird. Durch Kopplung mit einem isotropen Schädigungsmaß lassen sich aus dem linear viskoelastischen Materialverhalten des Kunststoffs die Materialgleichungen des Schädigungsmodells ableiten. Die Schädigungsparameter werden in dehnungsgesteuerten Zyklusversuchen charakterisiert. Unter Verwendung des Newton-Raphson-Verfahrens kann das abgeleitete Schädigungsmodell numerisch stabil in ein FE-Programm implementiert werden. Zur Untersuchung der Schädigungslokalisation wird für eine geeignete Demonstrator-Geometrie das Schädigungsfeld simuliert und experimentell durch Grauwert-Korrelation nachgewiesen. Durch das Schädigungsmodell lässt sich die Lebensdauer des gefüllten Kunststoffs unter zyklischer Belastung vorhersagen. Durch Übereinstimmung mit dem bekannten Coffin-Manson-Modell kann das vorgestellte Schädigungsmodell verifiziert werden. N2 - This thesis presents a viscoelastic damage model for a highly filled reaction resin which is used as an encapsulation material for electronic components. The constitutive equations of the damage model are derived by coupling the viscoelastic material behavior of the polymer with an isotropic damage measure. The damage parameters are characterized by strain-controlled cyclic loading. Using the Newton-Raphson iteration method the deduced damage model is implemented numerically stable in a finite element program. For analyzing the damage localization the damage field for an appropriate demonstrator geometry is simulated. The simulated damage field is experimentally confirmed using grey scale correlation. The viscoelastic damage model is capable to predict the life time of the filled composite under cyclic load. The proposed damage model is verified by agreement with the well-known Coffin-Manson model. KW - Kunststoffverpackung KW - Gießharz KW - Füllstoff KW - Schadensmechanik KW - Schädigungsmechanik KW - Schädigungsmodell KW - Viskoelastizität KW - Grauwert-Korrelation KW - Coffin-Manson Y1 - 2004 U6 - http://nbn-resolving.de/urn/resolver.pl?urn:nbn:de:kobv:co1-000000441 ER - TY - THES A1 - Simon, Frank T1 - Meßwertbasierte Qualitätssicherung - ein generisches Distanzmaß zur Erweiterung bisheriger Softwareproduktmaße N2 - In dieser Arbeit werden neue Ansätze zur meßwertbasierten Qualitätssicherung von Softwareprodukten für praxisrelevante Systemgrößen beschrieben. Dies umfaßt Hilfen zur spezifischen Definition von Qualität, Prozesse zur Qualitätssicherung, Werkzeugunterstützung sowie die Identifikation von Problemen bei der Anwendung vieler bisheriger Softwaremaße. Die pragmatische Anwendung der Meßtheorie erlaubt eine Erweiterung in Form eines auf Ähnlichkeiten zwischen Softwareelementen basierenden generischen Distanzmaßes. Dessen unterschiedliche Instanziierungen ermöglichen die automatische, anpaßbare Gruppierung von Elementen, sowie die ausdrucksstarke, ausschließlich durch Meßwerte bestimmte Softwarevisualisierung. Die ebenfalls in dieser Arbeit wiedergegebene empirische Arbeit, in der die Effizienz und Effektivität dieses Ansatzes mehrfach belegt wird, demonstriert die mögliche Bedeutung der meßwertbasierten Qualitätssicherung bei der Analyse großer Systeme. N2 - In this work new concepts for the metrics based quality assurance of large software systems are presented. This includes techniques for defining quality, processes for quality assurance, tool support and identification of problems when applying state-of-the-art software metrics. The pragmatic application of measurement theory allows an extension that is based on a special similarity measure for software elements. The application of this metric in different ways allows for automatic and adjustable grouping of software elements and the powerful software visualisation that is based on metric values only. The empirical work, which is also presented, shows the efficiency and effectivity of the new approach and demonstrates the potential importance of the metrics based quality assurance for the analysis of large software systems. KW - Softwareentwicklung KW - Qualitätssicherung KW - Qualitätssteigerung KW - Softwaremetrie KW - Softwarequalität KW - Softwarevermessung KW - Softwaremaße KW - Softwarewartung Y1 - 2001 U6 - http://nbn-resolving.de/urn/resolver.pl?urn:nbn:de:kobv:co1-000000124 ER - TY - THES A1 - Schweizer, Stefan T1 - Dynamisches Verhalten von Silizium-Elektroden in Fluor-haltigen Elektrolyten N2 - Einige Effekte von Silizium sind bis heute ungeklärt. Dazu zählt Oxidation von hoch-dotiertem n-Si in Fluor-haltigen Säuren im Dunkeln. Diese Oxidation wurde erstmals systematisch untersucht und zur Grundlage eines Modells für Elektroneninjektion gemacht. Die angenommenen Oberflächenkomplexen erklären den Einsatz der Kennlinien. Weitere Untersuchungen zur Identifizierung des Komplexes sowie seiner energetischen Position bieten sich an. Mit zyklischen Voltammogrammen wurde gezeigt, dass die Vorschubgeschwindigkeit des Potentials entscheidend für die Gestalt der Kennlinien ist. Schon 20mV/s ist für das untersuchte System zu schnell, um einen Gleichgewichtszustand zu erreichen. Dies wird durch die Ausbildung von Hysteresen klar erkennbar. Der initielle Strompuls zeigt eine vielfache Stromdichte gegenüber den bekannten Werten der nachfolgenden Oszillationspulse. Die Wasserstoff-terminierte Grenzfläche wird innerhalb weniger Zehntelsekunden oxidiert und passiviert. Alle nachfolgenden Strompulse können als weniger gut synchronisierte Oxidationen verstanden werden. N2 - Some effects of the well investigated element silicon are still under discussion. One of them is the oxidation of highly doped n-type silicon in the dark in acids containing fluorine. This oxidation was investigated systematically for the first time, and a model for the injection of electrons was established. The assumed surface complexes can explain the onset of the current-voltage-characteristics evidently. Further investigations to identify the complex and its energetic position are necessary. Cyclic voltammograms showed that the scan velocity of the potential is crucial for the shape of the cyclic voltammograms. Even a scan velocity of 20mV/s is too high to keep the system in a steady state. The appearance of hysteresises clearly show this correlation. The initial current is several times higher compared to the typical values of the following oscillation pulses. The hydrogen terminated interface is oxidized and hereby passivated within a few tenths of a second. All following current pulses could be recognized as imperfect synchronized oxidations. KW - Silicium KW - Elektrochemische Oxidation KW - Cyclovoltammetrie KW - Silizium KW - Oxidation KW - Voltammogramm KW - Injektion ; AFM Y1 - 2004 U6 - http://nbn-resolving.de/urn/resolver.pl?urn:nbn:de:kobv:co1-000000526 ER - TY - THES A1 - Schurath, Ronald T1 - Markov-Spiele mit Borelschen Zustands- und Aktionenräumen und dem Durchschnittsgewinn-Kriterium - ausgewählte Probleme N2 - Obwohl Markov-Spiele seit fast 50 Jahren ausgiebig untersucht wurden, gibt es noch immer viele Fragen, auf die noch keine befriedigende Antwort gefunden werden konnte. Besonders trifft dies auf Spiele mit überabzählbaren Zustands- und Aktionenräumen zu. In der vorliegenden Dissertation werden zwei Klassen solcher Spiele behandelt. Dabei wird das Kriterium des maximalen Durchschnittsgewinns zugrunde gelegt. Zunächst werden Nullsummen-Spiele unter einer gewissen Ergodizitätsbedingung untersucht. Eine Beschränktheit der Gewinnfunktionen wird nicht vorausgesetzt. Es wird die Existenz von Lösungen der Optimalitätsgleichung, des Wertes des Spieles und ε-optimaler stationärer Strategien gezeigt. Die dabei verwendete Beweisidee ist einfacher als vergleichbare Beweise in der Literatur. Außerdem werden Nicht-Nullsummen-Spiele mit SER-SIT-Struktur behandelt. Die Aussagen zur Existenz stationärer Nash-Equilibria verallgemeinern entsprechende Ergebnisse für Spiele mit endlichen Zustands- und Aktionenräumen. Es werden hinreichende Bedingungen für die Existenz von stationären Nash-Gleichgewichtspunkten für alle Anfangszustände angegeben. Weiterhin wird ein Mehrlagermodell als Anwendung der Ergebnisse über Spiele mit SER-SIT-Struktur untersucht, für das sich unter relativ schwachen Bedingungen die Existenz von Gleichgewichtsstrategien für alle Spieler ergibt. Diese Strategien besitzen eine (S,S)-Struktur. Durch Anwendung dieser Resultate gelingt es, Ergebnisse aus der Literatur für ein statisches Spiel mit austauschbarem Bedarf auf den dynamischen Fall zu verallgemeinern. N2 - Though Markov Games have been extensively investigated for almost 50 years, there are still many questions without satisfying answers. This is in particular true for games with uncountable state and action spaces. In this dissertation two classes of such games are studied. The long-run expected average reward criterion is used. First, zero-sum games in Borel spaces with possibly unbounded payoff functions are investigated under certain ergodicity assumptions. The existence of solutions of the optimality equation, the existence of the value and ε-optimal stationary strategies are proved. The lines of proof are simpler than in the existing literature Furthermore, nonzero-sum games with SER-SIT structure are treated. The statements about the existence of stationary Nash-Equilibria generalize results for games with finite state and action spaces. In addition, sufficient conditions for the existence of Nash-Equilibria for all initial states are given. An application of games with SER-SIT structure is a multi-inventory model. The existence of Nash-Equilibrium strategies for each player within such a model is shown under relatively weak conditions. These strategies have an (S,S)-structure. By use of these results it is possible to extend a static game with substitutable demands to the dynamic case. KW - Stochastisches Spiel KW - Mehrpersonenspiel KW - Borel-Raum KW - Nichtkooperative Markov-Spiele KW - Durchschnittsgewinn KW - SER-SIT-Spiele KW - Mehrlagermodelle Y1 - 2003 U6 - http://nbn-resolving.de/urn/resolver.pl?urn:nbn:de:kobv:co1-000000335 ER - TY - THES A1 - Schulz, Detlev T1 - Wachstumsphänomene und Stickstoffdotierung bei der Sublimationszüchtung von 6H-Siliciumcarbid N2 - Die Keimoberfläche ist durch das Vorhandensein einer Störschicht charakterisiert, die durch die mechanische Kristallbearbeitung hervorgerufen wird. Diese Schicht kann die Ursache für zusätzliche Defekte sein. Die Untersuchungen der Oberflächenmorphologie zeigen, daß ein Überschuß an Silicium im Quellmaterial notwendig ist, um ein defektfreies Wachstum in den ersten Stadien zu ermöglichen. Sowohl ein Oxidationsschritt vor dem Wachstum als auch die Anwendung von fehlorientierten Keimen führten nicht zum gewünschten Stufenfluß. Im Konzentrationsbereich von 1x10^18 <= c_N (cm^-3) <= 3x10^19 wurden 6H-SiC-Einkristalle gezüchtet, sowohl auf (0001)- als auch (000-1)-Keimen. Der Einbau von Stickstoff bewirkt das Absinken der Wachstumsgeschwindigkeit, was mit dem ''site-competition''-Modell erklärt werden kann. Die Sättigung der Stickstoffkonzentration im Kristall in Abhängigkeit vom N_2/Ar-Verhältnis konnte durch eine Langmuir-Isotherme beschrieben werden. Die Polarität der Keimoberfläche beeinflußt den Stickstoffeinbau. Die Stickstoffkonzentration im gewachsenen Kristall ist auf der C-terminierten Fläche ca. doppelt so hoch wie auf der Si-terminierten. Es wurde gezeigt, daß die Oberflächenmorphologie zusätzlich zur Keimpolarität den Stickstoffeinbau beeinflußt. N2 - Normally, seed surfaces exhibit a surface damage layer caused by the wafer preparation. From this layer additional defects may originate. Investigating the crystal surfaces it could be shown, that only the use of excess silicon in the source material lead to a defect-free growth. Under the present thermodynamic conditions neither a subsequent oxidation of the polished seed nor employing off-oriented substrates prevented the defect formation. In the concentration range of 1x10^18 <= c_N (cm^-3) <=3x10^19 nitrogen doped 6H-SiC single crystals were grown on (0001)- or (000-1)-seeds respectively. In case of nitrogen doping a decrease of the growth rate due to site-competition was observed. The saturation of the nitrogen concentration in the crystal in dependence of the N_2/Ar ratio could be well described by Langmuir's adsorption theory. An influence of the growth face polarity on the nitrogen incorporation was found. The concentration in crystals grown on the C-terminated face is about twice that grown on the Si-terminated face. On the basis of the observed difference in the surface morphology it is assumed, that the growth mechanism influences the nitrogen incorporation additionally to the polarity. KW - Siliciumcarbid KW - Polytypie KW - Kristallzüchtung KW - Stickstoff KW - Dotierung KW - Siliciumcarbid KW - 6H-Polytyp KW - Einkristallzüchtung KW - Stickstoffeinbau KW - Oberflächenmorphologie Y1 - 2001 U6 - http://nbn-resolving.de/urn/resolver.pl?urn:nbn:de:kobv:co1-000000044 ER - TY - THES A1 - Schubert, Katrin T1 - Quantum Markov chains and position distributions for states of boson systems N2 - This work focusses on applications of classical probability theory, especially point process theory, to quantum stochastics. We consider a class of quantum Markov chains in the sense of ACCARDI on the basis of beam splitters and generalized splitting procedures. Time evolutions of boson systems described by these procedures are constructed. Furthermore, the following questions are discussed: Which initial states allow an explicit description of later states, especially of the corresponding position distribution? Which states are invariant under the considered dynamics? For which initial states one obtains convergence to an invariant state? The considered boson systems are described using a representation of the symmetric Fock space as £2-space with a not necessarily atomless measure. So, the case of bosons on a lattice is also included. N2 - Thema der Arbeit ist die Anwendung klassischer Wahrscheinlichkeitstheorie, speziell Punktprozesstheorie, auf Probleme der Quantenstochastik. Es wird eine Klasse von Quanten-Markovketten im Sinne von ACCARDI auf der Basis von Beamsplittern und daraus abgeleiteten Verallgemeinerungen betrachtet. Für die damit beschreibbaren Bosonensysteme werden die Zeitentwicklungen konstruiert. Weiterhin werden insbesondere folgende Fragestellungen untersucht: Für welche Anfangszustände kann man explizite Darstellungen der späteren Zustände und speziell der entsprechenden Ortsverteilungen angeben? Welche Zustände sind invariant bezüglich der betrachteten Dynamik? Für welche Anfangszustände erhält man Konvergenz gegen einen invarianten Zustand? Die betrachteten Bosonensysteme werden mittels einer Darstellung des symmetrichen Fockraums als £2-Raum zu einem nicht notwendig atomlosen Maß beschrieben, so dass auch der Fall von Bosonen auf einem Gitter enthalten ist. KW - Quantenmechanisches System KW - Punktprozess KW - Markov-Kette KW - Quantenstochastik KW - Quanten-Markovketten KW - Fockraum KW - Beam Splitting KW - Bosonensystem Y1 - 2005 U6 - http://nbn-resolving.de/urn/resolver.pl?urn:nbn:de:kobv:co1-000000716 ER - TY - THES A1 - Rieckmann, Jörg T1 - Entwicklung einer Reportingplattform als entscheidungsunterstützendes System N2 - Die zunehmende Globalisierung der Märkte und der damit zusammenhängende steigende Wettbewerbsdruck stellen immer höhere Anforderungen an die teilnehmenden Unternehmen und deren Entscheider. Durch die Einführung flacher Hierarchien wird sukzessive mehr Verantwortung auf den einzelnen Mitarbeiter delegiert. Dies führt insbesondere auf der operativen Ebene zu einem überproportionalen Anstieg der Komplexität einzelner Aufgabenbereiche. Die vorliegende Dissertation beschreibt die Entwicklung eines Systems zur Unterstützung des Endanwenders in komplexen Entscheidungssituationen. Aus der jeweiligen Anwendungsdomain werden als stabil erachtete Varianten (Prozesse, SQL-Statements und Programme) als Komponenten im Sinne von Componentware modelliert und dem Anwender mit robusten Verknüpfungsmechanismen zur Verfügung gestellt. Hieraus kann sich der Anwender (neue) Lösungsstrategien zusammenstellen und mittels einer systemseitig gesteuerten Benutzerführung bearbeiten. Die flexible Ausnahmebehandlung (bei Exceptions) wird durch die Verwendung der Componentware-Konzepte und über die mögliche Verknüpfung / Adaption der Komponenten durch den Anwender zur Laufzeit gewährleistet. N2 - The increasing globalization of markets and the resulting competition raise high requirements for the participating companies and their executives. By the introduction of flat company hierarchies, responsibility increasingly moves towards the single employee. In particular in the operational level, specific areas suffer from a more than proportional rise of their complexity. This dissertation describes the development of a system for the support of end users in making complex decisions. After surveying the according application area, stable variants (as processes, SQL statements, and programmes) are modeled in terms of components in the spirit of componentware. In addition, robust mechanisms for combining components are offered to the end user. Thus, the user may compile (new) solution strategies while being guided by the system. The flexible exception handling is guaranteed by the concepts of the componentware and by combining and adapting given components by the user at run time. KW - Unternehmen KW - Prozessmanagement KW - Entscheidungsunterstützungssystem KW - Komponente KW - Entwurfsmuster KW - Template KW - Entscheidungsunterstützung KW - Workflowmanagement KW - Componentware KW - Template KW - Geschäftsprozeßmodellierung Y1 - 2001 U6 - http://nbn-resolving.de/urn/resolver.pl?urn:nbn:de:kobv:co1-000000074 ER - TY - THES A1 - Racec, Paul Nicolae T1 - Transport phenomena and capacitance of open quantum semiconductor nanostructures N2 - We consider semiconductor devices at very low temperatures, composed of a mesoscopic quantum structure (QS) constituting the active region contacted by ideal probes with infinite conductivity. The coherent transport through the QS is described in the Landauer-Büttiker formalism. We perform self-consistent calculations for the electron density in the QS. We present a capacitance model that takes into account the openness of the QS and the existence of finite contacts embedding the system. For single-barrier tunnelling structures, we present the implicit connection between the capacitance and the conductance. For a field induced two-dimensional electron gas in a special GaAs/AlxGa1-xAs heterostructure we present a detailed analysis of the coupling to the contact reservoir. Excellent quantitative agreement in the C-V characteristic is obtained. It is also analized the conductivity of systems with confinement in more dimensions. N2 - Wir betrachten Halbleiterbauelemente bei sehr tiefen Temperaturen, bestehend aus eine mesoskopische Quantenstruktur(QS), welche die aktive Region festlegt und Kontakte, die als ideale Metalle angesehen sind. Der Transport durch QS wird im Landauer-Büttiker Formalismus beschrieben. Wir führen selbstkonsistente Rechnungen für die Elektronendichte in QS durch. Wir stellen ein Kapazitätsmodell vor, das die Offenheit der QS und das Bestehen der begrenzten Kontakte, die das System einbetten, berücksichtigt. Für die Strukturen mit einer Tunnelbarriere stellen wir die implizite Verbindung zwischen der Kapazität und der Leitfähigkeit vor. Für das feldinduzierte zweidimensionale Elektronengas in einer speziellen GaAs/AlxGa1-xAs Heterostruktur, stellen wir eine ausführliche Analyse der Wechselwirkung zwischen der QS und dem Kontakt vor. Ausgezeichnete quantitative Übereinstimmung in der C-V Kurve wurde bekommen. Es wird auch die Leitfähigkeit für Systeme, die Beschränkungen in mehreren Dimensionen zeigen, beschrieben. KW - Galliumarsenid KW - Heterostruktur KW - Elektronischer Transport KW - Kapazitäts-Spannungs-Kennlinie KW - S-Matrix KW - Semiconductor nanostructures KW - Transport KW - Open systems KW - Resonance theory KW - Capacitance Y1 - 2002 U6 - http://nbn-resolving.de/urn/resolver.pl?urn:nbn:de:kobv:co1-000000211 ER - TY - THES A1 - Racec, Elena Roxana T1 - Electrons and optical phonons in mesoscopic semiconductor heterostructures N2 - We analyze here some electron properties and lattice dynamics in semiconductor heterostructures, pointing out the dramatic changes relative to the bulk properties due to the existence of the interfaces in these systems. The first part of the study is devoted to the electron scattering phenomena in noninteracting open systems and to the transport properties described in the Landauer-Büttiker formalism. We develop a resonant theory of transport and apply it first to the conductance through a quantum dot embedded in a quantum wire and second to the capacitance of a two dimensional electron gas formed in a MIS-type semiconductor heterostructure. In the second part of the study we illustrate the four major new features of the optical phonon spectra in a strained semiconductor heterostructure in contrast to an unstrained one. The results are particularized for double heterostructures InP/GaAs/InP grown on the faces (001) and (111) of the substrate. N2 - In dieser Arbeit werden Elektroneneigenschaften und Gitterdynamik in Halbleiterheterostrukturen analysiert und die drastischen Änderungen im Verhältnis zu den Volumeneigenschaften hervorhoben, die durch die Heteroübergänge in diesen Systemen verursacht werden. Im ersten Teil der Studie werden im Landauer-Büttiker Formalismus die Elektron Streuphänomene und die Transporteigenschaften in wechselwirkungsfreien Systemen untersucht Wir entwickeln eine Theorie des resonanten Transportes und wenden sie zunächst an, um die Leitfähigkeit eines Quantenpunktes, der in einem Quantendraht eingebetet ist, zu beschreiben. Die zweite Anwendung ist die Analyse der Kapazität eines zweidimensionalen Elektrongases, das in einer MIS-artigen Halbleiterheterostruktur gebildet wird. Im zweiten Teil der Studie werden die vier neuen Eigenschaften der optischen Phononenspektren in einer verspannten Heterostruktur im Vergleich zu einem unverspannten System gezeigt. Die Ergebnisse werden für Heterostrukturen InP/GaAs/InP partikularisiert. KW - Halbleiter KW - Mesoskopisches System KW - Heterostruktur KW - Elektron KW - Optisches Phonon KW - Semiconductor nanostructures KW - Transport KW - Open systems KW - Resonance theory KW - Electron-optical phonon interaction Y1 - 2002 U6 - http://nbn-resolving.de/urn/resolver.pl?urn:nbn:de:kobv:co1-000000220 ER -