Refine
Document Type
- Issue (periodical) (3175)
- Doctoral thesis (828)
- Book (84)
- Report (67)
- Conference proceeding (56)
- Working paper (46)
- Master thesis (33)
- Scientific article (32)
- Bachelor thesis (30)
- Habilitation thesis (18)
Is part of the Bibliography
- no (4395) (remove)
Year of publication
Language
- German (3767)
- English (619)
- Multiple languages (5)
- French (4)
Keywords
- Architektur (2323)
- Bauingenieurwesen (2269)
- Bauwirtschaft (2265)
- Architekturzeitschrift (2258)
- Bauwesen (43)
- Zeitschrift (42)
- Umweltbezogenes Management (35)
- Geschichte (31)
- Simulation (30)
- Energiewende (29)
Institute
- IKMZ (2373)
- Präsident*in (587)
- Präsident HL (263)
- FG Energieverteilung und Hochspannungstechnik (51)
- FG Systeme (41)
- FG Angewandte Physik und Halbleiterspektroskopie (36)
- FG Gewässerökologie (31)
- FG Stadtmanagement (30)
- FG Ingenieurmathematik und Numerik der Optimierung (29)
- FG Experimentalphysik und funktionale Materialien (28)
Hybride PV-Fassaden sind gleichzeitig solarelektrisch und solarthermisch nutzbar (segmentierter Fassadenzwischenraum als Wandkollektor/Doppelfassade). Die Wechselwirkung zwischen der konstruktiven und anlagentechnischen Einbindung solcher Fassaden in das Gebäude und ihrer energetischen und raumklimabeeinflussenden Wirkung wurde in dieser Arbeit untersucht. Im Feldversuch (Umweltzentrum Cottbus) konnte eine beispielhafte Lösung zur Integration einer derartigen Fassade realisiert (Betriebszustände: freie und motorische Hinterlüftung bzw. geschlossene Fassade) und messtechnisch ausgewertet werden. Ein Modell zur Simulation und Bewertung unabhängiger Systemvarianten wurde auf Grundlage des thermischen Simulationsprogrammes TRNSYS erarbeitet. Damit konnten Aussagen zur Optimierung und zu Anwendungsgrenzen aus raumklimatischer und wirtschaftlicher Sicht getroffen werden.
Dächer haben sich in den vergangenen 30 Jahren von einfachen Schutzschilden zu komplexen Bauteilen entwickelt. Die in diesen Konstruktionen zum Einsatz kommenden diffusionsoffenen Unterspannbahnen müssen einerseits wasserdicht sein, andererseits aber auch ausreichend wasserdampfdurchlässig (diffusionsoffen) sein. In der vorliegenden Arbeit wurde eine umfangreiche natürliche und künstliche Alterung ausgewählter Unterspannbahnen durchgeführt, um das Langzeitverhalten dieser speziellen Materialeigenschaft einstuften zu können. Dabei wurden nach den Alterungsversuchen die wesentlichsten baupraktischen Eigenschaften der Folien durch geeignete Prüfungen bestimmt. Mit diesen konnte für die natürliche Alterung eine Langzeitfunktion gefunden werden, welche eine Abschätzung des Alterungsverhaltens der Unterspannbahnen bereits auf Basis einer 3-monatigen Freibewitterung ermöglicht. Eine künstlich beschleunigte Alterung sollte durch Wärme- und/oder UV-Lagerung erreicht werden. Um den durch die jeweilige Belastung erreichten Alterungszeitraum bestimmen zu können, wurden die Ergebnisse der Prüfungen mit denen der Freibewitterung verglichen.
Stabilität von diskret gestützten, axialbelasteten, dünnwandigen Kreiszylinderschalen aus Stahl
(2005)
Die vorliegende Arbeit beschäftigt sich mit der Entwicklung eines Bemessungsmodells, um die Tragfähigkeit von lokal gestützten, axialbelasteten, kreiszylindrischen, dünnwandigen Stahlsilos mit Lasteinleitungssteifen über den Auflagerpunkten zuverlässig ermitteln zu können. Auf Grund der günstigen Lastabtragung durch die Membrantragwirkung werden Silokonstruktionen häufig aus dünnwandigen Blechen mit kreiszylindrischen Querschnitt hergestellt. Bei diskret gestützten Siloschalen kommt es im Lasteinleitungsbereich zu Spannungskonzentrationen, die das Stabilitätsverhalten der dünnwandigen Schale maßgeblich negativ beeinflussen. In den derzeit gültigen Normen (z. B. DIN 18800, Teil 4) gibt es keine Aussagen über die Bemessung von diskret gelagerten Siloschalen. Die aus den Versuchen an Modellschalen erhaltenen experimentellen Traglasten bilden die Grundlage für die Entwicklung eines numerischen Berechnungsmodells an dem Untersuchungen im erweiterten geometrischen Parameterbereich durchgeführt werden. Die ermittelten Versagenswiderstände bilden die Basis für das entwickelte ingenieurmäßige Bemessungsmodell.
Die thermoelastische Spannungsanalyse hat in den letzten 20 Jahren erhebliche Verbreitung im Bereich der zerstörungsfreien experimentellen Methoden gefunden. Im Rahmen der vorliegenden Arbeit wurde die Anwendbarkeit des Infrarotmessverfahrens mit Hilfe einer konventionellen Thermokamera zur Beurteilung und Überwachung des Tragverhaltens von typischen Konstruktionsteile im Stahlbau untersucht. Am Anfang werden in kurzen Worten die Grundlagen der thermoelastischen Spannungsanalyse zusammengefasst, die Vor- und Nachteile geschildert. Ein Messverfahren wurde entwickelt, das mit dem am Lehrstuhl für Stahlbau der BTU Cottbus vorhandenen AGEMA System experimentelle Untersuchungen für die thermoelastische Spannungsanalyse ermöglicht. Das Messverfahren wird detailliert beschrieben und die einzelnen Vorgehensschritte erläutert. Durch diese Experimente wurde das Messverfahren bestätigt. Im ersten Schritt sind drei ausgewählte Bauteile (gelochter Zugstab, ausgeklinkter Träger und Blechträger mit sehr schlankem Steg) mit besonderen Rissgefährdung untersucht worden. Im zweiten Schritt wurde das Verfahren bei der Analyse eines komplizierten Konstruktionsdetails eingesetzt. Die Ergebnisse aus Thermovision wurden mit herkömmlichen DMS-Messungen und FEM-Berechnungen verglichen. Anschließend werden die Erfahrungen zusammengefasst und bewertet, und Vorschläge zur Verbesserung und Weiterentwicklung gegeben.
Die Beurteilung der Alkaliempfindlichkeit präkambrischer Grauwacken aus der Lausitz ist derzeit nur anhand indirekter Kriterien (Dehnungen und Rissbildungen) über eine aufwendige und langwierige Betonprüfung nach Teil 3 der Alkali-Richtlinie des DAfStb möglich. Aufgrund fehlender Kenntnisse zum Reaktionsmechanismus der Grauwacken im alkalischen Milieu von Betonen ist es trotz intensiver Forschung bisher nicht gelungen, eine sichere Beurteilung auch kurzfristig durch direkte Prüfungen am Gesteinskorn selbst vorzunehmen. Im Ergebnis dieser Arbeit wird nunmehr nachgewiesen, dass das aus den Grauwacken im Alkalischen lösliche Aluminium die Schädigungsreaktion des Gesteins im Beton entscheidend steuert, indem es ebenfalls lösliche Kieselsäure über eine alumosilicatische Komplexbildung in nicht quellfähige Reaktionsprodukte einbindet. Somit kann sich ausschließlich die nicht an Aluminium gebundene Kieselsäure („Kieselsäureüberschuss“) in der Lösung über eine Alkalisilicat-Gel-Bildung an der Betonschädigung beteiligen und infolge dessen als direktes chemisches Kriterium einer Alkaliempfindlichkeit herangezogen werden. Diese Theorie wird durch die direkte Gegenüberstellung von Kieselsäureüberschuss und Betondehnung für mehrere Grauwacken verschiedener Steinbrüche der Lausitz bestätigt. Es wird gezeigt, dass eine Einstufung präkambrischer Grauwacken in Alkaliempfindlichkeitsklassen nun erstmals durch eine Prüfung unmittelbar am Korn und zugleich innerhalb von nur 14 Tagen auf der sicheren Seite liegend erfolgen kann.
In dieser Arbeit werden Ergebnisse aus experimentellen Untersuchungen der Luftströmung an einer realisierten hinterlüfteten Doppelfassade beschrieben. So dient ein Teil der SSW- bis WSW- orientierten Außenwandfläche durch seine vorgestellte, transluzente Pfosten-Riegelkonstruktion u. a. als Zuluftkollektor für die Lüftungsanlage des Gebäudes. Neben einer umfangreichen Darstellung und Auswertung der meßtechnisch erfaßten Vorgänge in der Doppelfassade erfolgte eine Quantifizierung des für die Lüftungsanlage des Gebäudes erfaßten Energieeintrages über den Meßzeitraum sowie eine Ausarbeitung zu steuerungs- und regelungstechnischen Lösungsansätzen zur Einbindung der Fassade als Zuluftkollektor in die Anlagentechnik und in das damit verbundene Betriebs- und Nutzungsregime des Gebäudes. Des weiteren wurde der Versuch unternommen, die thermodynamischen Vorgänge im Bereich der Doppelfassade anhand eines Modells zweidimensional analytisch zu erfassen und Modell- und Meßergebnisse zu validieren. Die Modellierung und Simulation erfolgte dabei unter Anwendung der kontinuumsmechanischen Erhaltungssätze (Navier-Stokes Gleichungen). Als Berechnungsmethode zur Lösung der algebraischen Differenzengleichungen wurde das Finite-Volumen-Verfahren angewendet, notwendige Randbedingungsvorgaben wurden aus Feldmeßdaten übernommen.
Die Holz-Beton-Verbundbauweise kam bislang bei Rad- und Fußwegbrücken kaum zum Einsatz. Eine Ursache dafür ist die Tatsache, dass das Trag- und Verformungsverhalten der wenigen für die Übertragung der hohen Schubkräfte zwischen Holz und Beton geeigneten Schubverbindungsmittel bisher nur unzureichend experimentell untersucht wurden und somit dem planenden Ingenieur keine statistisch gesicherten Bruchlasten und Verschiebungsmoduln zur Verfügung stehen. In der vorliegenden Arbeit ist das Trag- und Verformungsverhalten von zwei neu entwickelten Schubverbindungsmitteln, der Polymerbeton- sowie der Konsol-Nocke, mit Hilfe von Bauteilversuchen umfangreich analysiert worden. Auf der Grundlage von Kurzzeit-Scherversuchen wurden für beide Schubverbindungsmittel Nachweisverfahren erarbeitet, die eine Bemessung im Grenzzustand der Tragfähigkeit ermöglichen. Mit Hilfe von Langzeit-Scher- und -Biegeversuchen wurde neben dem zeitabhängigen Verhalten der gesamten Verbundkonstruktion auch das Kriechverhalten der Schubverbindungsmittel experimentell untersucht. Das beobachtete Langzeitverhalten der experimentell untersuchten Verbundträger konnte mit Hilfe eines einfachen numerischen Simulationsprogramms, das im Rahmen der Arbeit entwickelt wurde, hinreichend genau beschrieben werden. Da numerische Verfahren für die praktische Anwendung nur bedingt geeignet sind, wurde ein Näherungsverfahren abgeleitet, mit dem das Langzeitverhalten von Verbundkonstruktionen aus Holz und Beton vorherbestimmt werden kann. Dieses vereinfachte Nachweisverfahren berücksichtigt neben dem unterschiedlichen Kriechverhalten von Holz und Beton erstmalig auch das Schwinden bzw. Quellen dieser Baustoffe sowie das zeitabhängige Verhalten der Schubverbindungsmittel.
In dieser Arbeit werden Ansätze zur Softwareentwicklung auf Objektorientierter Basis im Bereich der Kosten in Hochbauprojekten beschrieben. Die Konzepte der Objektorientierten Technologie zur Softwareentwicklung werden in dieser Arbeit umfassend eingesetzt. Zur Modellierung des Systems wird die Unified Modeling Language (UML) eingesetzt. Die bedeutenden Gesichtspunkte dieser Modellierung sind die Entwicklung des Objektmodells in der Analysephase und deren Verfeinerung in der Entwurfsphase. Dieses Objektmodell bildet die Basis bei der Softwareentwicklung im bereich der Kosten in Hochbauprojekten. Im Rahmen dieser Modellierung werden auch die Aspekte der Soft- und Hardwareverteilung spezifiziert. Ferner werden Konzepte zur Implementierung der Ergebnisse der Modellierung erläutert. Hier wird das Objektmodell des Systems in die Programmiersprache Java übersetzt.
Das Ergebnis der vorliegenden Arbeit sind grafische Bemessungshilfen in Form von Interaktionsdiagrammen für Stahlbetondruckglieder mit zweiachsiger Biegung. Bei der Anwendung der Diagramme wird die bisherige Einschränkung auf den ebenen Fall aufgehoben. Es stellt sich somit der ebene Fall lediglich als Sonderfall des räumlichen Zustandes dar. Grundlage für das verwendete Rechenverfahren nach Theorie II. Ordnung ist eine von der Ebene auf den Raum erweiterte Modellstütze. Diese virtuelle Kragstütze mit gleichen oder unterschiedlichen Ersatzlängen in den beiden Achsrichtungen dient als statisches System, an welchem alle Berechnungen durchgeführt werden. Es zeigte sich, dass die Verwendung der Betonarbeitslinie die ursprünglich nur für die Querschnittsbemessung vorgesehen ist, auch bei Anwendung in der Traglastberechnung zu einer guten Übereinstimmung zwischen rechnerischen und experimentellen Ergebnissen führt. Die Mitwirkung des Betons auf Zug zwischen den Rissen ("Tension-stiffening"-Effekt) sollte beim Tragfähigkeitsnachweis nicht angesetzt werden, da dadurch die Traglasten teilweise erheblich überschätzt werden.
Videokonferenzen gelten als eine populäre Anwendung in modernen Netzwerken. Trotz langjähriger Erfahrungen gehören sie nicht zu den alltäglich genutzten Diensten. Videokonferenzdienste im Internet unterstützen meist offene Konferenzgruppen. Jedoch haben die Mehrzahl der alltäglichen Beratungen einen geschlossenen Charakter. Systeme, die geschlossene Gruppen unterstützen, basieren meist auf spezieller Studiotechnik. Desktop-Systeme lassen nur ein begrenztes Leistungsangebot zu. Besonders beim Aufbau von Mehrteilnehmer-Gruppen ist es schwierig, eine gute Dienstgüte bereitzustellen. Deshalb haben Systeme für geschlossene Gruppen bisher keine breite Anwendung gefunden. Die vorliegende Arbeit untersucht zwei Anätze zur Gestaltungsprinzipien von geschlossenen Mehrteilnehmer-Videokonferenzsystemen. Der Erste untersucht den Aufbau von globalen Konferenzen über den Verbund lokaler Systeme. Der Zweite, ein Peer-to-Peer-Konzept, untersucht die Unterstützung von geschlossenen Gruppen im Internet.
Der Inhalt dieser Arbeit ist anwendungsorientiert. Sie entwickelt theoretische und algorithmische Grundlagen für ein System zur Entscheidungsunterstützung bei der Kundenakquisition im Marketing. Besondere Beachtung finden dabei die zeitliche Simulation des Kundenverhaltens sowie ökonomischer Kenngrößen, die Optimierung der Anzahl der Kunden, die mit einer Marketingstrategie bearbeitet werden, die Optimierung der Akquiseaktionen einer Marketingstrategie. Neben Simulation und Optimierung steht die Modellbildung im Mittelpunkt. Sie berücksichtigt zum einen die Stochastik des Kundenverhaltens und zum anderen die Unschärfe verschiedener Elemente der Kundenakquisition: der Kapazitätsbeschränkung für Akquiseaktionen, des Zieles der Kundenakquisition sowie der Bewertung, welche Aktionen für welche Kunden gut geeignet sind. Bei der Modellierung wird schrittweise vorgegangen: Formalisierung von Marketingstrategien mit Hilfe von Akquiseplänen und einem Wahrscheinlichkeitsraum, mit dem praktisch handhabbare Verfahren zur Simulation des Kundenverhaltens hergeleitet werden; Formulierung des unscharfen stochastischen Optimierungsproblems der optimalen Beschickung von Akquiseplänen; Erweiterung von Akquiseplänen zu dynamischen Akquiseplänen, mit denen eine Marketingstrategie als eine Akquise-Entscheidungsregel eines mehrstufigen stochastischen Entscheidungsprozesses in unscharfer Umgebung mit implizit vorgegebener Prozess-Endzeit dargestellt und optimiert werden kann. Der Schwerpunkt der Arbeit liegt auf der Formulierung der Optimierungsprobleme und der Untersuchung ihrer Lösbarkeit. Als erste große thematische Einheit zur unscharfen Optimierung wird die Lösung des Problems der optimalen Beschickung von Akquiseplänen behandelt. Dabei werden Ansätze der unscharfen linearen Optimierung erweitert. Die Modellierung der Stochastik des Kundenverhaltens führt schließlich zur Erzeugung des deterministischen Äquivalents mit Hilfe von Szenarien. In gleicher Weise wird das scharfe Äquivalent des unscharfen Problems gewonnen. Die Strukturuntersuchung des Optimierungsproblems führt zu einer Erweiterung des Akquiseplan- Modells zum zeitlichen Akquiseplan und zur Beschreibung des Problems als ein Mehrgüterfluss-Problem. Als Lösungsverfahren werden die Mittelwertbildung über die Lösungen von linearen Optimierungsproblemen für unterschiedliche Szenarien sowie ein erweitertes Lagrange-Verfahren, das alle Szenarien zugleich berücksichtigt, entwickelt, beschrieben und untersucht. Die wesentlichen theoretischen Ergebnisse der Arbeit werden in der zweiten großen thematischen Einheit zur unscharfen Optimierung gewonnen, die die Optimierung mehrstufiger stochastischer Entscheidungsprozesse in unscharfer Umgebung mit implizit vorgegebener Prozess-Endzeit behandelt. Sie basiert auf der Arbeit von Bellman und Zadeh: "Decision-Making in a Fuzzy Environment" aus dem Jahr 1970. Während die bekannten Ansätze stochastische Entscheidungsprozesse mit vorab festgelegter Stufenanzahl betrachten, ist in der vorliegenden Arbeit die Prozess-Endzeit implizit durch Erreichen eines Endzustandes bestimmt. Die theoretische Untersuchung dieses Problemtyps führt schließlich zu einem praktisch einsetzbaren Verfahren. Eine andere Erweiterung der in der Literatur beschriebenen Behandlung dieser Optimierungsprobleme ist die Untersuchung der in der Modellierung benutzten t-Norm. Als Ergebnis kann gezeigt werden, dass alle wesentlichen Aussagen zur Lösung des Problemtyps für eine ganze Klasse von t-Normen gültig sind. Die hier entwickelten Modelle und Verfahren können zum Gebiet des finanzwirtschaftlichen Ingenieurwesens ("financial engineering") gerechnet werden, das aus dem Versuch heraus entstanden ist, Fragestellungen im Finanzwesen mit den Methoden des Ingenieurwesens zu bearbeiten. Aufgrund der Allgemeinheit der gefundenen Verfahren gehen die Anwendungsmöglichkeiten der Ergebnisse dieser Arbeit weit über den Bereich des Finanzwesens hinaus. Alle hier entwickelten Verfahren sind in Algorithmen umgesetzt und in höheren Programmiersprachen programmiert worden: die zeitliche Simulation des Kundenverhaltens und ökonomischer Kenngrößen einer Kundenakquise in Maple, die Optimierung der Beschickung von Akquiseplänen in C++ unter Verwendung von CPLEX und die Berechnung einer optimalen Politik von mehrstufigen stochastischen Entscheidungsprozessen in unscharfer Umgebung mit implizit vorgegebener Prozess-Endzeit in Matlab. Die praktische Tauglichkeit der Verfahren wird anhand zahlreicher Fallbeispiele illustriert und untersucht. Alle Programme und die Fallbeispiele sind in dieser Arbeit soweit beschrieben, wie es zu ihrem Verständnis nötig ist. Der Quellcode der Programme und alle für die Fallbeispiele nötigen Daten sowie ihre Ergebnisse sind über die Homepage des Verfassers zugänglich. Schlüsselwörter stochastische Optimierung, unscharfe Logik, Simulation, dynamische Optimierung, mehrstufige stochastische Entscheidungsprozesse, unscharfe Umgebung, Marketing, Kundenakquisition, Akquisepläne
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.
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.
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.
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.
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.
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.
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.
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.
Wachstumsphänomene und Stickstoffdotierung bei der Sublimationszüchtung von 6H-Siliciumcarbid
(2001)
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.
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.
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.
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.
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.
Mit Hilfe einer Evolutionsgleichung für die Filmdicke, welche vor kurzem aus der diffusen Grenzflächentheorie und der Näherung langer Wellenlängen abgeleitet wurde [L. M. Pismen und Y. Pomeau, Phys. Rev. E 62, 2480 (2000)], werden die Entnetzungseigenschaften dünner Filme (d < 100nm) auf einem festen Substrat untersucht. Das Diffuse-Grenzflächen-Modell erlaubt es ein Phasendiagramm für stabile und instabile Schichtdickenbereiche sowie für Tropfen- und Lochbereiche zu berechnen. Die zweidimensionale Betrachtung der Dünnfilmgleichung führt zu einer Unterteilung des linear instabilen Schichtdickenbereichs in einen nukleations- und in einen instabilitätsdominierten Bereich. Im Fall einer gekippten Unterlage werden stationäre Lösungsfamilien der zweidimensionalen Gleichung für periodische Randbedingungen bestimmt. Für große Periodenlänge finden sich universelle Lösungen (flache Tropfen), deren Eigenschaften nicht von der mittleren Schichtdicke abhängen. Für größere Neigungswinkel tritt ein weiterer stabiler Lösungszweig auf, welcher einen dynamischen Entnetzungsübergang mit Hysterese erlaubt.
Die Daten von Realwelt-Objekten können in mehreren Datenbanken enthalten sein, ohne daß ein globaler und konsistenter Identifizierer existiert. Wie läßt sich herausfinden, welche der Daten sich auf dieselben Realwelt-Objekte beziehen? Das hier dargestellte allgemeine Modell für die Objektidentifizierung besteht aus den Schritten Konversion, Vergleich und Klassifikation. Es umfaßt zudem: (1) Identifizierungskonzepte, (2) die Softwarearchitektur, (3) Charakteristika der Datenqualität, (4) eine Vorauswahlmethode, die die Effizienz für große Datenbanken sicherstellt (unter Verwendung von Indexstrukturen) und (5) eine Spezifikation für die Evaluation von Verfahren, einschließlich Stichprobenziehung und Qualitätskriterien. Wir bewerteten verschiedene Verfahren mit Wohnungs-, Adreß- und Bibliotheksdaten. Wesentliche Ergebnisse sind, daß die Skalierbarkeit ausschließlich durch die verwandte Vorauswahlmethode und deren Umsetzung bestimmt ist sowie daß das Entscheidungsbaumverfahren eine höhere Korrektheit erreichte und robuster war als Record Linkage.
Als Modellsystem für gleichrichtende Heterokontakte von Dünnschichtsolarzellen wurden polykristalline ZnO-Filme auf Si mittels Magnetron-Sputtern und metallorganischer Gasstrahldeposition (MOCBD) abgeschieden. Mit Photoelektronenspektroskopie wurden bis zu 3 chemische Grenzflächenkomponenten gefunden: SiOx, eine Willemit-artige Mischphase und reduziertes Zn0. Letzteres kann über die Sputterparameter Bias-Potenzial und O2-Partialdruck kontrolliert werden. Mit MOCBD wurden auf Si(111):H abrupte Heterokontakte präpariert. Ferner tritt an Korngrenzen und der Oberfläche Hydroxid auf. Dies kann durch Heizen entfernt werden. Während der Messungen traten energetische Verschiebungen der Spektren auf, die die Auswertung der Grenzflächenenergetik stören. Zur Erklärung wurde folgendes Modell entwickelt: In einem schnellen Oberflächenprozess findet Photolyse von Hydroxid statt, wodurch H2O oder mobile OH-Gruppen gebildet werden, die Sauerstoffvakanzen ausheilen und so die n-Dotierung vermindern. In einem langsameren Volumenprozess wird durch Photolyse von ZnO die n-Dotierung erhöht.
This work deals with static and dynamic properties of thin one- and two-layer liquid films. Regarding one-layer films, we study large scale surface deformations of a liquid film unstable due to the Marangoni effect caused by external heating on a smooth and solid substrate. To prevent rupture, a repelling disjoining pressure is included which accounts for the stabilization of a thin precursor film and so prevents the occurrence of completely dry regions. Linear stability analysis, nonlinear stationary solutions, as well as three-dimensional time dependent numerical solutions for horizontal and inclined substrates reveal a rich scenario of possible structures for several realistic liquid parameters. We also propose two methods to control the structuring of unstable thin films of soft matter. The first one is a non-contact method, where an external disturbance can be used to move a single drop, front or hole in a certain direction. The principle is illustrated by incorporating a sonic disturbance in a thin film equation to study the evolution of ultrathin films unstable due to their wetting properties. The second one is based on inhomogeneous templating of the substrate. Here we study the influence of periodic modulation on coarsening in the long time limit. Finally, the fully nonlinear evolution of a 3D system is presented by numerical integration. Further on, we consider a thin film consisting of two layers of immiscible liquids on a solid horizontal (heated) substrate. Both, the free liquid-liquid and the liquid-gas interface of such a bilayer liquid film may be unstable due to effective molecular interactions relevant for ultrathin layers below 100 nm thickness, or due to temperature-gradient caused Marangoni flows in the heated case. Using a long wave approximation we derive coupled evolution equations for the interface profiles for the general non-isothermal situation allowing for slip at the substrate. Linear and nonlinear analyses of the short- and long-time film evolution are performed for isothermal ultrathin layers taking into account destabilizing long-range and stabilizing short-range molecular interactions. It is shown that the initial instability can be of a varicose, zigzag or mixed type. However, in the nonlinear stage of the evolution the mode type and therefore the pattern morphology can change via switching between two different branches of stationary solutions or via coarsening along a single branch.
Mit Hilfe magnetoakustischer Messmethoden wurde im Rahmen dieser Arbeit die Flusslinienverankerung im System des Hochtemperatursupraleiters YBCO untersucht. Die theoretischen Grundlagen lassen sich dabei, aufbauend auf das TAFF-Modell, mit Hilfe der Pankert'schen Theorie beschreiben. Durch die vielfältigen Orientierungsmöglichkeiten zwischen der Schallwelle, Magnetfeld und der kristallographischen c-Achse lassen sich mit Hilfe der Ultraschallmethode die anisotropen Eigenschaften des Flussliniengitters untersuchen. Das Ziel der Messungen war den Depinning-Übergang (oder Irreversibilitäts-Übergang) zu untersuchen. Dieser ist dadurch gekennzeichnet, dass für Temperaturen größer als Tdep(B) eine feste Verankerung der Flusslinien im supraleitenden Material nicht mehr möglich ist. Der daraus bestimmbaren Aktivierungsenergie der Flusslinienbewegung kommt eine besondere Bedeutung zu, da sie die Stromtragfähigkeit des supraleitenden Materials bestimmt. Es wurden Messreihen an Kristallen durchgeführt die eine unterschiedliche Zusammensetzung hatten, um die Auswirkungen auf das Pinningverhalten zu studieren.
Die Arbeit beschäftigt sich mit der Entwicklung eines neuen Strömungs-Simulators. Dabei werden die instationären Navier-Stokes-Gleichungen im inkompressiblen Fall und ohne Energie-Gleichung betrachtet und numerisch in zwei und drei Dimensionen gelöst. Die Frage der Wahl der numerischen Methoden stellt sich zwischen Finite-Volumen- (FVM) und Finite-Elemente-Methode (FEM), die im zweidimensionalen Fall für Delaunay-Triangulierungen und Raumdiskretisierungen niedriger Ordnung verglichen werden. Der Strömungs-Simulator wird nach Prinzipien der generativen Programmierung entwickelt. Sämtliche Daten werden auf statische (vor der Kompilierung bekannte) und dynamische (erst in der Laufzeit bekannte) Daten verteilt. Demzufolge wird ein Simulator in der Kompilierungszeit aus elementaren, wiederverwendbaren Software-Komponenten zusammengestellt. Darüber hinaus werden einige Teilberechnungen mit statischen Daten in der Kompilierungszeit durchgeführt. Damit erreicht man eine hohe Effizienz bezüglich CPU-Zeit und Speicher-Verbrauch. Diese neue Software wurde in der Programmiersprache C++ mit Template-Metaprogrammierung implementiert und wird als Generative Simulation Solver (GSS) bezeichnet.
Diese Arbeit untersucht Methoden der Ordnungsreduktion schwach nichtlinearer Finite-Elemente und Finite-Differenzen Systeme. Die Nichtlinearitäten werden in einheitlicher Weise mittels einer Taylor Reihenentwicklung parametrisiert. Diese Darstellung dient als Normalform, auf der die Methoden der Ordnungsreduktion operieren. Die Modelle hoher Ordnung werden mittels projektionsbasierter Verfahren auf Systeme mit nur noch wenigen Freiheitsgraden reduziert. Diese Verfahren beruhen auf Krylov-Unterraum Methoden (Arnoldi-Verfahren) und Methoden der Zustandsauswahl (Guyan-Verfahren) für den linearen Fall. Darüberhinaus werden zwei weitere Methoden der nichtlinearen Ordnungsreduktion vorgestellt, das Verfahren der adiabatischen Elimination schnell relaxierender Variablen und das Verfahren der nichtlinearen Frequenzgangsanpassung. Die Eignung der projektiven Reduktionsmethoden wird anhand von akademischen und industrierelevanten Beispielen demonstriert
In dieser Arbeit wird das Verhalten zweier nichtmischbarer überlagerter Fluide (Gase und/oder Flüssigkeiten) untersucht, welche durch horizontale Platten vertikal beschränkt sind. Die betrachteten Effekte beschränken sich im Wesentlichen auf den Einfluss von Gravitations- und Oberflächenspannungseffekten. Dabei werden neben analytischen hauptsächlich numerische Untersuchungen über das Instabilitätsverhalten der Grenzfläche und die resultierende Strukturbildung durchgeführt. Ausgangspunkt sind die inkompressiblen Navier-Stokes-Gleichungen, die Wärmeleitgleichungen und die Kontiniuitätsgleichungen beider Fluidschichten. Die Komplexität dieser Gleichungen erfordert bestimmte Näherungen und deshalb werden zwei Grenzfälle untersucht. Als erste Näherung wird eine undeformierbare Grenzfläche angesetzt. In dieser Näherung wird zum einen die, nur in Mehrschichtsystemen auftretende, Antikonvektion untersucht. Neben analytischen Resultaten in vertikal unendlich ausgedehnten Systemen, werden zum ersten Mal 3D-Simulationen der vollen nichtlinearen Gleichungen gezeigt. Zum anderen wird ein einfaches einseitiges Modell zur Konvektion unter Verdampfung abgeleitet, welches eine Erweiterung des "Pearson"-Modells darstellt, und die resultierende Strukturbildung gezeigt. Eine deformierbare Grenzfläche bei ausschließlicher Untersuchung von langwelligen Instabilitäten führt zur zweiten Näherung: die Schmiermittelnäherung. Nach der Herleitung der Evolutionsgleichung der Grenzfläche werden ihre grundlegenden Eigenschaften diskutiert. Die numerische Integration zeigt die typische Tropfen/Loch-Bildung dieser Systeme.
Der Physiker und Philosoph C. F. v. Weizsäcker (* 1912) hat eine philosophische Verbindung zwischen Erkenntnis-/Bewusstseinstheorie und Quantentheorie hergestellt. Seine These: diese Theorie sei in Wirklichkeit nicht auf den Bereich der Physik beschränkt, sondern eine allgemeine Theorie über Objekte bzw. über Eigenschaften von Objekten und deren zeitlichem Wandel. Die Dissertation untersucht die sich daraus ergebenden Konsequenzen für die Struktur einer möglichen Theorie des Menschen, einer wissenschaftlich-philosophischen Anthropologie. Nach einführenden Kapiteln über anthropologische Aspekte in der Geschichte der Philosophie, methodische Betrachtungen und zur intellektuellen Biographie Weizsäckers wird die Frage im Blick auf einen Strukturierungsvorschlag dieses Philosophen behandelt. Dieser wird in der Arbeit strikter gefasst und als hermeneutische „Quaternio-Struktur“ identifiziert, dann – z. T. nach Angaben Weizsäckers – ergänzt und auf die Tragfähigkeit für ein abstraktes Strukturgerüst zu einer Anthropologie „abgeklopft“.
In this thesis a novel Globally Asynchronous Locally Synchronous (GALS) technique applicable to wireless communication systems and generally to datapath architectures is presented. The proposed concept is intended for point-to-point communication with very intensive but bursty data transfer. This concept is based on a request-driven operation of locally synchronous modules. The key idea is that a module can use the input request signal as its clock while receiving a burst of data. The developed GALS technique is applied to the design of an IEEE 802.11a compliant baseband processor with the aim to alleviate the problems of system integration, power consumption and electro-magnetic interference. The GALS design was compared with a synchronous version of the baseband processor. In our experimental setup we have measured a 1% reduction in dynamic power consumption, 30% reduction in instantaneous supply voltage variations, and 5 dB reduction in spectral noise.
This thesis comprises the development, accuracy testing and application of the so-called nanoDAC method (nano Deformation Analysis by Correlation). The method combines scanning probe microcopy (SPM) images and digital image correlation (DIC) to derive an in-situ deformation measurement technique. The results are full-field 2D displacement fields with nanometer resolution. The method can be performed on bulk materials, thin films, and on microelectronic components. A thermosetting polymer material typically applied in microelectronics systems serves as an example to emphasize the capability of the method. Crack tip opening fields of a compact tension (CT) specimen are experimentally determined by means of nanoDAC and the obtained fields act as the basis for the extraction of the stress intensity factor as a fracture mechanical property. In addition finite element analyses are carried out and an adaptation strategy between experimental and numerical results is developed.
Die Temperaturvariable Ellipsometrie (VTE) ist eine neue Methode zur thermophysikalischen Charakterisierung von transparenten Polymeren in dünner Schicht (50 nm bis 2 mikrom). Die wesentlichen Fehlereinflüsse werden aufgezeigt und quantifiziert, wobei der Genauigkeit der Bestimmung der optischen Eigenschaften des Substrates der größte Einfluss zukommt. Der Anwendungsbereich der Methode wird erforscht und es werden viele Beispiele gezeigt. Mögliche Anwendungen sind neben der Bestimmung des thermischen Ausdehnungskoeffizienten und der Glasübergangstemperatur die Untersuchung aller Prozesse, die mit einer Masseänderung der Schicht verbunden sind (z.B. Abdampfen niedermolekularer Komponenten, Wassergehalt der Schicht, thermisches Abbauverhalten).
In this work, modular subspaces corresponding to the ordinary deformation functor as well as the functor of deformations with section of a singularity. After developing the necessary facts from deformation theory and the techniques of cotangent cohomology, several criteria for modularity are given, in terms of relative cotangent cohomology modules. Based on these theoretical results, an algorithm is explained to obtain the modular stratum of an isolated singularity up to a given order. As applications, the modular strata of isolated hypersurface singularities of small modality are determined and several examples - mainly of (semi-)quasihomogeneous singularities - are presented which exhibit interesting and surprising phenomena.
Das Ziel der vorliegenden Arbeit ist es, einen Beitrag zum Verständnis mikroskopischer Prozesse zu leisten welche an der Laser-Ablation dielektrischer Kristalle mit ultrakurzen Laserpulsen beteiligt sind. Die von den Targets emittierten elektrisch geladenen Partikel werden mit einem Flugzeitmassenspektrometer nachgewiesen, und die resultierende Morphologie der Targetoberfläche wird ex-situ mit Methoden der optischen Mikroskopie bzw. der Raster-Elektronenmikroskopie charakterisiert. Die Absorption der Laserstrahlung führt zu Multiphotonen-Ionisationsprozessen, so dass es zu einer Coulomb-Explosion der Oberfläche kommt. Bei hohen Laserintensitäten gibt es außerdem thermische Beiträge zu Ablation (Phasen-Explosion). Für die resonante Unterstützung der Photoelektronenemission sind materialabhängige Oberflächenzustände (z. Bsp. F-Zentren) wichtig. An BaF2 (111) Oberflächen wird ein „Layer-by-Layer“ Abtrag beobachtet. Die Partikelemission hinterlässt eine instabile Oberfläche, deshalb kann es im Ablationskrater zur Ausbreitung von Oberflächenwellen und der Bildung von Ripples durch selbst-organisierte Prozesse kommen.
The thesis discusses a fundamental question of reconstruction on the Si(100) surface as well as three material combinations, which are important for perspective microelectronics technologies: Si/Pr2O3/Si(100), W/WNx/poly-Si/SiO2/Si(100), and CoSix/Si(100). A refined mixed ad-dimer model is developed for the Si(100)-c(4´4) reconstruction on the basis of scanning tunnelling microscopy investigations. A thermal stability of Pr2O3/Si(100) and Si/Pr2O3/Si(100) structures is studied with ion sputtering assisted Auger electron spectroscopy. The latter technique is also applied for precise determination of O and N content in the new W/WNx/poly-Si/SiO2/Si(100) structure, and to study the preferential sputtering of Si in CoSi2, CoSi, and Co2Si phases on Si(100) surface. The WSix/poly-Si/SiO2/Si(100) system, which was previously used in microelectronics, is studied for comparison. The preferential sputtering of Si in WSix is shown to be qualitatively similar as in the CoSix case.
Das Ziel der vorliegenden Arbeit bestand in der Entwicklung eines schnellanalytischen Verfahrens zur Bestimmung aromatischer Spurenstoffe in Wasserproben. Das Verfahren basiert auf der Kopplung der Festphasenmikroextraktion (SPME) mit der Lasermassenspektrometrie (LAMS). Für die Probenanreicherung wurde ein vollautomatisiertes Verfahren in Form der „in-tube SPME“ entwickelt. Nach der Anreicherung werden die Analyten gaschromatographisch getrennt und in einem kommerziellen Ionenfallen - Massenspektrometer nachgewiesen, dass für die Laserionisation modifiziert wurde. Relevante Verfahrensparameter (Sensitivität, Linearität, Reproduzierbarkeit…) wurden für Polyzyklische Aromatische Kohlenwasserstoffe (PAK) überprüft. Die in der Wasseranalytik geforderten Nachweisgrenzen zur Untersuchung von polyzyklischen Aromaten werden mit der vollautomatisierten, analytischen Technik problemlos erreicht. Die Zeitdauer für eine Analyse ist dabei gering. Bei einer Anreicherungszeit von nur 30 min wurden PAK’s bis zu einer Konzentration von 1 ng/l nachgewiesen. Die Ergebnisse der Untersuchung von Umweltproben zeigen, dass mit der entwickelten instrumentellen Technik ein schnellanalytische Methode zur Verfügung steht, die sowohl im Labor, als auch im Feld zur spurenanalytischen Bestimmung von Aromaten in Wasserproben eingesetzt werden kann.
Die Reaktion von Cyanatestermonomeren läuft in einem typischen Stufenwachstumsprozess ab. Die entstandenen Netzwerkpolymere werden aufgrund ihrer Eigenschaften, wie hohe Temperaturbeständigkeit, hohe Glastemperaturen, gute Adhäsion sowie niedrige Dielektrizitätskonstanten, als Laminate, Klebstoffe, Verbundwerkstoffe und in der Elektroindustrie eingesetzt. Strukturelle und chemische Modifikationen können durch Verwendung von Comonomeren, z.B. mono- und polyfunktionellen Phenolen, erzielt werden. Bei der Polymerisation von mono- und difunktionellen Cyanaten werden in dieser Arbeit Thiophenol, 1-Dodecanthiol und Benzylalkohol als Comonomere eingesetzt. Die Analyse der Molekülstrukturen und der Polymerverteilungen der Reaktionsprodukte erfolgte mittels Massenspektrometrie (MALDI-TOF-MS) und Hochleistungflüssigchromatographie (HPLC). Abschließend wurden Aktivierungsenergien verschiedener Cyanat/Comonomer-Mischungen bestimmt.
Prüfungs- und Studienordnung für den Bachelor-Studiengang Bauingenieurwesen vom 5. April 2004 (Ersetzt durch AMbl 7/2014)
Prüfungs- und Studienordnung für den Master-Studiengang Civil Engineering vom 11. Januar 2005 (Ersetzt durch AMbl 7/2014)
Prüfungs- und Studienordnung für den Master-Studiengang Structural Engineering vom 11. Januar 2005 (Ersetzt durch AMbl 7/2014)
Filmkühlung in Gebieten mit verzögerter Hauptströmung und in Bereichen lokaler Strömungsablösung
(2004)
Turbinenschaufeln neuzeitiger Gasturbinen sind in den ersten Stufen in hohem Maße Filmgekühlt, um den sehr hohen Turbineneintrittstemperaturen zu widerstehen. Gleichzeitig gehen die Bestrebungen dahin, in der einzelnen Stufe mit einer möglichst geringen Anzahl von Turbinenschaufeln die Arbeitsumsetzung zu erhöhen. Infolge dieser Optimierung ergeben sich an der Turbinenschaufeloberfläche zunehmend Gebiete mit verzögerter Hauptströmung, welche mittels Filmkühlung zu kühlen sind. Weiterhin steigt die Gefahr der Strömungsablösung am Turbinenschaufelprofil, deren Interaktion mit der notwendigen Filmkühlung zu klären ist. Zu klären ist, inwiefern die Bauteilkühlung bei lokaler Strömungsablösung mit der Filmkühlung beherrschbar ist. Ziel dieser Arbeit ist die grundlegende Untersuchung und Bewertung der Filmkühlung in Gebieten mit verzögerter Hauptströmung und der Filmkühlung in Bereichen mit lokaler Strömungsablösung. Die Untersuchungen werden für die Filmkühlung aus einer Reihe von Kühlluftbohrungen durchgeführt. Diesbezüglich sind sie im typisch Reynoldszahlbereich der Turbinenschaufeln neuzeitiger Gasturbinen dimensioniert. Da bei der Filmkühlung durch den Kühlluftstrahl, der in die heiße Hauptströmung eintritt, eine stark anisotrope Turbulenzstruktur zu erwarten ist, werden diese grundlegenden Untersuchungen experimentell durchgeführt. Die Versuchsergebnisse können sodann zur Validierung numerischer Strömungslöser herangezogen werden, auch wenn diese die Turbulenz isotrop simulieren. Mit dem Ammoniak-Diazo-Verfahren mit Online-Kalibrierung wird ein hochauflösendes flächiges Messverfahren zur Bestimmung der adiabaten Filmkühleffektivität weiterentwickelt und vorgestellt. Sehr detaillierte Untersuchungen der adiabaten Filmkühleffektivität werden zur Filmkühlung bei verzögerter Hauptströmung und bei lokaler Strömungsablösung wiedergegeben. Ergänzt werden diese Untersuchungen durch umfangreiche Strömungsfelduntersuchungen mit der 2D- und 3D Laser Particle Image Velocimetry (PIV) und der Hitzdrahtanemometrie. Für die finanzielle Unterstützung zum Aufbau und zur Durchführung der Forschungstätigkeit an der Brandenburgischen Technischen Universität Cottbus danke ich dem Land Brandenburg und der Bundesrepublik Deutschland sowie den Firmen Rolls-Royce Deutschland Ltd., MTU Aero Engines GmbH, Siemens AG und Alstom Schweiz AG (ehemals ABB Kraftwerke).
Ghana is far from attaining energy security status. The energy mix in Ghana comprises; traditional biomass (66.7%), crude oil/petroleum products (26.2%), and electricity (7.1%) mainly from large hydro plants. The existing energy insecurity dilemma, where demand for energy services is desperately needed for sustainable development leaves Ghana with no other option than to exploit its renewable energy resources. The study seeks to address three main research questions namely: (a) Are Renewable Energy Technologies (RETs) technically and economically viable in Ghana?; (b) Can RE projects be self sustained in Ghana without continual external support?; (c) Can RETs be used as an engine for local development? Both qualitative and quantitative methods were employed in analyzing the issues raised. The four main RE resources identified in Ghana are biomass, solar, small hydro and wind energy. Detailed case study analysis for each resource was done for identification of technically and economically viable options. The study concludes with a strategy on the where, what, why and how to implement viable RE projects in Ghana and a ‘best policy’ recommendation for successful market diffusion of RETs. It proposes that RETs must be provided in forms that match the basic and economic self-reliance needs of the people and generated electricity should be tied directly to viable end-use activities.
In dieser Arbeit wird das Spannungs- und Dehnungsverhalten poröser Materialien infolge von gleichzeitig auftretenden gekoppelten Temperatur- und Feuchtefeldern untersucht. Es wird gezeigt, dass feuchtebelastete poröse Materialien im Gegensatz zu temperaturbelasteten prinzipiell fast immer (mit Ausnahme des Zustandes der Feuchtegleichverteilung) Eigenspannungen aufweisen. Die Ursache ist der nichtlineare Zusammenhang des hygrischen Ausdehnungskoeffizienten mit der Materialfeuchte. Auf der Grundlage von laborativen Messungen von Materialkennwerten, insbesondere des hygrischen Ausdehnungskoeffizienten, werden am Beispiel transparent gedämmter Wände unter natürlichen Klimarandbedingungen die hygrisch und thermisch induzierten zweidimensionalen Dehnungs- und Spannungszustände mit analytischen und FE-Methoden berechnet und anschließend an Versuchsaufbauten durch Messungen verifiziert.
Color sequencing
(2004)
In this dissertation, we present several solution approaches for the color change minimization problem that arises in the paint shop of an automobile plant. We give NP-completeness results for an abstract formulation of this problem and show that it is APX-hard, even in a restricted form. For this form, we establish a connection to binary matroids. When solving the color change minimization problem with the help of a line storage system, we present dynamic programs that use algorithms from computational biology, among others. Finally, we look into the color change minimization problem within the overall production process of an automobile plant. We describe an algorithm that sequences a daily production and that has been successfully developed with and implemented in the Ford Motor Company (Europe).
Diese Arbeit behandelt einen Ansatz zur Verifikation verteilter Systeme. Zur Beschreibung des Verhaltens solcher Systeme verwenden wir die sog. Semiwörter, die eine spezielle Form von pomsets darstellen, sowie Mazurkiewiczspuren. Wir weisen nach, daß jedes nebenläufige System (d. h. ein System, für dessen Aktionen eine Unabhängigkeitsrelation angegeben werden kann) als verteiltes System aufgefaßt werden kann. Wir beschreiben eine endliche Repräsentation des Verhaltens nebenläufiger und verteilter Systeme, die auf dem Begriff des Prozeßautomaten beruht, und geben Algorithmen zur Konstruktion derartiger Prozeßautomaten an. Schließlich definieren wir die verteilte, agentenbasierte temporale Logik DCTL. Die Beschreibung eines Modelcheckers für diese Logik, der auf Prozeßautomaten operiert, schließt die Arbeit ab.
In dieser Arbeit werden Entwurf und Implementierung eines Systems zur automatisierten Erstellung wissensvermittelnder Dokumente für das World Wide Web beschrieben. Grundidee des zugrundeliegenden Ansatzes ist die dynamische Generierung von Dokumenten auf Basis existierender Fragmente wie z.B. Texten, Grafiken, Videosequenzen, etc. Diese Basisbausteine werden als Medienobjekte bezeichnet. Medienobjekte werden in einem ersten Schritt über einen sog. Abhängigkeitsgraphen zueinander in Beziehung gesetzt. Anschließend werden die bezüglich gegebener Nutzervorgaben (Lernziele, Vorwissen, Dokumentstruktur, etc.) bestgeeigneten Medienobjekte ausgewählt und strukturiert. Durch Zusammenfassung benachbarter Objekte entstehen Seiten und Kapitel, die dem Nutzer als Hierarchie von HTML-Dateien zugänglich gemacht werden können. Die einzigen beiden vom Autor des Dokuments manuell durchzuführenden Aufgaben sind die Beschreibung von Medienobjekten durch Meta-Informationen und die abstrakte Spezifikation des zu erzeugenden Dokuments über vordefinierte Nutzungsszenarien. Dieses im Rahmen der vorliegenden Dissertation entwickelte Verfahren wird als Bottom-Up Generierung bezeichnet, da ausgehend von existierenden Medienobjekten zuerst eine Medienobjektstruktur, anschließend eine Seitenstruktur und erst zum Schluß die logische Kapitelstruktur berechnet wird. Die im Gegensatz hierzu stehenden, weit verbreiteten Top-Down Verfahren gehen genau umgekehrt vor: Hier wird anhand einer festen Struktur (z.B. einem konzeptuellen oder einem semantischen Netz) zuerst eine Kapitelstruktur festgelegt, zu der erst danach die passenden Medienobjekte gesucht und zusammengefaßt werden. Der Bottom-Up Ansatz bietet eine Reihe von Vorteilen: * Die erstellten Dokumente sind sehr einfach wart- und erweiterbar, da keine statischen Abhängigkeitsstrukturen gepflegt werden müssen. * Adaptierbarkeit und Adaptivität werden implizit unterstützt. * Die Kosten der Erstellung von Lehr- und Informationssystemen können stark reduziert werden, da auf bereits existierende Medien zurückgegriffen werden kann. Der größte Vorteil des in dieser Arbeit beschriebenen Bottom-Up Ansatzes ist jedoch, daß es sich um ein ausbaufähiges Modell handelt, mit dem der manuelle Aufwand des Autors durch den Einsatz von aktuellen und zukünftigen Verfahren aus dem Information Retrieval, der künstlichen Intelligenz, dem Data Mining und der Informationsintegration sukzessive reduziert werden kann. Das Fernziel dabei ist, eines Tages zu einer vollautomatischen Dokumentenerzeugung zu gelangen, die in der Lage ist, Anfragen eines Nutzers mit strukturierten, adaptierten und vor allem hochaktuellen Dokumenten zu beantworten.
Diese Arbeit ist einer Verallgemeinerung des bekannten Black-Scholes-Modells gewidmet, welches eines der erfolgreichsten Modelle zur Optionspreisbewertung darstellt. Die untersuchende Modellgleichung ist eine nichtlineare partielle Differentialgleichung und beschreibt einen Rückkopplungseffekt des Großhändlers auf dem Markt. Die Methoden der Theorie der Lieschen Gruppen in Anwendung auf Differentialgleichung werden zur Untersuchung dieser Gleichung benutzt. Eine abschließende Untersuchung der algebraischen Struktur, welche die Modellgleichung besitzt, wurde durchgeführt. In der Arbeit wurde eine allgemeine Form der Lie-Punktsymmetriegruppe der Gleichung aufgefunden. Es hat uns gelungen unter zusätzlichen Bedingungen einige Klasse invarianter expliziter Lösungen der nichtlinearen Modellgleichung zu gewinnen. Am Beispiel dieser expliziter Lösungen wurde Verifikation grundlegender numerischer Verfahren durchgeführt.
Die vorliegende Arbeit behandelt CuInS2-Filme, die mittels Molekularstrahlepitaxie auf einkristallinen Si- und GaAs-Substraten unterschiedlicher Orientierung abgeschieden wurden. In-situ kamen dabei photoelektronenspektroskopische Analysemethoden und die Beugung niederenergetischer Elektronen zum Einsatz. Ex-situ wurden die Filme mittels Röntgenstrukturanalyse, Ionenrückstreuung und Photolumineszenz untersucht. Zunächst wurde die Bandanpassung des Si(111)/CuInS2(112)-Heteroübergangs bestimmt, wobei die Grenzfläche durch das Auftreten von Fremdphasen und durch Interdiffusion nicht ideal und stark gestört erscheint. Es wurde ein Grenzflächendipol von etwa 1 eV ermittelt. Der Vergleich der chemischen Zusammensetzung an der Filmoberfläche und im Filmvolumen deutet auf einen Konzentrationsgradienten in der Schicht hin. Unabhängig vom Cu/In-Verhältnis wurde eine schwefelarme Oberfläche gefunden. Zudem zeigen Cu-reiche CuInS2-Filme unabhängig von der Substratorientierung ein [112]-orientiertes Wachstum, wogegen im In-reichen Präparationsregime die Kristallorientierung des Substrates übernommen wird.