Avancerad sökning
Visar resultat 1 - 5 av 477 avhandlingar som matchar ovanstående sökkriterier.
1. Pharmacodynamics of Enzyme Induction and its Consequences for Substrate Elimination
Sammanfattning : Enzyme induction is a process whereby a molecule enhances the expression of enzymes. If the affected enzymes are involved in the elimination of a drug, this may result in a drug interaction. Induction is therefore of major concern during drug development and in clinical practice. LÄS MER
2. 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
3. Efficient Electromagnetic Induction Modelling : Adaptive mesh optimisation, advanced boundary methods and iterative solution techniques
Sammanfattning : Forward modelling of electromagnetic induction data simulates the electric and magnetic fields within a computational domain for a given distribution of electromagnetic material properties and a given source of the electromagnetic field. The quantities of interest are the fields at receiver locations at the Earth's surface. LÄS MER
4. Thermal Modelling of Small Cage Induction Motors
Sammanfattning : The loadability of electric machines is above all determined by temperature limits. In this work, thermal network models, suitable for totally enclosed fan cooled (TEFC) induction motors, are used to predict the machine temperatures. LÄS MER
5. On Fault Detection, Diagnosis and Monitoring for Induction Motors
Sammanfattning : In this thesis, multiple methods and different approaches have been established and evaluated successfully, in order to detect and diagnose the faults of induction motors (IMs). The aim of this thesis is to present novel fault detection and isolation methods for the case of induction machines that would have the merit to be implemented online and being characterized by specific novel capabilities, when compared with the existing techniques. LÄS MER