Sökning: "daniel larsson"

Visar resultat 11 - 15 av 36 avhandlingar innehållade orden daniel larsson.

  1. 11. 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

  3. 12. 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

  4. 13. Den dolda transitionen : om ett demografiskt brytningsskede i det tidiga 1700-talets Sverige : The Hidden Transition. A Demographic Long-term Change in Early 18th Century Sweden

    Författare :Daniel Larsson; Göteborgs universitet; []
    Nyckelord :HUMANIORA; HUMANITIES; history; Sweden; transition; crop failure; demography; 17th century; 18th century; nuptiality; mortality; fertility; diseases; parish register; Tabellverket; Great Northern War; demographic change; grain prices;

    Sammanfattning : Historical agricultural and economical research indicates that the extensive changes in society that occurred in Sweden (within agriculture, trade, landownership and production) at the end of Sweden's Time of Greatness in 1720 should have noticeably affected the living conditions of the population. A systematic study that compares the 17th and 18th century's demography has however still not been made. LÄS MER

  5. 14. Small-Animal Imaging with Liquid-Metal-Jet X-Ray Sources

    Författare :Daniel Larsson; Hans Hertz; Anna Burvall; David Paterson; KTH; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; X-ray; x-ray imaging; small animal; phase contrast; tomography; Fysik; Physics;

    Sammanfattning : Small-animal x-ray imaging is an important tool for medical research. The penetration power of x-rays makes it possible to investigate the 3D structure of small animals and other thick biological samples by computed tomography (CT). LÄS MER

  7. 15. Managing Thesis Projects in Higher Education - Through Learning Analytics

    Författare :Ken Larsson; Jalal Nouri; Daniel Spikol; Stockholms universitet; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; Computer and Systems Sciences; data- och systemvetenskap;

    Sammanfattning : For the student, the graduation project is in most universities the final step towards graduation and increased opportunities in the professional career. It is not uncommon for students to struggle with the thesis in order to complete their graduation, resulting in disrupted plans, delays in completion and the worst case, non-completion of their degrees. LÄS MER