Sökning: "limiting behavior"

Visar resultat 1 - 5 av 63 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 :NATURAL SCIENCES; NATURVETENSKAP; 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

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

    Författare :Mohammad Hossein Arabnejad Khanouki; Chalmers University of Technology; []
    Nyckelord :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

  3. 3. A Study of the Particle Transport Behavior in Enclosed Environments

    Författare :Hailong Liu; Pär Jönsson; Lage Jonsson; Leif Persson; KTH; []
    Nyckelord :ENGINEERING AND TECHNOLOGY; TEKNIK OCH TEKNOLOGIER; 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

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

    Författare :Farhad Tajarobi; Chalmers University of Technology; []
    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

  5. 5. The information-seeking behaviors of professionals and information sources in the field of injury prevention and safety promotion

    Författare :David W. Lawrence; Karolinska Institutet; Karolinska Institutet; []
    Nyckelord :MEDICAL AND HEALTH SCIENCES; MEDICIN OCH HÄLSOVETENSKAP; Bibliographic databases; information-seeking behavior; injury prevention; safety promotion; schlarly journals;

    Sammanfattning : Injuries are a serious public health problem worldwide. Despite the ubiquity of the World Wide Web and the resources of many different literature databases, the search for information concerning Injury Prevention and Safety Promotion (IPSP) topics is still complicated by several major barriers. LÄS MER