Search for dissertations about: "Experimental Verification"

Showing result 1 - 5 of 162 swedish dissertations containing the words Experimental Verification.

  2. 1. Algorithmic Verification Techniques for Mobile Code

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

    Abstract : 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. READ MORE

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

    Author : Bengt Johansson; Industriell elektroteknik och automation; []
    Keywords : 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;

    Abstract : 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. READ MORE

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

    Author : Andreas Johansson; Kevin Edge; Linköpings universitet; []
    Keywords : hydraulic piston pumps; TECHNOLOGY; TEKNIKVETENSKAP;

    Abstract : 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. READ MORE

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

    Author : Lars-Erik Lindgren; Luleå tekniska universitet; []
    Keywords : TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; Material Mechanics; Materialmekanik;

    Abstract : 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. READ MORE

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

    Author : S. Kurt Olofsson; Luleå tekniska universitet; []
    Keywords : TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; Polymera konstruktionsmaterial; Polymeric Composite Materials;

    Abstract : .... READ MORE