Search for dissertations about: "refinement"

Showing result 6 - 10 of 364 swedish dissertations containing the word refinement.

2. 6. System Level Techniques for Verification and Synchronization after Local Design Refinements

   Author : Tarvo Raudvere; Axel Jantsch; Sandeep Shukla; KTH; []
   Keywords : NATURVETENSKAP; NATURAL SCIENCES; Electronic System Design; Refinement; Verification; Synchronization; Systems engineering; Systemteknik;

   Abstract : Today's advanced digital devices are enormously complex and incorporate many functions. In order to capture the system functionality and to be able to analyze the needs for a final implementation more efficiently, the entry point of the system development process is pushed to a higher level of abstraction. READ MORE

4. 7. Traceability in continuous processes : applied to ore refinement processes

   Author : Björn Kvarnström; Josse De Baerdemaeker; Luleå tekniska universitet; []
   Keywords : TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; Kvalitetsteknik; Quality Technology and Management;

   Abstract : Introduction and purpose: Traceability is central for the identification of the root cause(s) behind a product deviation and thus to achieve a product and process quality that is both high and even. Continuous processes contain several characteristics complicating traceability which are not usually discussed in the scientific literature. READ MORE

5. 8. Towards a Trustworthy Stack: Formal Verification of Low-Level Hardware and Software

   Author : Ning Dong; Roberto Guanciale; Mads Dam; Magnus Myreen; KTH; []
   Keywords : NATURVETENSKAP; NATURAL SCIENCES; Formal Verification; Information Flow; Refinement; Interactive Theorem Prover; HOL4; Serial Interface; Pipelined Processor; Microarchitecture; Out-of-order Execution; Formell Verifiering; Informationsflöde; Förfining; Interaktiva Bevisprogrammet; HOL4; Seriellt Gränssnitt; Pipelined Processor; Mikroarkitektur; Omordnad Exekvering; Datalogi; Computer Science;

   Abstract : Computer systems, consisting of hardware and software, have gained significant importance in the digitalised world. These computer systems rely on critical components to provide core functionalities and handle sensitive data. READ MORE

6. 9. Adaptive Mesh Refinement and Simulations of Unsteady Delta-Wing Aerodynamics

   Author : Yann Le Moigne; KTH; []
   Keywords : delta wing; high angle of attack; vortex; pitching; mesh refinement; UCAV; vortex sensor; tensor ofvelocity gradients;

   Abstract : This thesis deals with Computational Fluid Dynamics (CFD)simulations of the flow around delta wings at high angles ofattack. These triangular wings, mainly used in militaryaircraft designs, experience the formation of two vortices ontheir lee-side at large angles of attack. READ MORE

7. 10. Aspects of adaptive mesh refinement in the spectral element method

   Author : Nicolas Offermans; Philipp Schlatter; Ananias Tomboulides; KTH; []
   Keywords : TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; Error estimators; mesh refinement; adaptivity; spectral element method; algebraic multigrid method; NACA4412; periodic hill case.; Engineering Mechanics; Teknisk mekanik;

   Abstract : This thesis deals with the improvement of the efficiency of numerical simulations in computational fluid dynamics. Some of the limitations of current algorithms on future exascale supercomputers are addressed with the main goal of using adaptive mesh refinement for the simulation of turbulent and three-dimensional flows. READ MORE