Sökning: "modul"

Visar resultat 11 - 15 av 425 uppsatser innehållade ordet modul.

  1. 11. Improving the Synthesis of Annotations for Partially Automated Deductive Verification

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

    Författare :Hovig Manjikian; [2023]
    Nyckelord :Formal verification; Automated verification; Contract inference.; Formell verifiering; Automatiserad verifiering; Kontraktgenerering.;

    Sammanfattning : This work investigates possible improvements to an existing annotation inference tool. The tool is part of a toolchain that aims to automate the process of software verification using formal methods. LÄS MER

  3. 12. Klimatpåverkansberäkning av nya byggnader

    Uppsats för yrkesexamina på grundnivå, Linnéuniversitetet/Institutionen för byggteknik (BY)

    Författare :Salwan Ali Nima; Ahmad Alkhatib; [2023]
    Nyckelord :climate declaration; climate impact; life cycle analysis; greenhouse gases; carbon dioxide equivalents; construction stage; building components; degree of coverage; klimatdeklaration; klimatpåverkan; livscykelanalys; växthusgaser; koldioxidekvivalenter; byggskede; byggdelar; täckningsgrad;

    Sammanfattning : Klimatpåverkan från bygg- och fastighetssektorn har under senare år varit en drivandeorsak till utsläpp av växthusgaser, vilket är en utmaning för samhället. I Sverige harklimatpåverkan orsakad av bygg- och fastighetssektorn år 2020 beräknats till cirka 9,8miljoner ton koldioxidekvivalenter som motsvarar 21% av Sveriges klimatpåverkan. LÄS MER

  4. 13. Development of an acoustico-vestibular system for head rolling stabilization : Aperception system to stabilize a bio-inspired swimming snake robot

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

    Författare :Marie-Jeanne Paul; [2023]
    Nyckelord :Bio inspiration; Perception; Localisation; Benchmarking; Sensors; Kalman Ąlter; Bioinspiration; perception; lokalisering; benchmarking; sensorer; KalmanĄlter;

    Sammanfattning : Bioinspired robots are becoming more and more common and getting inspired by the solutions found in nature to tackle problems is often useful. Regarding the swimming robots Ąeld of research, we can get inspiration from swimming snakes. LÄS MER

  5. 14. Eken

    Uppsats för yrkesexamina på grundnivå, KTH/Arkitektur

    Författare :Ahmad Akbari; [2023]
    Nyckelord :wood; Ösmo; culture house; gym; market hall; workshops;

    Sammanfattning : I Ösmo med sin centralitet och dess växande befolkning, så vill jag rita ett kulturhus som lyfter stadens behov. Statistiken visar att Ösmo kommer att ha den största befolkningsökningen i Nynäshamns kommun, och kommer därmed behöva fortsätta utveckla sin egen identitet, då Ösmo idag i huvudsak fungerar som en sovstad. LÄS MER

  7. 15. The effect of fiber structure on chemical modification of cellulosic fibers

    Kandidat-uppsats, KTH/Kemiteknik

    Författare :Hedvig Palm; Linn Palmér; Emil Törnqvist; Alexander de Potocki; [2023]
    Nyckelord :Kemi; cellulosa; substitutionsgrad; pappersmassa; katjonisering; EPTMAC; CHPTAC; hållbarhet; blekt sulfatmassa; oblekt sulfatmassa; CTMP; dissolvingmassa; modifierad cellulosa;

    Sammanfattning : För att skapa ett hållbart samhälle måste material av fossilt ursprung ersättas med förnyelsebara och miljövänliga alternativ. Ett sådant alternativ är cellulosa från vedfibrer, som har stor potential att kunna ersätta många fossila material i framtiden. LÄS MER