Sökning: "Abstraction Construction"

Visar resultat 1 - 5 av 10 uppsatser innehållade orden Abstraction Construction.

  1. 1. Simplifying multi-agent games with imperfect information against nature using predetermined strategies : Reducing the complexity of strategy synthesis for games by treating things in our control as if they were out of our control

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

    Författare :Oskar Malmström; [2023]
    Nyckelord :Multi-agent Games; Imperfect Information; Strategy Synthesis; Abstraction Construction; Fleragentsspel; Imperfekt Information; Strategisyntes; Abstraktionskonstruktion;

    Sammanfattning : We study games on graphs, where a coalition of agents work against an adversarial nature to achieve an objective. The agents have to collaborate while making their moves simultaneously, while receiving differing information about the state of the game and without a means of agent-to-agent communication. LÄS MER

  3. 2. Exploring frugal innovation and its enablement of sustainable product development

    Magister-uppsats, Blekinge Tekniska Högskola/Institutionen för industriell ekonomi

    Författare :Patrik Werius; Emma Ytterström; [2021]
    Nyckelord :Innovation; sustainability; frugal;

    Sammanfattning : In developed countries, companies' product innovation has the problem of not incorporating sustainability in a sufficiently high degree. Companies in developed countries will however continue to innovate since it is required to stay competitive. LÄS MER

  4. 3. A Specification for Time-Predictable Communication on TDM-based MPSoC Platforms

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

    Författare :Kelun Liu; [2021]
    Nyckelord :Communication; Time-Predictability; Network-on-Chip; Software Specification; Worst-Case Communication Time; Kommunikation; Tid Förutsägbarhet; Nätverk-på-Chip; MjukvaruSpecifikation; Kommunikationstid i Värsta Fall;

    Sammanfattning : Formal System Design (ForSyDe) aims to bring the design of multiprocessor systems-on-chip (MPSoCs) to a higher level of abstraction and bridge the abstraction gap by transformational design refinement. The current research is focused on a correct-by-construction design flow, which requires design space exploration including formal models of computation and timepredictable platforms. LÄS MER

  5. 4. Beställarens roll för ökat återbruk av byggmaterial : En kvalitativ intervjustudie

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

    Författare :Max Waern; [2021]
    Nyckelord :Building materials; circular economy; construction and demolition waste; sustainability; Bygg- och rivningsavfall; cirkulär ekonomi; byggmaterial; hållbarhet;

    Sammanfattning : Sveriges byggbransch genererar årligen stora mängder avfall som under 2018 uppgick till 13 miljoner ton vilket motsvarar 35 % av Sveriges totala genererade avfall. För att klara de globala hållbarhetsmålen och minska byggbranschens klimatpåverkan behöver resursanvändningen och uttaget av jungfruliga resurser minska. LÄS MER

  7. 5. Validation of theoretical cost model for Power and Reliability : Case study of a reliable Central Direct Memory Access system

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

    Författare :Sonal Shrivastava; [2021]
    Nyckelord :Single event upsets; Extra-functional properties; System on Chip; Mean Time Between Failure; Power consumption; Enstaka händelse störs; Extra funktionella egenskaper; System på chip; Medeltid mellan misslyckande; Energiförbrukning;

    Sammanfattning : Safety-critical applications employed in automotive, avionics and aerospace domains are placed under strict demands for performance, power efficiency and fault tolerance. Development of system hardware and software satisfying all criteria is challenging and time-consuming. LÄS MER