Sökning: "linear model"

Visar resultat 16 - 20 av 2058 avhandlingar innehållade orden linear model.

  1. 16. Regular model checking

    Författare :Marcus Nilsson; Bengt Jonsson; Uppsala universitet; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; Computer Systems; Datorteknik;

    Sammanfattning : We present regular model checking, a framework for algorithmic verification of infinite-state systems with, e.g., queues, stacks, integers, or a parameterized linear topology. States are represented by strings over a finite alphabet and the transition relation by a regular length-preserving relation on strings. LÄS MER

  3. 17. Model on Demand : Algorithms, Analysis and Applications

    Författare :Anders Stenman; Fredrik Gustafsson; Lennart Ljung; Linköpings universitet; []
    Nyckelord :TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY;

    Sammanfattning : System identification deals with the problem of estimating models of dynamical systems from observed data. In this thesis, we focus on the identification of nonlinear models, and, in particular, on the situation that occurs when a very large amount of data is available. LÄS MER

  4. 18. Linear response theory : from black hole thermalization to Weyl semimetals

    Författare :Jorge Laraña Aragón; Bo Sundborg; Edwin Langman; Stockholms universitet; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; NATURVETENSKAP; NATURAL SCIENCES; NATURVETENSKAP; NATURAL SCIENCES; Theoretical Physics; teoretisk fysik;

    Sammanfattning : Linear response theory is an incredibly powerful calculation tool. We apply this framework in quantum field theory to a variety of models originated from distinct areas in theoretical physics and for different reasons. LÄS MER

  5. 19. Operation and maintenance performance of rail infrastructure : Model and Methods

    Författare :Christer Stenström; Rommert Dekker; Luleå tekniska universitet; []
    Nyckelord :TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; Drift och underhållsteknik; Operation and Maintenance Engineering;

    Sammanfattning : Congestion of roads and sky, increasing energy costs and a demand to reduce emissions, have created a need to shift transportation from road and air to rail. Consequently, rail utilisation is increasing, adding stress to the rail infrastructure and time constraints to maintenance. LÄS MER

  7. 20. A Representative Interactive Linear Eddy Model

    Författare :Tim Lackmann; Chalmers tekniska högskola; []
    Nyckelord :TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY;

    Sammanfattning : To further improve the efficiency and emissions profiles ofinternal combustion engines, many new combustion conceptsare currently being investigated. Examples includehomogeneous charge compression ignition (HCCI), stratifiedcharge compression ignition (SCCI), lean stratified premixedcombustion, and the use of high levels of exhaust gasrecirculation (EGR) in diesel engines. LÄS MER