Sökning: "static program analysis"

Visar resultat 16 - 20 av 83 uppsatser innehållade orden static program analysis.

  1. 16. FEManalys av ställdonshus

    Magister-uppsats, KTH/Skolan för industriell teknik och management (ITM)

    Författare :ERIK JONSÄLL; OSCAR MALM; [2021]
    Nyckelord :Ansys; CAD; Eigenfrequencies; FE; Gearhouse; Ansys; CAD; Egenfrekvenser; FE; Växellåda;

    Sammanfattning : Det här projektet har gått ut på att med hjälp av FEdatorprogram analysera hållfastheten hos ett ställdon utvecklat av företaget Cascade Drives. Ställdonet ska användas för att driva en vattenpump som utsätts för laster på upp till 30 ton. Det består av ett växelhus, en elmotor och ett kuggstång-pinionsystem. LÄS MER

  3. 17. Torsion resistant chassis design for the Kalmar Cargotec empty container truck : A study to reduce swinging effect while handling elevated loads

    Master-uppsats, Karlstads universitet/Institutionen för ingenjörsvetenskap och fysik (from 2013)

    Författare :Jonathan Svernlöv; [2020]
    Nyckelord :Product development; FEM; Finite element method; FEA; Finite element analysis; Torsion; Torsion constant; Torsion resistant; chassi; chassis; structural; static; Produktutveckling; FEM; Finita element metoden; FEA; Torsionbeständigt; Chassi; statisk last;

    Sammanfattning : Kalmar Cargotec is a company offering solutions for container and heavy industrial material handling. One of their products, EC-truck (empty container), lifts objects as heavy as 11 tonnes and sometimes as high as 16 meters vertically up in the air. LÄS MER

  4. 18. Utvärdering av SLAM och indirekt georefering av punktmolnsdata : En jämförselse mellan de två laserskannrarna Leica Scanstation P40 och Leica RTC 360 3D.

    Kandidat-uppsats, Högskolan i Gävle/Samhällsbyggnad

    Författare :Markus Mattsson; Rikard Eng; [2020]
    Nyckelord :Laser scanning; Static SLAM; Leica RTC 360; Leica P40; Laserskanning; Statisk SLAM; Leica RTC 360; Leica P40;

    Sammanfattning : Detta är en fallstudie där två olika Laserskannrar jämförs. Dessa skannrar skiljer sig då de använder två skilda metoder för punktmolnsregistrering. Dessa två metoder är: SLAM (Simultaneous Localization and Mapping) -baserad punktmolnsregistrering och punktmolnsregistrering med den indirekta två-stegs-metoden. LÄS MER

  5. 19. The influence of modelling variables in FEM evaluation of fillet welded structures

    Master-uppsats,

    Författare :Marko Cordasic; [2020]
    Nyckelord :;

    Sammanfattning : Valmet is a world leading company in the pulp-, paper- and energy industry and is a manufacturer of e.g. paper machines. These paper machines are largely composed of steel frames for which beams and plates are often joined by welding. LÄS MER

  7. 20. A template-based approach to automatic program repair of Sonarqube static warnings

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

    Författare :Haris Adzemovic; [2020]
    Nyckelord :;

    Sammanfattning : As the prevalence of software continues to increase, so does the number of bugs. Static analysis can uncover a multitude of bugs in a reasonable time frame compared to its dynamic equivalent but is plagued by other issues such as high false-positive alert rates and unclear calls to action, making it underutilized considering the benefits it can bring with its bug-finding abilities. LÄS MER