Search for dissertations about: "Model System"

Showing result 21 - 25 of 7623 swedish dissertations containing the words Model System.

  2. 21. Regular Model Checking

    Author : Marcus Nilsson; Bengt Jonsson; Parosh Aziz Abdulla; Kim Larsen; Uppsala universitet; []
    Keywords : NATURVETENSKAP; NATURAL SCIENCES; formal methods; model checking; verification; regular sets; Computer science; Datavetenskap;

    Abstract : A major current challenge in the area of program verification is to extend its applicability to infinite-state systems. A system can be infinite-state because it operates on unbounded data structures, such as queues, stacks, integers, etc., or because its description is parameterized by the number of components inside the system. READ MORE

  4. 22. The GMOC Model : Supporting Development of Systems for Human Control

    Author : Simon Tschirner; Bengt Sandblad; Anders Jansson; Sebastiaan Meijer; Uppsala universitet; []
    Keywords : NATURVETENSKAP; NATURAL SCIENCES; Human-Computer Interaction; User-Centered Design; Human Control; Train Traffic Control; Usability; System Development; Human Work; Railway Traffic; Rail Human Factors; Mental Models; Situation Awareness; Datavetenskap med inriktning mot människa-datorinteraktion; Computer Science with specialization in Human-Computer Interaction;

    Abstract : Train traffic control is a complex task in a dynamic environment. Different actors have to cooperate to meet strong requirements regarding safety, punctuality, capacity utilization, energy consumption, and more. The GMOC model has been developed and utilized in a number of studies in several different areas. READ MORE

  5. 23. Model Reduction and Parameter Estimation for Diffusion Systems

    Author : Bharath Bhikkaji; Torsten Söderström; Claes Breitholtz; Uppsala universitet; []
    Keywords : TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; Diffusion system; Partial differential equations PDEs ; Model reduction; PDE solvers; Finite difference approximation; Chebyshev polynomials; System identification; Parameter estimation; Recursive estimation; Frequency domain estimation; Signal processing; Signalbehandling;

    Abstract : Diffusion is a phenomenon in which particles move from regions of higher density to regions of lower density. Many physical systems, in fields as diverse as plant biology and finance, are known to involve diffusion phenomena. Typically, diffusion systems are modeled by partial differential equations (PDEs), which include certain parameters. READ MORE

  6. 24. Hierarchical Concurrent Systems from a Model-Oriented perspective

    Author : Daniel Einarson; Data Vetenskap; []
    Keywords : NATURVETENSKAP; NATURAL SCIENCES; control; systems; numerical analysis; Computer science; Distributed Systems; Hierarchical Systems; Object-Orientation; Model-Orientation; Datalogi; numerisk analys; system; kontroll; Systems engineering; computer technology; Data- och systemvetenskap;

    Abstract : Real world systems are normally considered as hierarchically organized, for example, we see those as hierarchies of systems including subsystems. Examples on this can be seen in organizations where people act in environments and carry within themselves their own internal subsystem of thinking processes. READ MORE

  7. 25. Sea Level Compensation System for Wave Energy Converters

    Author : Valeria Castellucci; Rafael Waters; Ronan Costello; Uppsala universitet; []
    Keywords : Ocean energy; Tides; Linear generator; Point absorber; Offshore experiment; Hydro-mechanic modeling; Power absorption; Control system; Communication system; Measurement system; Lysekil research site; Wave Hub.;

    Abstract : The wave energy converter developed at Uppsala University consists of a linear generator at the seabed driven by the motion of a buoy on the water surface. The energy absorbed by the generator is negatively affected by variations of the mean sea level caused by tides, changes in barometric pressure, strong winds, and storm surges. READ MORE