05 Fakultät Informatik, Elektrotechnik und Informationstechnik
Permanent URI for this collectionhttps://elib.uni-stuttgart.de/handle/11682/6
Browse
220 results
Search Results
Item Open Access Strukturelle Eigenschaften von Cu(In,Ga)(Se,S)2 Dünnschichten(2003) Kötschau, Immo Michael; Werner, Jürgen H. (Prof. Dr. rer. nat. habil.)In Cu(In,Ga)(S,Se)2-Dünnfilmen treten, je nach Wachstum, auf natürliche Weise teilweise recht große Zusammensetzungsgradienten auf. Einerseits wurde an In-reichem Material eine Cu-arme Oberflächendefektschicht entdeckt, andererseits sorgt die Dynamik Cu-reicher Wachstumsprozesse für einen über die gesamte Schichtdicke veränderlichen Ga- oder S-Gehalt. Die gezielte Beeinflussung der tiefenabhängigen Konzentration von Ga und S kann unter anderem dazu genutzt werden, Rekombinationsverluste innerhalb der Solarzelle zu minimieren. Solches "Bandgap-Engineering" führte bereits zu entscheidenden Verbesserungen des Wirkungsgrades von Cu(In,Ga)(S,Se)2-Solarzellen. Für die gezielte quantitative Untersuchung der tiefenabhängigen Zusammensetzung in Dünnfilmen standen bisher ausschließlich nicht zerstörungsfreie Methoden zur Verfügung. Insbesondere können die mit Sputtermethoden erzielten Tiefenprofile der Zusammensetzung aufgrund des Sputterprozesses selbst stark fehlerbehaftet sein. Wegen dieser Problematik entwickelt diese Arbeit eine alternative Methode. Es hat sich gezeigt, dass sich Röntgenbeugungsspektren von Cu(In,Ga)(S,Se)2-Dünnfilmen, gemessen unter streifendem Einfall (Grazing Incidence X-Ray Diffraction; GIXRD), korrekt mittels eines Schichtenabsorptionsmodells, in welchem über die Absorption gewichteter Anteile aus unterschiedlich tiefen Schichten das Beugungsspektrum als Summe über alle Schichten berechnet wird, beschreiben lassen. Eine quantitative Auswertung von Strukturdaten, insbesondere die Verfeinerung von Zusammensetzungstiefenprofilen, ist damit möglich. Um die Gültigkeit der Modellierung einzugrenzen, erfolgte die Betrachtung und ausführliche Diskussion aller in der Praxis vorkommender apparate- und probenspezifischer Effekte. Während die Wechselwirkung von Oberflächenrauigkeiten und Brechung durch einfache Transformationen zu kompensieren sind, können beispielsweise tiefenabhängige Unterschiede der bevorzugten Orientierung Probleme aufwerfen, wenn über ihre Tiefenabhängigkeit keine Daten vorliegen. Prinzipiell ist jedoch die Untersuchung der Einflüsse aller Eingangsparamter, seien sie apparatebedingt oder durch die Probe selbst verursacht, möglich, solange alle übrigen Parameter bekannt sind. Eine eindeutige Verfeinerung von Tiefenprofilen muss dabei immer die Voraussetzung erfüllen, dass ein und derselbe Eingangsparametersatz gleichzeitig alle unter verschiedenen Einfallswinkeln gemessenen Spektren hinreichend genau beschreibt. Die Verfeinerung von Zusammensetzungstiefenprofilen erfolgt praktisch durch den Vergleich gemessener und simulierter Spektren, wobei dies in der jetzigen Fassung des dafür entwickelten Simulationsprogrammes (Thin Film X-Ray Diffraction Absorption Utility; TFXDAU) interaktiv geschieht. Die Eindeutigkeit der Anpassung hängt vom Umfang der a priori zur Verfügung stehenden Eingangsparameter ab. Liegen beispielsweise aufgrund des Wachstumsprozesses Informationen über mögliche Tiefenprofile bereits vor, lassen sich geeignete Modellfunktionen (Diffusionsprofile, Stufenfunktionen etc.) schrittweise durch vergleichende Simulationen anpassen. So gelang es, einen mehrstufigen S-Se-Gradienten des Anionen-Untergitters in einer Cu(In,Ga)(S,Se)2-Schicht detailgenau nachzuweisen. Die Veränderungen, die sich dabei gegenüber dem mit Sekundärionen-Massenspektrometrie gemessenen Tiefenprofil ergaben, ließen sich auf Messartefakte zurückführen, die der Sputterprozess selbst verursacht hat. Ebenso war ein In-Ga-Gradient im Kationen-Untergitter einer Cu(In,Ga)Se2-Schicht mit einer Tiefenauflösung von unter 50nm nachzuweisen. Die Gradierungen erstrecken sich dabei immer über die ganze Schichtdicke. In diesem Sinne erreicht diese Arbeit ihr eigentliches Ziel: die Entwicklung einer Methode, mit der die Tiefenabhängigkeiten der strukturellen Eigenschaften, welche auf das Engste mit den elektronischen Eigenschaften (Verlauf der Bandkanten) in Verbindung stehen, zu bestimmen sind. Als "Nebenprodukt" eignet sich diese Modellierung dazu, die integralen Ga- und S-Gehalte an homogenen Proben bis auf 2% genau zu bestimmen. Darüber hinaus hat sich gezeigt, dass die Möglichkeiten des Schichtenabsorptionsmodells noch nicht ausgeschöpft sind. Oberflächennahe Zusammensetzungsgradienten zeigen in Beugungsspektren, die unter kleinsten Einfallswinkeln gemessen werden, noch deutliche Auswirkungen. Die Existenz der immer wieder ins Spiel gebrachten Cu-armen Oberflächendefektschicht war mit Hilfe der Modellierung Cu-armer Oberflächen eindeutig nachzuwiesen. Überdies ließ sich ein Zusammenhang zwischen integralem Cu-Gehalt und der mittleren Dicke der Cu-armen Oberflächendefektschicht belegen.Item Open Access A context-aware hoarding mechanism for location-dependent information systems(2000) Kubach, Uwe; Rothermel, KurtWhen used in an outdoor environment mobile information systems often suffer from the disadvantages of wireless WANs, especially low bandwidth, high delay, and frequent disconnections. Hoarding is an effective method to overcome these disadvantages by transferring information which is probably needed by the user in advance. In this paper we propose a generic, context-aware hoarding mechanism. When selecting the information to hoard, it considers the user's future location as well as the expected speed of movement. In contrast to existing hoarding mechanisms it is universally applicable for different types of location-dependent, mobile information systems. Its flexibility allows it to rely on different knowledge sources in order to get information about a user's context.Item Open Access Performance Evaluation of Time-Based and Movement-Based Location Update Schemes(2006) Bachmaier, SebastianIn Personal Communications Service (PCS) networks, location management is a key issue. Mobility tracking operations are executed to maintain known the whereabouts of each mobile terminal. In this work, some modifications on the classical time-based and movement-based registration methods are evaluated. The goal is to provide a unified approach of the time-based and distance-based schemes on one hand, and the movement-based and distance-based strategies on the other hand. Furthermore what is achieved is that the Mobile Terminal sends less location update messages, which results in less contacts with the network and an increase in the uncertainty of the Mobile Terminal position. Although the Mobile Terminal Paging costs are lightly increased, the result is a significant reduction in the Location Update cost, and the net effect is a saving in the total location management cost per call arrival, i.e. the Location Update cost plus the Paging cost. The studied mechanisms will be compared with the original dynamic schemes by means of a performance evaluation method based on software simulation tools and contrasted to an analysis based on Markovian standard tools. The location management costs for all these dynamic policies will be evaluated.Item Open Access The perfect time span : on the present perfect in German, Swedish and English(2006) Rothstein, Björn Michael; Kamp, Hans (Prof. Dr. h.c. PhD)This study proposes a discourse based approach to the present perfect in German, Swedish and English. It is argued that the present perfect is best analysed by applying an ExtendedNow-approach. It introduces a perfect time span in which the event time expressed by the present perfect is contained. The present perfects in these languages differ with respect to the boundaries of perfect time span. In English, the right boundary is identical to the point of speech, in Swedish it can be either at or after the moment of speech and in German it can also be before the moment of speech. The left boundary is unspecified. The right boundary is set by context.Item Open Access Effiziente Leistungsverstärkerarchitekturen für Mobilfunkbasisstationen(2009) Dettmann, Ingo; Berroth, Manfred (Prof. Dr.-Ing.)Heutige Kommunikationsstandards erfordern Modulationsverfahren, welche die Information sowohl in der Phase als auch in der Amplitude des Trägers modulieren. Die daraus resultierenden Signale weisen hohe Amplitudenschwankungen auf. Die dafür notwendigen linearen Leistungsverstärker zeigen jedoch geringe Effizienzen. In der vorliegenden Arbeit werden zunächst die Anforderungen an Leistungsverstärker diskutiert und der Einfluss der Modulations- und Zugriffsverfahren untersucht. Anschließend werden die Anforderungen an den Transistor definiert und die Anforderungen an die Technologie formuliert. Es folgt eine Untersuchung der Betriebsarten von Verstärkern, welche die Grundlage für effizienzsteigernde Verstärkerarchitekturen bilden. Lineare Verstärker wie Klasse-A-, -AB- und -B-Verstärker zeigen eine hohe Linearität, die Effizienz fällt aber unterhalb der maximalen Ausgangsleistung schnell ab. Schaltverstärker wie Klasse-D- und -E-Verstärker sind zwar sehr effizient, können aber keine amplitudenmodulierten Signale verstärken. Es werden vier Methoden diskutiert, um die Effizienz unterhalb der maximalen Ausgangsleistung zu erhöhen: Der Doherty-Verstärker, der Chireix-Verstärker, die Versorgungsspannungsmodulation und der Bandpass-Klasse-S-Verstärker. Der Doherty-Verstärker bietet eine einfache Möglichkeit, die Effizienz auch unterhalb der maximalen Ausgangsleistung zu erhöhen. Das Prinzip beruht auf der Variation der Lastimpedanzen. Zwei Verstärker - ein Hauptverstärker und ein Spitzenverstärker - treiben dabei den gleichen Lastwiderstand. Der Spitzenverstärker wird nur bei hohen Ausgangsleistungen eingeschaltet und verändert das Kompressionsverhalten des Hauptverstärkers. Beim entworfenen Doherty-Verstärker erhöht sich die Effizienz 7 dB unterhalb der maximalen Ausgangsleistung von 15 % auf etwas über 27 %. Die maximale Ausgangsleistung reduziert sich allerdings von 85 W auf 56 W. Durch eine adaptive Arbeitspunktregelung des Spitzenverstärkers kann die Ausgangsleistung wieder auf 85 W erhöht werden. Die Effizienz steigt dabei nochmals um 5 % auf 32 %. Der Chireix-Verstärker basiert auf dem Prinzip der linearen Verstärkung durch nichtlineare Komponenten. Das zu verstärkende amplituden- und phasenmodulierte Signal wird durch einen Phasenmodulator in zwei gegenphasige Signale mit konstanter Amplitude aufgeteilt. Diese beiden Signale werden über hocheffiziente Verstärker verstärkt. Das ursprüngliche Signal wird durch Summation der beiden Signale wieder demoduliert. Eine Effizienzsteigerung erfolgt unter Verwendung von nichtisolierenden Summierern. Die Effizienzsteigerung beruht dabei auf der Variation der Lastgeraden. Der aufgebaute Chireix-Verstärker basiert auf dem GaAs-Transistor MRFG35010 von Freescale. Die Einzelverstärker werden im Klasse-B-Betrieb betrieben und haben eine maximale Ausgangsleistung von 5 W bei einer Frequenz von 2 GHz. Die Gesamtleistung ergibt sich damit zu 10 W. Die Effizienz beträgt maximal 52 %. Die Effizienz beim Chireix-Verstärker erhöht sich 7 dB unter der maximalen Ausgangsleistung von 25 % auf 32 % und bei 5 dB unter der maximalen Ausgangsleistung von 33 % auf 44 %. Die Versorgungsspannungsmodulation variiert die Drain- bzw. Kollektorspannung eines Verstärkers in Abhängigkeit der Aussteuerung des Transistors. Es ist das einzige untersuchte Verstärkerkonzept, welches mit allen Verstärkerklassen funktioniert. Es ist auch das einzige Konzept, welches die Bandbreite des HF-Verstärkers nicht einschränkt, solange der erforderliche Spannungsmodulator der Einhüllenden des HF-Signals folgen kann. Die Effizienz berechnet sich aus der Verkettung der Effizienzen des HF-Verstärkers und des Spannungsmodulators. Ein Verstärker auf Basis des GaAs-Transistors MRFG350101 wurde aufgebaut, dessen Versorgungsspannung über einen Klasse-AD-Verstärker geregelt wird. Die maximale Ausgangsleistung des Verstärkers beträgt 6.3 W bei einer Effizienz von 67 %. Die Versorgungsspannung wird im Bereich von 6 V - 12 V geregelt. Die Effizienz 7 dB unter der maximalen Ausgangsleistung steigt dabei von 30 % auf 44 %. Die Bandbreite des Modulators ist dabei größer als 3 MHz. Bandpass-Klasse-S-Verstärker verwenden Schaltverstärker, um ein analoges Signal hocheffizient zu verstärken. Das analoge Eingangssignal wird über einen Modulator in eine binäre Pulsfolge gewandelt, welche über einen Schaltverstärker effizient verstärkt wird. Anschließend wird das verstärkte Signal wieder demoduliert. Bandpass-Delta-Sigma-Modulatoren (BPDSM) stellen ein vielversprechendes Modulationsverfahren dar. Als Schaltverstärker können sowohl Klasse-D- Verstärker verwendet werden. Erstmals werden in dieser Arbeit analytische Untersuchungen zur Effizienz von sowohl nichtinvertierten als auch invertierten Klasse-D-Verstärkern bei Ansteuerung mit BPDSM-Signalen durchgeführt. Dies erlaubt eine Abschätzung der Effizienz von Bandpass-Klasse-S-Verstärkern unter Verwendung von Klasse-D-Verstärkern.Item Open Access Abstract syntax of WS-BPEL 2.0(2008) Kopp, Oliver; Mietzner, Ralph; Leymann, FrankWS-BPEL 2.0 is the current version of the "Business Process Execution Language for Web Services". Until now, no formal definition of its syntax exists. We present a complete syntax of WS-BPEL 2.0 of both abstract and executable processes.Item Open Access Application sharing in teaching context with wireless networks(2001) Burger, Cora; Papakosta, Stella; Rothermel, KurtThe success of teaching is depending on a couple of factors: on how far students are involved into lectures, on the material, its completeness and on co-learning of students. Involvement of students into lectures means, being able to follow the thoughts of the teacher, ask questions and make comments. The material must be presented in a suitable form and essential parts of it have to be available during the whole learning process, for preparing participation in lectures and exercises as well as for exams. For more effective learning and training of social abilities, working in groups of co-learners has to be encouraged. Mobile and ubiquitous computing offer new possibilities to achieve these goals by increasing the awareness in class and supporting an active participation of students. By promoting existing concepts and enabling new ways of application sharing, the project SASCIA (System architecture supporting cooperative and interactive applications) aims at developing a framework for multiple applications to support teaching in collocated, remote and hybrid scenarios. Its core is composed of components to capture and distribute context information about sessions, participants and those applications that are used during a lecture or encounter among students. A configurable floor control was designed to cope with a wide spectrum of applications and learning situations. For some cases, even a control for semantic consistency can be necessary. In combination with a suitable user and session management, a whiteboard for annotations and a recording facility to support latecomers as well as subsequent replay, these components are providing the required functionality. As a consequence, SASCIA offers remote control and viewing facilities to all participants during lectures and co-learning sessions.Item Open Access Fragments of first-order logic over infinite words(2009) Diekert, Volker; Kufleitner, ManfredWe give topological and algebraic characterizations as well as language theoretic descriptions of the following subclasses of first-order logic for omega-languages: Sigma2, FO2, the intersection of FO2 and Sigma2, and Delta2 (and by duality Pi2 and the intersection of FO2 and Pi2). These descriptions extend the respective results for finite words. In particular, we relate the above fragments to language classes of certain (unambiguous) polynomials. An immediate consequence is the decidability of the membership problem of these classes, but this was shown before by Wilke and Bojanczyk and is therefore not our main focus. The paper is about the interplay of algebraic, topological, and language theoretic properties.Item Open Access Reachability analysis of multithreaded software with asynchronous communication(2005) Bouajjani, Ahmed; Esparza, Javier; Schwoon, Stefan; Strejcek, JanWe introduce asynchronous dynamic pushdown networks (ADPN), a new model for multithreaded programs in which pushdown systems communicate via shared memory. ADPN generalizes both CPS (concurrent pushdown systems) and DPN (dynamic pushdown networks). We show that ADPN exhibit several advantages as a program model. Since the reachability problem for ADPN is undecidable even in the case without dynamic creation of processes, we address the bounded reachability problem, which considers only those computation sequences where the (index of the) thread accessing the shared memory is changed at most a fixed given number of times. We provide efficient algorithms for both forward and backward reachability analysis. The algorithms are based on automata techniques for symbolic representation of sets of configurations.Item Open Access Entwicklung und Analyse zeitgesteuerter Systeme(2002) Ringler, Thomas Karl; Göhner, Peter (Prof. Dr.-Ing. Dr. h. c.)Zeitgesteuerte Architekturen versprechen aufgrund ihrer deterministischen Eigenschaften die Anforderungen zukünftiger By-Wire-Systeme in Automobilen zu erfüllen. Im Vergleich zu herkömmlichen ereignisgesteuerten Architekturen benötigen sie jedoch einen erheblich höheren Entwicklungsaufwand und erfordern deshalb neue Verfahren und Werkzeugkonzepte. In der vorliegenden Arbeit wird ein Verfahren zur Entwicklung und Analyse zeitgesteuerter Systeme erarbeitet. Aktivitäten zur Entwicklung zeitgesteuerter Systeme werden identifiziert und in den etablierten Entwicklungsprozess der Automobilindustrie eingegliedert. In den frühen Phasen des Entwicklungsprozesses erfolgt die Planung des zeitlichen Ablaufs im verteilten System. In den späten Phasen wird durch die Zeitanalyse nachgewiesen, dass die implementierten Programme geplante Zeitbedingungen stets einhalten. Die Bestimmung der maximalen Ausführungszeit von Programmen durch die Worst-Case-Execution-Time-Analyse (WCET-Analyse) ist hierfür die Grundlage und bildet den Schwerpunkt der Arbeit. Dem aktuellen Trend in der Automobilindustrie Software modellbasiert zu erstellen wird Rechnung getragen, indem ein Konzept der modellbasierten WCET-Analyse entwickelt wird. Die Analyse der erstellten Modelle wird dadurch ohne die Angabe zusätzlicher Informationen durch den Anwender möglich. Dazu werden aus den Modellen heraus Informationen über das Ausführungsverhalten des Codes gewonnen. Die Übertragbarkeit des Konzepts wird aufgezeigt, indem es bei den zwei unterschiedlichen Software-Entwicklungswerkzeugen ViPER und MATLAB/Simulink/Stateflow angewandt wird. Zum praktischen Nachweis des erstellten Konzepts wird eine Werkzeugumgebung entwickelt. Anhand eines Steer-by-Wire-Fallbeispiels wird die Anwendbarkeit des Konzepts aufgezeigt. Durch die grafische Spezifikation des zeitlichen Ablaufs wird die Entwicklung verteilter regelungstechnischer Anwendungen unterstützt. Die integrierte WCET-Analyse für den in der Automobilindustrie weit verbreiteten Siemens 80C167 Mikrocontroller erfolgt voll automatisiert und bietet dem Anwender wichtige Informationen für den modellbasierten Softwareentwurf.