Sökning: "Induction"

Visar resultat 1 - 5 av 1674 avhandlingar innehållade ordet Induction.

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

    Författare :Hans Olsén; Linköpings universitet; []
    Nyckelord :NATURAL SCIENCES; NATURVETENSKAP; NATURVETENSKAP; NATURAL SCIENCES;

    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. 2. Induction bearings

    Författare :Torbjörn A. Lembke; KTH; []
    Nyckelord :;

    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. 3. Modeling of induction stirred ladles

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

    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. 4. Induction Rules for Proving Correctness of Imperative Programs

    Författare :Angela Wallenburg; Göteborgs universitet; Göteborgs universitet; Gothenburg University; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; program verification; software testing; interactive theorem proving; mathematical induction; customised induction rules;

    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. 5. Magnetic Fields and Induced Power in the Induction Heating of Aluminium Billets

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

    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