Sökning: "model checking"

Visar resultat 6 - 10 av 161 uppsatser innehållade orden model checking.

  1. 6. The Impact of the Retrieval Text Set for Text Sentiment Classification With the Retrieval-Augmented Language Model REALM

    Master-uppsats, KTH/Matematik (Inst.)

    Författare :Oscar Blommegård; [2023]
    Nyckelord :The Impact of the Retrieval Text Set for Text Sentiment Classification With the Retrieval-Augmented Language Model REALM; Hämtningsförstärkta språkmodeller; Natural Language Processing; Transformers; Djupinlärning; Textklassificering;

    Sammanfattning : Large Language Models (LLMs) have demonstrated impressive results across various language technology tasks. By training on large corpora of diverse text collections from the internet, these models learn to process text effectively, allowing them to acquire comprehensive world knowledge. LÄS MER

  3. 7. Stjälpning av en byggnad i KL-trä : En utvärdering av stelkroppsmetoden

    Uppsats för yrkesexamina på avancerad nivå, Luleå tekniska universitet/Institutionen för samhällsbyggnad och naturresurser

    Författare :Andreas Loo; [2023]
    Nyckelord :CLT; overturning; FEM; KL-trä; stelkroppsmetoden; FEM; stjälpning;

    Sammanfattning : 21% av de växthusgaser som släpps ut i Sverige kommer från byggsektorn. Motsvarande siffra för avfall är 40% (Boverket, 2023). Ett fokus måste därför ligga på att använda hållbara alternativ. KL-trä är förnyelsebart samt minskar genom sin höga prefabriceringsgrad avfall på arbetsplatsen (Ramboll, u. LÄS MER

  4. 8. Practical Analysis of the Giskard Consensus Protoco

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

    Författare :Leon Sandner; [2023]
    Nyckelord :Distributed Ledger; Blockchain; Consensus Protocol; Giskard; Hyperledger Sawtooth; Distribuerade Huvudbok; Blockchain; Konsensus; Giskard; Hyperledger Sawtooth;

    Sammanfattning : Consensus protocols are the core of modern blockchain systems, such as the Bitcoin, Ethereum, and Algorand networks. Thanks to these protocols, participants in a blockchain network can reach consensus on which blocks to add to a blockchain, to have a consistent chain of blocks in the whole network. LÄS MER

  5. 9. Automated Inference of ACSL Contracts for Programs with Heaps

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

    Författare :Oskar Söderberg; [2023]
    Nyckelord :Formal Verification; Contract Inference; Model Checking; Deductive Verification; Theory of Heaps; ACSL; Translation; Formell Verifiering; Kontrakth¨arledning; Modellprovning; Deduktiv Verifiering; Theory of Heaps; ACSL; Overs¨attning;

    Sammanfattning : Contract inference consists in automatically computing contracts that formally describe the behaviour of program functions. Contracts are used in deductive verification, which is a method for verifying whether a system behaves according to a provided specification. The Saida plugin in Frama-C is a contract inference tool for C code. LÄS MER

  7. 10. Automated Foreign Object Detection on Conveyor Belts

    Uppsats för yrkesexamina på avancerad nivå, Luleå tekniska universitet/Institutionen för system- och rymdteknik

    Författare :Kim Sundelius; [2023]
    Nyckelord :Machine Learning; Deep Learning; Object Detection; Anomaly Detection;

    Sammanfattning : Ore is transported using belt conveyor systems. The transported ore has various anomalous objects that must be removed to prevent damage to the system. Currently anomalies are detected manually using humans. This leads to increased costs of wages and damage to the system overmissed anomalies. LÄS MER