Search for dissertations about: "dam construction"

Showing result 1 - 5 of 38 swedish dissertations containing the words dam construction.

  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. State space representation for verification of open systems

    Author : Irem Aktug; Mads Dam; Parosh Abdulla; KTH; []
    Keywords : NATURVETENSKAP; NATURAL SCIENCES; Computer science; Datalogi;

    Abstract : When designing an open system, there might be no implementation available for cer- tain components at verification time. For such systems, verification has to be based on assumptions on the underspecified components. In this thesis, we present a framework for the verification of open systems through explicit state space representation. READ MORE

  5. 3. Algorithmic Verification Techniques for Mobile Code

    Author : Irem Aktug; Dilian Gurov; Mads Dam; Ulfar Erlingsson; KTH; []
    Keywords : NATURVETENSKAP; NATURAL SCIENCES; Verification; Mobile Code Security; Reference Monitoring; Maximal Models; Compositional Verification; Theoretical computer science; Teoretisk datalogi;

    Abstract : Modern computing platforms strive to support mobile code without putting system security at stake. These platforms can be viewed as open systems, as the mobile code adds new components to the running system. Establishing that such platforms function correctly can  be divided into two steps. READ MORE

  6. 4. Sedimentological and Hydrological Investigation of Mosul Dam Reservoir

    Author : Issa E Issa; Ian Foster; Luleå tekniska universitet; []
    Keywords : TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; Area-storage capacity curves; Area reduction method; Bathymetric survey; Losing storage capacity; Mosul dam; Reservoir bottom morphology; Reservoir sedimentation; Sediment trap efficiency; Useful life of dam; Soil Mechanics; Geoteknik;

    Abstract : Reservoir sedimentation is the main problem that directly affects the performance of dams due to the reduction in the storage capacity of their reservoirs. Monitoring the storage capacity of reservoirs is an important issue for the planners, designers and operators of the dams. READ MORE

  7. 5. Investigation of Suffusion in Glacial Till Dam Cores : Testing methods and critical hydraulic gradients

    Author : Ingrid Silva; Jan Laue; Peter Viklander; Thomas Pabst; Luleå tekniska universitet; []
    Keywords : TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; internal erosion; suffusion; glacial till; dam cores; dams; experimental investigation; hydraulic gradient; testing methods; cohesionless soils; granular soils; Geoteknik; Soil Mechanics;

    Abstract : Suffusion is an internal erosion mechanism that occurs in embankment dams when fine grained particles in the dam core are washed out by seepage. Initiation of internal erosion depends mainly on three major factors: grain size distribution of the soil, stress conditions and hydraulic gradient; whilst its continuation depends on the properties of the filter. READ MORE