Sökning: "limiting behavior"

Visar resultat 1 - 5 av 75 avhandlingar innehållade orden limiting behavior.

  1. 1. Games and Probabilistic Infinite-State Systems

    Författare :Sven Sandberg; Parosh Abdulla; Luca de Alfaro; Uppsala universitet; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; program verification; model checking; determinacy; strategy improvement; infinite games; parity games; mean payoff games; stochastic games; Büchi games; reachability games; limiting average; limiting behavior; Markov chains; infinite-state systems; lossy channel systems; vector addition systems; noisy Turing machines; Computer science; Datavetenskap;

    Sammanfattning : Computer programs keep finding their ways into new safety-critical applications, while at the same time growing more complex. This calls for new and better methods to verify the correctness of software. We focus on one approach to verifying systems, namely that of model checking. LÄS MER

  3. 2. Norms in Prosocial Decisions : The Role of Observability, Avoidance, and Conditionality

    Författare :Per A Andersson; Daniel Västfjäll; Gustav Tinghög; Arvid Erlandsson; Gaëlle Vallée-Tourangeau; Linköpings universitet; []
    Nyckelord :SAMHÄLLSVETENSKAP; SOCIAL SCIENCES; Prosocial behavior; Norms; Observability; Information avoidance; Prosocialt beteende; Normer; Observerbarhet; Undvikande av information;

    Sammanfattning : Prosocial behaviors benefit other people and range from donations to charity to behavior limiting the spread of disease, such as masking and vaccination. The overarching purpose of this thesis was to contribute to our understanding of how social norms and conformity affect prosocial behavior. LÄS MER

  4. 3. Numerical and Experimental Investigation of Hydrodynamic Mechanisms in Erosive Sheet Cavitation

    Författare :Mohammad Hossein Arabnejad Khanouki; Chalmers tekniska högskola; []
    Nyckelord :TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; Paint test; Numerical simulation; High speed visualization; Shedding behavior; Hydrodynamics mechanisms of cavitation erosion iii; Sheet cavitation;

    Sammanfattning : Cavitation erosion is one of the limiting factors in the design of hydraulic machinery as it is associated with the reduction in the operating life-time of a hydraulic machine and a significant increase in maintenance cost. In order to be able to design a hydraulic machine with a low risk of cavitation erosion, understanding the hydrodynamic mechanisms controlling the cavitation erosion is of great importance. LÄS MER

  5. 4. A Study of the Particle Transport Behavior in Enclosed Environments

    Författare :Hailong Liu; Pär Jönsson; Lage Jonsson; Leif Persson; KTH; []
    Nyckelord :TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; Materials Science and Engineering; Teknisk materialvetenskap;

    Sammanfattning : The main purpose of the present work is to increase the fundamental understanding of the particle transport behavior in an enclosed environment and to provide knowledge to the estimate and measure the particle emission from pellets during a steel production process.A laboratory study focused on the effect of the high sliding velocity on the particle generation from dry sliding wheel-rail contacts has been conducted. LÄS MER

  7. 5. Dissolution and Release Behavior of Swellable Matrix Tablets: Influence of the solubility and dissolution rate enhancement of model substance

    Författare :Farhad Tajarobi; Chalmers tekniska högskola; []
    Nyckelord :MEDICIN OCH HÄLSOVETENSKAP; MEDICAL AND HEALTH SCIENCES;

    Sammanfattning : Tablets exhibiting extended drug release have in many therapeutical applications shown both compliance and clinical advantages. One way of achieving extended drug release from a tablet is by employing the concept of swellable matrices. LÄS MER