Sökning: "Experimental Verification"

Visar resultat 1 - 5 av 138 avhandlingar innehållade orden Experimental Verification.

  1. 1. Algorithmic Verification Techniques for Mobile Code

    Författare :Irem Aktug; Dilian Gurov; Mads Dam; Ulfar Erlingsson; KTH; []
    Nyckelord :NATURAL SCIENCES; NATURVETENSKAP; NATURVETENSKAP; NATURAL SCIENCES; Verification; Mobile Code Security; Reference Monitoring; Maximal Models; Compositional Verification; Theoretical computer science; Teoretisk datalogi;

    Sammanfattning : Modern computing platforms strive to support mobile code without putting system security at stake. These platforms can be viewed as open systems, as the mobile code adds new components to the running system. Establishing that such platforms function correctly can  be divided into two steps. LÄS MER

  2. 2. DC-DC Converters - Dynamic Model Design and Experimental Verification

    Författare :Bengt Johansson; Industriell elektroteknik och automation; []
    Nyckelord :TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; robotics; buck; dc-dc converter; modeling; audio susceptibility; current-mode control; load current; gain scheduling; current transformer; experimental verification; Electronics and Electrical technology; Automation; Elektronik och elektroteknik; Elektroteknik; Electrical engineering; reglerteknik; robotteknik; Automatiska system; control engineering;

    Sammanfattning : To obtain high performance control of a dc-dc converter, a good model of the converter is needed. The load usually affects the dynamics and one way to take this into consideration is to regard the load as a part of the converter. The load is often the most variable part of this system. LÄS MER

  3. 3. Design principles for noise reduction in hydraulic piston pumps : simulation, optimisation and experimental verification

    Författare :Andreas Johansson; Kevin Edge; Linköpings universitet; []
    Nyckelord :hydraulic piston pumps; TECHNOLOGY; TEKNIKVETENSKAP;

    Sammanfattning : Noise reduction in hydmulic systems has been an important research topic for several decades. In recent years, industry's interest in the area has grown dramatically. The reason is new national and international requirements and legislation governing working conditions. LÄS MER

  4. 4. Deformations and stresses in butt-welding of plates : numerical simulation and experimental verification

    Författare :Lars-Erik Lindgren; Luleå tekniska universitet; []
    Nyckelord :ENGINEERING AND TECHNOLOGY; TEKNIK OCH TEKNOLOGIER; TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; Material Mechanics; Materialmekanik;

    Sammanfattning : Deformation and stresses in butt-welding of plates were studied. The work includes numerical simulation and experimental verification. The simulations were performed by use of the finite element method. Temperature dependence of material properties and phase transformations were considered. LÄS MER

  5. 5. Filament winding of thermoset composites : process modelling and experimental verification

    Författare :S. Kurt Olofsson; Luleå tekniska universitet; []
    Nyckelord :ENGINEERING AND TECHNOLOGY; TEKNIK OCH TEKNOLOGIER; TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; Polymera konstruktionsmaterial; Polymeric Composite Materials;

    Sammanfattning : .... LÄS MER