Universität Stuttgart
Permanent URI for this communityhttps://elib.uni-stuttgart.de/handle/11682/1
Browse
753 results
Search Results
Item Open Access Reconstruction of μXRCT data sets using the ASTRA toolbox(2020) Voland, PaulItem Open Access Analysis of water volume change of the lakes and reservoirs in the Mississippi River basin using Landsat imagery and satellite altimetry(2021) Wang, LingkeIn recent years, the demand for freshwater has been steadily increasing owing to population growth and economic expansion. Surface waters such as lakes and reservoirs function as a dominant factor in mankind's freshwater provision. Analysis of changes in their water storage is consequently vital for understanding of the global water cycle and water resources. However, the water volume changes in lakes or reservoirs cannot be measured directly from space, but can be inferred from lake areas and lake water levels. Lake area can be measured globally from space but lake water level is not easy to be obtained globally. Because the number of in situ stations is few, and in situ data are only accessible for some lakes with few measurement epochs, despite in situ stations can measure lake water level and provide high accuracy observations. Although the altimetry technique can generate the time series of the water level for the majority of lakes, they are not global coverage due to the distance between satellite tracks and the gap between different missions. Therefore, in situ data and satellite altimetry measurements of water levels of lakes and reservoirs are not always available. For example, there are only 22 lakes or reservoirs in this study covered by satellite altimetry or in situ stations out of 90 research cases in Mississippi River Basin. Then, in case of unavailable in situ data or altimetry measurements, this research proposes an alternative method to estimate the water level through Digital Elevation Model (DEM). Because satellite imagery offers global coverage and DEM is the global digital representation of the land surface elevation with respect to any reference datum, this study allows for the evaluation of global water volume changes by acquiring lake area data from space and lake height data from DEM. Therefore, the objective of this study is that changes in water volume in lakes or reservoirs can be successfully monitored even when in situ data and satellite altimetry measurements are not available for lakes or reservoirs. Hereby, we investigate 90 lakes and reservoirs in the Mississippi River Basin and develop an alternative remote sensing technique to monitor the water volume changes by combining the improved water mask with DEM. Meanwhile, we propose practical methods to detect the shoreline pixels of the water body from improved water mask. Given the assumption that all pixels in the shoreline should have the same height, four water level estimation models are developed, including water level estimation model based on statistical analysis, frequency maps, change pixels and pixel pair analysis. To this end, the study estimates the time series of lake height from water level estimation model and obtains the time series of lake surface area from HydroSat. Subsequently, this study builds the unique function between the lake water level and the lake surface area and then develops the function between the lake water volume change and the lake surface area. Finally, this study analyses the water volume changes of lakes and reservoirs in the Mississippi River Basin using this alternative remote sensing method. Four water level estimation models are proposed and evaluated. They are respectively based on statistical analysis, frequency maps, change pixels and pixel pair analysis. As a result of their actions, the first model based on statistical analysis, with an average correlation of 0.62 and an average RMSE of 0.91 meters, functions in the majority of situations and demonstrates excessive outlier removal in some cases. The second model based on frequency maps is more general than the first, with an average correlation of 0.66 and an average RMSE of 1.11 meters. The average correlation for the third model based on change pixels is 0.71, and the average RMSE is 0.99 meters. The resulting model based on pixel pair analysis obtains a mean correlation of 0.67 and a mean RMSE of 1.00 meters. Finally, these models behave differently in different seasons, so they exhibit distinct monthly behaviour. To conclude, the above validation results show that this alternative method can be used in different lakes and reservoirs in case of absence of water level observation data, and achieve to monitor the water volume changes during a long period.Item Open Access Generating code for distributed deployments of cyber-physical systems using the MechatronicUML(2022) Stürner, DavidModels are applied in engineering disciplines to describe systems from a higher level of abstraction. In Model-Driven Software Engineering (MDSE), formal models are used to design and verify software systems and to infer platform-specific models and implementations. The MechatronicUML is an MDSE method specifically designed for distributed cyber-physical systems (CPS). This thesis explores how the MechatronicUML may be used for generating code. The exact state of previous code generation approaches is not precisely known. The objective of this thesis is to design and implement a MechatronicUML-based code generator for distributed deployments of CPS. Previous code generation approaches are analyzed for this purpose and one approach is selected and extended to support a particular type of robot car as a target platform. A taxonomy for model-based code generation is proposed to structure the analysis of the previous approaches. Based on the selected previous approach, a code generator is presented and implemented. Additionally, an automotive application scenario is used as a case study for evaluating the concept and the implementation of the presented code generator. This code generator supports modeling the distributed deployment of a CPS with the MechatronicUML and generates platform-specific source code which can be successfully compiled and deployed on the Arduino-based robot cars. Ultimately, the thesis presents a proof of concept to generate the code for a distributed CPS based on the MechatronicUML.Item Open Access Scheduling with uncertainty for Time-Sensitive Networking using robust optimization techniques and integer linear programming(2024) Bauer, FlorianApplication services depend on the network to guarantee reliability, which is critical for safety and correct operation. Time-Sensitive Networking is a technology for reliable real-time communication of time-sensitive applications. While many schedulers exist that provide reliability for wired Time-Sensitive Networks (TSN) with the assumption of deterministic packet delays, scheduling for wireless TSN with uncertain packet delays has received significantly less attention. This work leverages the methodology of Robust Optimization (RO) to propose a robust scheduling approach that ensures provable reliability for both wired and wireless TSN. An uncertainty set defines the range of possible values, ensuring that the schedule remains feasible under all possible realizations within this set. As uncertainty sets are a key component in RO, we introduce methods to compute boxed and polytope uncertainty sets containing possible packet delays based on a set of given reliability requirements. A scheduler is deemed robust if it satisfies the given reliability constraints for all possible packet delays within the computed uncertainty set. Although robustness can be achieved through strict isolation and conservative filtering of packets, we demonstrate that several limitations prevent known robust schedulers from fully exploiting arbitrary uncertainty set shapes. As certain problem instances are unsolvable using simple boxed uncertainty sets, we indicate the need for schedulers that can utilize complex shapes of uncertainty sets rather than boxes. In response to this challenge, we introduce Uncertain No-Wait Packet Scheduling (UNWPS), a scheduler capable of computing robust schedules, and prove that UNWPS is robust against arbitrary upper-bounded boxed and polytope uncertainty sets. We assess the influence of uncertainty sets on the quality of the resulting UNWPS schedules, compare their performances to the performance of other robust scheduling approaches across various exemplary TSN networks and message stream configurations and carry out simulations conducted using the DetCom simulation framework to validate the robustness of UNWPS empirically.Item Open Access Towards a neuro-symbolic approach for occupant activity recognition : combining temporal HTN planning with hidden Markov models(2025) Hösch, PeterThe problem of occupant activity recognition has gained in relevance due to demographic shifts and growing environmental concerns where context-sensitive applications promise to help. The prevalent approach to this problem is based around the use of supervised machine learning, which faces challenges due to its requirement for large amounts of annotated training data and its tendency to overfit. Using preexisting common sense or expert knowledge, usually in the form of ontologies, presents another option, but carries its own set of shortcomings. Recently, the usage of hierarchical task network planning as an alternative to this ontological approach has been proposed. Hybrid systems that utilize both machine learning and preexisting knowledge promise to preserve the strength of both approaches while alleviating their drawbacks. We propose a new hybrid occupant activity system using hierarchical task network planning to support the training of a Hidden Markov Model, which, to the best of our knowledge, has not been done before. In addition, we evaluate the system on real sensor data in order to find out how much merits this new design has. Hereby we attempt and compare multiple approaches to the problem. Although not all methods improve the performance, the results show that the basic idea is sound and can generate measurable improvements.Item Open Access Ein Ansatz für IoT-Sicherheitstests basierend auf dem MQTT-Protokoll(2021) Chen, KaiDas Internet der Dinge (IoT) besteht aus einer stark wachsenden Anzahl an vernetzten Geräten und gewinnt immer mehr an Bedeutung. Aufgrund der Komplexität und Heterogenität der verwendeten Technologien existieren im IoT-Bereich viele Sicherheitsprobleme. MQTT ist das meist verwendete IoT-spezifische Protokoll für die Kommunikation, wodurch es einen attraktiven Angriffspunkt darstellt. Daher muss die Sicherheit bei MQTT-Systemen gewährleistet sein. Durch eine Literaturrecherche wurden als Hauptprobleme im Zusammenhang mit der Sicherheit von MQTT die unsichere Standardkonfiguration der Broker, sowie Schwachstellen im Umgang mit fehlerhaften Paketen identifiziert. Das Ziel dieser Arbeit ist, einen Testansatz zu entwerfen, der die Sicherheitsprobleme von MQTT-Broker-Implementierungen mittels automatisierten Sicherheitstests untersucht. Der Ansatz, genannt MQTT-AIO, besteht aus drei Testkomponenten und ist in der Lage, die Konfiguration des Brokers zu analysieren, Angriffe basierend auf Angriffsmustern auszuführen und weitere Schwachstellen mithilfe von Fuzzing zu finden. Eine weitere Komponente überwacht das System während des Testprozesses und zeichnet relevante Daten auf. Die Ergebnisse der Testdurchläufe werden als Bericht ausgegeben und können weiter analysiert werden. Der Testansatz MQTT-AIO wird im Rahmen dieser Masterarbeit prototypisch implementiert und anhand einer Fallstudie validiert.Item Open Access Concept for executing management operations on components of application instances(2019) Sowoidnich, YannicA large field of technologies exist for orchestrating cloud applications. Many of them focus on automated deployment techniques, rather than continous management of application instances. Executing operations for deploying applications is different from executing management operations, due to their dependencies to the application state. Proper state management is important to guarantee valid execution of management operations. Cloud providers such as Amazon have embedded functions for managing cloud applications, but they come with major drawbacks. They increase vendor-dependency and they do not support multi-cloud deployments. Technologies like Chef, Puppet or Terraform work with declarative process models, which cannot be used for non-state-changing operations and they mostly only allow simple operations. It is impossible to execute more customized fine grained operations with those technologies. Also, most of these management tools only support executing operations on the whole application, not on specific components of the application. The objective of this thesis is to find a way for executing management operations on running application instances by combining the information of the deployment model with the instance model of the application. The conceptual approach proposed in this thesis will consider and solve above addressed issues, as well as ensuring proper state management of application instances. The practical feasibility of this concept is validated by a prototypical implementation based on the TOSCA standard and the OpenTOSCA ecosystem.Item Open Access Explainability of operating systems(2021) Huschle, TobiasWith the recent rise of machine learning and artificial intelligence, the explainability of software has found its way into the focus of research activities. Black box-like approaches that take critical decisions must be enabled to justify its actions in a comprehensible manner. This thesis takes these considerations and applies them to the area of operating systems and problem analysis thereof. To do so, a user study, conducted among professionals, is presented that shows that simplifying the generation of explanations of the operating system behavior can bring additional value. Furthermore, already available tools will be discussed based on their capabilities with regard to explanation generation. Subsequently, a new approach is proposed that allows to visualize decisions taken by the operating system in a decision graph. These graphs allow to examine how and why a certain value was set by the operating system in a convenient and efficient way. Finally, this approach is evaluated in another user study, which is again conducted among professionals. The final conclusion of this thesis then yields, that an increased focus on explainability capabilities in the context of operating system problem analysis would bring additional value to people working in this area. There is a wide range of other publications that focus on either problem analysis or explainable software, but not on the combination thereof. The proposed approach aims to connect the two areas by providing assistance in deriving explanations and justifications for the internal reasoning processes of operating systems in a convenient way. The potential value is successfully confirmed with an evaluation study conducted among professionals.Item Open Access Quantenunterstütztes Clustering mit hybriden neuronalen Netzen(2021) Wundrack, PhilippMaschinelles Lernen und Quantencomputer sind zwei aktuelle Forschungsthemen, die großes Potenzial haben. Aktuell wird erforscht, wie diese beiden Gebiete kombiniert werden können, um voneinander zu profitieren. In diesen Bereich fällt die vorliegende Arbeit. In dieser Arbeit wird untersucht, ob hybride neuronale Netze genutzt werden können, um die Ergebnisse von Clustering-Algorithmen zu verbessern. Hierzu wird auf den Daten Dimensionsreduktion mit hybriden Autoencodern durchgeführt, bevor die Daten den Clustering-Algorithmen übergeben werden. Als Ergebnis konnte festgestellt werden, dass für bestimmte Datensätze Clustering-Algorithmen bessere Cluster erstellen können, wenn Dimensionsreduktion mit hybriden Autoencodern durchgeführt wurde, anstatt mit klassischen Autoencodern oder PCA.Item Open Access Supervised semantic proximity noise and disagreement detection(2024) Choppa, TejaswiThe quality and reliability of annotated data are crucial for the development of Machine Learning models. In this work, we particularly focus on word sense annotation in context (a.k.a. Word-in-Context, WiC). WiC datasets in real-world contexts often exhibit significant disagreement. As a result, information is lost when instances are discarded during the creation of the gold label by adjudicating the annotations through majority or median judgment. Recent advancements have sought to address this issue by incorporating disagreement data through novel label aggregation methods (Uma et al., 2022). Modeling this disagreement is important because, in a real-world scenario, we often do not have clean data. We need to predict on samples where high disagreement is expected and which are inherently difficult to categorize. Predicting disagreement can help detect or filter highly complex samples. Through this thesis, we aim to build machine learning models that predict human disagreement in annotated text instances. Moreover, we focus on data with noise instances where annotators cannot confidently assign a label or the data does not fit predefined categories. We aim to measure both disagreement and noise, as they both stem from a common source: ambiguity. By modeling these aspects, we aim to design modeling approaches that predict not only the semantic proximity label but also the annotator disagreement, as well as data noisiness.