Refine
Document Type
- Doctoral thesis (16)
- Report (4)
- Book (2)
- Chapter (book) (1)
- Working paper (1)
Has Fulltext
- yes (24)
Is part of the Bibliography
- no (24)
Year of publication
Keywords
- Optimierung (4)
- Classification (2)
- Electrooptics (2)
- Elektrooptik (2)
- Flüssigkristall (2)
- Gasturbine (2)
- Halbleitertechnologie (2)
- Klassifizierung (2)
- Lichtwellenleiter (2)
- Liquid crystal (2)
Institute
- FG Produktionswirtschaft (3)
- FG Experimentalphysik und funktionale Materialien (2)
- FG Mikro- und Nanosysteme (2)
- FG Technische Mechanik und Fahrzeugdynamik (2)
- FG Angewandte Mathematik (1)
- FG Anorganische Chemie (1)
- FG Chemische Reaktionstechnik (1)
- FG Computational Physics (1)
- FG Datenbanken und Informationssysteme (1)
- FG Datenstrukturen und Softwarezuverlässigkeit (1)
Der Lean Ansatz revolutionierte die industrielle Produktion und wurde vom spezifischen Produktionssystem zu einem ganzheitlichen Managementansatz entwickelt. Der Einsatz erfolgte in der Vergangenheit vornehmlich in großen Unternehmen als diskontinuierlicher Projektansatz. Die Besonderheiten kleiner und mittlerer Unternehmen (KMU) blieben unbeachtete, wodurch im Schrifttum eine Lücke entstand und die Lean Implementierung in KMU lediglich temporär erfolgreich war. Die vorliegende Arbeit stellt die Lean Implementierung in KMU in den Vordergrund. Basierend auf Erkenntnissen der Forschung zum Lean Management in Verbindung mit den Charakteristiken von KMU schließt das erarbeitete Implementierungsmodell die identifizierte Forschungslücke. Das Modell beschreibt die Lean Einführung in KMU anhand eines Implementierungsprozesses mit differenzierbaren Prozessschritten innerhalb von vier Phasen. Ausgehend von der Vorbereitung wird die Implementierung auf strategischer und auf operativer Ebene realisiert. Begleitende Maßnahmen unterstützen die sukzessive Lean Implementierung, während die abschließende Phase zur Sicherung der Nachhaltigkeit den langfristigen Lean Einsatz gewährleistet. Die Berücksichtigung von Lean Methoden und Elementen aus Sicht von KMU rundet das Modell ab.
Abschlusssachbericht zum AG Turbo Verbundforschungsprojekt COOREFLEX-turbo, Teilprojekt 1.3.6
In der industriellen Praxis beginnt die Entwicklung eines neuen Verdichters aufgrund der hohen Systemkomplexität stationärer Gasturbinen typischerweise mit einfachen, eindimensional mittelnden Modellen, mit denen bereits grundsätzliche Festlegungen getroffen werden können, und setzt sich über zweidimensionale Strömungsbetrachtungen fort bis hin zu dreidimensionalen CFD- und FE-Rechnungen.
Dies erfordert den Einsatz unterschiedlicher Experten aus verschiedenen Disziplinen der Aerodynamik, Strukturdynamik und Konstruktion, und ist verbunden mit einem hohen Aufwand an manuellem Datenaustausch zwischen den einzelnen Analyseprogrammen sowie einer Abstimmung zwischen den unterschiedlichen Auslegungszielen. Ziel des Forschungsvorhabens war daher die Automatisierung des multidisziplinären und bislang manuell und sequenziell ausgeführten Entwicklungsprozesses für den Verdichter einer stationären Gasturbine beim Industriepartner Alstom. Im Rahmen des Forschungsvorhabens wurden die bereits in vorangegangenen Forschungsprojekten entwickelten Prozesse für die Auslegung von Flugtriebwerken auf die höhere Stufenanzahl von stationären Gasturbinen angepasst und entsprechend erweitert. Für die multidisziplinäre Optimierung von Verdichterschaufeln wurde zunächst ein geeignetes Geometriemodell definiert, welches aerodynamischen und strukturellen Anforderungen Rechnung trägt. Für die aerodynamische Bewertung der Verdichterschaufeln konnte die Q3D Auswertung um eine 3D-CFD Analyse ergänzt werden. Zur strukturdynamischen Analyse wurde ein Verfahren zur automatisierten Identifikation von Eigenformen entwickelt, um Eigenform-abhängige Bewertungen durchführen zu können. Durch die Implementierung von Datenbanken in der Verbindung mit Antwortflächenverfahren konnten die strukturellen und aerodynamischen Auswertungen in hohem Maße parallelisiert und ein effizienter, generischer multidisziplinärer Optimierungsprozess entworfen werden.
MARCIE manual
(2016)
This manual gives an overview on MARCIE – Model Checking And Reachability analysis done effiCIEntly. MARCIE was originally developed as a symbolic model checker for stochastic Petri nets, building on its predecessor – IDDMC – Interval Decision Diagram based Model Checking – which has been previously developed for the qualitative analysis of bounded Place/Transition nets extended by special arcs. Over the last years the tool has been enriched to allow also quantitative analysis of extended stochastic Petri nets. We concentrate here on the user viewpoint. For a detailed introduction to the relevant formalisms, formal definitions and algorithms we refer to related literature.
In der vorliegenden Arbeit wird die Eignung von Künstlichen Neuronalen Netzen hinsichtlich der Modellierung des komplexen Prozessverhaltens in einer Flachglasschmelzanlage analysiert. Die Identifikation und das Training der neuronalen Prozessmodelle erfolgen mit Messdaten einer Schmelzwanne für Flachglas. Im Vordergrund steht die Evaluation einer geeigneten Netzstruktur und die Parametrierung der Netzparameter. Dabei wird der Einfluss der einzelnen Netzparameter in Bezug auf die Genauigkeit der Netze eingehend untersucht. Anhand von Testdaten wird nachgewiesen, dass die qualitätsbestimmenden Temperaturen und der Glasstand mit Künstlichen Neuronalen Netzen hinreichend genau berechnet werden können.
Auf Basis der entwickelten neuronalen Prozessmodelle wird anschließend eine modellbasierte prädiktive Regelstrategie beschrieben. Neben der Auswahl des Gütekriteriums und des Optimierungsalgorithmus zur Berechnung zukünftiger Stellgrößen werden Richtlinien zur Dimensionierung der verfügbaren Reglerparameter abgeleitet.
Ausgehend von der bestehenden Idee eines Lignocelluloseaufschlusses in einem alkalischen Polyol (Alkaline Polyol Pulping = AlkaPolP) wurden im Rahmen dieser Arbeit ein Aufschlussprozess für Lignocellulosen in alkalischem Glycerin sowie die nachgeschaltete Aufbereitung der Produktströme entwickelt und gezeigt, dass diese den Ausgangspunkt eines vielversprechenden Bioraffineriekonzeptes bilden können. Es wurde nachgewiesen, dass der AlkaPolP-Prozess für alle Arten von Lignocellulose geeignet ist und diese innerhalb weniger Minuten nahezu vollständig delignifiziert.
Im Rahmen des Downstream Processings der Aufschlussprodukte wurden die enzymatische Hydrolyse des Zellstoffes, die Ligninfällung sowie die Aufreinigung des Ligninfiltrates genauer untersucht.
Ein Vergleich mit Literaturdaten anderer Verfahren zur Lignocellulosefraktionierung zeigte, dass mit dem AlkaPolP-Prozess mindestens ähnliche Produktausbeuten und -qualitäten erreicht werden. Vor allem für den Aufschluss von widerstandsfähigem Nadelholz ist der AlkaPolP-Prozess den meisten anderen Verfahren deutlich überlegen.
Nach der Konstruktion und Fertigung eines Reaktionsextruders wurden Betriebsbedingungen gefunden, mit denen Nadelholzschnitzel über mehrere Stunden hinweg in einem stabilen kontinuierlichen Prozess effektiv in alkalischem Glycerin aufgeschlossen werden konnten.
Auf der Grundlage von Literaturdaten und der durchgeführten Experimente wurde ein Gesamtprozess entworfen, der neben bereits untersuchten Verfahrensstufen auch eine Aufarbeitung des Ligninfiltrates durch eine Elektrodialyse und mehrere Destillationsschritte umfasst und eine Regeneration der Einsatzstoffe sowie eine Abtrennung der während des Aufschlusses gebildeten Carbonsäuren ermöglicht.
Die Ergebnisse dieser Arbeit bilden den Grundstein für die Weiterentwicklung des AlkaPolP-Prozesses. Es konnte gezeigt werden, dass dieser, im kontinuierlichen Betrieb durchführbare und für alle Arten von Lignocellulose geeignete, Aufschlussprozess einen vielversprechenden Ausgangspunkt für ein nachhaltiges Bioraffineriekonzept darstellt.
In diesem Band sammeln wir Beiträge, die zum Anlass einer Tagung am 19.10.2013 an der BTU Cottbus – Senftenberg gehalten und für diese Veröffentlichung von den Referenten ausformuliert wurden. Im Zentrum der Tagung stand die internationale Konvention der ILO 169, welche Rechte indigener Völker definiert, und die Frage, inwieweit diese Konvention und andere Ansätze der (Selbst-)Organisation von Verfügungsrechten an Natur Anregungen für die Ausgestaltung der Selbstverwaltungsrechte der Minderheit der Sorben/Wenden bieten.
This thesis investigates the efficient analysis, especially the model checking, of bounded stochastic Petri nets (SPNs) which can be augmented with reward structures. An SPN induces a continuous-time Markov chain (CTMC). A reward structure associates a reward to each state of the CTMC and defines a Markov reward model (MRM). The Continuous Stochastic Reward Logic (CSRL) permits to define sophisticated properties of CTMCs and MRMs which can be automatically verified by a model checker.
CSRL model checking can be realized on top of established numerical analysis techniques for CTMCs which are based on the multiplication of a matrix and a vector. However, as these techniques consider a matrix and a vector at least in the size of the number of reachable states, it is still challenging to deal with the famous state space explosion problem.
Several approaches, as for instance the use of Multi-terminal Decision Diagrams or Kronecker products to represent the matrix, have been investigated so far. They often enable the implementation of efficient CTMC analysis and are available in a couple of tools.
As an alternative to these established techniques I enhance the idea of an on-the-fly computation of the matrix entries deploying a symbolic state space representation. The set of state transitions defining the matrix will be enumerated by the firing of the transitions of the given SPN for all reachable states. The reachable states are encoded by means of Interval Decision Diagrams (IDD).
Further, I discuss crucial aspects for the implementation of the first multi-threaded symbolic CSRL model checker which is based on the developed technique and available in the tool MARCIE. An experimental comparison with the probabilistic model checker PRISM for a large number of experiments proves empirically the efficiency of the approach and its implementation, especially when investigating biological models.
Signalized flows - optimizing traffic signals and guideposts and related network flow problems
(2011)
Guideposts and traffic signals are important devices for controlling inner-city traffic and their optimized operation is essential for efficient traffic flow without congestion. In this thesis, we develop a mathematical model for guideposts and traffic signals in the context of network flow theory. Guideposts lead to confluent flows where each node in the network may have at most one outgoing flow-carrying arc. The complexity of finding maximum confluent flows is studied and several polynomial time algorithms for special graph classes are developed. For traffic signal optimization, a cyclically time-expanded model is suggested which provides the possibility of the simultaneous optimization of offsets and traffic assignment. Thus, the influence of offsets on travel times can be accounted directly. The potential of the presented approach is demonstrated by simulation of real-world instances.
In Zeiten des liberalisierten Strommarktes muss sich der Kraftwerkserrichter und -betreiber die Wahl seiner Primärenergie und die Auslegung jedes einzelnen Kraftwerks hinsichtlich Emissionen und last but not least die Errichtungs- und späteren Betriebskosten genau überlegen. Simulationen unter der Annahme verschiedener Szenarien sind bei diesem Marktumfeld zwingend erforderlich. Das Spannungsfeld zwischen Errichtungskosten, davon teilweise abhängiger Verfügbarkeit, Instandhaltungsphilosophie und Betriebskosten bildet die Motivation für die Instandhaltungsoptimierung und Simulationen zur Verfügbarkeitsprognose, die Thema dieser Arbeit sind. Der Schwerpunkt dieser Arbeit liegt auf der Planung der zeitbezogenen Instandhaltungsstrategie, bei der die Inspektion der Komponente nach einer vorgeschriebenen Zeitspanne erfolgt, die sich aus den Betriebs- und Herstellererfahrungen ableitet. Diese Problemstellung ist besonders anspruchsvoll, weil es durch Synergieeffekte zu starken Wechselwirkungen der Komponenten untereinander kommt. So besitzt jede Komponente ihre eigene theoretisch optimale Inspektionsperiode, im Verbund kann es jedoch sein, dass es wegen Freischaltungen oder Stillstandszeiten günstiger ist, einige Komponenten gemeinsam instandzuhalten und dabei eine einzelne Baugruppe vorzuziehen oder zurückzustellen. Die hieraus entstehenden Wechselwirkungen bilden eine nichtlineare, gemischt-ganzzahlige Berechnungsvorschrift für die Kostenabschätzung. Für die Optimierung dieser Instandhaltungsplanung wurde in der vorliegenden Arbeit ein neuer Ansatz entwickelt. Nachdem festgestellt wurde, dass klassische Optimierungsverfahren dieses Problem der Instandhaltungsoptimierung nicht zufriedenstellend lösen können, wurde eine Lösung auf Basis von „Genetischen Algorithmen“ entwickelt. Gleichzeitig zur Instandhaltungsoptimierung wurde aufbauend auf vorangegangenen Arbeiten am Lehrstuhl die Methodik der Verfügbarkeitsprognose komplexer kraftwerkstechnischer Anlagen weiterentwickelt und um die neue Komponente "Speicher" (ggf. mit Verlusten) erweitert. Mit dem Speichermodell wird die Verhaltensweise eines Speichers in die aufwandsreduzierte Monte-Carlo-Methode integriert.
The International Linear Collider offers a lot of different interesting challenges concerning the physics of elementary particles as well as the development of accelerator and detector technologies. In this thesis, we investigate two rather separate topics - the precision measurement of the Higgs boson mass and of its coupling to the neutral gauge boson Z and the research and development of sensors for BeamCal, which is a sub-detector system of the ILC detector. After the Higgs boson has been found, it is important to determine its properties with high precision. We employ the Higgs-strahlung process for this purpose. A virtual Z boson is created in the electron-positron collisions, which emits a Higgs-boson while becoming on-shell. Using the so-called recoil technique, we determine the Higgs boson mass by reconstructing the Z boson momentum and using the center-of-mass energy of the colliding leptons. This technique allows to measure the Higgs boson mass without considering the Higgs boson decay, i.e. it can be applied even to a Higgs boson invisibly decaying. Monte-Carlo studies including a full detector simulation and a full event reconstruction were performed to simulate the impact of a realistic detector model on the precision of the Higgs boson mass and production cross-section measurement. Also, an analytical estimate of the influence of a given detector performance on the Higgs boson mass measurement uncertainty is given. We included a complete sample of background events predicted by the Standard Model, which may have a detector response similar to the signal events. A probabilistic method is used for the signal-background separation. Several other probabilistic methods were used to investigate and improve the measurement of the Higgs-strahlung cross-section and the Higgs boson mass from the recoil mass spectrum obtained after the signal-background separation. For a Higgs boson mass of 120 GeV, a center-of-mass energy of 250 GeV and an integrated luminosity of 50/fb, a relative uncertainty of 10% is obtained for the cross-section measurement, and a precision of 118 MeV for the Higgs boson mass. The original motivation to use the recoil technique for a Higgs boson mass measurement independent on its decay modes could not be completely confirmed. For a Higgs boson mass of 180 GeV and 350 GeV, a statistics corresponding to 50/fb is not sufficient to achieve the necessary significance of the recoil mass peak above the background. The BeamCal is a calorimeter in the very forward region, about 3 m away from the nominal interaction point and surrounding the beam pipe. Due to its location, a lot of beamstrahlung pair particles will hit this calorimeter, representing a challenge for the operational reliability of the sensors under such harsh radiation conditions. We investigated single-crystal and polycrystalline CVD diamond, gallium arsenide and radiation-hard silicon as sensor candidates for their radiation hardness and found that diamond and gallium arsenide are promising. We used a 10 MeV electron beam of few nA to irradiate the samples under investigation up to doses of 5 MGy for diamond, up to about 1.5 MGy for gallium arsenide and up to about 90 kGy for silicon. We measured in regular periods the CCD to characterize the impact of the absorbed dose on the size of the signal, which is generated by electrons of a Sr-90 source crossing the sensor. Additional measurements such as the dark current and the CCD as functions of the voltage completed the characterization of the sensor candidates. For the single-crystal CVD diamond, also the thermally stimulated current was measured to determine amongst others the defect density created by irradiation. In the diamond samples, evidence for strong polarization effects inside the material was found and investigated in more detail. A phenomenological model based on semi-conductor physics was developed to describe the sensor properties as a function of the applied electric field, the dose and the dose rate. Its predictions were compared with the results of the measurements. Several parameters such as time scales and cross-sections were determined using this model, which led to ongoing investigations.