Refine
Year of publication
- 2009 (135) (remove)
Document Type
- Doctoral Thesis (76)
- Report (35)
- Periodical Part (9)
- Preprint (8)
- Master's Thesis (3)
- Working Paper (2)
- Diploma Thesis (1)
- Other (1)
Keywords
- Algebraische Geometrie (2)
- Datenanalyse (2)
- Derivat <Wertpapier> (2)
- Extrapolation (2)
- Finanzmathematik (2)
- Geothermal Flow (2)
- Mikroskopie (2)
- Numerische Mathematik (2)
- Oxidativer Stress (2)
- Reaktive Sauerstoffspezies (2)
Faculty / Organisational entity
- Kaiserslautern - Fachbereich Mathematik (30)
- Fraunhofer (ITWM) (29)
- Kaiserslautern - Fachbereich Maschinenbau und Verfahrenstechnik (20)
- Kaiserslautern - Fachbereich Chemie (16)
- Kaiserslautern - Fachbereich Informatik (11)
- Kaiserslautern - Fachbereich Sozialwissenschaften (11)
- Kaiserslautern - Fachbereich ARUBI (6)
- Kaiserslautern - Fachbereich Biologie (4)
- Kaiserslautern - Fachbereich Elektrotechnik und Informationstechnik (3)
- Kaiserslautern - Fachbereich Wirtschaftswissenschaften (2)
Nowadays, vehicle control systems such as anti-lock braking systems, electronic stability control, and cruise control systems yield many advantages. The electronic control units that are deployed in this specific application domain are embedded systems that are integrated in larger systems to achieve predefined applications. Embedded systems consist of embedded hardware and a large software part. Model-based development for embedded systems offers significant software-development benefits that are pointed out in this thesis. The vehicle control system Adaptive Cruise Control is developed in this thesis using a model-based software development process for embedded systems. As a modern industrial design tool that is prevalent in this domain, simulink,is used for modeling the environment, the system behavior, for determining controller parameters, and for simulation purposes. Using an appropriate toolchain, the embedded code is automatically generated. The adaptive cruise control system could be successfully implemented and tested within this short timespan using a waterfall model without increments. The vehicle plant and important filters are fully deduced in detail. Therefore, the design of further vehicle control systems needs less effort for development and precise simulation.
We study the extension of techniques from Inductive Logic Programming (ILP) to temporal logic programming languages. Therefore we present two temporal logic programming languages and analyse the learnability of programs from these languages from finite sets of examples. In first order temporal logic the following topics are analysed: - How can we characterize the denotational semantics of programs? - Which proof techniques are best suited? - How complex is the learning task? In propositional temporal logic we analyse the following topics: - How can we use well known techniques from model checking in order to refine programs? - How complex is the learning task? In both cases we present estimations for the VC-dimension of selected classes of programs.
Die vorliegende Arbeit befasst sich mit der Generierung von organischen Nanopartikeln in einer übersättigten Gasströmung. Als Versuchsmaterialien kamen Kupferphthalocyanin und Paliogen Rot L4120 zum Einsatz. Sie werden bereits erfolgreich in der Informations- und Kommunikationstechnologie als Bestandteil in Halbleiterbaugruppen oder organischen Leuchtdioden eingesetzt. Gerade in solchen Anwendungsgebieten ist eine hohe Reinheit der Materialien unerlässlich. Gasphasenprozesse bieten diesen Vorteil einer hohen Reinheit der generierten Partikeln und schaffen deswegen im Hinblick auf innovative Anwendungsgebiete, den Anreiz zur Erforschung alternativer Prozesse zur Herstellung nanoskaliger organischer Partikeln aus der Gasphase. Durch die Sublimation des Ausgangsmaterials wurde eine untersättigte bis gesättigte Gasströmung erzeugt. Die Übersättigung wurde durch die adiabatische Entspannung in einer Lavaldüse und der sich anschließenden Expansion des Freistrahls in einer Expansionskammer erzeugt. Die dafür entwickelte Anlage wurde dabei so konzipiert, dass durch die modulare Bauweise verschiedene Techniken zur Generierung, Modifizierung oder Konditionierung der organischen Partikeln untersucht werden konnten. Die Arbeit gliedert sich in die vier folgenden Untersuchungsschwerpunkte: Generierung organischer Partikeln durch adiabatische Entspannung in Düsen. • Steuerung der Partikelbildung durch Prozessparameter. • Beeinflussung der Partikelbildung durch Ionen. • Herstellung von Core-Shell-Strukturen mit einem organischen Beschichtungsmaterial.
Bei der Erprobung sicherheitsrelevanter Bauteile von Nutzfahrzeugen steht man vor der Aufgabe, die sehr vielfältige Belastung durch die Kunden abschätzen zu müssen und daraus ein Prüfprogramm für die Bauteile abzuleiten, das mehreren gegenläufigen Anforderungen gerecht werden muss: Das Programm muss scharf genug sein, damit bei erfolgreicher Prüfung ein Ausfall im Feld im Rahmen eines bestimmungsgemäßen Gebrauchs ausgeschlossen werden kann, es soll aber nicht zu einer Überdimensionierung der Bauteile führen, und es soll mit relativ wenigen Bauteilversuchen eine ausreichende Aussagesicherheit erreicht werden. Wegen der hohen Anforderungen bzgl. Sicherheit müssen bei der klassischen statistischen Vorgehensweise – Schätzen der Verteilung der Kundenbeanspruchung aus Messdaten, Schätzen der Verteilung der Bauteilfestigkeit aus Versuchsergebnissen und Ableiten einer Ausfallwahrscheinlichkeit – die Verteilungen in den extremen Rändern bekannt sein. Dazu reicht aber das Datenmaterial in der Regel bei weitem nicht aus. Bei der klassischen „empirischen“ Vorgehensweise werden Kennwerte der Beanspruchung und der Festigkeit verglichen und ein ausreichender Sicherheitsabstand gefordert. Das hier vorgeschlagene Verfahren kombiniert beide Methoden, setzt dabei die Möglichkeiten der statistischen Modellierung soweit aufgrund der Datenlage vertretbar ein und ergänzt die Ergebnisse durch empirisch begründete Sicherheitsfaktoren. Dabei werden bei der Lastfestlegung die im Versuch vorhandenen Möglichkeiten berücksichtigt. Hauptvorteile dieses Verfahrens sind a) die Transparenz bzgl. der mit statistischen Mitteln erreichbaren Aussagen und des Zusammenspiels zwischen Lastermittlung und Versuch und b) die Möglichkeit durch entsprechenden Aufwand bei Messungen und Erprobung die empirischen zugunsten der statistischen Anteile zu reduzieren.
Classical geometrically exact Kirchhoff and Cosserat models are used to study the nonlinear deformation of rods. Extension, bending and torsion of the rod may be represented by the Kirchhoff model. The Cosserat model additionally takes into account shearing effects. Second order finite differences on a staggered grid define discrete viscoelastic versions of these classical models. Since the rotations are parametrised by unit quaternions, the space discretisation results in differential-algebraic equations that are solved numerically by standard techniques like index reduction and projection methods. Using absolute coordinates, the mass and constraint matrices are sparse and this sparsity may be exploited to speed-up time integration. Further improvements are possible in the Cosserat model, because the constraints are just the normalisation conditions for unit quaternions such that the null space of the constraint matrix can be given analytically. The results of the theoretical investigations are illustrated by numerical tests.
This paper discusses the possibility to use and apply the ideas of theWave BasedMethod, which has been developed especially for the steady–state acoustic areas, i.e. to solve the Helmholtz type boundary value problems in a bounded domain, in non–acoustics areas such as steady–state temperature propagation, calculation of the velocity potential function of a liquid flux, calculation of the light irradience in a liver tissue/tumor, etc.
In this paper we investigate the use of the sharp function known from functional analysis in image processing. The sharp function gives a measure of the variations of a function and can be used as an edge detector. We extend the classical notion of the sharp function for measuring anisotropic behaviour and give a fast anisotropic edge detection variant inspired by the sharp function. We show that these edge detection results are useful to steer isotropic and anisotropic nonlinear diffusion filters for image enhancement.
This contribution presents a model reduction method for nonlinear problems in structural mechanics. Emanating from a Finite Element model of the structure, a subspace and a lookup table are generated which do not require a linearisation of the equations. The method is applied to a model created with commercial FEM software. In this case, the terms describing geometrical and material nonlinearities are not explicitly known.
This work is concerned with dynamic flow problems, especially maximal dynamic flows and earliest arrival flows - also called universally maximal flows. First of all, a survey of known results about existence, computation and approximation of earliest arrival flows is given. For the special case of series-parallel graphs a polynomial algorithm for computing maximal dynamic flows is presented and this maximal dynamic flow is proven to be an earliest arrival flow.
Obwohl in mikrobiologischen Hochsicherheitslaboratorien einzelne Methoden des Risikomanagements durch gesetzliche Vorgaben verankert sind bzw. aufgrund von negativen Erfahrungen mit Laborinfektionen und prospektiver Sicherheitsforschung eingeführt wurden, fehlt bisher meist ein systematischer Riskomanagementansatz. Eine Möglichkeit zur Implementierung von „Risikomanagement als Führungsprozess” mittels der neuen, generischen Norm ISO 31000 „Risk management - Principles and guidelines” sollte in dieser Arbeit auf seine Eignung für ein Hochsicherheitslabor betrachtet werden. Dabei zeigte sich am konkreten Beispiel, dass durch die aktuelle Einführung eines QM-Systems die für ein Risikomanagementsystem notwendigen Strukturen prinzipiell vorhanden sind und genutzt werden können, aber dennoch ein erheblicher Schulungsbedarf bei den Mitarbeitern hinsichtlich methodischer Kompetenzen bestehen dürfte. Trotz theoretisch guter Integrierbarkeit des Risikomanagements in das QM-System würde die Einführung ein mittelfristiges, personalintensives Projekt darstellen. Als erfolgskritische Faktoren für die Einführung wurden weiterhin die Unterstützung durch die Leitung des Labors und die Entwicklung einer adäquaten, offenen Risikokultur identifiziert. Die Öffnung einer eher hierarchisch geprägten Organisationskultur würde ebenfalls Zeit kosten und wäre wahrscheinlich nicht ohne externe Beratung zu bewältigen. Erst dann könnte die gewünschte Risikokultur verwirklicht werden. Der grundlegende Wunsch zu einem veränderten Management im Labor ist aber auf allen Ebenen des betrachteten Forschungsinstituts spürbar, auch die Laborleitung unterstützt partizipative Elemente explizit. Das Rahmenwerk für ein Risikomanagementsystem wurde daher entworfen und in seinen Elementen für ein Hochsicherheitslabor betrachtet. Die jeweilige Ausgestaltung sollte durch eine Projektgruppe entwickelt werden. Dies stellt aufgrund der guten Erfahrungen mit Projektarbeit im betrachteten Institut keine relevante Hürde dar. Es erscheint daher möglich, mit der künftigen ISO 31000 (unter Zuhilfenahme verwandter Dokumente), ein Risikomanagementsystem für ein mikrobiologisches Hochsicherheitslabor einzuführen.