Sökning: "Pathfinder"

Visar resultat 1 - 5 av 60 uppsatser innehållade ordet Pathfinder.

  1. 1. Execution Trace Visualization for Java Pathfinder using Trace Compass

    Master-uppsats, KTH/Skolan för elektroteknik och datavetenskap (EECS)

    Författare :Yang Zhou; [2020]
    Nyckelord :Java Pathfinder; Trace Compass; Trace Analysis; Trace Visualization;

    Sammanfattning : Multi-threading is commonly applied in modern computer programs, bringing many conveniences but also causing concurrency issues. Among the various error debugging tools, Java Pathfinder (JPF) can detect latent errors of multithreaded Java programs through model checking. LÄS MER

  2. 2. Crowd evacuation in high-density scenarios

    Master-uppsats, Lunds universitet/Avdelningen för Brandteknik

    Författare :Ines Cilenti; [2019]
    Nyckelord :Crowd evacuation; high-density; crowd pressure; video analysis; bottleneck; outdoor event; local density.; Technology and Engineering;

    Sammanfattning : Nowadays, is becoming increasingly frequent holding events in outdoor environments, involving a large number of people, even though these spaces were not designed from a safe prospective, in the way that safety is defined today. In such events, high density conditions is an ongoing issue, as the evacuation becomes very complex, due to the space design and the interaction among the pedestrians. LÄS MER

  3. 3. The Analysis of Results of Stochastic Evacuation Models

    Master-uppsats, Lunds universitet/Avdelningen för Brandteknik

    Författare :Erik Smedberg; [2019]
    Nyckelord :Evacuation; Fire safety; Behavioural uncertainty; Evacuation modelling; Evacuation simulation; Pathfinder; Functional analysis; Egress.; Technology and Engineering;

    Sammanfattning : All humans are unique, we have different characteristics and we make different decision. This is a challenge when it comes to modelling human behaviour. The models we design are based on mathematics where there is no room for inconsistencies such that are present in human behaviour. LÄS MER

  4. 4. A Modelling Study on the Impact of Luggage and Airworthiness Certification on Aircraft Evacuation

    Kandidat-uppsats, Lunds universitet/Avdelningen för Brandteknik

    Författare :Alexander Johansson; [2019]
    Nyckelord :Technology and Engineering;

    Sammanfattning : Real-life aircraft evacuation drills can cost up to 2 million USD and may not at the same time be able to represent a real emergency scenario. with the use of evacuation models as a complement to the testing may reduce this cost. LÄS MER

  5. 5. Thermomechanical Design and Analysis of the Lisa Phase Measurement System

    Master-uppsats, Luleå tekniska universitet/Institutionen för system- och rymdteknik

    Författare :Pablo Martinez Cano; [2019]
    Nyckelord :LISA; PCB; temperature; passive; aluminum; aluminium;

    Sammanfattning : Gravitational Waves (GWs) are ripples in the curvature of spacetime that propagate as waves at the speed of light while travelling basically undisturbed from the moment of their creation by accelerated masses. GWs provide unique information about astrophysical sources, such as binary systems, allowing their exploration under a wide range of masses, mass ratios and physical states inaccessible otherwise and therefore opening a new window to observe the universe. LÄS MER