Sökning: "explosion"

Visar resultat 1 - 5 av 262 uppsatser innehållade ordet explosion.

  1. 1. SeqLTL and ωLTL

    Master-uppsats, Göteborgs universitet/Institutionen för data- och informationsteknik

    Författare :Oskar Grekula; [2023-10-19]
    Nyckelord :Linear Temporal Logic; Co-safety LTL; Tight Witness; Compositional;

    Sammanfattning : Linear Temporal Logic (LTL) is worthwhile for its applications in, among others, model checking, runtime verification and reactive synthesis. However, many useful properties are not expressible in LTL, or not in a natural way. LÄS MER

  3. 2. LEO Satellite Connectivity for flying vehicles

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

    Författare :Jinxuan Chen; [2023]
    Nyckelord :LEO satellite network; satellite connectivity strategy; Nash-SAC; flying vehicles; LEO:s satellitnät; Strategi för satellitanslutning; Nash-SAC; flygande fordon;

    Sammanfattning : Compared with the terrestrial network (TN), which can only support limited covered areas, satellite communication (SC) can provide global coverage and high survivability in case of an emergency like an earthquake. Especially low-earth orbit (LEO) satellites, as a promising technology, which is integral to achieving the goal of global seamless coverage and reliable communication, catering to 6G’s communication requirements. LÄS MER

  4. 3. The dark side of AI : A systematic literature review

    Magister-uppsats, Luleå tekniska universitet/Institutionen för system- och rymdteknik

    Författare :Emma Corselli; [2023]
    Nyckelord :AI; decision-making; risks; drawbacks;

    Sammanfattning : The world is currently experiencing an extraordinary explosion of data due to the advancements in digitalization, this has made the decision-making processes become increasingly complex. Modern decision-making incorporates various technologies such as AI, big data, and machine learning and they offer significant advantages in terms of speed, scalability, and granularity. LÄS MER

  5. 4. Probabilistic guarantees in model-checking with Time Petri Nets

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

    Författare :Manon Lecart; [2023]
    Nyckelord :Formal Methods; Statistical Model-Checking; Timed Automata; Timed PetriNets; Formella Metoder; Statistisk Modellkontroll; Timed Automater; Time Petri Nets;

    Sammanfattning : With the prevalence of technology and computer systems in today’s society, it is crucial to ensure that the systems we use are secure. The fields that study these issues, cybersecurity and cybersafety, use the formal verification technique of modelchecking. LÄS MER

  7. 5. Validering av FDS för simulering av mindre vätgasläckage inomhus

    Master-uppsats, Lunds universitet/Avdelningen för Brandteknik

    Författare :Emil Hamnes Alavei; Erik Andersson; [2023]
    Nyckelord :Hydrogen; Helium; Ventilation; CFD; FDS; Technology and Engineering;

    Sammanfattning : The prevailing global climate transition is incentivized to occur in a short period of time. Hydrogen is considered a pivotal element towards a renewable energy system. However, the physical and chemical properties of hydrogen give rise to the risk of fire and explosion. LÄS MER