Search for dissertations about: "Dam safety"

Showing result 1 - 5 of 38 swedish dissertations containing the words Dam safety.

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

    Author : Roger Knutsson; Annika Bjelkevik; Luleå tekniska universitet; []
    Keywords : TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; Soil Mechanics; Geoteknik;

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

  4. 2. Proving Safety and Security of Binary Programs

    Author : Andreas Lindner; Roberto Guanciale; Mads Dam; Tamara Rezk; KTH; []
    Keywords : 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;

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

  5. 3. Dam safety risk management

    Author : Stefan Berntsson; KTH; []
    Keywords : ;

    Abstract : .... READ MORE

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

    Author : Tina Fridolf; KTH; []
    Keywords : dam safety; design flood; flood mitigation; hydrological; risk assessment;

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

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

    Author : Johan Spross; Stefan Larsson; Fredrik Johansson; Rasmus Müller; John Harrison; KTH; []
    Keywords : 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;

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