Sökning: "Induction"
Visar resultat 1 - 5 av 1754 avhandlingar innehållade ordet Induction.
1. Collage induction : proving properties of logic programs by program synthesis
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
2. Induction bearings
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
3. Modeling of induction stirred ladles
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
4. Induction Rules for Proving Correctness of Imperative Programs
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
5. Magnetic Fields and Induced Power in the Induction Heating of Aluminium Billets
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