Search for dissertations about: "induction"

Showing result 1 - 5 of 1735 swedish dissertations containing the word induction.

  2. 1. Collage induction : proving properties of logic programs by program synthesis

    Author : Hans Olsén; Linköpings universitet; []
    Keywords : NATURVETENSKAP; NATURAL SCIENCES;

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

  4. 2. Induction bearings

    Author : Torbjörn A. Lembke; KTH; []
    Keywords : ;

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

  5. 3. Modeling of induction stirred ladles

    Author : Mayur Pal; Pär Jönsson; Pavel Ramirez Lopez; KTH; []
    Keywords : induction ladle; electromagnetic; Lorentz forces; magnetic stirrer; magnetic diffusion; Navier-Stokes; FEM;

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

  6. 4. Induction Rules for Proving Correctness of Imperative Programs

    Author : Angela Wallenburg; Göteborgs universitet; []
    Keywords : NATURVETENSKAP; NATURAL SCIENCES; program verification; software testing; interactive theorem proving; mathematical induction; customised induction rules;

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

  7. 5. Magnetic Fields and Induced Power in the Induction Heating of Aluminium Billets

    Author : Mark William Kennedy; Ragnhild E. Aune; Andreas Westermoen; KTH; []
    Keywords : TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; Induction; heating; billets; coils; magnetic fields;

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