Avancerad sökning
Visar resultat 1 - 5 av 405 uppsatser som matchar ovanstående sökkriterier.
1. Digital Twins for Verification and Validation of CPS
Kandidat-uppsats, Göteborgs universitet/Institutionen för data- och informationsteknikSammanfattning : This paper proposes standardizing the usage and practices of Digital Twins (DTs) for the seamless digital-tophysical transition of Cyber-Physical Systems (CPS) to assure their safety. It recommends adopting Artificial Intelligence (AI) methods and following Requirements Engineering principles (RE) for strong Verification and Validation (V&V) processes. LÄS MER
2. Code Synthesis for Heterogeneous Platforms
Master-uppsats, KTH/Skolan för elektroteknik och datavetenskap (EECS)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. Sammanfogningsmetoder för metallprofiler - lådor och ramar
Kandidat-uppsats, Högskolan i Skövde/Institutionen för ingenjörsvetenskapSammanfattning : Joining of materials is a very popular area of research, as a result of its central role within modern industry. The automotive industry has seen an increase in demand for joining methods that can contribute to weight reduction and meet the criteria for strength, while co-existing with goals set for sustainable development for the future. 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. Standardized Test Methods in Over-the-Air Chambers for FCC Part 27
Uppsats för yrkesexamina på avancerad nivå, Umeå universitet/Institutionen för fysikSammanfattning : Base stations (BSs) are the cornerstone that enables wireless communications. In order for a new BS variant to be imported and sold in the US they are required to undergo electromagnetic compatibility (EMC) testing. This testing is necessary to obtain their Federal Communications Commission (FCC) certification. LÄS MER