Sökning: "johnsen"

Visar resultat 1 - 5 av 25 avhandlingar innehållade ordet johnsen.

  1. 1. Architecture-Based Verification of Dependable Embedded Systems

    Författare :Andreas Johnsen; Kristina Lundqvist; Paul Pettersson; Birgitta Lindström; Mälardalens högskola; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; architecture-based verification; dependable embedded systems; AADL; architecture quality assurance; UPPAAL; Computer Science; datavetenskap;

    Sammanfattning : Quality assurance of dependable embedded systems is becoming increasingly difficult, as developers are required to build more complex systems on tighter budgets. As systems become more complex, system architects must make increasingly complex architecture design decisions. LÄS MER

  3. 2. Quality Assurance for Dependable Embedded Systems

    Författare :Andreas Johnsen; Kristina Lundqvist; Paul Pettersson; Kaj Hänninen; Paola Inverardi; Mälardalens högskola; []
    Nyckelord :TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; Computer Science; datavetenskap;

    Sammanfattning : Architectural engineering of embedded computer systems comprehensively affects both the development processes and the abilities of the systems. Rigorous and holistic verification of architectural engineering is consequently essential in the development of safety-critical and mission-critical embedded systems, such as computer systems within aviation, automotive, and railway transportation, where even minor architectural defects may cause substantial cost and devastating harm. LÄS MER

  4. 3. Homogenization of Partial Differential Equations using Multiscale Convergence Methods

    Författare :Pernilla Johnsen; Liselott Flodén; Anders Holmbom; Marianne Olsson Lindberg; Jens Persson; Niklas Wellander; Mittuniversitetet; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; homogenization theory; two-scale convergence; multiscale convergence; very weak multiscale convergence; evolution multiscale convergence; very weak evolution multiscale convergence; linear parabolic problems; linear hyperbolic-parabolic problems;

    Sammanfattning : The focus of this thesis is the theory of periodic homogenization of partial differential equations and some applicable concepts of convergence. More precisely, we study parabolic problems exhibiting both spatial and temporal microscopic oscillations and a vanishing volumetric heat capacity type of coefficient. LÄS MER

  5. 4. Conservation management and archival survival of photographic collections

    Författare :Jesper Stub Johnsen; Göteborgs universitet; []
    Nyckelord :HUMANIORA; HUMANITIES; HUMANIORA; HUMANITIES;

    Sammanfattning : .... LÄS MER

  7. 5. A study of the behavior of polydisperse polystyrene in binary solvent mixtures

    Författare :Robert M. Johnsen; Uppsala universitet; []
    Nyckelord :NATURAL SCIENCES; NATURVETENSKAP;

    Sammanfattning : .... LÄS MER