Essays about: "modelling and verification"

Showing result 1 - 5 of 90 essays containing the words modelling and verification.

  1. 1. Code Synthesis for Heterogeneous Platforms

    University essay from KTH/Skolan för elektroteknik och datavetenskap (EECS)

    Author : Zhouxiang Fu; [2023]
    Keywords : Code Synthesis; Heterogeneous Platform; Zero-Overhead Topology Infrastructure; Kodsyntes; Heterogen plattform; Zero-Overhead Topologi Infrastruktur;

    Abstract : Heterogeneous platforms, systems with both general-purpose processors and task-specific hardware, are largely used in industry to increase efficiency, but the heterogeneity also increases the difficulty of design and verification. We often need to wait for the completion of all the modules to know whether the functionality of the design is correct or not, which can cause costly and tedious design iteration cycles. READ MORE

  3. 2. Multiscale & Multiphysics Modelling of Thrust Pad (Air) Bearings

    University essay from Luleå tekniska universitet/Institutionen för teknikvetenskap och matematik

    Author : Nipon Roy; [2023]
    Keywords : Finite element modelling; Air bearing; Multiphysics simulations; Air lubrication; surface texture; Topology optimization;

    Abstract : Without lubrication, machines are not imaginable to perform over a long period of time and complete their designated operations. With its omnipresent availability, the air is capable of functioning as a lubricant in long operations very efficiently. Moreover, thrust bearings support axial loads and transmit power at the same time under heavy loads. READ MORE

  4. 3. Start of a new design method for a competitive Small Modular Reactor (SMR) adaptable to future uses

    University essay from KTH/Skolan för teknikvetenskap (SCI)

    Author : Baptiste Mazurié; [2023]
    Keywords : Requirement modelling; Cyber-physical systems; Small Modular Reactor SMR ; Systems Engineering; CRML;

    Abstract : As cyber-physical systems become increasingly complex, the management and verification of requirements during design is essential. A new language called CRML (Common Requirement Modelling Language) has been created during the European EMBrACE project to formalize realistic dynamical requirements, but a method for representing these requirements and a framework for using them as a design aid must be defined to ease appropriation by engineers. READ MORE

  5. 4. Modelling of a Glued Bolt Joint in Finite Element

    University essay from KTH/Hållfasthetslära

    Author : Tove Boivie; [2023]
    Keywords : Solid Mechanics; finite element method; adhesive; bolt; hybrid joint; Hållfasthetslära; finita element metoden; lim; skurv; hybrid förband;

    Abstract : This report presents a master thesis project at KTH at the school of Engineering Science. The project is done in collaboration with ABB Robotics, a company who develops industrial robots. A robot consists of several parts and the last structural part is the wrist. READ MORE

  6. 5. Verification and validation of the implementation of an Algebraic Reynolds-Stress Model for stratified boundary layers

    University essay from KTH/Teknisk mekanik

    Author : Martina Formichetti; [2022]
    Keywords : Atmospheric boundary layer; turbulence modelling; stratified flows; eddy viscosity; eddy diffusivity;

    Abstract : This thesis studies the implementation of an Explicit Algebraic Reynolds-Stress Model(EARSM) for Atmospheric Boundary Layer (ABL) in an open source ComputationalFluid Dynamics (CFD) software, OpenFOAM, following the guidance provided by thewind company ENERCON that aims to make use of this novel model to improvesites’ wind-field predictions. After carefully implementing the model in OpenFOAM,the EARSM implementation is verified and validated by testing it with a stratifiedCouette flow case. READ MORE