Cyber-physical systems and the Internet of Things raise various challenges concerning the modelling and analysis of large modular systems. Models for such systems typically require uncountable state and action spaces, samplings from continuous distributions, and non-deterministic choices over uncountable many alternatives. In this thesis we fo- cus on a general modelling formalism for stochastic systems called stochastic transition system. We introduce a novel composition operator for stochastic transition systems that is based on couplings of probability measures. Couplings yield a declarative modelling paradigm appropriate for the formalisation of stochastic dependencies that are caused by the interaction of components. Congruence results for our operator with respect to standard notions for simulation and bisimulation are presented for which the challenge is to prove the existence of appropriate couplings. In this context a theory for stochastic transition systems concerning simulation, bisimulation, and trace-distribution relations is developed. We show that under generic Souslin conditions, the simulation preorder is a subset of trace-distribution inclusion and accordingly, bisimulation equivalence is finer than trace-distribution equivalence. We moreover establish characterisations of the simulation preorder and the bisimulation equivalence for a broad subclass of stochastic transition systems in terms of expressive action-based probabilistic logics and show that these characterisations are still maintained by small fragments of these logics, respectively. To treat associated measurability aspects, we rely on methods from descriptive set theory, properties of Souslin sets, as well as prominent measurable-selection principles.:1 Introduction 2 Probability measures on Polish spaces 3 Stochastic transition systems 4 Simulations and trace distributions for Souslin systems 5 Action-based probabilistic temporal logics 6 Parallel composition based on spans and couplings 7 Relations to models from the literature 8 Conclusions 9 Bibliography

In einer Praxisstudie wurde geprüft, ob die Stabilisotopenanalyse von Rinderhaarproben ein praxistaugliches Verfahren darstellt, um retrospektiv auf die Zusammensetzung des Futters zu schließen. Es konnte bestätigt werden, dass es einen sehr starken Zusammenhang zwischen dem Delta-13-C-Wert im Haar und dem Maisanteil in der Fütterung gibt. Darüber lässt sich auch der Grasanteil in der Ration abschätzen. Die Publikation richtet sich an das Fachpublikum sowie die interessierte Öffentlichkeit. Redaktionsschluss: 22.02.2022

Das praktische Informationsheft bietet alles Wissenswerte über den Sächsischen Landtag und seine Zusammensetzung in der 7. Wahlperiode.

Das Ziel der Studien, die im Rahmen dieser Arbeit vorgestellt werden, war es neue Informationen über die elementare Zusammensetzung des mineralisierten Knochens zu gewinnen. In einer ersten Studie wurden zwei Parameter verglichen, die beide eng mit der Knochenmineralisierung verknüpft sind. So zeigte die Gegenüberstellung des mineral/matrix Raman-Wertes und der Kalziumkonzentration gute Übereinstimmung mit theoretischen Überlegungen. Diese Methoden wurden auch verwendet um Knochengewebe von Mäusen zu charakterisieren bei denen ein genetischer Defekt zu einem Mangel von Sclerostin führte. So war es möglich nachzuweisen, dass eine hierdurch verstärkte Knochenneubildung zu einer veränderten Mineralisationskinetik des Knochens führen kann. Nachdem zukünftig Sclerostinantikörper für die Behandlung von Knochenkrankheiten eingesetzt werden sollen, haben diese Erkenntnisse große medizinische Bedeutung. Es wurde auch die Mineraldichteverteilung eines Mausmodells mit fragilem Knochen (Osteogenesis Imperfecta, OI) untersucht. Die Mäuse wurden mit Sclerostinantikörpern behandelt. Es zeige sich ein signifikanter Knochenzuwachs doch die Mineraldichteverteilung veränderte sich gleichermaßen für gesunde und für OI Mäuse. In einer Studie am humanen Knochen konnten der Zusammenhang zwischen Osteozytennetzwerk und Knochenzusammensetzung untersucht werden. Elemente wie Na, Mg und S wiesen typische Konzentrationsverteilungen auf. Die Routinen wurden auch verwendet um Mineralisationsfronten zu charakterisieren. Es zeigte sich, dass die Konzentrationen von K, Mg, Na und Cl abhängig von dem analysierten anatomischen Ort, stark voneinander abweichen. Abschließend kann gesagt werden, dass durch die Entwicklung neuer Routinen zusätzliche Erkenntnisse über die Knochenmineralisierung und Zusammensetzung gewonnen werden konnten. Die Resultate sind von medizinischer und biologischer Bedeutung und tragen zu aktuellen Debatten über die Knochenentwicklung bei. / The purpose of the presented work was to gain new insight into the elemental composition of mineralized bone matrix at different sites of human bone tissue, and in mouse models linked to human genetic diseases. Using novel tools and routines, human (femur cross sections from healthy adults and children) and murine samples (femur long-and cross sections of two mouse models) were analyzed with focus on the elemental composition. In a methodological study the consistency of matrix mineralization measured by Raman microspectroscopy (e.g. the mineral/matrix ratio) and the Calcium content (wt%Ca) as measured by qBEI was proved. Both methods were applied to a mouse model exhibiting induced bone overgrowth due to a genetic defect causing a lack of Sclerostin, which is a negative regulator for bone formation. We found changes in the mineralization kinetics depending on the anatomical site. This result is of clinical importance since Sclerostin antibodies are suggested for future treatment of diseases characterized by fragile bone. Hence, also a mouse model of a brittle bone disease (Osteogenesis Imperfecta) was analyzed with and without Sclerostin antibody treatment. A significant increase in bone mass was documented while the mineralization pattern revealed no interaction between genotype and treatment. The correlation between OLCN and the composition of the mineralized matrix was examined in the same regions of human compact bone. Characteristic distributions of the minor elements (Mg, Na, S) were found. The developed tools were also used to investigate mineralization fronts, reflecting a critical stage of bone development. Differences in the Ca/P ratio and in the concentrations of K, Mg, Na and Cl depending on the anatomical site were revealed. In conclusion, using newly developed measurement routines, it was possible to gain novel information of bone mineralization and composition. The results contribute to actively debated issues of biological and medical importance.

No description available.

No description available.

No description available.

No description available.

Die vorliegende Arbeit beschäftigt sich mit der Entwicklung von Sol-Gel-Beschichtungen durch Optimierung der Ausgangszusammensetzung und der Applikations-Parameter für den Korrosionsschutz der Aluminium-Legierung AA7075. Verschiedene Arten von Silanen, z. B. Tetraethoxysilan (TEOS), Phenyltriethoxysilan (PTES) und Phenyltrim­ethoxysilan (PTMS) sind verglichen worden: Der Sol-Gel-Film aus PTMS präpariert, weist dabei die höchste Hydrophobizität auf, was sich insbesondere in den Barriere-Eigenschaften dieser Verbindung zeigte. Die Wirkung von Essigsäure als Katalysator in Sol-Gel-Prozessen wurden untersucht, um die optimale Katalysatorkonzentration für den Korrosionsschutz der beschichteten Proben zu ermitteln. Die Korrosionsbeständigkeit der beschichteten Proben sinkt bei höheren Konzentrationen des sauren Katalysators durch die Auflösung des Aluminiumoxids an der Substratoberfläche. Allerdings führten zu niedrige Konzentrationen des Katalysators zur Verlangsamung der Hydrolysereaktionen der Silane und es bildete sich poröse Sol-Gel-Schichten. Die Wärmebehandlung der beschichteten Aluminium-Proben ist für die Vernetzung des Films erforderlich. Eine Wärmebehandlung bei 300 ˚C für 2,5 Stunden ergab dabei den besten Korrosionsschutz. Höhere Temperaturen führten zu einer Verschlechterung der Eigenschaften der Filme, was mit der Zerstörung des organischen Teil des Films erklärt werden kann. Darüber hinaus verursachen zu niedrige Temperaturen einen geringeren Korrosionsschutz der beschichteten Aluminium-Proben. Vermutlich ist die geringe Vernetzung des Sol-Gel-Films bei Temperaturen was für als 300 ˚C verantwortlich. Die beschichteten Aluminium-Proben wuden mittels Raster-Elektronenmikroskopie (SEM), Energiedispersive Röntgenspektroskopie (EDX), Röntgen-Photoelektronenspektroskopie (XPS) und elektrochemischen Techniken charakterisiert. / The present work pertains to the development of sol-gel coatings by optimizing the composition and the application parameters for corrosion protection of aluminum alloy AA7075. Different kinds of silanes e.g. tetraethoxysilane (TEOS), phenyltriethoxysilane (PTES) and phenyltrimethoxysilane (PTMS) have been compared: the sol-gel film prepared from PTMS shows highest hydrophobicity manifested by the best barrier property of this compound. The effect of acetic acid as a catalyst on the chemistry of the sol is investigated in order to estimate the best catalyst concentration for better corrosion protection of the coated samples. The corrosion resistance of the coated samples is found to be decreasing at higher concentrations of the catalyst due to the dissolution of the aluminum oxide at the substrate surface in the acid sol. However, lower concentrations of the catalyst lead to low hydrolysis reactions of the silanes and non-dense sol-gel films have been formed. The heat treatment of the coated aluminum samples is required for cross-linking of the film. The heat treatment at 300 ˚C for 2.5 hours exhibits the best corrosion protection. Higher treatment-temperatures lead to degradation of the properties of the film which can be described in terms of destroying the organic part of the film. Moreover, low treatment-temperatures cause low corrosion protection of the coated aluminum samples which is presumably attributed to the low cross-linking of the sol-gel film at temperatures less than 300 ˚C. The coated aluminum samples are characterized by scanning electron microscopy (SEM), energy dispersive X-ray spectroscopy (EDX), X-ray photoelectron spectroscopy (XPS) and electrochemical techniques.

Die vorliegende Arbeit beschäftigt sich mit der Entwicklung von Sol-Gel-Beschichtungen durch Optimierung der Ausgangszusammensetzung und der Applikations-Parameter für den Korrosionsschutz der Aluminium-Legierung AA7075. Verschiedene Arten von Silanen, z. B. Tetraethoxysilan (TEOS), Phenyltriethoxysilan (PTES) und Phenyltrim­ethoxysilan (PTMS) sind verglichen worden: Der Sol-Gel-Film aus PTMS präpariert, weist dabei die höchste Hydrophobizität auf, was sich insbesondere in den Barriere-Eigenschaften dieser Verbindung zeigte. Die Wirkung von Essigsäure als Katalysator in Sol-Gel-Prozessen wurden untersucht, um die optimale Katalysatorkonzentration für den Korrosionsschutz der beschichteten Proben zu ermitteln. Die Korrosionsbeständigkeit der beschichteten Proben sinkt bei höheren Konzentrationen des sauren Katalysators durch die Auflösung des Aluminiumoxids an der Substratoberfläche. Allerdings führten zu niedrige Konzentrationen des Katalysators zur Verlangsamung der Hydrolysereaktionen der Silane und es bildete sich poröse Sol-Gel-Schichten. Die Wärmebehandlung der beschichteten Aluminium-Proben ist für die Vernetzung des Films erforderlich. Eine Wärmebehandlung bei 300 ˚C für 2,5 Stunden ergab dabei den besten Korrosionsschutz. Höhere Temperaturen führten zu einer Verschlechterung der Eigenschaften der Filme, was mit der Zerstörung des organischen Teil des Films erklärt werden kann. Darüber hinaus verursachen zu niedrige Temperaturen einen geringeren Korrosionsschutz der beschichteten Aluminium-Proben. Vermutlich ist die geringe Vernetzung des Sol-Gel-Films bei Temperaturen was für als 300 ˚C verantwortlich. Die beschichteten Aluminium-Proben wuden mittels Raster-Elektronenmikroskopie (SEM), Energiedispersive Röntgenspektroskopie (EDX), Röntgen-Photoelektronenspektroskopie (XPS) und elektrochemischen Techniken charakterisiert. / The present work pertains to the development of sol-gel coatings by optimizing the composition and the application parameters for corrosion protection of aluminum alloy AA7075. Different kinds of silanes e.g. tetraethoxysilane (TEOS), phenyltriethoxysilane (PTES) and phenyltrimethoxysilane (PTMS) have been compared: the sol-gel film prepared from PTMS shows highest hydrophobicity manifested by the best barrier property of this compound. The effect of acetic acid as a catalyst on the chemistry of the sol is investigated in order to estimate the best catalyst concentration for better corrosion protection of the coated samples. The corrosion resistance of the coated samples is found to be decreasing at higher concentrations of the catalyst due to the dissolution of the aluminum oxide at the substrate surface in the acid sol. However, lower concentrations of the catalyst lead to low hydrolysis reactions of the silanes and non-dense sol-gel films have been formed. The heat treatment of the coated aluminum samples is required for cross-linking of the film. The heat treatment at 300 ˚C for 2.5 hours exhibits the best corrosion protection. Higher treatment-temperatures lead to degradation of the properties of the film which can be described in terms of destroying the organic part of the film. Moreover, low treatment-temperatures cause low corrosion protection of the coated aluminum samples which is presumably attributed to the low cross-linking of the sol-gel film at temperatures less than 300 ˚C. The coated aluminum samples are characterized by scanning electron microscopy (SEM), energy dispersive X-ray spectroscopy (EDX), X-ray photoelectron spectroscopy (XPS) and electrochemical techniques.