Sökning: "limiting behavior"

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

  1. 1. Games and Probabilistic Infinite-State Systems

    Detta är en avhandling från Uppsala : Universitetsbiblioteket

    Författare :Sven Sandberg; Uppsala universitet.; Uppsala universitet.; [2007]
    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; TECHNOLOGY Information technology Computer science; TEKNIKVETENSKAP Informationsteknik 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

    Detta är en avhandling från Uppsala : Universitetsbiblioteket

    Författare :Mohammad Hossein Arabnejad Khanouki; []
    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

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

    Detta är en avhandling från KTH Royal Institute of Technology

    Författare :Hailong Liu; KTH.; [2016]
    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

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

    Detta är en avhandling från KTH Royal Institute of Technology

    Författare :Farhad Tajarobi; [2010]

    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

    Detta är en avhandling från Stockholm : Karolinska Institutet, Department of Public Health Sciences

    Författare :David W. Lawrence; Karolinska Institutet.; Karolinska Institutet.; [2008]
    Nyckelord :MEDICIN OCH HÄLSOVETENSKAP; MEDICAL AND HEALTH SCIENCES; 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