Sökning: "Automatic verification system"

Visar resultat 1 - 5 av 37 uppsatser innehållade orden Automatic verification system.

  1. 1. Code Synthesis for Heterogeneous Platforms

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

    Författare :Zhouxiang Fu; [2023]
    Nyckelord :Code Synthesis; Heterogeneous Platform; Zero-Overhead Topology Infrastructure; Kodsyntes; Heterogen plattform; Zero-Overhead Topologi Infrastruktur;

    Sammanfattning : Heterogeneous platforms, systems with both general-purpose processors and task-specific hardware, are largely used in industry to increase efficiency, but the heterogeneity also increases the difficulty of design and verification. We often need to wait for the completion of all the modules to know whether the functionality of the design is correct or not, which can cause costly and tedious design iteration cycles. LÄS MER

  3. 2. Multiplexing NFC Antennas : An evaluation of the technique and its limitations

    Kandidat-uppsats, Jönköping University/JTH, Avdelningen för datavetenskap

    Författare :Viktor Gustafsson; Per Ottosson; [2023]
    Nyckelord :AAT; BER; DSR; Impedance; Multiplexer; NFC; Wireless Technology;

    Sammanfattning : Introduction This study aims to investigate the possibility of driving multiple NFC antennas with a single NFC-controller by using a multiplexer. An artifact was developed and experiments were conducted in order to evaluate the design choice and in addition, to observe the impact of a multiplexer in an NFC system with respect to the number of successful tag detections, bit error rate (BER), the utilization of automatic antenna tuning (AAT) and the physical distance to the NFC tag. LÄS MER

  4. 3. Can targeted disclosure regulations facilitate the environmental transition of the shipping sector? : a study on the effect of the EU MRV Regulation on ship emissions

    Master-uppsats, SLU/Dept. of Economics

    Författare :Moa Lundkvist; [2023]
    Nyckelord :environmental disclosure regulation; maritime sector; shipping; targeted transparency; MRV regulation; EU; Regression Discontinuity Design RDD ;

    Sammanfattning : This research examines the impact of the EU Monitoring, Reporting, and Verification (MRV) regulation on ship emissions when calling at EU ports. The main question is whether ships that are required to report their emissions emit less due to the regulation. LÄS MER

  5. 4. Verification Method for Time of Capture of a Rolling Shutter Image

    Master-uppsats, Linköpings universitet/Databas och informationsteknik

    Författare :Filip Johansson; Alexander Johansson; [2023]
    Nyckelord :Verification method; rolling shutter; image timestamp; camera systems; mapping study; automotive;

    Sammanfattning : Modern automotive systems increasingly depend on camera sensors to gather safetycriticaldata used in driver-assisting features of the system. These features can consist offor example, lane-keeping assist and automatic braking where the sensors register objectswithin certain distances. LÄS MER

  7. 5. Feasibility of quantitative 99mTc-DPD scintigraphy SPECT/CT for assessing the burden of ATTR cardiac amyloidosis

    Master-uppsats, Umeå universitet/Radiofysik

    Författare :Sajad Kadhim Khalaf; [2023]
    Nyckelord :QSPECT; Amyloidosis; ATTR; LVMI; Recovery Coefficient; SUV; Calibration;

    Sammanfattning : Background: Amyloid transthyretin (ATTR) cardiomyopathy is caused by the deposition of misfolded proteins, known as amyloid fibrils, in the myocardium. Quantitative Single Photon Emission Computed Tomography (QSPECT) utilizing 99mTc-DPD scintigraphy has the potential to assess ATTR-suspected cardiac amyloidosis (CA). LÄS MER