Sökning: "continuous-time"

Visar resultat 1 - 5 av 73 uppsatser innehållade ordet continuous-time.

  1. 1. Movement Estimation with SLAM through Multimodal Sensor Fusion

    Master-uppsats, Linköpings universitet/Medie- och Informationsteknik; Linköpings universitet/Tekniska fakulteten

    Författare :Jimmy Cedervall Lamin; [2024]
    Nyckelord :slam; discrete-slam; continuous-slam; synchronous; asynchronous; computer vision; BRISK; opencv; ceres; visual; inertial; sensor fusion; multimodal; Simultaneous Localization and Mapping; time offset; pose estimation; quaternions; movement estimation;

    Sammanfattning : In the field of robotics and self-navigation, Simultaneous Localization and Mapping (SLAM) is a technique crucial for estimating poses while concurrently creating a map of the environment. Robotics applications often rely on various sensors for pose estimation, including cameras, inertial measurement units (IMUs), and more. LÄS MER

  3. 2. Advancements in Dependability Analysis of Safety-Critical Systems : Addressing Specification Formulation and Verification Challenges

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

    Författare :Zelin Yu; [2023]
    Nyckelord :Specification theory; Contracts; Automata theory; Refinement; Specifikationsteori; Kontrakt; Automatteori; Förfina;

    Sammanfattning : Safety-critical systems have garnered increasing attention, particularly regarding their dependability analysis. In modern times, these systems comprise numerous components, making it crucial to verify that lower-level components adhere to their specifications will ensure the overall system’s compliance with its top-level specification. LÄS MER

  4. 3. Cyber Threat Detection using Machine Learning on Graphs : Continuous-Time Temporal Graph Learning on Provenance Graphs

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

    Författare :Jakub Reha; [2023]
    Nyckelord :Graph neural networks; Temporal graphs; Benchmark datasets; Anomaly detection; Heterogeneous graphs; Provenance graphs; Grafiska neurala nätverk; temporala grafer; benchmark-datauppsättningar; anomalidetektering; heterogena grafer; härkomstgrafer;

    Sammanfattning : Cyber attacks are ubiquitous and increasingly prevalent in industry, society, and governmental departments. They affect the economy, politics, and individuals. LÄS MER

  5. 4. Improving Dependability of Space-Cloud Payload Processor by Storage System

    Master-uppsats, Mälardalens universitet/Akademin för innovation, design och teknik

    Författare :Hassan Said; Stephanie Liza Johansson; [2023]
    Nyckelord :Fault tolerant; Markov analysis; Onboard processing; SSD array architecture; SSD; EDAC; RAID; Hamming code; Reed Solomon; Dependability evaluation; File systems; ZFS; Ext4.;

    Sammanfattning : Due to the usage of complicated platforms and current high-performance space computing technology, onboard processing in small satellites is expanding. Space-cloud payload processors with Commercial Off-The-Shelf (COTS) components, that are required to be radiation-tolerant, are used to perform the onboard processing. LÄS MER

  7. 5. Cost Analysis of Levodopa Micro Tablet Dispenser for Treatment of Parkinson's Disease

    Kandidat-uppsats, KTH/Matematisk statistik

    Författare :Alexander Larsson; Anna Söderbärg; [2023]
    Nyckelord :Parkinson s disease; MDS-UPDRS; quality-adjusted life year; incremental cost-effectiveness ratio; Markov chain; Markov model; micro tablet dispenser; levodopa; Parkinsons sjukdom; MDS-UPDRS; kvalitetsjusterade levnadsår; inkrementell kostnadseffektivitetskvot; Markovkedja; Markovmodell; mikrotablettdispenser; levodopa;

    Sammanfattning : Parkinson's is a chronic, progressive, neurodegenerative disease. The most common treatment is levodopa/carbidopa, which suppresses the symptoms of the disease. In this report, a cost-utility analysis of the MyFID levodopa/carbidopa micro tablet dispenser has been conducted. LÄS MER