Sökning: "Static Program Analysis"

Visar resultat 1 - 5 av 83 uppsatser innehållade orden Static Program Analysis.

  1. 1. Machine Vision Based Quality Control and Fault Detection in a Textile Dyeing Machine

    Uppsats för yrkesexamina på avancerad nivå, Lunds universitet/Industriell elektroteknik och automation

    Författare :Evelina Morgan; Valter Möller; [2023]
    Nyckelord :Technology and Engineering;

    Sammanfattning : Fault detection systems come in a variety of formats and are used in many different types of machines and industries. They can be used to perform fast and accurate detection, classification and analysis. The need for user interaction can be decreased and by that the general level of automation can be increased. LÄS MER

  3. 2. Investigating programming language support for fault-tolerance

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

    Författare :Ismail Demirkoparan; [2023]
    Nyckelord :Dataflow; Fault tolerance; Data streaming; Distributed systems; Checkpointing; Logging; Lineage; Lineage stash; Arc-Lang; Apache Flink;

    Sammanfattning : Dataflow systems have become the norm for developing data-intensive computing applications. These systems provide transparent scalability and fault tolerance. For fault tolerance, many dataflow-system adopt a snapshotting approach which persists the state of an operator once it has received a snapshot marker on all its input channels. LÄS MER

  4. 3. Finite Element Macro-modeling of a Historical Masonry Building : Influence of Isotropic vs Anisotropic Plastic Material Model Assumption in Static Analysis

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

    Författare :Madeleine Olsson; Maja Gustavsson; [2023]
    Nyckelord :;

    Sammanfattning : In this study, a macro-modeling strategy is implemented in a bearing wall with arch openings in an existing historical masonry building. This is to investigate what differences and similarities can be observed from the assumption of an orthotropic versus an isotropic constitutive material model. LÄS MER

  5. 4. Produktutveckling och optimering av ”Crossmember” genom FEM-analys samt Benchmarking

    M1-uppsats, Högskolan i Borås/Akademin för textil, teknik och ekonomi

    Författare :Yusuf Diyar Kucukyavuz; [2022]
    Nyckelord :Finita Element Metoden; Benchmarking och CAD;

    Sammanfattning : Dagens industri är under en konstant utveckling där stora krav är efterfrågad. Miljöpåverkan, kostander och tidspress samtidigt som bra kvalite och säkerhet som krävs är bara några faktorer som är förväntad från industrier. Genom ett korrekt arbetsmetodik kan den växande efterfrågan överträffas. LÄS MER

  7. 5. Polarizability and Orientation Dynamics of Small Proteins

    Master-uppsats, Uppsala universitet/Materialteori

    Författare :Ebba Koerfer; [2022]
    Nyckelord :Protein orientation; single-particle imaging; polarizability; orientation dynamics; rigid rotor model;

    Sammanfattning : Proteins often carry an intrinsic electric dipole moment, which can interact with external electric fields and cause protein motion. Previous research has found that the orientation of small proteins in gas phase can be controlled in a static electric field. LÄS MER