Sökning: "shape theorem"

Visar resultat 1 - 5 av 17 avhandlingar innehållade orden shape theorem.

  1. 1. Few is Just Enough! : Small Model Theorem for Parameterized Verification and Shape Analysis

    Författare :Frédéric Haziza; Parosh Aziz Abdulla; Tomáš Vojnar; Uppsala universitet; []
    Nyckelord :TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; program verification; model checking; parameterized systems; infinite-state systems; reachability; approximation; safety; tree systems; shape analysis; small model properties; view abstraction; monotonic abstraction; Computer Science; Datavetenskap;

    Sammanfattning : This doctoral thesis considers the automatic verification of parameterized systems, i.e. systems with an arbitrary number of communicating components, such as mutual exclusion protocols, cache coherence protocols or heap manipulating programs. The components may be organized in various topologies such as words, multisets, rings, or trees. LÄS MER

  3. 2. Shape Optimization for Electromagnetic and Quasimagnetostatic Applications

    Författare :Per Jacobsson; Chalmers tekniska högskola; []
    Nyckelord :TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; shape optimization; continuum sensitivity; electromagnetic scattering; adjoint problem;

    Sammanfattning : This thesis uses a continuum formulation of sensitivity for shape optimization in two-dimensional microwave scattering and quasimagnetostatic problems. The continuum sensitivity is obtained by solving an appropriate adjoint problem. LÄS MER

  4. 3. Asymptotics and dynamics in first-passage and continuum percolation

    Författare :Daniel Ahlberg; Göteborgs universitet; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; first-passage percolation; noise sensitivity; continuum percolation; Gilbert model; limit theorems; shape theorem; stopped random walks; large deviations; dynamical percolation; continuum percolation;

    Sammanfattning : This thesis combines the study of asymptotic properties of percolation processes with various dynamical concepts. First-passage percolation is a model for the spatial propagation of a fluid on a discrete structure; the Shape Theorem describes its almost sure convergence towards an asymptotic shape, when considered on the square (or cubic) lattice. LÄS MER

  5. 4. Theory Exploration for Programs and Proofs

    Författare :Sólrún Einarsdóttir; Chalmers tekniska högskola; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; Theorem Proving; Automated Reasoning; Theory Exploration; Property-Based Testing; Functional Programming; Conjecture Generation; Artificial Intelligence; Coinduction;

    Sammanfattning : We have built two theory exploration systems, Cohipster and RoughSpec . Theory exploration is a method of automatically conjecturing properties about the functions and structures that appear in a computer program or a formalization of a mathematical theory. LÄS MER

  7. 5. Periodic Structures with Higher Symmetries: Analysis and Applications

    Författare :Fatemeh Ghasemifard; Martin Norgren; Oscar Quevedo-Teruel; Guido Valerio; Stefano Maci; KTH; []
    Nyckelord :TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; periodic structures; higher symmetries; dispersion analysis; mode matching; generalized Floquet theorem; Electrical Engineering; Elektro- och systemteknik;

    Sammanfattning : In this thesis, periodic structures with higher symmetries are studied. Their wave propagation characteristics are investigated and their potential applications are discussed. Higher-symmetric periodic structures are described with an additional geometrical operation beyond a translation operator. LÄS MER