Sökning: "Daniel larsson chalmers"

Hittade 3 avhandlingar innehållade orden Daniel larsson chalmers.

  1. 1. Dynamic evaluation of orthotropic material constants

    Författare :Daniel Larsson; Chalmers tekniska högskola; []
    Nyckelord :TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY;

    Sammanfattning : .... LÄS MER

  3. 2. Formal Specification and Verification of Safety-Critical Software

    Författare :Daniel Larsson; Chalmers tekniska högskola; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; fault injection; fault tolerance; safety-critical; dependability; formal verification; Formal specification;

    Sammanfattning : This thesis is about formal specification and formal verification of software and consists of three different parts. In the first two parts, the formal specification language OCL is treated in two different contexts. The third part describes a technique for analysing the consequences of hardware faults as part of formal software verification. LÄS MER

  4. 3. Mechanical Characterization of Engineering Materials by Modal Testing

    Författare :Daniel Larsson; Chalmers tekniska högskola; []
    Nyckelord :TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; material variability; modal testing; non-destructive test methods; damping ratios; timber beams; plastic panels; aluminium panel; elastic constants; concrete curing; wood-based panels; solids; high-strength concrete; anisotropic materials;

    Sammanfattning : This thesis deals with the use of modal testing for establishing elastic constants of engineering materials and for indicating material variability in terms of stiffness and damping properties. The methodology using modal testing techniques, is applied to timber beams, high strength concrete prisms, wood-based panels (oriented strand board and chipboard), an aluminium alloy panel and plastic laminate panels (high-pressure laminate). LÄS MER