Sökning: "static"

Visar resultat 6 - 10 av 1508 avhandlingar innehållade ordet static.

  1. 6. Muscular forces from static optimization

    Författare :Sofia Heintz; Anders Eriksson; Elena Gutierrez-Farewik; Anton Arndt; KTH; []
    Nyckelord :TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; movement analysis; muscle forces; static optimization; Other engineering mechanics; Övrig teknisk mekanik;

    Sammanfattning : At every joint there is a redundant set of muscle activated during movement or loading of the system. Optimization techniques are needed to evaluate individual forces in every muscle. The objective in this thesis was to use static optimization techniques to calculate individual muscle forces in the human extremities. LÄS MER

  3. 7. Static and fatigue analyses of welded steel structures : some aspects towards lightweight design

    Författare :Mansoor Khurshid; Zuheir Barsoum; Lars-Erik Lindgren; KTH; []
    Nyckelord :TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; Fatigue strength; welded joints; static strength; high strength steel; Farkostteknik; Vehicle and Maritime Engineering; Aerospace Engineering; Flyg- och rymdteknik;

    Sammanfattning : The objectives of this thesis comprise of overcoming the challenges in designing lightweight welded structures such as material selection, choice of fatigue design methods, and increased performance by using improvement techniques. Material selection of welded joints is dependent on the filler and base material strengths. LÄS MER

  4. 8. Demand-Driven Static Backward Program Slicing Based on Predicated Code Block Graphs

    Författare :Husni Khanfar; Björn Lisper; Hans Hansson; Saad Mubeen; Daniel Hedin; Welf Löwe; Mälardalens högskola; []
    Nyckelord :TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; Static Program Analysis; Static Program Slicing; Control Dependency;

    Sammanfattning : Static backward program slicing is a technique to compute the set of program statements, predicates and inputs that might affect the value of a particular variable at a program location. The importance of this technique comes from being an essential part of many critical areas such as program maintenance, testing, verification, debugging, among others. LÄS MER

  5. 9. Unified Static and Runtime Verification of Object-Oriented Software

    Författare :Mauricio Chimento; Chalmers tekniska högskola; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; Runtime Verification; Java; Static Verification; Formal Methods;

    Sammanfattning : At the time of verifying software one can make use of several verification techniques. These techniques mostly fall in one of two categories: Static Verification and Dynamic Verification. LÄS MER

  7. 10. Numerical Studies of Mixing in Pipes and Static Mixers

    Författare :Mårten Regner; Livsmedelsteknik; []
    Nyckelord :TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; Turbulent mixing; Secondary flow; Viscosity ratio; Computational fluid dynamics; Food and drink technology; Livsmedelsteknik; Rate of striation thinning; Static mixer; Laminar mixing;

    Sammanfattning : The objective of the present work was to investigate the mixing process in static mixers under laminar flow conditions, and in pipes during the displacement of dissimilar liquids. A numerical scheme and a method of characterizing static mixers were developed. LÄS MER