Essays about: "Pathfinder"

Showing result 1 - 5 of 31 essays containing the word Pathfinder.

  1. 1. Integrating Fire Evacuation into the Building Information Modelling Workflow

    University essay from Lunds universitet/Avdelningen för Brandteknik

    Author : Nazim Yakhou; [2022]
    Keywords : Fire Safety Engineering; Building Information Modelling; Fire Evacuation; Performance Based Design; Golden Thread of Information; Technology and Engineering;

    Abstract : Building Information Modelling (BIM) is arising gradually as a useful methodology in the AEC field. One of the many benefits of BIM is coordination between stakeholders from multiple disciplines. However, the field of Fire Safety Engineering (FSE) is relatively lagging by its lack of integration into this digital workflow. READ MORE

  3. 2. Trace Visualization with Java Pathfinder using Theia Trace Viewer

    University essay from KTH/Skolan för elektroteknik och datavetenskap (EECS)

    Author : Johan Besseling; [2022]
    Keywords : Java Pathfinder; Theia Traceviewer; Trace Compass; Trace viewing; Java Pathfinder; Theia Traceviewer; Trace Compass; Trace viewing;

    Abstract : Java Pathfinder (JPF) is a tool to debug Java-based software running multiple threads or processes, with a textual output that be may hard to understand. Recent development introduced the possibility to generate a trace from JPF and visualize it in Trace Compass (TC), a general-purpose trace viewing application. READ MORE

  4. 3. Mescape - A probabilistic mesoscopic model for fire evacuation in large gatherings

    University essay from Lunds universitet/Avdelningen för Brandteknik

    Author : Lorenzo Contini; [2022]
    Keywords : Human behaviour; crowd evacuation; mesoscopic modelling; hydraulic model; large gatherings; fire safety; performance-based design; quantitative risk assessment; consequence analysis; uncertainty analysis; probabilistic modelling; Technology and Engineering;

    Abstract : This study presents a mesoscopic model that predicts pedestrian evacuation in large gatherings with probabilistic methods. The model is based on a coarse network representation of buildings, where occupants are treated at a different scale according to their location. READ MORE

  5. 4. Execution Trace Visualization for Java Pathfinder using Trace Compass

    University essay from KTH/Skolan för elektroteknik och datavetenskap (EECS)

    Author : Yang Zhou; [2020]
    Keywords : Java Pathfinder; Trace Compass; Trace Analysis; Trace Visualization;

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

  6. 5. Crowd evacuation in high-density scenarios

    University essay from Lunds universitet/Avdelningen för Brandteknik

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

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