Search for dissertations about: "overloading"

Showing result 1 - 5 of 45 swedish dissertations containing the word overloading.

  2. 1. Conservative Definitions for Higher-order Logic with Ad-hoc Overloading

    Author : Arve Gengelbach; Tjark Weber; Joachim Parrow; Andrei Popescu; Uppsala universitet; []
    Keywords : NATURVETENSKAP; NATURAL SCIENCES; higher-order logic HOL ; conservative extension; ad-hoc overloading; definitions; Computer Science; Datavetenskap;

    Abstract : With an ever growing dependency on computer systems, the need to guarantee their correct behaviour increases. Mathematically rigorous techniques like formal verification offer a way to derive a system's mathematical properties for example with the help of a theorem prover. READ MORE

  4. 2. Urban stormwater systems in future climates : assessment and management of hydraulic overloading

    Author : Karolina Berggren; Adrian Saul; Luleå tekniska universitet; []
    Keywords : TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; VA-teknik; Urban Water Engineering;

    Abstract : Increasing global temperatures and tendencies of more frequent extreme weather events have been observed over the recent decades, and the continuation of this trend is predicted by future climate models. Such climatic changes impact on many human activities and hence the interest in, and focus on, climate change has increased rapidly in recent years. READ MORE

  5. 3. Towards polymorphic type inference with elemental function overloading

    Author : Claes Thornberg; KTH; []
    Keywords : ;

    Abstract : .... READ MORE

  6. 4. Growth of fatigue cracks subjected to non-proportional Mode I and II

    Author : Peter Dahlin; Mårten Olsson; Veronique École; KTH; []
    Keywords : TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; Fatigue crack growth; Mode II overloading; Crack closure; Sequential mixed mode loading; Other engineering mechanics; Övrig teknisk mekanik;

    Abstract : This thesis deals with some aspects of crack growth in the presence of cyclic loading, i.e. fatigue. The cyclic load cases studied here are primary of non-proportional mixed mode type. READ MORE

  7. 5. Long-term Voltage Stability in Power Systems - Alleviating the Impact of Generator Current Limiters

    Author : Stefan Johansson; Chalmers tekniska högskola; []
    Keywords : TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; rotor thermal overloading; dynamic load modelling; voltage stability; field current limiter; active power rescheduling; overexcitation limiter; armature current limiter; long-term power system dynamic stability;

    Abstract : The main issues in this dissertation are the behaviour of current limiters protecting synchronous generators, and the interactions that occur with other components in the power system during a voltage instability. The importance of these limiters for the voltage stability is shown both in the analysis of small models and in the simulations of larger networks. READ MORE