-
Imaging and simulation-based analysis of evaporation flows over wetting edges
Authors:
Suraj Raju,
Felix Braig,
Mathis Fricke,
Dirk Gründing,
Edgar Dörsam,
Hans Martin Sauer,
Dieter Bothe
Abstract:
We monitor the evaporation of a volatile liquid (ethanol) from an inkjet-printed liquid film, consisting of a mixture of ethanol and ethylene glycol. Interferometric video imaging technology is used for recording 2D vapor concentration profiles over the evaporating film. The vapor flow is reconstructed using numerical simulations. In this way, we reconstruct the complete flow velocity profile, and…
▽ More
We monitor the evaporation of a volatile liquid (ethanol) from an inkjet-printed liquid film, consisting of a mixture of ethanol and ethylene glycol. Interferometric video imaging technology is used for recording 2D vapor concentration profiles over the evaporating film. The vapor flow is reconstructed using numerical simulations. In this way, we reconstruct the complete flow velocity profile, and distinguish diffusive and convective gas transport flows, with quantitative tracking of the transport balances. The convective flows are driven by the buoyancy of the solvent vapor in the ambient air. In particular, we reconstruct the evaporation process from the interface of the two-component liquid. We monitor the evaporation flows, implement Raoult's and Henry's laws of vapor pressure reduction, as well as evaporation resistivity. We observe the edge-enhancement of evaporation flows at the wetting rims of the liquid film, and decompose the vapor flows in the diffusive and the convective contribution. We demonstrate how Langmuir's evaporation resistivity can be identified using vapor pressure profiles in the gas phase data and mass transfer balances.
△ Less
Submitted 17 November, 2023;
originally announced November 2023.
-
Adopting Microservices and DevOps in the Cyber-Physical Systems Domain: A Rapid Review and Case Study
Authors:
Jonas Fritzsch,
Justus Bogner,
Markus Haug,
Ana Cristina Franco da Silva,
Carolin Rubner,
Matthias Saft,
Horst Sauer,
Stefan Wagner
Abstract:
The domain of cyber-physical systems (CPS) has recently seen strong growth, e.g., due to the rise of the Internet of Things (IoT) in industrial domains, commonly referred to as "Industry 4.0". However, CPS challenges like the strong hardware focus can impact modern software development practices, especially in the context of modernizing legacy systems. While microservices and DevOps have been wide…
▽ More
The domain of cyber-physical systems (CPS) has recently seen strong growth, e.g., due to the rise of the Internet of Things (IoT) in industrial domains, commonly referred to as "Industry 4.0". However, CPS challenges like the strong hardware focus can impact modern software development practices, especially in the context of modernizing legacy systems. While microservices and DevOps have been widely studied for enterprise applications, there is insufficient coverage for the CPS domain. Our goal is therefore to analyze the peculiarities of such systems regarding challenges and practices for using and migrating towards microservices and DevOps. We conducted a rapid review based on 146 scientific papers, and subsequently validated our findings in an interview-based case study with 9 CPS professionals in different business units at Siemens AG. The combined results picture the specifics of microservices and DevOps in the CPS domain. While several differences were revealed that may require adapted methods, many challenges and practices are shared with typical enterprise applications. Our study supports CPS researchers and practitioners with a summary of challenges, practices to address them, and research opportunities.
△ Less
Submitted 13 October, 2022;
originally announced October 2022.
-
Capturing Dependencies within Machine Learning via a Formal Process Model
Authors:
Fabian Ritz,
Thomy Phan,
Andreas Sedlmeier,
Philipp Altmann,
Jan Wieghardt,
Reiner Schmid,
Horst Sauer,
Cornel Klein,
Claudia Linnhoff-Popien,
Thomas Gabor
Abstract:
The development of Machine Learning (ML) models is more than just a special case of software development (SD): ML models acquire properties and fulfill requirements even without direct human interaction in a seemingly uncontrollable manner. Nonetheless, the underlying processes can be described in a formal way. We define a comprehensive SD process model for ML that encompasses most tasks and artif…
▽ More
The development of Machine Learning (ML) models is more than just a special case of software development (SD): ML models acquire properties and fulfill requirements even without direct human interaction in a seemingly uncontrollable manner. Nonetheless, the underlying processes can be described in a formal way. We define a comprehensive SD process model for ML that encompasses most tasks and artifacts described in the literature in a consistent way. In addition to the production of the necessary artifacts, we also focus on generating and validating fitting descriptions in the form of specifications. We stress the importance of further evolving the ML model throughout its life-cycle even after initial training and testing. Thus, we provide various interaction points with standard SD processes in which ML often is an encapsulated task. Further, our SD process model allows to formulate ML as a (meta-) optimization problem. If automated rigorously, it can be used to realize self-adaptive autonomous systems. Finally, our SD process model features a description of time that allows to reason about the progress within ML development processes. This might lead to further applications of formal methods within the field of ML.
△ Less
Submitted 10 August, 2022;
originally announced August 2022.
-
SAT-MARL: Specification Aware Training in Multi-Agent Reinforcement Learning
Authors:
Fabian Ritz,
Thomy Phan,
Robert Müller,
Thomas Gabor,
Andreas Sedlmeier,
Marc Zeller,
Jan Wieghardt,
Reiner Schmid,
Horst Sauer,
Cornel Klein,
Claudia Linnhoff-Popien
Abstract:
A characteristic of reinforcement learning is the ability to develop unforeseen strategies when solving problems. While such strategies sometimes yield superior performance, they may also result in undesired or even dangerous behavior. In industrial scenarios, a system's behavior also needs to be predictable and lie within defined ranges. To enable the agents to learn (how) to align with a given s…
▽ More
A characteristic of reinforcement learning is the ability to develop unforeseen strategies when solving problems. While such strategies sometimes yield superior performance, they may also result in undesired or even dangerous behavior. In industrial scenarios, a system's behavior also needs to be predictable and lie within defined ranges. To enable the agents to learn (how) to align with a given specification, this paper proposes to explicitly transfer functional and non-functional requirements into shaped rewards. Experiments are carried out on the smart factory, a multi-agent environment modeling an industrial lot-size-one production facility, with up to eight agents and different multi-agent reinforcement learning algorithms. Results indicate that compliance with functional and non-functional constraints can be achieved by the proposed approach.
△ Less
Submitted 14 December, 2020;
originally announced December 2020.
-
Adapting Quality Assurance to Adaptive Systems: The Scenario Coevolution Paradigm
Authors:
Thomas Gabor,
Marie Kiermeier,
Andreas Sedlmeier,
Bernhard Kempter,
Cornel Klein,
Horst Sauer,
Reiner Schmid,
Jan Wieghardt
Abstract:
From formal and practical analysis, we identify new challenges that self-adaptive systems pose to the process of quality assurance. When tackling these, the effort spent on various tasks in the process of software engineering is naturally re-distributed. We claim that all steps related to testing need to become self-adaptive to match the capabilities of the self-adaptive system-under-test. Otherwi…
▽ More
From formal and practical analysis, we identify new challenges that self-adaptive systems pose to the process of quality assurance. When tackling these, the effort spent on various tasks in the process of software engineering is naturally re-distributed. We claim that all steps related to testing need to become self-adaptive to match the capabilities of the self-adaptive system-under-test. Otherwise, the adaptive system's behavior might elude traditional variants of quality assurance. We thus propose the paradigm of scenario coevolution, which describes a pool of test cases and other constraints on system behavior that evolves in parallel to the (in part autonomous) development of behavior in the system-under-test. Scenario coevolution offers a simple structure for the organization of adaptive testing that allows for both human-controlled and autonomous intervention, supporting software engineering for adaptive systems on a procedural as well as technical level.
△ Less
Submitted 12 February, 2019;
originally announced February 2019.
-
Forced dynamic dewetting of structured surfaces: Influence of surfactants
Authors:
Franziska Henrich,
Dorota Linke,
Hans Martin Sauer,
Edgar Dörsam,
Steffen Hardt,
Hans-Jürgen Butt,
Günter K. Auernhammer
Abstract:
We analyse the dewetting of printing plates for gravure printing with well-defined gravure cells. The printing plates were mounted on a rotating horizontal cylinder that is half immersed in an aqueous solution of the anionic surfactant sodium 1-decanesulfonate. The gravure plates and the presence of surfactants serve as one example of a real-world dewetting situation. When rotating the cylinder, a…
▽ More
We analyse the dewetting of printing plates for gravure printing with well-defined gravure cells. The printing plates were mounted on a rotating horizontal cylinder that is half immersed in an aqueous solution of the anionic surfactant sodium 1-decanesulfonate. The gravure plates and the presence of surfactants serve as one example of a real-world dewetting situation. When rotating the cylinder, a liquid meniscus was partially drawn out of the liquid forming a dynamic contact angle at the contact line. The dynamic contact angle is decreased on a structured surface as compared to a smooth one. This is due to contact line pinning at the borders of the gravure cells. Additionally, surfactants tend to decrease the dynamic receding contact angle. We consider the interplay between these two effects. We compare the height differences of the meniscus on the structured and unstructured area as function of dewetting speeds. The height difference increases with increasing dewetting speed. With increasing size of the gravure cells this height difference and the induced changes in the dynamic contact angle increased. By adding surfactant, the height difference and the changes in the contact angle for the same surface decreased. We further note that although the liquid dewets the printing plates some liquid is always left in the gravure cell. At high enough surfactant concentrations or high enough dewetting speed, the dynamic contact angles in the structured surface approach those in flat surfaces. We conclude that surfactant reduces the influence of surface structure on dynamic dewetting.
△ Less
Submitted 13 February, 2019; v1 submitted 28 March, 2018;
originally announced March 2018.