Search for dissertations about: "forward model"

Showing result 1 - 5 of 472 swedish dissertations containing the words forward model.

2. 1. Driving Violations : Investigating Forms of Irrational Rationality

   Author : Sonja Forward; Lars Åberg; Dianne Parker; Uppsala universitet; []
   Keywords : SAMHÄLLSVETENSKAP; SOCIAL SCIENCES; theory of planned behaviour; driving violations; risk-taking; speeding; dangerous overtaking; Psychology; Psykologi;

   Abstract : Several aspects contribute to road crashes and one important part is the ‘human factor’. This information is interesting but insufficient unless we also try to understand what is meant by the term. READ MORE

4. 2. Model Checking Parameterized Timed Systems

   Author : Pritha Mahata; Parosh Abdulla; Jean-Francois Raskin; Uppsala universitet; []
   Keywords : NATURVETENSKAP; NATURAL SCIENCES; Model Checking; Parameterized Systems; Undecidability; Timed Petri Nets; Timed Networks; Computer science; Datavetenskap;

   Abstract : In recent years, there has been much advancement in the area of verification of infinite-state systems. A system can have an infinite state-space due to unbounded data structures such as counters, clocks, stacks, queues, etc. It may also be infinite-state due to parameterization, i.e. READ MORE

5. 3. Model Order Reduction with Rational Krylov Methods

   Author : K. Henrik A. Olsson; Axel Ruhe; Volker Mehrmann; KTH; []
   Keywords : NATURVETENSKAP; NATURAL SCIENCES; Model order reduction; dual rational Arnoldi; rational Krylov; moment matching; eigenvalue computation; stability analysis; heat exchanger model; Numerical analysis; Numerisk analys;

   Abstract : Rational Krylov methods for model order reduction are studied. A dual rational Arnoldi method for model order reduction and a rational Krylov method for model order reduction and eigenvalue computation have been implemented. It is shown how to deflate redundant or unwanted vectors and how to obtain moment matching. READ MORE

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

   Author : Frédéric Haziza; Parosh Aziz Abdulla; Tomáš Vojnar; Uppsala universitet; []
   Keywords : 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;

   Abstract : 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. READ MORE

7. 5. A height datum for Uganda based on a gravimetric quasigeoid model and GNSS/levelling

   Author : Ronald Ssengendo; Lars Sjoberg; Anthony Gidudu; Hossein Nahavandchi; KTH; []
   Keywords : NATURVETENSKAP; NATURAL SCIENCES; Geoid model; GNSS levelling; KTH method; Uganda; Uganda Vertical Network; Quasigeoid model; Geodesy and Geoinformatics; Geodesi och geoinformatik;

   Abstract : This study is devoted to the determination of a high resolution gravimetric geoid model for Uganda based on the optimal combination of terrestrial and satellite gravity anomalies using the method of Least Squares Modification of Stokes’ formula with additive corrections. Specifically the study investigates the current status of the existing Uganda Vertical Network relative to the requirements of a modern height datum and includes a detailed evaluation and validation of terrestrial gravity data, several digital elevation models and some recent global geopotential models. READ MORE