Der Elektrik/Elektronik- und der IT-Anteil steigt derzeit in den aktuellen Premium -Fahrzeugen stetig an. Durch den Verbau von immer mehr (hochvernetzten) Steuergeräten im Fahrzeug wird versucht, dem Wunsch der Kunden nach mehr Funktionalität, Sicherheit, etc. gerecht zu werden. Aufgrund der Komplexität und der großen Entwicklungssprünge sind jedoch die neuen Steuergeräte meistens nicht mehr kompatibel mit den Vorgänger-Steuergeräten. Hier ist ein großes Einsparpotenzial vorhanden und dies ist auch der Ansatzpunkt des Forschungsthemas ”CompA“ (Compatibility Analysis of Electronic Control Units), das in diesem Dokument beschrieben wird. Im Rahmen dieses Forschungsthemas wird eine Methode definiert, mit der zwei Steuergeräte auf Rückwärtskompatibilität untersucht werden können. Der Ansatz baut auf drei Schwerpunkten auf: • Definition eines Spezifikationsansatzes zur hinreichenden Beschreibung von Steuergeräten auf Basis eines XML-Schemas. Es werden hierbei sowohl die statischen als auch die dynamischen Eigenschaften abgebildet. Dieser neuartige Spezifikationsansatz bildet die Basis für den nächsten Schwerpunkt. • Definition einer Methode zur Analyse von Rückwärtskompatibilität von Steuergeräten auf Basis eines XML-Schemas. Die Rückwärtskompatibilität zweier Steuergeräte bzw. Systeme wird auf Basis der zugehörigen XML-Dokumente analysiert. Kern der Vergleichsmethode ist hierbei ein effizientes Mapping der XML-Dokumente und ein Experten-Regelwerk. • Definition einer Methode zur Kompatibilitätsanalyse von Message Sequence Charts (MSC). MSCs werden eingesetzt, um dynamisches Verhalten an der Schnittstelle von Steuergeräten zu beschreiben. In diesem Dokument wird ein Ansatz definiert, mit dem MSCs zueinander auf Rückwärtskompatibilität geprüft werden können. Der Vergleich erfolgt auf Basis deterministischer Automaten. Des Weiteren wird im vorliegenden Dokument ein Konzept für eine graphische Benutzeroberfläche (GUI) vorgestellt, die zur Spezifikation von Steuergeräten geeignet ist und sich adaptiv unterschiedlichen Schemata anpasst. Alle vorgestellten Konzepte wurden in einem Software-Tool implementiert und die Gültigkeit an mehreren Beispielen validiert.

The ferroelectricity in fluorite-structure oxides such as hafnia and zirconia has attracted increasing interest since 2011. They have various advantages such as Si-based complementary metal oxide semiconductor-compatibility, matured deposition techniques, a low dielectric constant and the resulting decreased depolarization field, and stronger resistance to hydrogen annealing. However, the wake-up effect, imprint, and insufficient endurance are remaining reliability issues. Therefore, this paper reviews two major aspects: the advantages of fluorite-structure ferroelectrics for memory applications are reviewed from a material’s point of view, and the critical issues of wake-up effect and insufficient endurance are examined, and potential solutions are subsequently discussed.

Angesichts der steigenden Anzahl von Funktionen in Fahrzeugen, insbesondere im Pkw, sind neue Bedien- und Anzeigesysteme notwendig, die eine optimale Bedienbarkeit der Funktionen sicherstellen und die Ablenkung des Fahrers von der Fahraufgabe minimieren. Im Rahmen dieser Arbeit wird dazu der Einsatz variabler Bedienelemente verfolgt, die sich der aktuellen Bedienaufgabe optimal anpassen. Ziel dieser Arbeit ist es insbesondere, Vorgehensweisen und Gestaltungsempfehlungen für variable Beschriftung von Tasten und zentrale Bedienelemente mit variabler Formcodierung für abgesetzte Bedien- und Anzeigesysteme zu erarbeiten. Unter Zuhilfenahme arbeitswissenschaftlicher Methoden wird dafür zunächst die Gestaltung variabler Beschriftung von Tasten untersucht und Empfehlungen für deren Gestaltung abgeleitet. Des Weiteren wird die Entwicklung eines zentralen Bedienelements mit variabler Formcodierung beschrieben. Dazu wird, aufbauend auf bekannten Entwicklungs- und Auswahlverfahren für Bedienelemente, eine Vorgehensweise zur Entwicklung variabler Bedienelemente vorgeschlagen. Das entwickelte variable zentrale Bedienelement wird darüber hinaus hinsichtlich seiner Bedienbarkeit und Ablenkungswirkung bewertet. Aus den Versuchsergebnissen konnten Gestaltungsempfehlungen abgeleitet werden, wie durch ein variables zentrales Bedienelement die Bedienbarkeit von abgesetzten Bedien- und Anzeigesystemen verbessert und die Ablenkungswirkung reduziert werden kann. Die Ergebnisse dieser Arbeit leisten einen Beitrag zur Entwicklung zukünftiger abgesetzter Bedien- und Anzeigesysteme und geben insbesondere Entwicklern und Gestaltern eine Hilfestellung beim Einsatz variabler Bedienelemente.

Geodetic adjustment models are often set up in a way that the model parameters need to fulfil certain constraints. The normalized Lagrange multipliers have been used as a measure of the strength of constraint in such a way that if one of them exceeds in magnitude a certain threshold then the corresponding constraint is likely to be incompatible with the observations and the rest of the constraints. We show that these and similar measures can be deduced as test statistics of a likelihood ratio test of the statistical hypothesis that some constraints are incompatible in the same sense. This has been done before only for special constraints (Teunissen in Optimization and Design of Geodetic Networks, pp. 526–547, 1985). We start from the simplest case, that the full set of constraints is to be tested, and arrive at the advanced case, that each constraint is to be tested individually. Every test is worked out both for a known as well as for an unknown prior variance factor. The corresponding distributions under null and alternative hypotheses are derived. The theory is illustrated by the example of a double levelled line. / Geodätische Ausgleichungsmodelle werden oft auf eine Weise formuliert, bei der die Modellparameter bestimmte Bedingungsgleichungen zu erfüllen haben. Die normierten Lagrange-Multiplikatoren wurden bisher als Maß für den ausgeübten Zwang verwendet, und zwar so, dass wenn einer von ihnen betragsmäßig eine bestimmte Schwelle übersteigt, dann ist davon auszugehen, dass die zugehörige Bedingungsgleichung nicht mit den Beobachtungen und den restlichen Bedingungsgleichungen kompatibel ist. Wir zeigen, dass diese und ähnliche Maße als Teststatistiken eines Likelihood-Quotiententests der statistischen Hypothese, dass einige Bedingungsgleichungen in diesem Sinne inkompatibel sind, abgeleitet werden können. Das wurde bisher nur für spezielle Bedingungsgleichungen getan (Teunissen in Optimization and Design of Geodetic Networks, pp. 526–547, 1985). Wir starten vom einfachsten Fall, dass die gesamte Menge der Bedingungsgleichungen getestet werden muss, und gelangen zu dem fortgeschrittenen Problem, dass jede Bedingungsgleichung individuell zu testen ist. Jeder Test wird sowohl für bekannte, wie auch für unbekannte a priori Varianzfaktoren ausgearbeitet. Die zugehörigen Verteilungen werden sowohl unter der Null- wie auch unter der Alternativhypthese abgeleitet. Die Theorie wird am Beispiel einer Doppelnivellementlinie illustriert.

In present study, high energy electrons were used to modify blends based on RP and PP under two conditions: stationary and in-stationary conditions. Modification of blend under stationary condition is a process which is established in industrial application and where required absorbed dose is applied to form parts (after molding) at room temperature and in solid state. On the contrary, the modification of blend with high energy electrons under in-stationary condition is a new process (electron induced reactive processing) where required absorbed dose is applied to a molten state during melt mixing process. The modification of blend based on RP and PP under stationary condition resulted in slightly enhancement of tensile properties while the modification of this blend under in-stationary condition resulted in deterioration of tensile properties due to degradation of the PP matrix. Thus, special grafting agent (GA) is required for improving the tensile properties. The effect of different GAs on tensile, thermal, dynamic mechanical as well as morphological properties and melt flow properties of blends based on RP and PP were determined. The optimum absorbed dose for modification of blend based on RP and PP under both conditions was evaluated. In addition, the effect of treatment parameters of electron induced reactive processing was investigated.

Geodetic adjustment models are often set up in a way that the model parameters need to fulfil certain constraints. The normalized Lagrange multipliers have been used as a measure of the strength of constraint in such a way that if one of them exceeds in magnitude a certain threshold then the corresponding constraint is likely to be incompatible with the observations and the rest of the constraints. We show that these and similar measures can be deduced as test statistics of a likelihood ratio test of the statistical hypothesis that some constraints are incompatible in the same sense. This has been done before only for special constraints (Teunissen in Optimization and Design of Geodetic Networks, pp. 526–547, 1985). We start from the simplest case, that the full set of constraints is to be tested, and arrive at the advanced case, that each constraint is to be tested individually. Every test is worked out both for a known as well as for an unknown prior variance factor. The corresponding distributions under null and alternative hypotheses are derived. The theory is illustrated by the example of a double levelled line. / Geodätische Ausgleichungsmodelle werden oft auf eine Weise formuliert, bei der die Modellparameter bestimmte Bedingungsgleichungen zu erfüllen haben. Die normierten Lagrange-Multiplikatoren wurden bisher als Maß für den ausgeübten Zwang verwendet, und zwar so, dass wenn einer von ihnen betragsmäßig eine bestimmte Schwelle übersteigt, dann ist davon auszugehen, dass die zugehörige Bedingungsgleichung nicht mit den Beobachtungen und den restlichen Bedingungsgleichungen kompatibel ist. Wir zeigen, dass diese und ähnliche Maße als Teststatistiken eines Likelihood-Quotiententests der statistischen Hypothese, dass einige Bedingungsgleichungen in diesem Sinne inkompatibel sind, abgeleitet werden können. Das wurde bisher nur für spezielle Bedingungsgleichungen getan (Teunissen in Optimization and Design of Geodetic Networks, pp. 526–547, 1985). Wir starten vom einfachsten Fall, dass die gesamte Menge der Bedingungsgleichungen getestet werden muss, und gelangen zu dem fortgeschrittenen Problem, dass jede Bedingungsgleichung individuell zu testen ist. Jeder Test wird sowohl für bekannte, wie auch für unbekannte a priori Varianzfaktoren ausgearbeitet. Die zugehörigen Verteilungen werden sowohl unter der Null- wie auch unter der Alternativhypthese abgeleitet. Die Theorie wird am Beispiel einer Doppelnivellementlinie illustriert.

Angesichts der steigenden Anzahl von Funktionen in Fahrzeugen, insbesondere im Pkw, sind neue Bedien- und Anzeigesysteme notwendig, die eine optimale Bedienbarkeit der Funktionen sicherstellen und die Ablenkung des Fahrers von der Fahraufgabe minimieren. Im Rahmen dieser Arbeit wird dazu der Einsatz variabler Bedienelemente verfolgt, die sich der aktuellen Bedienaufgabe optimal anpassen. Ziel dieser Arbeit ist es insbesondere, Vorgehensweisen und Gestaltungsempfehlungen für variable Beschriftung von Tasten und zentrale Bedienelemente mit variabler Formcodierung für abgesetzte Bedien- und Anzeigesysteme zu erarbeiten. Unter Zuhilfenahme arbeitswissenschaftlicher Methoden wird dafür zunächst die Gestaltung variabler Beschriftung von Tasten untersucht und Empfehlungen für deren Gestaltung abgeleitet. Des Weiteren wird die Entwicklung eines zentralen Bedienelements mit variabler Formcodierung beschrieben. Dazu wird, aufbauend auf bekannten Entwicklungs- und Auswahlverfahren für Bedienelemente, eine Vorgehensweise zur Entwicklung variabler Bedienelemente vorgeschlagen. Das entwickelte variable zentrale Bedienelement wird darüber hinaus hinsichtlich seiner Bedienbarkeit und Ablenkungswirkung bewertet. Aus den Versuchsergebnissen konnten Gestaltungsempfehlungen abgeleitet werden, wie durch ein variables zentrales Bedienelement die Bedienbarkeit von abgesetzten Bedien- und Anzeigesystemen verbessert und die Ablenkungswirkung reduziert werden kann. Die Ergebnisse dieser Arbeit leisten einen Beitrag zur Entwicklung zukünftiger abgesetzter Bedien- und Anzeigesysteme und geben insbesondere Entwicklern und Gestaltern eine Hilfestellung beim Einsatz variabler Bedienelemente.

Serviceevolution erlaubt es, einen Service durch einen anderen Service zu verfeinern oder zu ersetzen. Der Austausch durch einen anderen Service sollte garantieren, dass alle oder ausgewählte Partner des Originalservices erhalten bleiben. In dieser Arbeit entwickeln wir einen Ansatz welcher einem Serviceentwickler helfen soll, Analyse- und Syntheseaufgaben für den Serviceaustausch so durchzuführen, dass jeder Partner eines gegebenen Services beim Austausch erhalten bleibt. Wir modellieren einen Kontrollfluss eines Services als Beschreibung der Reihenfolge von asynchron kommunizierenden Ereignissen mittels eines impliziten ungeordneten Nachrichtenspeichers. Weiterhin studieren wir den Verhaltensaspekt von korrekter Interaktion zwischen Services und konzentrieren uns auf zwei Varianten von Verklemmungsfreiheit als Korrektheitskriterien von Serviceersetzung. Der wichtigste Beitrag ist ein Ansatz zur Charakterisierung jedes möglichen Austausches eines gegebenen Services. Die zentrale Idee dieses Ansatzes ist eine systematische Untersuchung der Verbindung zwischen einem Service und all seiner Partner bzgl. eines gegebenen Korrektheitskriteriums. Wir nutzen diese Verbindung um von einem gegebenen Service einen kanonischen Partner und einen kanonischen Austausch bzgl. aller Partner zu synthetisieren. Ein Service welcher den kanonischen Austausch eines gegebenen Services verfeinert wird als Austausch des gegebenen Services angesehen, wenn die Menge all seiner Partner jeden Partner des gegebenen Services enthält. Mit dem kanonischen Austausch eines gegebenen Services identifizieren wir die Menge der möglichen austauschenden Services eines gegebenen Services bei der jeder exakt die gleichen Partner wie der gegebene Service hat. Einige Ergebnisse dieser Arbeit fundieren auf früheren Arbeiten zu Austausch und Korrektheit von Services und können daher mit diesen verbunden werden um schwierigere Analyse- und Syntheseaufgaben für den Serviceaustausch durchzuführen. / Service evolution allows one service to be refined into or substituted by another service. Substituting one service by another service should guarantee to preserve all or selected partners of the original service. In this thesis, we develop an approach that shall assist a service designer, such as a domain expert, to perform analysis and synthesis tasks on service substitution. We model a control flow of services that describes the ordering of asynchronously communicating events over an implicit unordered message buffer. We study the behavioral aspect of correct interaction between services and concentrate on two variants of deadlock freedom as correctness criteria of service substitution. The major contribution of this thesis is an approach for characterizing the set of all substitutes for a given service. We systematically investigate the relationship between a service and all its partners under a given correctness criterion and employ this relationship to synthesize from a given service its canonical partner and its canonical substitute with respect to all partners. A service that refines the canonical substitute for a given service is regarded as a substitute for the given service if the set of all its partners includes every partner of the given service. With the canonical substitute of a given service, we identify a specific subset of the set of all substitutes for the given service, each of which has exactly the same set of partners as that of the given service. Parts of the results in this thesis have been established upon previous works on service substitution and correctness of services. Consequently, we can also combine our results with the related existing techniques to perform more sophisticated analysis and synthesis tasks on service substitution.

The present thesis is devoted to the investigation of modulated structures as well as the direct measurement of magnetocaloric effect (MCE) in Ni-Mn based magnetic shape memory (MSM) Heusler compounds in pulsed magnetic fields after analyzing isothermal entropy data taken in static magnetic fields. The emphasis is on the modulated structure of MSM Heusler compounds because of lower twinning stress which facilitates the easy transformation from austenite to martensite structure. Synchrotron x-ray powder diffraction (SXRPD) was carried out to study the modulated structure and NPD for antisite disorder as Ni and Mn have easily the same atomic scattering factor. Direct measurement of the adiabatic temperature change ΔTad was done in pulsed magnetic fields, because of fast response of ~10 to 100 ms to the sample temperature on magnetic field, providing adiabatic conditions. It also gives an opportunity of very high magnetic fields up to 70 T because of short pulse duration during the measurement. The modulated structure has been studied for the off-stoichiometric Ni2Mn1.4In0.6 and Ni1.9Pt0.1MnGa MSM Heusler compounds from SXRPD and NPD. Ni2Mn1.4In0.6 exhibits martensitic transition at TM ~ 295 K and Curie temperature TC ~ 315 K. Rietveld refinement reveals uniform atomic displacement in the modulated structure of martensite phase and the absence of premartensite phase and phason broadening of the satellite peaks which was further confirmed by HRTEM study. Therefore, the structural modulation in Ni2Mn1.4In0.6 can be successfully explained in term of the adaptive phase model. Whereas, Ni1.9Pt0.1MnGa shows the premartensite phase in addition to the martensite and austenite phases and follows the soft phonon model. The temperature dependent ac-susceptibility shows the change in slope at different temperatures 365, 265, 230 and 220 K corresponding to the Curie temperature TC, first premartensite T1, second premartensite T2 and martensite temperature TM, respectively. Temperature-dependent high resolution SXRPD data analysis shows first, a nearly 3M modulated premartensite phase with an average cubic-like feature i.e. negligible Bain distortion of the elementary L21 unit cell results from the austenite phase. This phase then undergoes an isostructural phase transition 3M like premartensite phase with robust Bain distortion in the temperature range from 220 to 195 K. Below 195 K, the martensite phase appears which results from the larger Bain-distorted premartensite phase. In this work, the magnetocaloric properties of Ni2.2Mn0.8Ga and Ni1.8Mn1.8In0.4 magnetic shape memory (MSM) Heusler compounds were studied. Ni2.2Mn0.8Ga exhibits the reversible conventional MCE, measured from isothermal entropy change ΔSM and adiabatic temperature change ΔTad because of the geometric compatibility condition (GCC) for cubic austenite phase to tetragonal martensite phase as a consequence of low thermal hysteresis of the martensite phase transition. The reversible MCE has been confirmed by applying more than one pulse in the hysteresis region at 317 K. Ni1.8Mn1.8In0.4 possess improved reversible behavior of inverse MCE due to the closely satisfying of GCC from cubic austenite to modulated monoclinic martensite structure. The maximum value of ΔSM has been found to the same for both heating and cooling curves measured from isothermal magnetization M(T) curves until a magnetic field of 5 T. The adiabatic temperature change ΔTad results in a value of -10 K by applying a magnetic field of 20 T in a pulsed magnetic field. Furthermore, reversible magnetostriction of 0.3% was observed near the first-order martensite phase transition temperatures 265, 270 and 280 K. A reduction of thermal hysteresis has been found in MSM Heusler compounds Ni2Mn1.4In0.6 and Ni1.8Co0.2Mn1.4In0.6 with the application of hydrostatic pressure followed by GCC from pressure dependent x-ray diffraction in both austenite and martensite phase. By increasing pressure, the lattice parameters of both phases change in such a way that they increasingly satisfy the GCC. The approach of GCC for different kind of martensite structures (tetragonal, orthorhombic and monoclinic) will help to design new MSM Heusler compounds taking advantage of first-order martensite phase transition.