Sökning: "automata theory"

Visar resultat 1 - 5 av 11 uppsatser innehållade orden automata theory.

  1. 1. Advancements in Dependability Analysis of Safety-Critical Systems : Addressing Specification Formulation and Verification Challenges

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

    Författare :Zelin Yu; [2023]
    Nyckelord :Specification theory; Contracts; Automata theory; Refinement; Specifikationsteori; Kontrakt; Automatteori; Förfina;

    Sammanfattning : Safety-critical systems have garnered increasing attention, particularly regarding their dependability analysis. In modern times, these systems comprise numerous components, making it crucial to verify that lower-level components adhere to their specifications will ensure the overall system’s compliance with its top-level specification. LÄS MER

  3. 2. Moving in the dark : Mathematics of complex pedestrian flows

    Magister-uppsats, Karlstads universitet/Fakulteten för hälsa, natur- och teknikvetenskap (from 2013)

    Författare :Meghashyam Veluvali; [2023]
    Nyckelord :Mathematical modelling of pedestrian dynamics; stochastic systems; evacuation time; random walk method; parabolic equation; finite difference method;

    Sammanfattning : The field of mathematical modelling for pedestrian dynamics has attracted significant scientific attention, with various models proposed from perspectives such as kinetic theory, statistical mechanics, game theory and partial differential equations. Often such investigations are seen as being a part of a new branch of study in the domain of applied physics, called sociophysics. LÄS MER

  4. 3. Investigating Evacuation Factors on the KTH Computer Science Chapter Hall using 3D Cellular Automata

    Kandidat-uppsats, KTH/Datavetenskap

    Författare :Pontus Prüzelius; Michael Morales Sundstedt; [2022]
    Nyckelord :;

    Sammanfattning : Aspects regarding safety is always a concern when designing buildings, especially in times of emergencies. Thus, evacuations of said buildings are of paramount importance. LÄS MER

  5. 4. 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

  7. 5. Monomial Cellular Automata : A number theoretical study on two-dimensional cellular automata in the von Neumann neighbourhood over commutative semigroups

    Kandidat-uppsats, Linnéuniversitetet/Institutionen för matematik (MA)

    Författare :Linnea Fransson; [2016]
    Nyckelord :cellular automata; monomial; multiplicative; two-dimensional; von Neumann neighbourhood; number theory;

    Sammanfattning : In this report, we present some of the results achieved by investigating two-dimensional monomial cellular automata modulo m, where m is a non-zero positive integer. Throughout the experiments, we work with the von Neumann neighbourhood and apply the same local rule based on modular multiplication. LÄS MER