Sökning: "Model}"

Visar resultat 11 - 15 av 21893 avhandlingar innehållade ordet Model}.

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

    Författare :Anders Goude; Olov Ågren; Carlos Simão Ferreira; Uppsala universitet; []
    Nyckelord :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;

    Sammanfattning : 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. LÄS MER

  3. 12. Model Adaptivity in Elasticity

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

    Sammanfattning : 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. LÄS MER

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

    Författare :Longcheng Liu; KTH; []
    Nyckelord :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;

    Sammanfattning : 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. LÄS MER

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

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

    Sammanfattning : 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. LÄS MER

  7. 15. Regular Model Checking

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

    Sammanfattning : 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. LÄS MER