Sökning: "automaton"

Visar resultat 6 - 10 av 39 uppsatser innehållade ordet automaton.

1. 6. Automatically Learning Register Automata from MATLAB Code : A case study in autonomous driving

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

   Författare :Marco Dei Rossi; [2021]
   Nyckelord :Automata learning; SL*; Register automata; RALib; Lateral State Manager; Automata learning; SL*; Register automata; RALib; LSM; Automata learning; SL*; Register automata; RALib; LSM;

   Sammanfattning : The successful verification of the behaviour of an Autonomous driving (AD) vehicle is fundamental for the commercialization of this new technology. Formal verification can be used to exhaustively verify the correctness of a system, but it requires a formal model to do so. LÄS MER

3. 7. Thermodynamical properties of cellular automata

   Kandidat-uppsats, Lunds universitet/Matematisk fysik; Lunds universitet/Fysiska institutionen

   Författare :Luca Bertolani; [2020]
   Nyckelord :Thermodynamics; Statistical; Mechanics; Cellular; automata; chaos; complex; matrix; computational; mathematical; 2d; two; dimensional; program; code; python; ising; teaching; ideal; gas; partition; function; equilibrium; non-equilibrium; classification; neighbourhood; local; Physics and Astronomy;

   Sammanfattning : Cellular automata are a set of discrete computational models whose evolution is defined by neighbourhood rules and are used to simulate many complex systems in physics and science. In this work, statistical mechanics and thermodynamics in and out of equilibrium are used to develop a five-class classification scheme for two-dimensional cellular automata. LÄS MER

4. 8. Verification of Formal Requirements through Tracing

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

   Författare :Jorrit Olthuis; [2020]
   Nyckelord :;

   Sammanfattning : Software development in the railway application is governed by strict standards which aim to ensure safety. It is for example highly recommended to use formal methods when specifying requirements. Moreover, it is mandatory to have certain roles be fulfilled by different people. A common technique is developing software tests for the requirements. LÄS MER

5. 9. VIDMAKTHÅLLANDE OCH UPPLÖSNING : Utställningsprojekt Konstfack 2013-2020

   Master-uppsats, Konstfack/Institutionen för Konst (K)

   Författare :Elise Léonin; [2020]
   Nyckelord :;

   Sammanfattning : ~ Det “statiska” kontra det faktum att all materia ständigt står i förändring ~ Minnet: det interna minnet, det kollektiva minnet, det analoga och digitala externa minnet ~ “Sanningsvärdet” i det “dokumentära” ~ Människans enfaldiga önskan och vilja att bevara ~ Tekniker, teknologier och vetenskaper: tidsbundna och aldrig slutgiltiga ~ Tolkning och beskrivningsmodeller ~ Mönster och system; kaos och slump ~ Den interna kontra den externa världen ~ Illusioner och perception: hjärnans genvägar att hantera sensorisk data ~ Förgängligheten ~ ~ BILD ~ AVBILD ~ DOKUMENTATION ~ INFORMATION ~ DATA ~ MINNE ~ LAGRING ~ MATERIAL ~ TID ~ PERCEPTION ~ TOLKNING ~ MEDVETANDE ~ HJÄRNAN ~ AI ~ MÖNSTER ~ KAOS ~ CELLULAR AUTOMATON ~ BETYDELSE/NONSENS ~ MATERIA ~ TILLSTÅND ~ UPPLÖSNING ~ FÖRÄNDRING ~ MODELLER ~ KONSTRUKTION ~ TEKNIK ~ TEKNOLOGIER ~ GENERERING ~ SLUMP ~ STRUKTURER ~ SYNKRONICITET ~ .. LÄS MER

7. 10. Artificiellt liv, kroppslighet och posthumanism i populärkultur

   Kandidat-uppsats, Göteborgs universitet/Institutionen för kulturvetenskaper

   Författare :Elise Jonsson; [2019-05-07]
   Nyckelord :automaton; posthumanism; robot; science fiction; feminism; genusvetenskap;

   Sammanfattning : In this essay I will discuss posthumanism and how we become humans. Through analyzing two science fiction works, one movie and one short story, I will discuss what it means to be human and how the male liberal subject of humanism need to be broadened and opened up to allow for other subjects to exist. By comparing two female robots, one from E.T. LÄS MER