Sökning: "automater"

Visar resultat 1 - 5 av 17 uppsatser innehållade ordet automater.

  1. 1. Probabilistic guarantees in model-checking with Time Petri Nets

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

    Författare :Manon Lecart; [2023]
    Nyckelord :Formal Methods; Statistical Model-Checking; Timed Automata; Timed PetriNets; Formella Metoder; Statistisk Modellkontroll; Timed Automater; Time Petri Nets;

    Sammanfattning : With the prevalence of technology and computer systems in today’s society, it is crucial to ensure that the systems we use are secure. The fields that study these issues, cybersecurity and cybersafety, use the formal verification technique of modelchecking. LÄS MER

  3. 2. 3D Texture Synthesis Using Graph Neural Cellular Automata

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

    Författare :Yitao Xu; [2023]
    Nyckelord :3D Texture Synthesis; Graph Neural Cellular Automata; Image-guided Synthesis; Text-guided Manipulation; Canvas Lärplattform; Dockerbehållare; Prestandajustering 3D-textursyntes; Graf Neurala Cellulära Automater; Bildledd Syntes; Textledd Manipulation;

    Sammanfattning : In recent years, texture synthesis has been a heated topic in computer graphics, and the development of advanced algorithms for generating high-quality 3D textures is an area of active research. A recently proposed model, Neural Cellular Automata, can synthesize realistic 2D texture images or videos. LÄS MER

  4. 3. Jämförelse av miljöpåverkan mellan renoverade och nytillverkade kaffeautomater

    Kandidat-uppsats, Linnéuniversitetet/Institutionen för biologi och miljö (BOM)

    Författare :Isabella Rundström; [2023]
    Nyckelord :Livscykelanalys;

    Sammanfattning : Kaffe är en av de mest sålda dryckerna i världen, och här uppe i Norden är det inget undantag. Företaget Scanomat på Öland har hyrt ut och renoverat kaffeautomater sedan 1986, och de behövde hjälp med att ta reda på hur stor miljöpåverkan deras renoverade automater har i jämförelse med de nytillverkade. LÄS MER

  5. 4. Mikrobiologisk kvalitet på is från ismaskiner och vatten från automater : en kontroll av verksamheters hygienrutiner

    Magister-uppsats, SLU/Department of Molecular Sciences

    Författare :Marta Marciniak; [2022]
    Nyckelord :provtagning; mikrobiologi; rengöring; vatten; vattenautomat; barpistol;

    Sammanfattning : Mikrobiologiska föroreningar av dricksvatten är globalt den allvarligaste risken för människors hälsa (World Health Organisation WHO, 2004). Den här studien genomfördes som en del av ett tillsynsrelaterat provtagningsprojekt om mikrobiologisk kvalitet på is från ismaskiner och vatten från barpistoler/vattenautomater hos livsmedelsverksamheter i Alingsås kommun. LÄS MER

  7. 5. Ett modulärt system för Boxmeals varuautomater

    Kandidat-uppsats, Högskolan i Gävle/Avdelningen för industriell ekonomi, industridesign och maskinteknik

    Författare :Niklas Lennström; [2022]
    Nyckelord :design behov vakuumform koncept;

    Sammanfattning : Denna rapport redovisar en undersökning och ett arbete som jag tillsammans medföretaget Boxmeal har gjort om hur man kan skapa ett modulärt system för attBoxmeal enkelt ska kunna sätta ut kyl, frys och torrskåp i olika konfigurationer hosderas kunder. Boxmeal är ett företag som hyr ut varuautomater runt om i Gävle. LÄS MER