Sökning: "Verification Systems"

Visar resultat 11 - 15 av 369 uppsatser innehållade orden Verification Systems.

  1. 11. Analys av nuläge och förbättringsförslag till uppföljningar av en tillverkande produktion

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

    Författare :Emma MIdmo; [2023]
    Nyckelord :TPE;

    Sammanfattning : The fact that companies currently need to streamline their production is largely due to the rapid pace of change and the competitive situation in the society. Using lean production is a common way to achieve higher productivity. LÄS MER

  3. 12. 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. 13. Wideband Dielectric Resonator Antenna Array for Autonomous Vehicles

    Uppsats för yrkesexamina på avancerad nivå, Högskolan i Halmstad/Akademin för informationsteknologi

    Författare :Andreas Johansson; Luke Müller; [2023]
    Nyckelord :DRA; dielectric resonator antenna; 5G; FR2; 28GHz; NR; antenna; circular polarization; autonomous vehicles;

    Sammanfattning : With the rapid advancement of autonomous vehicles, reliable and efficient wireless communication systems with high data rates have become essential for their safe and efficient operation and further evolution. High data rates are found in the higher frequency bands where conductive antennas lack radiation efficiency. LÄS MER

  5. 14. Harmonisk strömsimulering i inverterbaserade värmepumpar

    Uppsats för yrkesexamina på avancerad nivå, Umeå universitet/Institutionen för fysik

    Författare :Alexander Magnusson; [2023]
    Nyckelord :Current harmonics; inverter-driven compressor; black box simulation;

    Sammanfattning : An electrical distribution network supplies power to many households at a time. Each house has various types of electrical appliances which consume different levels of power depending on its function and the load it supplies. An ideal case would be when no appliances cause power disturbances, however, in reality, many electrical appliances (e.g. LÄS MER

  7. 15. Numerical Tool for Thermal Analysis of Space Computers

    Uppsats för yrkesexamina på avancerad nivå, Uppsala universitet/Elektricitetslära

    Författare :Baran Hamad; [2023]
    Nyckelord :thermal; space; thermal analysis; thermal design; space computer; heat transfer; PCB; lumped parameter; lumped element; thermal resistance; termisk; rymd; termisk analys; termisk design; rymddator; värmeöverföring; PCB; lumped parameter; lumped element; termisk resistans;

    Sammanfattning : This master thesis addresses the development of an automatic numerical tool for thermal analysis, focusing on thermal systems comprising a printed circuit board assembly and cooling case structure. The project, conducted in collaboration with Unibap, aims to enhance the design process of space computer modules by automating middle steps between design software and thermal analysis results. LÄS MER