No description available.

No description available.

No description available.

Immer wenn neue Anforderungen an ein System gestellt werden, müssen die Korrektheit und Konsistenz der Systemspezifikation überprüft werden, was in der Praxis in der Regel manuell erfolgt. Eine mögliche Option, um die Nachteile dieser manuellen Analyse zu überwinden, ist das sogenannte Contract-Based Design. Dieser Entwurfsansatz kann den Verifikationsprozess zur Überprüfung, ob die Anforderungen auf oberster Ebene konsistent verfeinert wurden, automatisieren. Die Verifikation kann somit iterativ durchgeführt werden, um die Korrektheit und Konsistenz des Systems angesichts jeglicher Änderung der Spezifikationen sicherzustellen. Allerdings ist es aufgrund der mangelnden Benutzerfreundlichkeit und der Schwierigkeiten bei der Interpretation von Verifizierungsergebnissen immer noch eine Herausforderung, formale Ansätze in der Industrie einzusetzen. Stellt beispielsweise der Model Checker bei der Verifikation eine Inkonsistenz fest, generiert er ein Gegenbeispiel (Counterexample) und weist gleichzeitig darauf hin, dass die gegebenen Eingabespezifikationen inkonsistent sind. Hier besteht die gewaltige Herausforderung darin, das generierte Gegenbeispiel zu verstehen, das oft sehr lang, kryptisch und komplex ist. Darüber hinaus liegt es in der Verantwortung der Ingenieurin bzw. des Ingenieurs, die inkonsistente Spezifikation in einer potenziell großen Menge von Spezifikationen zu identifizieren. Diese Arbeit schlägt einen Ansatz zur Erklärung von Gegenbeispielen (Counterexample Explanation Approach) vor, der die Verwendung von formalen Methoden vereinfacht und fördert, indem benutzerfreundliche Erklärungen der Verifikationsergebnisse der Ingenieurin bzw. dem Ingenieur präsentiert werden. Der Ansatz zur Erklärung von Gegenbeispielen wird mittels zweier Methoden evaluiert: (1) Evaluation anhand verschiedener Anwendungsbeispiele und (2) eine Benutzerstudie in Form eines One-Group Pretest-Posttest Experiments. / Whenever new requirements are introduced for a system, the correctness and consistency of the system specification must be verified, which is often done manually in industrial settings. One viable option to traverse disadvantages of this manual analysis is to employ the contract-based design, which can automate the verification process to determine whether the refinements of top-level requirements are consistent. Thus, verification can be performed iteratively to ensure the system’s correctness and consistency in the face of any change in specifications. Having said that, it is still challenging to deploy formal approaches in industries due to their lack of usability and their difficulties in interpreting verification results. For instance, if the model checker identifies inconsistency during the verification, it generates a counterexample while also indicating that the given input specifications are inconsistent. Here, the formidable challenge is to comprehend the generated counterexample, which is often lengthy, cryptic, and complex. Furthermore, it is the engineer’s responsibility to identify the inconsistent specification among a potentially huge set of specifications. This PhD thesis proposes a counterexample explanation approach for formal methods that simplifies and encourages their use by presenting user-friendly explanations of the verification results. The proposed counterexample explanation approach identifies and explains relevant information from the verification result in what seems like a natural language statement. The counterexample explanation approach extracts relevant information by identifying inconsistent specifications from among the set of specifications, as well as erroneous states and variables from the counterexample. The counterexample explanation approach is evaluated using two methods: (1) evaluation with different application examples, and (2) a user-study known as one-group pretest and posttest experiment.

Nuclear power plants provide about 11 percent of the world's electricity production. For fission process is uranium fuels used with varying percentage of enrichment 235U for most of nuclear reactors. Uranium reserves are reducing and their mining cost increases. Therefore, the thorium fuel is discussed as revolution fuel for current and future nuclear power plants. This diploma thesis deals with possibility of thorium fuel utilization at various types of nuclear reactors with a focus on light water reactors. The practical part of the thesis is focused on simulation and calculations of various uranium dioxide and thorium dioxide layers at the fuel rods. Model of WWER 440 reactor was developed for the calculations with the addition of thorium fuel. The model simulates burning out of fuel for 5 years, with monitoring of fuel behavior and tracking changes of each material. The thesis tries to define the suitable ratio and parameters of layers combination of uranium and thorium fuel. For these ratios and parameters the thesis tries to give sufficient amount of computational analyzes.

No description available.

This research determines the ground for a Christian theological anthropology that makes provision for a doctrine that supports human self-realization. It is evident from the study that anthropological self-realization is an involved process of becoming truly human, not an isolated course founded solely on the biblical knowledge of being created in the image and likeness of God. All sciences, and in particular anthropological sciences, enjoy the prerogative of unraveling and analyzing the human person. Whether these sciences are neuro-biological, psychological, theological, philosophical, biblical, spiritual or mystical in character, each with its specific method legitimately attempts to explain the complexities of the human person. In the light of this neither philosophy nor theology possess the exclusive claim to authentic human wisdom. In truth most scientific insights have a combined impact on the self-realizing growth and development of humanity. The process of self-realization links theology to real life questions such as evil, suffering, hope, love, justice and freedom, as well as with the immanent, the transcendent, the human and the divine. This thesis holds to the opinion that a theology of self-realization would contribute to the 'humanization' of theology since it brings praxis and theory into close alignment. This study equally expresses the conviction that the doctrine of consecrated vowed life, an ecclesiastical structure in the Roman Catholic Church, is particularly in need of humanization, as the notion of 'self' as a strength has been notably absent from traditional treatises on the practices of religious life. Conventional forms of consecrated vowed life called the woman to suppress and spiritualize at least some of her femininity. This was due to the distorted theological anthropology that sustained consecrated life in which God was presented as an idea to be grasped intellectually, and not an experience to be lived. / Philosophy, Practical & Systematic Theology / Th. D. (Systematic Theology)

This diploma thesis attempts to improve the language-support for coping with the problem of negative emergence in dynamic Systems-of-Systems (SoS). Negative emergence is understood to be the emergence of unintended behaviour among constituent systems of a SoS in response to certain changes to the composition of constituent systems in the SoS. The architecture description language (ADL) "EventArch 2.0" approaches this problem by allowing the SoS-manager to define certain rules to manipulate the original behaviour of certain constituent systems at certain critical points of execution of the SoS to prevent unintended behaviour ("coordination rules"). This thesis approaches a solution to the following problem: to prevent the introduction of unintended behaviour through overly- or underly-restrictive coordination rules, more- or less-restrictive variants of a coordination rule would have to be applied to the SoS depending on the current composition of constituent systems in the SoS. This thesis has the goal to approach this problem by devising a mechanism to dynamically exchange a coordination rule depending on the current composition of constituent systems in the SoS. To achieve that goal, the ADL "EventArch 2.0" is extended to support the dynamic application of a coordination rule to a System-of-Systems. The dynamic application is achieved by connecting coordinators and constituent systems at runtime. As a special characteristic, each coordinator is dedicated to a specific constituent system and is responsible for achieving compliance of that system with respect to a specific coordination rule. It is shown that this architectural setup can be nicely modeled using concepts from the field of "role-based modeling". The solution does therefore employ concepts that are central to the "role-based modeling"-approach: "Role", "Base", and "Compartment". The applicability of the extended language to practical coordination-problems is shown by applying it to a constructed use case in the field of energy-efficient computing. / Die vorliegende Diplomarbeit ist mit der Verbesserung der Sprachunterstützung zur Vermeidung negativer Emergenz in dynamischen Systems-of-Systems (SoS) befasst. Negative Emergenz wird dabei als unerwünschtes Verhalten von an einem SoS beteiligten Systemen verstanden, welches auf Grund von Änderungen in der Zusammensetzung des SoS (d.h. auf Grund des Eintritts oder Austritts von konstituierenden Systemen) aufgetreten ist. Die Architekturbeschreibungssprache "EventArch 2.0" unterstützt den SoS-manager bei der Lösung dieses Problems durch die Möglichkeit das Verhalten der beteiligten Systeme in bestimmten Ausführungsmomenten durch die Definition von Koordinationsregeln zu manipulieren und auf diesem Wege das Auftreten negativer Emergenz zu vermeiden. Die Diplomarbeit ist ein Beitrag zur Lösung des folgenden Problems: Um die Einführung von unerwünschtem Verhalten durch übermäßig- oder unzureichend restriktive Koordinationsregeln zu verhindern, müssten unterschiedliche Varianten einer Koordinationsregel, die sich im Grade ihrer Restriktivität unterscheiden, auf das SoS angewendet werden. Diese Anwendung müßte in Abhängigkeit der aktuellen Zusammensetzung des SoS aus konstituierenden Systemen erfolgen. In der vorliegenden Diplomarbeit wird eine Möglichkeit entwickelt um eine Koordinationsregel zur Laufzeit in Abhängigkeit der aktuellen Zusammensetzung des SoS aus konstituierenden Systemen auszutauschen. Sie leistet damit einen Beitrag zur Lösung des vorgenannten Problems. In der Arbeit wird die Architekturbeschreibungssprache "EventArch 2.0" um die Möglichkeit des dynamischen Austausches von Koordinationsregeln erweitert. Dabei werden Koordinationsregeln angewendet durch die gezielte Verbindung von Koordinatoren und konstituierenden Systemen. Die Besonderheit des Ansatzes besteht darin, dass jedem konstituierenden System ein persönlicher Koordinator zugeordnet wird, d.h. ein Koordinator der ausschließlich für die Anpassung des Verhaltens des jeweiligen Systems an eine bestimmte Koordinationsregel verantwortlich ist. In der Arbeit wird gezeigt, dass dieser architektonische Ansatz durch zentrale Konzepte des Modellierungsansatzes "rollenbasierte Modellierung" modelliert werden kann. In der entwickelten Spracherweiterung werden daher die Konzepte "Rolle", "Basis" und "Compartment" verwendet. Die Anwendbarkeit der erweiterten Sprache, wird durch deren Anwendung auf einen konstruierten Anwendungsfall aus dem Bereich der Energie-effizienten Berechnung gezeigt.

This thesis explores the extent to which eschatology shapes temporal existence. The interlocutors are Alexander Schmemann and Joseph Ratzinger. The first part of the thesis examines (1) Schmemann's account of eschatology, (2) how this shapes temporality, and (3) what it means to be a person in time. Schmemann's account is based upon a dualistic conception of temporality in which ‘this world', the ‘old' aeon, finds its meaning and life in the ‘new' aeon. Thus, meaning is found anagogically and teleologically, and human persons are called not only to ascend and leave the ‘old' aeon but, as priests, to instil meaning into the world by offering it to God. It is argued that although Schmemann's anthropology is Christocentric and relational, it remains, like his view of temporality, teleologically unidirectional. The second part of the thesis addresses the same questions as are raised in part one but of Ratzinger's theological approach. For Ratzinger eschatology is absorbed into Christology, and thus it is understood relationally as is also the case with his account of history. The Logos as dia-Logos works within history ‘wooing' humankind into relationship with the trinitarian God. As a result of Ratzinger's relation vision, history is undivided––there is no ‘old' and ‘new' aeon––and history succeeding Christ continues to be Advent history. As historical creatures, human persons are relational beings who must be understood as both ‘with' and ‘for' the other. Temporality as relational ‘space' is central to his account and interpreted as grounded in the eternal being of the relational God. The thesis concludes that for Ratzinger God's triune relationality shapes eschatology and what it means to be a person in time. Whereas, for Schmemann, the converse is the case: eschatology informs his conception of relationality, temporality, and personhood. As a result of the primacy of eschatology in Schmemann's theology human temporal existence is ultimately denigrated.

This research determines the ground for a Christian theological anthropology that makes provision for a doctrine that supports human self-realization. It is evident from the study that anthropological self-realization is an involved process of becoming truly human, not an isolated course founded solely on the biblical knowledge of being created in the image and likeness of God. All sciences, and in particular anthropological sciences, enjoy the prerogative of unraveling and analyzing the human person. Whether these sciences are neuro-biological, psychological, theological, philosophical, biblical, spiritual or mystical in character, each with its specific method legitimately attempts to explain the complexities of the human person. In the light of this neither philosophy nor theology possess the exclusive claim to authentic human wisdom. In truth most scientific insights have a combined impact on the self-realizing growth and development of humanity. The process of self-realization links theology to real life questions such as evil, suffering, hope, love, justice and freedom, as well as with the immanent, the transcendent, the human and the divine. This thesis holds to the opinion that a theology of self-realization would contribute to the 'humanization' of theology since it brings praxis and theory into close alignment. This study equally expresses the conviction that the doctrine of consecrated vowed life, an ecclesiastical structure in the Roman Catholic Church, is particularly in need of humanization, as the notion of 'self' as a strength has been notably absent from traditional treatises on the practices of religious life. Conventional forms of consecrated vowed life called the woman to suppress and spiritualize at least some of her femininity. This was due to the distorted theological anthropology that sustained consecrated life in which God was presented as an idea to be grasped intellectually, and not an experience to be lived. / Philosophy, Practical and Systematic Theology / Th. D. (Systematic Theology)