Visar resultat 1 - 5 av 1674 avhandlingar innehållade ordet Induction.
Sammanfattning : The motivation behind this thesis is to formally prove programs correct. The contributions are twofold:Firstly, a new rule of mathematical induction called collage induction, is introduced, which treats mathematical induction as a natural generalization of the CUT-rule. LÄS MER
Sammanfattning : A self stabilizing homopolar induction bearing withintegrated touch down bearings has been developed forhigh-speed applications like flywheels, small gas turbines andcompact vacuum cleaners.Stability is achieved without any control electronics thanksto stabilizing eddy currents induced by permanent magnets. LÄS MER
Sammanfattning : Over the years numerous computational fluid dynamics models have been developed in order to study the fluid flow in gas and induction stirred ladles. These models are used to gain insight in the industrial processes used in ladle treatment of steel. A unified model of an induction stirred Ladle in two and three dimensions is presented. LÄS MER
Sammanfattning : This thesis is aimed at simplifying the user-interaction in semi-interactive theorem proving for imperative programs. More specifically, we describe the creation of customised induction rules that are tailor-made for the specific program to verify and thus make the resulting proof simpler. LÄS MER
Sammanfattning : Induction heating is a common industrial process used for the reheating of billets before extrusion or forging. In this work the influence of the coil and work piece geometry, the effect of the electrical properties of the work piece, and the coil current and frequency, on the magnetic flux density and resulting work piece heating rates were studied. LÄS MER