Logikbasierte Optimierungsverfahren für die Bedarfsprognose

Kunden der Premiumklasse können sich beim Neuwagenkauf eine individuelle Konfiguration auf Basis mehrerer hundert Ausstattungsoptionen zusammenstellen. Die exorbitant hohe Anzahl möglicher Konfigurationsvarianten wird dabei in Boolescher Algebra dokumentiert. Im Fall der Materialbedarfsplanung werden Verbauraten zukünftiger Sonderausstattungen prognostiziert. Das grundsätzliche Problem, die Prognosen konsistent zu den angebotenen Konfigurationsvarianten zu gestalten, ist verwandt mit dem Entscheidungsproblem Probabilistic Satisfiability (PSAT). PSAT wurde Mitte des 19. Jahrhundert von George Boole formuliert und verknüpft die Aussagenlogik mit der Wahrscheinlichkeitsrechnung. Dennoch konnten erst Ende des 20. Jahrhunderts größere Instanzen mit Hilfe von linearer Optimierung gelöst werden. Auf Basis von PSAT werden in dieser Arbeit mathematisch exakte Methoden entwickelt, mit denen ein Planer von Verbauraten den durch die Produktdokumentation beschriebenen Raum der möglichen Konfigurationsvarianten vollständig berücksichtigen kann. Die Methoden ermöglichen es, einen zur Produktdokumentation konsistenten Bedarfsplan zu entwickeln. Die Teilebedarfsprognose unterstützend können außerdem die durch einen Bedarfsplan induzierten Verbauraten aller Bauteile evaluiert werden, die mit der Produktdokumentation logisch verknüpft sind

Intersection test and blossoming perturbation for disk parametric curves and ball parametric surfaces

Errors in curve and surface representation due to inaccuracies in the data are considered and accounted for by introducing disk parametric curves and ball parametric surfaces. Intersection test algorithms and interval extensions using blossoming are discussed for each of the three cases of Bezier curves, tensor product surfaces, and triangular patches. A stability analysis is also performed for each of the three cases. It is shown that under certain restrictions disk Bezier curves and triangular ball Bezier patches are stable with respect to perturbations of the control disks ( balls); whereas tensor product ball Bezier surfaces are in general not

Intersection test and blossoming perturbation for disk parametric curves and ball parametric surfaces

Errors in curve and surface representation due to inaccuracies in the data are considered and accounted for by introducing disk parametric curves and ball parametric surfaces. Intersection test algorithms and interval extensions using blossoming are discussed for each of the three cases of Bézier curves, tensor product surfaces, and triangular patches. A stability analysis is also performed for each of the three cases. It is shown that under certain restrictions disk Bézier curves and triangular ball Bézier patches are stable with respect to perturbations of the control disks (balls); whereas tensor product ball Bézier surfaces are in general not

Intervallarithmetische Dependenzanalyse in der Oekonometrie

In der vorliegenden Arbeit wird ein neuartiges, an den methodologischen Normen des Kritischen Rationalismus orientiertes Konzept zur Analyse empirischer Zusammenhänge zwischen (makro)ökonomischen Grössen vorgestellt. Im Gegensatz zum traditionell verwendeten Regressionsansatz beruht der hier entwickelte Ansatz auf der Annahme, dass die Koeffizienten einer ökonometrischen Strukturgleichung innerhalb bestimmter Intervallgrenzen schwanken. Diese Annahme gestattet einen vollständigen Verzicht auf die Spezifikation einer separaten stochastischen Komponente. Dadurch werden die logischen Falsifikationsbedingungen ökonometrischer Aussagensysteme bei beschränkter empirischer Basis entscheidend verbessert

Forum - Ausgabe 2012/2013

Informiert über die Forschungsaktivitäten an der Hochschule Konstanz im Jahr 2012/2013

Forum - Ausgabe 2011/2012

Informiert über die Forschungsaktivitäten an der Hochschule Konstanz im Jahr 2011/2012

Forum - Ausgabe 2014

Informiert über die Forschungsaktivitäten an der Hochschule Konstanz im Jahr 2014

An adapted Polyreferenz procedure and its application in the system identification

Die vorliegende Arbeit gliedert sich in das Gebiet der Systemidentifikation ein. Besonderes Augenmerk wird auf die Detektion, die Lokalisierung und die Quantifizierung von Systemveränderungen gerichtet. Für diese Ziele werden -basierend auf Schwingungsmessungen- modale Parameter sowie Ein- und Ausgangsgrößen im Frequenzbereich extrahiert. Die in dieser Arbeit entwickelte Adaption des Polyreferenz-Verfahrens beruht auf einer veränderten Bestimmung der Fundamentalmatrix mit Hilfe der verallgemeinerten Singulärwertzerlegung. Eine Vorfilterung, die eine Reduktion der Frequenzanteile im Signal bewirkt, ist dabei Voraussetzung. Diese basiert auf dem Einsatz rekursiver Filtertechiken und der einfachen Singulärwertzerlegung. Als Resultat können modale Parameter auch im Falle, wenn eng benachbarte und verrauschte Signalanteile vorliegen oder nur wenige Mess- und Anregungspunkte zur Verfügung stehen, präzise bestimmt und damit auch sehr geringe Syemveränderungen detektiert werden. Die mit dem adaptierten Polyreferenz-Verfahren extrahierten modalen Parameter werden in der Lokalisierung von Systemveränderungen eingesetzt. Zur Bestimmung modaler Parameter auch an realen Bauwerken wird die Konstruktion eines Impulshammers vorgestellt. Besonderes Gewicht wird dabei auf die Gestaltung des Erregerkraftspektrums gelegt. Die Arbeit enthält eine mögliche Vorgehensweise zum Abgleich von Finite-Elemente Modellen. In vielen praxisnahen Fällen sind weit weniger modale Parameter vorhanden, als freie, zum Abgleich bestimmte Parameter gesucht werden. Das Gleichungssystem ist schlechtgestellt und benötigt eine Regularisierung. Eine andere Möglichkeit zur Korrektur von Rechenmodellen bietet das Projektive Eingangsgrößenverfahren, das auf der Basis unvollständig gemessener Ein- und Ausgangsgrößen arbeitet. In einer Versagenswahrscheinlichkeitsstudie wird die Robustheit des Verfahrens gegenüber! Rauscheinflüssen untersuchtThis PhD thesis is related to the field of system identificaton focusing on detection of occurence, localisation and amount assessment of damage. This is done as well by extraction of modal parameters as input- and output residuals from vibration measurements. The presented work describes a developed adaption of the polyreference-procedure. It is based on a determination of the fundamental matrix by using the generalized singular value decomposition. A pre-filtering of the time series which kept the signals in a narrow frequenvy band higly supports this application. Two kinds of filter techniques can be combined: The classical way of recursive filter technique and the tool of the singular value decomposition. Therefore, modal parameters can be determined precisley in different cases if the data are strongly corrupted by noise, only few measuring- and excitation points are available, close-spa! ced frequency parts appear in the signal. This facts allow the detection of small structural changes in dynamic systems. The modal parameters extracted by the adapted polyreference-procedure are applied to localise the damage. For the extraction of modal parameters on real structures the construction of an impact hammer is presented with particular respect to the configuration of the excitation spectra. This work contains a possible way for a finite element model updating. In many relevant cases, if much more free parameters are searched than modal parameters are available, this problem is ill-posed and needs regularisation. The Projective Input Residual Method (PIRM) follows another way to correct computational models. It is operational on the extraction of input- and output residuals. Within a reliability study the robustness of the PIRM against noise influences is investigated