Sökning: "explosion"
Visar resultat 1 - 5 av 262 uppsatser innehållade ordet explosion.
1. SeqLTL and ωLTL
Master-uppsats, Göteborgs universitet/Institutionen för data- och informationsteknikSammanfattning : 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
2. LEO Satellite Connectivity for flying vehicles
Master-uppsats, KTH/Skolan för elektroteknik och datavetenskap (EECS)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
3. The dark side of AI : A systematic literature review
Magister-uppsats, Luleå tekniska universitet/Institutionen för system- och rymdteknikSammanfattning : 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
4. Probabilistic guarantees in model-checking with Time Petri Nets
Master-uppsats, KTH/Skolan för elektroteknik och datavetenskap (EECS)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
5. Validering av FDS för simulering av mindre vätgasläckage inomhus
Master-uppsats, Lunds universitet/Avdelningen för BrandteknikSammanfattning : 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