Sökning: "Pathfinder"

Visar resultat 26 - 30 av 64 uppsatser innehållade ordet Pathfinder.

1. 26. Configuring Java Pathfinder for concurrent Java programs

   Kandidat-uppsats, KTH/Skolan för datavetenskap och kommunikation (CSC)

   Författare :Andrew Bwogi; Tuncay Dagdelen; [2017]
   Nyckelord :;

   Sammanfattning : Software verification is a field of computer science dedicated to guar- antee that a program runs according to a formalized specification. Of various kinds of verification techniques model checking tries all possi- ble states of a program and makes sure each state satisfies a set of for- malized properties. LÄS MER

3. 27. Brandteknisk Riskvärdering Punkt Galleria Västerås

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

   Författare :Joar Persson; Hanna Eklöf; Johanna Hammarberg; Torbjörn Neckfors; [2017]
   Nyckelord :Fire safety evaluation; fire; evacuation; Pathfinder; Fire Dynamics Simulation; mall; Technology and Engineering;

   Sammanfattning : The following is a fire-safety-risk-assessment with the purpose of evaluating the safety of the shopping center Punkt in Västerås, Sweden. The risk assessment is an assignment in the course Brandteknisk Riskvärdering given at Lunds Tekniska Högskola, Lunds University, Sweden. Punkt is a shopping center on floor 3 and 3.5 of a 9-story building. LÄS MER

4. 28. Brandteknisk riskvärdering av Bildningscentrum i Flen

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

   Författare :Gustav Hahlin; Hadi Saleh Mohammad; Henrik Lundin; Kujtim Ukaj; [2017]
   Nyckelord :Brandteknisk; Riskanalys; Riskvärdering; Bildningscentrum i Flen; Riskanalys skola; Brandteknisk riskvärdering; LTH riskvärdering; BTR; Technology and Engineering;

   Sammanfattning : This study has been carried out, as part of the course Fire Safety Evaluation at Lund Technical University, to assess the fire safety of an elementary school in Flen. The study is made up of three parts, an overview and description of the school, an analysis of possible fire scenarios within the school compound, and a set of action proposals based on the findings from the analysis. LÄS MER

5. 29. Spacecraft dynamic analysis and correlation with test results : Shock environment analysis of LISA Pathfinder at VESTA test bed

   Master-uppsats, Luleå tekniska universitet/Rymdteknik

   Författare :Beata Iwona Kunicka; [2017]
   Nyckelord :FEA FEM; finite element analysis; finite element method; mechanical analysis; structural analysis; dynamic analysis; computational dynamic analysis of structures; shock analysis; shock environment; shock test; shock test campaign; spacecraft dynamic analysis; MSC Nastran; MSC Patran; Dynaworks; Shock Response Spectrum; SRS; space engineering; space science and technology; mechanical engineering; structural engineering; analysis optimisation; analysis parametrisation; mechanical wave propagation; shock propagation; damping; hysteretic damping; viscous damping; structural damping;

   Sammanfattning : The particular study case in this thesis is the shock test performed on the LISA Pathfinder satellite conducted in a laboratory environment on a dedicated test bed: Vega Shock Test Apparatus (VESTA). This test is considered fully representative to study shock levels produced by fairing jettisoning event at Vega Launcher Vehicle, which induces high shock loads towards the satellite. LÄS MER

7. 30. Theoretical Comparison of Partial Order Reduction: Java Pathfinder vs. Moonwalker

   Kandidat-uppsats, KTH/Skolan för datavetenskap och kommunikation (CSC)

   Författare :Linn Jensen; [2017]
   Nyckelord :;

   Sammanfattning : A problem in modern model checkers is the state explosion problem. Many methods exists to reduce the problem whereas partial order reduction is one of the most common methods. The partial order reduction is designed to reduce states that are not relevant for concurrency bugs by making transitions through non-relevant states. LÄS MER