Search for dissertations about: "rigorous numerics"

Found 2 swedish dissertations containing the words rigorous numerics.

  2. 1. Rigorous Simulation : Its Theory and Applications

    Author : Adam Duracz; Walid Taha; Veronica Gaspes; Kazunori Ueda; Högskolan i Halmstad; []
    Keywords : NATURVETENSKAP; NATURAL SCIENCES; simulation; verification; interval analysis; validated numerics; hybrid systems; cyber-physical systems;

    Abstract : Designing Cyber-Physical Systems is hard. Physical testing can be slow, expensive and dangerous. Furthermore computational components make testing all possible behavior unfeasible. Model-based design mitigates these issues by making it possible to iterate over a design much faster. READ MORE

  4. 2. On the effects of surface roughness in lubrication

    Author : Andreas Almqvist; Luleå tekniska universitet; []
    Keywords : TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; Maskinelement; Machine Elements;

    Abstract : Tribology is a multidisciplinary field defined as the science and technology of interacting surfaces in relative motion, and embraces the study of friction, wear and lubrication. A typical tribological application is the rolling element bearing. READ MORE