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.