Avancerad sökning

Visar resultat 1 - 5 av 460 avhandlingar som matchar ovanstående sökkriterier.

  1. 1. Combinatorial Slice Theory

    Författare :Mateus de Oliveira Oliveira; Karl Meinke; Stefan Arnborg; Barbara König; KTH; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; Combinatorial Slice Theory; Partial Order Theory of Concurrency; Digraph Width Measures; Equational Logic;

    Sammanfattning : Slices are digraphs that can be composed together to form larger digraphs.In this thesis we introduce the foundations of a theory whose aim is to provide ways of defining and manipulating infinite families of combinatorial objects such as graphs, partial orders, logical equations etc. LÄS MER

  3. 2. Representation of Quantum Algorithms with Symbolic Language and Simulation on Classical Computer

    Författare :Peter Nyman; Andrei khrennikov; Paul Fischer; Växjö universitet; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; Deutsch-Josza algorithm; Grover s algorithm; Quantum computing; Quantum error-correcting; Shor s algorithm; Simon s algorithm; Simulation of quantum algorithms; Deutsch-Josza algoritm; Grovers algoritm; Kvantdatorer; kvantmekanisk felrättande kod; Shors algoritm; Simons algoritm; Simulering av kvantdatorer; MATHEMATICS; MATEMATIK; Mathematics; Matematik;

    Sammanfattning : Utvecklandet av kvantdatorn är ett ytterst lovande projekt som kombinerar teoretisk och experimental kvantfysik, matematik, teori om kvantinformation och datalogi. Under första steget i utvecklandet av kvantdatorn låg huvudintresset på att skapa några algoritmer med framtida tillämpningar, klargöra grundläggande frågor och utveckla en experimentell teknologi för en leksakskvantdator som verkar på några kvantbitar. LÄS MER

  4. 3. Modelling and Verification of Real-Time Systems Using Timed Automata : Theory and Practice

    Författare :Paul Pettersson; Wang Yi; Uppsala universitet; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; Computer Systems; Datorteknik;

    Sammanfattning : During the last decade, model-checking techniques for the verification of timed system have been developed baaed on the theory of timed automata. The practical limitation in applying these techniques to industrial-size systems is the huge amount of time and memory needed to explore and store the state-space of the system model. LÄS MER

  5. 4. Estimation of Nonlinear Dynamic Systems : Theory and Applications

    Författare :Thomas B. Schön; Fredrik Gustafsson; Simon Godsill; Linköpings universitet; []
    Nyckelord :TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; Nonlinear estimation; system identification; Kalman filter; particle filter; marginalized particle filter; expectation maximization; automotive applications; Automatic control; Reglerteknik;

    Sammanfattning : This thesis deals with estimation of states and parameters in nonlinear and non-Gaussian dynamic systems. Sequential Monte Carlo methods are mainly used to this end. These methods rely on models of the underlying system, motivating some developments of the model concept. LÄS MER

  7. 5. Snow removal routing problems : theory and applications

    Författare :Gholamreza Razmara; Oli Madsen; Linköpings universitet; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; MATHEMATICS; MATEMATIK;

    Sammanfattning : The focus of this dissertation is on constructing optimization models and developing solution methods for Snow Removal Routing Problems with Time V\lindows. Two cases, after and during snowfall, are studied. LÄS MER