Avancerad sökning
Visar resultat 1 - 5 av 162 avhandlingar som matchar ovanstående sökkriterier.
1. Algorithmic Verification Techniques for Mobile Code
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. DC-DC Converters - Dynamic Model Design and Experimental Verification
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. Design principles for noise reduction in hydraulic piston pumps : simulation, optimisation and experimental verification
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. Deformations and stresses in butt-welding of plates : numerical simulation and experimental verification
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. Filament winding of thermoset composites : process modelling and experimental verification
Sammanfattning : .... LÄS MER