Sökning: "Invariant Detection"

Visar resultat 1 - 5 av 20 uppsatser innehållade orden Invariant Detection.

  1. 1. Event categorisation and Machine-learning Techniques in Searches for Higgs Boson Pairs in the ATLAS Experiment at the LHC

    Uppsats för yrkesexamina på avancerad nivå, Uppsala universitet/Högenergifysik

    Författare :Milads Emadi; [2023]
    Nyckelord :Particle Physics; ATLAS; BDT; Boosted Decision Tree; Decision Tree; Optimization; Machine Learning; Analysis;

    Sammanfattning : This thesis investigates the pair production of Higgs bosons (di-Higgs events) at the ATLAS experiment in the Large Hadron Collider (LHC), focusing on the channel where one Higgs boson decays into two bottom quarks and the other decays into two tau leptons. The main objective was to determine whether introducing a split in the invariant mass of the decay products from the two Higgs bosons (the di-Higgs mass) and using this as an analysis variable improves the sensitivity of the Boosted Decision Tree (BDT) machine learning algorithm to the di-Higgs signal. LÄS MER

  2. 2. Increasing Trust in Software by Synthesizing Property-based Tests from Existing Unit Tests : A study on the expansion of existing test suites through the creation of property-based tests via invariants inferred from existing example-based unit tests

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

    Författare :Richard Uggelberg; [2022]
    Nyckelord :Software Testing; Software Engineering; Test Improvement; Property-based Testing; Invariant Detection; Mjukvarutestning; Mjukvarukonstruktion; Testförbättring; Egenskapsbaserad Testning; Invariantdetektion;

    Sammanfattning : Many software projects include an extensive suite of example-based unit tests. The examples in the test suite can be used as an implicit specification of the behavior of the software. Inferring invariants from these examples may aid in the creation of property-based tests. LÄS MER

  3. 3. Modeling of a Hydraulic Rock Drill for Condition Monitoring

    Master-uppsats, Linköpings universitet/Fordonssystem

    Författare :Adam Kagebeck; Mahdi Najafi; [2022]
    Nyckelord :Condition Monitoring System; Hydraulic Rock Drill; Diagnostic; Modeling; State Space Model;

    Sammanfattning : This thesis aims to investigate the possibility of using a mathematical model to detect several common faults in a hydraulic rock drill. To this end, a parameterized state space model of the hydraulic drill, which simulate its behavior, is created. LÄS MER

  4. 4. Shape Detection in Images Using Machine Learning

    Uppsats för yrkesexamina på grundnivå, Örebro universitet/Institutionen för naturvetenskap och teknik

    Författare :Axel Devlin; [2021]
    Nyckelord :Multi-class classification; SVM; support vector machine; supervised learning; machine learning; Flerklass klassificering; SVM; stödvektormaskin; övervakat lärande; maskininlärning;

    Sammanfattning : Rapporten undersöker hur man ska gå tillväga för att implementera en support vector machinesom kan klassificera olika former i bilder med hjälp av OpenCV libraryt i Python. Dettakommer att göras genom att beräkna scale-invariant features. De scale-invariant features somkommer undersökas är simple features och Hu moments. LÄS MER

  5. 5. Accessibility Studies of Potentially Hazardous Asteroids from the Sun-Earth L2 Libration Point

    Master-uppsats, Luleå tekniska universitet/Rymdteknik

    Författare :GAUTHAM GANESAN; [2020]
    Nyckelord :Near-Earth Objects; Potentially Hazardous Asteroids; Halo Orbit; Invariant Manifolds; Analytical construction; Palermo Scale; Low-Energy transfer;

    Sammanfattning : A newly proposed F-class mission by the European Space Agency (ESA) in 2019,Comet Interceptor, aims to dynamically intercept a New Solar System Objectsuch as a Dynamically New Comet (DNC). The Spacecraft will be placed in aperiodic (Halo) orbit around the Sun-Earth L2 Lagrangian point, waiting for furtherinstructions about the passage of a comet or an asteroid, which could well bereached within the stipulated mission constraints. LÄS MER