Sökning: "ansi"

Visar resultat 1 - 5 av 46 uppsatser innehållade ordet ansi.

  1. 1. PARAMETRIC STUDY FOR WALL-TO-WALL CONNECTION IN MIXED STEEL CONCRETE STRUCTURES

    Master-uppsats, KTH/Bro- och stålbyggnad

    Författare :Simone De Troia; [2023]
    Nyckelord :;

    Sammanfattning : The objective of this thesis work is to study the connection between two Steel Concrete Structures (SCS) wall modules using embedded connection bars. The SCSs under investigation consist of two steel faceplates held together by tie bars, concrete is cast inside, and stress transmission between the concrete and the steel plates is provided by shear connectors as headed studs. LÄS MER

  3. 2. Contract-Based Verification in TriCera

    Master-uppsats, Uppsala universitet/Institutionen för informationsteknologi

    Författare :Pontus Ernstedt; [2022]
    Nyckelord :;

    Sammanfattning : Contracts are a powerful construct for programmers to communicate intent with functions, focusing on the what rather than the how. In this thesis, we move contracts from being just a form of communication to also have them define what it means for a software to be correct, and apply formal verification techniques to verify that contracts are never violated. LÄS MER

  4. 3. Utveckling och tillverkning av flödestestkammare med högupplöst motstånd för kompaktfläktar : Mätinstrument som mäter statiskt tryck och luftflöde för framställning av fläktkurvor vid prestandamätning av kompaktfläktar

    Kandidat-uppsats, Linköpings universitet/Mekanisk värmeteori och strömningslära

    Författare :William Wallace; Oskar Wiström; [2021]
    Nyckelord :fan; test chamber; flow measurement; hot-wire anemometry; pressure measurement; fan curve; fläkt; testkammare; flödestest; fläktkurva; tryckmätning; varmtrådsanemometri;

    Sammanfattning : Examensarbetet har utförts hos RotoSub AB i Linköping. RotoSub fokuserar på innovativa lösningar inom brusreducering för fläktar och är även utvecklingspartner med det österrikiska företaget Noctua, som utvecklar och tillverkar kompaktfläktar och processorkylare inom elektronikbranschen. LÄS MER

  5. 4. Automated inference of ACSL function contracts using TriCera

    Master-uppsats, KTH/Skolan för elektroteknik och datavetenskap (EECS)

    Författare :Jesper Amilon; [2021]
    Nyckelord :Formal Verification; Contract inference; Hoare Logic; Model Checking; Horn clauses; Formell verifikation; Kontraktgenerering; Formell semantik; Hoare logik; Modellprovning; Horn clauses;

    Sammanfattning : This thesis explores synergies between deductive verification and model checking, by using the existing model checker TriCera to automatically infer specifications for the deductive verifier Frama-C. To accomplish this, a formal semantics is defined for a subset of ANSI C, extended with assume statements, called Csmall. LÄS MER

  7. 5. Applying Earned Value Managementin Service Projects : A Case Study at Saab Surveillance

    Master-uppsats, KTH/Industriell Management

    Författare :Caroline Jansson; [2019]
    Nyckelord :Earned Value Management EVM ; Project Management; Performance Evaluation; Performance Measurement; Service Projects; ANSI EIA-748; Earned Value Management EVM ; Projektledning; Prestationsutvärdering; Prestandamätning; Serviceprojekt; ANSI EIA-748;

    Sammanfattning : For organisations to stay competitive, continuous improvements and development are needed.Organisations handling complex services, structured in projects, find difficulties in understanding the project performance. LÄS MER