Sökning: "blasting"

Visar resultat 36 - 40 av 49 avhandlingar innehållade ordet blasting.

  1. 36. From Machine Arithmetic to Approximations and back again : Improved SMT Methods for Numeric Data Types

    Författare :Aleksandar Zeljic; Philipp Ruemmer; Christoph M. Wintersteiger; Yi Wang; Armin Biere; Uppsala universitet; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; SMT; Model construction; Approximations; floating-point arithmetic; machine arithmetic; bit-vectors; Computer Science; Datavetenskap;

    Sammanfattning : Safety-critical systems, especially those found in avionics and automotive industries, rely on machine arithmetic to perform their tasks: integer arithmetic, fixed-point arithmetic or floating-point arithmetic (FPA). Machine arithmetic exhibits subtle differences in behavior compared to the ideal mathematical arithmetic, due to fixed-size representation in memory. LÄS MER

  3. 37. Penetrablity for cementitious injection groups

    Författare :Daniel Eklund; KTH; []
    Nyckelord :;

    Sammanfattning : Grouting as a method of strengthening and sealing rock, soiland concrete is widely spread. The possibilities of sealingstructures are of great importance in both economical andenvironmental point of view. The costs of grouting have incertain projects been as high as the cost for the blasting andexcavation of the tunnel. LÄS MER

  4. 38. Lastningssystem i brytningsfront för kontinuerliga bergflöden under jord

    Författare :Bo Forsman; Luleå tekniska universitet; []
    Nyckelord :TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; Mining and Rock Engineering; Gruv- och Berganläggningsteknik;

    Sammanfattning : There is a demand in mining for more investments in continuous loading methods in order to achieve higher productivity and lower costs. The creation of a better environment is another major goal which could be attained by using remote or automatic control of the continuously working machines. LÄS MER

  5. 39. Microbial nitrate removal from mining waters

    Författare :Maria Hellman; Sveriges lantbruksuniversitet; Sveriges lantbruksuniversitet; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES;

    Sammanfattning : Mining activities cause high levels of nitrogen in the process water. The nitrogen originates from the blasting procedure, where undetonated explosives in the form of ammonium nitrate dissolve in the water. Part of the water is discharged to receiving water bodies where it may cause environmental problems. LÄS MER

  7. 40. Laser cleaning as a conservation technique for corroded metal artifacts

    Författare :Yang Sook Koh; Luleå tekniska universitet; []
    Nyckelord :TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; Produktionsutveckling; Manufacturing Systems Engineering;

    Sammanfattning : Preservation of cultural property for the future is one of the most important activities of our society. The information which we can gather from such materials is a valuable key to understanding the past. Conservation is a process which includes a range of different treatments. LÄS MER