Sökning: "Requirement Verification"

Visar resultat 1 - 5 av 61 uppsatser innehållade orden Requirement Verification.

  1. 1. Verifiering av ny extraktionsmetod för analys på oljeindex

    Uppsats för yrkesexamina på grundnivå, KTH/Skolan för kemi, bioteknologi och hälsa (CBH)

    Författare :Theodor Hägglund; [2023]
    Nyckelord :metodverifiering; oljeindex; gaskromatografi; extraktion;

    Sammanfattning : Huvudsyftet med detta examensarbete var att verifiera en ny metod för extraktion av olja från jord-, slam-, och sedimentprover som ska ersätta företagets befintliga metod. Extraktionen sker på ett skakbord som förbehandling innan den extraherade oljan sätts på en GC-FID för att analysera dess oljeindex mellan C10-C40 samt dess olika specifika delfraktioner. LÄS MER

  3. 2. Multi-factor approximation : An analysis and comparison ofMichael Pykhtin's paper “Multifactor adjustment”

    Uppsats för yrkesexamina på avancerad nivå, Umeå universitet/Institutionen för matematik och matematisk statistik

    Författare :Michael Zanetti; Philip Güzel; [2023]
    Nyckelord :Credit risk; Value at Risk; Expected Shortfall; Monte Carlo simulation; Advanced Internal Rantings-Based models; Kreditrisk; Value at Risk; Expected Shortfall; Monte Carlo simulation; Advanced Internal Rantings-Based-modeller;

    Sammanfattning : The need to account for potential losses in rare events is of utmost importance for corporations operating in the financial sector. Common measurements for potential losses are Value at Risk and Expected Shortfall. These are measures of which the computation typically requires immense Monte Carlo simulations. LÄS MER

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

    Master-uppsats, KTH/Skolan för teknikvetenskap (SCI)

    Författare :Baptiste Mazurié; [2023]
    Nyckelord :Requirement modelling; Cyber-physical systems; Small Modular Reactor SMR ; Systems Engineering; CRML;

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

  5. 4. Masters Thesis - Estimating Overlap of Verification and Testing Efforts Between Different Test Levels

    Master-uppsats, Göteborgs universitet/Institutionen för data- och informationsteknik

    Författare :SELOMIE KINDU EJIGU; ROHINI BISHT; [2022-10-10]
    Nyckelord :V-model; overlapping; embedded system; redundancy; gap analysis; verification and validation;

    Sammanfattning : Context: Embedded systems (ES) are continuously growing in complexity and size in the automotive industry. The embedded software makes a larger part of the ES. Likewise, the testing process has become complex, larger, and difficult to control. This has led to the growing demand for test methods that would help to manage the testing process. LÄS MER

  7. 5. Utformning av modell för simulering av distributionsnät för fjärrvärme

    Uppsats för yrkesexamina på avancerad nivå, Uppsala universitet/Institutionen för fysik och astronomi

    Författare :Arvid Press; [2022]
    Nyckelord :district heating; modelling; fjärrvärme; modellering;

    Sammanfattning : Climate change and the increase of carbon dioxide in the atmosphere is an ongoing problem affecting the earth globally. To break this trend and revert the changes a continuous upgrade of the current energy system is needed, one way of doing this is by using models to simulate new systems. LÄS MER