Sökning: "method verification"

Visar resultat 6 - 10 av 469 uppsatser innehållade orden method verification.

1. 6. Sammanfogningsmetoder för metallprofiler - lådor och ramar

   Kandidat-uppsats, Högskolan i Skövde/Institutionen för ingenjörsvetenskap

   Författare :Björn Rehnberg; Vincent Vallin Sälle; [2023]
   Nyckelord :;

   Sammanfattning : 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

3. 7. Adding Basic Support for Function Pointers in TriCera

   Kandidat-uppsats, Uppsala universitet/Institutionen för informationsteknologi

   Författare :Axel Bergström; [2023]
   Nyckelord :;

   Sammanfattning : TriCera is a verification tool that encodes programs in a C-like language to a set of Constrained Horn Clauses.  These clauses describe the program states that can be reached when the program is executed.  A solver can then be used to check if the program is safe. LÄS MER

4. 8. Verifiering av reagens för analys av järn i plasma på Abbott® Alinity™ ci-series

   Kandidat-uppsats, Linnéuniversitetet/Institutionen för kemi och biomedicin (KOB)

   Författare :Julia Klevmark; [2023]
   Nyckelord :Method verification; Abbott® Alinity™ ci-series; Iron; Metodverifiering; Abbott® Alinity™ ci-series; Järn;

   Sammanfattning : Järn är ett livsviktigt spårämne som vid både brist och överskott kan leda till sjukdom. Järnmetabolismen är komplex och det finns flera biomarkörer som används för att utvärdera järnstatus, till exempel transferrinbundet järn. På grund av detta är det avgörande att den analytiska säkerheten för järnanalys bibehålls. LÄS MER

5. 9. Thermal and flow field validation of lattice Boltzmann method solver

   Uppsats för yrkesexamina på avancerad nivå, Luleå tekniska universitet/Institutionen för teknikvetenskap och matematik

   Författare :André Skagius-Kallin; [2023]
   Nyckelord :Lattice Boltzmann method; heat transfer; flow field;

   Sammanfattning : Computational fluid dynamics, abbreviated CFD, is a valuable tool for several engineering applications. Applications such as heating, cooling or drying are some examples of areas where CFD is used. LÄS MER

7. 10. 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