Sökning: "c beteende"

Visar resultat 11 - 15 av 245 uppsatser innehållade orden c beteende.

  1. 11. 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

  3. 12. Vårdnadshavare – en rättighet för familjehemplacerade barn : Om socialnämndens förutsättningar att ansöka om vårdnadsöverflytt enligt 6 kap. 8 § FB samt den rättsliga relationen mellan 6 kap. 8 § FB och 13 c § LVU

    Uppsats för yrkesexamina på avancerad nivå, Örebro universitet/Institutionen för beteende-, social- och rättsvetenskap

    Författare :Sofie Larsson; [2023]
    Nyckelord :;

    Sammanfattning : .... LÄS MER

  4. 13. Boendes agerande under energikrisen 2022/2023

    Kandidat-uppsats, Lunds universitet/Avdelningen för Installations- och klimatiseringslära

    Författare :Malin Antonsson; Beatrice Jihag; [2023]
    Nyckelord :Energianvändning; brukarbeteende; enkätundersökning; vädringsbeteende; Technology and Engineering;

    Sammanfattning : The building and service sector consume 40 percent of Sweden’s total energy use. Which of only single-family houses are responsible for 8 percent. The energy used in single family houses mainly goes to heating and hot water. 2020 the most common energy source for heating these buildings was electricity (Energimyndigheten 2022). LÄS MER

  5. 14. Frekvensdubbling i kvasifasmatchad Rb-dopad KTiOPO4 med temperaturgradient för 1030nm laser

    Kandidat-uppsats, KTH/Skolan för teknikvetenskap (SCI)

    Författare :Tim Sandgren; Karl Svahn; [2023]
    Nyckelord :KTP; Quasi-phased matched; Rb-doped; pulsed wave; CW;

    Sammanfattning : Denna avhandling går ut på att undersöka verkningsgradens temperaturberoende för SHG (second harmonic generation) från 1030nm till 515nm, i en kvasifasmatchad KTP-kristall, för både pulsad och CW (continuous wave)-laser. Detta undersöktes då det har tidigare noteras att verkningsgraden hos en KTP-kristall avtar när effekten på lasern ökar. LÄS MER

  7. 15. Stress och beteende vid bedövning av öring

    Kandidat-uppsats, SLU/Dept. Of Aquatic Resources

    Författare :Victoria Welander; [2022]
    Nyckelord :stress; bedövning; öring;

    Sammanfattning : I samband med att fiskar har blivit allt vanligare inom områden som forskning, odling och miljöövervakning har behovet av att säkerställa god djuromsorg blivit mer uppmärksammat. För att minska fiskens stress och underlätta den fysiska hanteringen brukar bedövningsmedel användas i många sammanhang. LÄS MER