Search for dissertations about: "first order reliability method"

Showing result 11 - 15 of 71 swedish dissertations containing the words first order reliability method.

  1. 11. Types for Crash Preventionn

    Author : Lars Pareto; Chalmers tekniska högskola; []
    Keywords : NATURVETENSKAP; NATURAL SCIENCES; reliability; dependability; concurrent programming; denotational semantics; real-time systems and embedded systems; data-flow; dynamic storage management; applicative functional programming languages ; type systems;

    Abstract : This thesis seeks to strengthen the capabilities of static polymorphic type-checking (as known from typed lambda calculus and functional programming) to allow a larger class of programming errors to be caught at compile time: the goal is to not only prevent illegal uses of data, but to also errors that lead to busy-loops, deadlocks, stack-overflows and heap-overflows. The thesis exploits that, for recursive programs, many correctness properties (including freedom from errors leading to busy-loops, etc. READ MORE

  2. 12. Probabilistic Modelling of Air Infiltration and Heat Loss in Low-Rise Buildings

    Author : Krystyna Pietrzyk; Chalmers tekniska högskola; []
    Keywords : TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; ventilation; heat loss; reliability; leakage; air infiltration; risk analysis; thermal transmittance; probabilistic model; wind; building physics;

    Abstract : A probabilistic model (PROMO) of air exchange and heat loss in a low-rise building with a lightweight construction is proposed. The probability distributions of the air change rate and of the heat loss are the main outputs of the model. READ MORE

  3. 13. Probabilistic System Effects in Timber Structures

    Author : Martin Hansson; Avdelningen för Konstruktionsteknik; []
    Keywords : TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; Byggnadsteknik; Building construction; Anläggningsteknik; Construction technology; first order reliability method; Monte Carlo simulation; system effect; sheathed parallel member system; structural timber; roof truss;

    Abstract : The main purpose of the performed research presented in this thesis is to increase the understanding of the effect of variability of strength properties on the reliability of timber structural systems. Compared to other structural materials such as steel and concrete, structural timber has a considerably higher variability of strength both within and between members. READ MORE

  4. 14. Enhancing the industrial use of process capability studies

    Author : Mats Deleryd; Luleå tekniska universitet; []
    Keywords : TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; Kvalitetsteknik; Quality Technology and Management;

    Abstract : The overall aim of this thesis is focused on how the industrial use of process capability studies can be improved. This aim is achieved by using two different approaches. As a first approach the gap between the theoretical frontier and practitioners use of process capability studies is identified, quantified, and explained. READ MORE

  5. 15. Knowledge-based Engineering in Product Development Processes - Process, IT and Knowledge Management perspectives

    Author : Amer Catic; Chalmers tekniska högskola; []
    Keywords : TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; Knowledge-based engineering; product development; product lifecycle management; knowledge management; service oriented architecture;

    Abstract : Product development as a field of practice and research has significantly changed due to the general trends of globalization changing the enterprise landscapes in which products are realized. The access to partners and suppliers with high technological specialization has also led to an increased specialization of original equipment manufacturers (OEMs). READ MORE