Sökning: "Dynamic Partial Order Reduction"
Visar resultat 1 - 5 av 12 avhandlingar innehållade orden Dynamic Partial Order Reduction.
1. Effective Techniques for Stateless Model Checking
Sammanfattning : Stateless model checking is a technique for testing and verifying concurrent programs, based on exploring the different ways in which operations executed by the processes of a concurrent program can be scheduled. The goal of the technique is to expose all behaviours that can be a result of scheduling non-determinism. LÄS MER
2. Model Reduction and Parameter Estimation for Diffusion Systems
Sammanfattning : Diffusion is a phenomenon in which particles move from regions of higher density to regions of lower density. Many physical systems, in fields as diverse as plant biology and finance, are known to involve diffusion phenomena. Typically, diffusion systems are modeled by partial differential equations (PDEs), which include certain parameters. LÄS MER
3. Experimental Investigation of Performance, Flow Interactions and Rotor Forcing in Axial Partial Admission Turbines
Sammanfattning : The thesis comprises a collection of four papers with preceding summary and supplementary appendices. The core investigation solely is of experimental nature although reference and comparisons with numerical models will be addressed. LÄS MER
4. Grey-box Identification of Distributed Parameter Systems
Sammanfattning : This thesis considers the problem of making dynamic models for industrial processes by combining physical modelling with experimental data. The focus is on distributed parameter systems, that is, systems for which the model structure involves partial differential equations (PDE). Distributed parameter systems are important in many applications, e. LÄS MER
5. Modelling Aspects of Wastewater Treatment Processes
Sammanfattning : Wastewater treatment processes are inherently dynamic because of the large variations in the influent wastewater flow rate, concentration and composition. Moreover, these variations are to a large extent not possible to control. LÄS MER