Sökning: "verification performance"

Visar resultat 6 - 10 av 209 avhandlingar innehållade orden verification performance.

  1. 6. Building Performance - Methods for Improved Prediction and Verification of Energy Use and Indoor Climate

    Författare :Hans Bagge; Avdelningen för Byggnadsfysik; []
    Nyckelord :TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; Energy Use; Residential buildings; Prediction; Verification; Measurements;

    Sammanfattning : Reducing CO2 emissions is one of the most important goals in Europe as well as the rest of the world. To reach that goal, the use of energy must be reduced. Thus, the building industry is facing a great challenge. Not only energy efficiency but also sustainability is desirable in the building stock. LÄS MER

  3. 7. Situation awareness in pervasive computing systems : reasoning, verification, prediction

    Författare :Andrey Boytsov; Christian Becker; Luleå tekniska universitet; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; situation awareness; context awareness; pervasive computing; ubiquitous computing; context prediction; Pervasive Mobile Computing; Distribuerade datorsystem;

    Sammanfattning : The paradigm of pervasive computing aims to integrate the computing technologies in a graceful and transparent manner, and make computing solutions available anywhere and at any time. Different aspects of pervasive computing, like smart homes, smart offices, social networks, micromarketing applications, PDAs are becoming a part of everyday life. LÄS MER

  4. 8. 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

  5. 9. Automated Verification and Generation of Flexible Automation Control

    Författare :Johan Richardsson; Chalmers tekniska högskola; []
    Nyckelord :TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; manufacturing systems; program generation; control; verification;

    Sammanfattning : Consumer product life-cycles are constantly shortening; the automotive industry is an illustrative example. As a consequence, the introduction of new products into the manufacturing system necessarily becomes more frequent. Inherently, this brings a performance reduction for the manufacturing system. LÄS MER

  7. 10. Safety in Case of Fire - The Effect of Changing Regulations

    Författare :Johan Lundin; Avdelningen för Brandteknik; []
    Nyckelord :TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; Technological sciences; verification; risk analysis; uncertainty; prescriptive; risk control; building regulation; Performance-based; fire safety engineering; Teknik; Building construction; Byggnadsteknik;

    Sammanfattning : In this doctoral thesis some fundamental problems concerning society's ability to control the safety in buildings in the case of fire by issuing performance-based building regulations are identified and analysed. Fire protection documentation from forty-six projects was studied, together with a detailed analysis of the Swedish building regulations and an extensive risk analysis of a class of buildings. LÄS MER