Search for dissertations about: "model"

Showing result 11 - 15 of 20860 swedish dissertations containing the word model.

  2. 11. Fluid Mechanics of Vertical Axis Turbines : Simulations and Model Development

    Author : Anders Goude; Olov Ågren; Carlos Simão Ferreira; Uppsala universitet; []
    Keywords : Wind power; Marine current power; Vertical axis turbine; Wind farm; Channel flow; Simulations; Vortex model; Streamtube model; Control system; Graphics processing unit; CUDA; Fast multipole method; Engineering Science with specialization in Science of Electricity; Teknisk fysik med inriktning mot elektricitetslära;

    Abstract : Two computationally fast fluid mechanical models for vertical axis turbines are the streamtube and the vortex model. The streamtube model is the fastest, allowing three-dimensional modeling of the turbine, but lacks a proper time-dependent description of the flow through the turbine. READ MORE

  4. 12. Model Adaptivity in Elasticity

    Author : David Heintz; Göteborgs universitet; []
    Keywords : TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; NATURVETENSKAP; NATURAL SCIENCES; finite element method; dimension reduction; a posteriori error; model error; model adaptivity; model error;

    Abstract : We consider model adaptivity in elasticity for dimensionally reduced forms, and shall treat different conceptual approaches. The basic idea, however, is to adaptively refine, not only the computational mesh, but also the underlying mathematical formulation. READ MORE

  5. 13. Oxidative Dissolution of Spent Fuel and Release of Nuclides from a Copper/Iron Canister : Model Developments and Applications

    Author : Longcheng Liu; KTH; []
    Keywords : TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; model; oxidative dissolution; spent fuel; radiolysis; release; mass transport; radionuclide; hydrogen; corrosion; canister; near field; repository; Chemical engineering; Kemiteknik;

    Abstract : Three models have been developed and applied in the performance assessment of a final repository. They are based on accepted theories and experimental results for known and possible mechanisms that may dominate in the oxidative dissolution of spent fuel and the release of nuclides from a canister. READ MORE

  6. 14. Integration of Enterprise Modeling and Model Driven Development : A Meta-Model and a Tool Prototype

    Author : Iyad Zikra; Janis Stirna; Jelena Zdravkovic; Anne Persson; Stockholms universitet; []
    Keywords : SAMHÄLLSVETENSKAP; SOCIAL SCIENCES; Model-Driven Development; MDD; Enterprise Modeling; EM; Meta-model; Prototype; Design Science; Tool Implementation; informationssystem; Information Systems;

    Abstract : The use of models for designing and developing Information Systems (IS) has changed in recent years. Models are no longer considered a peripheral documentation medium that is poorly maintained and often neglected. READ MORE

  7. 15. Regular Model Checking

    Author : Marcus Nilsson; Bengt Jonsson; Parosh Aziz Abdulla; Kim Larsen; Uppsala universitet; []
    Keywords : NATURVETENSKAP; NATURAL SCIENCES; formal methods; model checking; verification; regular sets; Computer science; Datavetenskap;

    Abstract : A major current challenge in the area of program verification is to extend its applicability to infinite-state systems. A system can be infinite-state because it operates on unbounded data structures, such as queues, stacks, integers, etc., or because its description is parameterized by the number of components inside the system. READ MORE