Sökning: "dam safety"

Visar resultat 1 - 5 av 38 avhandlingar innehållade orden dam safety.

  1. 1. Tailings Dam Performance : Modeling and Safety Analysis of a Tailings dam

    Författare :Roger Knutsson; Annika Bjelkevik; Luleå tekniska universitet; []
    Nyckelord :TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; Soil Mechanics; Geoteknik;

    Sammanfattning : Storage and management of mine waste are both needed in the mining industry. After mineral extraction of the ore, there are generally leftovers with insufficient economical value that need to be taken care of. The finest grained fractions are referred to as tailings. LÄS MER

  3. 2. Proving Safety and Security of Binary Programs

    Författare :Andreas Lindner; Roberto Guanciale; Mads Dam; Tamara Rezk; KTH; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; Binary Code; Binary Analysis; Formal Verification; Model-Based Testing; Theorem Proving; HOL4; Intermediate Language; Instruction Set Architectures; ISA; Observational Models; Symbolic Execution; Weakest-Precondition; Execution Time Analysis; binärkod; binärkodsanalys; formell verifiering; modellbaserad testning; satsbevisning; HOL4; mellankod; instruktionsuppsättningar; ISA; observationsmodeller; symbolisk exekvering; minst restriktiva villkoret; analys av övre tidsgräns; Datalogi; Computer Science;

    Sammanfattning : With the increasing ubiquity of computing devices, their correct and secure operation is of growing importance. In particular, critical components that provide core functionalities or process sensitive data have to operate as intended. LÄS MER

  4. 3. Dam safety risk management

    Författare :Stefan Berntsson; KTH; []
    Nyckelord :;

    Sammanfattning : .... LÄS MER

  5. 4. Dam safety in a hydrological perspective-Case study of the historical water system of Sala Silver Mine

    Författare :Tina Fridolf; KTH; []
    Nyckelord :dam safety; design flood; flood mitigation; hydrological; risk assessment;

    Sammanfattning : The old water system in Sala, formerly belonging to thesilver mine, is analysed with regard to dam safety focusing onthe hydrological aspects. The hydrological safety of the riskclass I dams in the area, built in the 16th century, is notconsidered adequate according to the Swedish guidelines fordesign flood determination. LÄS MER

  7. 5. Toward a reliability framework for the observational method

    Författare :Johan Spross; Stefan Larsson; Fredrik Johansson; Rasmus Müller; John Harrison; KTH; []
    Nyckelord :TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; Rock engineering; observational method; Eurocode 7; structural safety; reliability analysis; dam safety; Bergmekanik; observationsmetoden; Eurokod 7; sannolikhetsbaserad dimensionering; dammsäkerhet; Byggvetenskap; Civil and Architectural Engineering;

    Sammanfattning : Constructing sustainable structures in rock that satisfy all predefined technical specifications requires rational and effective construction methods. When the geotechnical behaviour is hard to predict, the Euro­pean design code, Eurocode 7, suggests application of the observational method to verify that the performance is acceptable. LÄS MER