Sökning: "mathematical induction"
Visar resultat 1 - 5 av 25 avhandlingar innehållade orden mathematical 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. Measurements and Modelling of Low-frequency Disturbances in Induction Machines
Sammanfattning : in this thesis the low-frequency dynamic behavior of the induction machine is analyzed. disturbances in the shaft torque and supply voltage are investigated theoretically, The calculated response to shaft torque disturbances is verified with measurements on a 15 kW machine. LÄS MER
3. 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
4. Aspects on Wind Turbine Protections and Induction Machine Fault Current Prediction
Sammanfattning : This thesis presents detailed modelling of the induction machine with the main objective being accurate fault current prediction. The thesis focus mainly on mains connected induction machines and the response due to severe disturbances in the supply voltage, such as three-phase short-circuit faults. LÄS MER
5. Inclusion Motion under a Swirl Flow in the Continuous Casting Process and Wire Feeding in the Induction Furnace
Sammanfattning : The thesis includes the studies of two phenomena related to continuous casting. One subject is the inclusion motion in the submerged entry nozzle (SEN) and mold when using a swirl flow. The swirl flow is generated in a SEN by using an electromagnetic swirl flow generator (EMSFG). LÄS MER