Search for dissertations about: "Dynamic Partial Order Reduction"

Showing result 1 - 5 of 12 swedish dissertations containing the words Dynamic Partial Order Reduction.

  2. 1. Effective Techniques for Stateless Model Checking

    Author : Stavros Aronis; Konstantinos Sagonas; Bengt Jonsson; Patrice Godefroid; Uppsala universitet; []
    Keywords : NATURVETENSKAP; NATURAL SCIENCES; Concurrent; Parallel; Model Checking; Partial Order Reduction; Dynamic Partial Order Reduction; DPOR; Sleep Set Blocking; Source Sets; Source DPOR; Wakeup Trees; Optimal DPOR; Observers; Verification; Bounding; Exploration Tree Bounding; Testing; Erlang; Concuerror; Protocol; Chain Replication; CORFU; Computer Science; Datavetenskap;

    Abstract : 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. READ MORE

  4. 2. Model Reduction and Parameter Estimation for Diffusion Systems

    Author : Bharath Bhikkaji; Torsten Söderström; Claes Breitholtz; Uppsala universitet; []
    Keywords : TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; Diffusion system; Partial differential equations PDEs ; Model reduction; PDE solvers; Finite difference approximation; Chebyshev polynomials; System identification; Parameter estimation; Recursive estimation; Frequency domain estimation; Signal processing; Signalbehandling;

    Abstract : 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. READ MORE

  5. 3. Experimental Investigation of Performance, Flow Interactions and Rotor Forcing in Axial Partial Admission Turbines

    Author : Jens Fridh; Torsten Fransson; Björn Laumert; Jürgen Seume; KTH; []
    Keywords : TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; axial turbine; partial admission; part loads; experimental investigation; turbine performance; losses; dynamic rotor forces; forced response; unsteady flow; axialturbin; partialpådrag; dellaster; reglersteg; experimentell undersökning; turbinprestanda; förluster; dynamiska krafter; rotorvibration; instationär strömning;

    Abstract : 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. READ MORE

  6. 4. Grey-box Identification of Distributed Parameter Systems

    Author : Yi Liu; Elling W. Jacobsen; Denis Dochain; KTH; []
    Keywords : TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; Electrical engineering; grey-box modeling; grey-box identification; model reduction; PDE; chromatography; bifurcation; moving mesh methods; orthogonal collocation on moving finite elements; OCMFE; Elektroteknik; elektronik och fotonik; Electrical engineering; electronics and photonics; Elektroteknik; elektronik och fotonik;

    Abstract : 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. READ MORE

  7. 5. Modelling Aspects of Wastewater Treatment Processes

    Author : Ulf Jeppsson; Industriell elektroteknik och automation; []
    Keywords : TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; Automatiska system; control engineering; robotics; Automation; thickening; solids flux; simulation; secondary clarifier; protozoa; predators; parameter estimation; model reduction; model identifiability; mathematical modelling; clarification; biofilm; activated sludge; robotteknik; reglerteknik;

    Abstract : 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. READ MORE