Search for dissertations about: "fighter"

Showing result 16 - 20 of 35 swedish dissertations containing the word fighter.

  1. 16. Algebraic Methods for Verification and Control of Discrete Event Dynamic Systems

    University dissertation from Linköping : Linköping University

    Author : Jonas Plantin; [1995]
    Keywords : TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY;

    Abstract : Discrete event dynamic systems (DEDS) have become increasingly important in industry and there is a need for structured methods applicable to the design process of DEDS. In this thesis we consider algebraic methods for verification and control of DEDS.To model DEDS we use polynomials in a quotient ring. READ MORE

  2. 17. Neck pain in air force pilots : on risk factors, neck motor function and an exercise intervention

    University dissertation from Stockholm : Karolinska Institutet, Department of Neurobiology, Care Sciences and Society

    Author : Björn Äng; Karolinska Institutet.; Karolinska Institutet.; [2007]
    Keywords : MEDICIN OCH HÄLSOVETENSKAP; MEDICAL AND HEALTH SCIENCES; biomechanics; cervical pain; electromyography; military pilots; movement quality; muscle fatigue; muscle strength; neuromuscular; physiotherapy; range of motion;

    Abstract : Neck pain is a medical problem in modern military aviation. While neck exercises are recommended, clinical trials of neck motor function have been less investigated. READ MORE

  3. 18. Variability and Customization of Simulator Products A Product Line Approach in Model Based Systems Engineering

    University dissertation from Linköping University Electronic Press

    Author : Henric Andersson; Petter Krus; Johan Ölvander; Lars Hvam; [2012]
    Keywords : NATURVETENSKAP; NATURAL SCIENCES; TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY;

    Abstract : AIRCRAFT DEVELOPERS, like other organizations within development and manufacturing, are experiencing increasing complexity in their products and growing competition in the global market. Products are built from increasingly advanced technologies and their mechanical, electronic, and software parts grow in number and become more interconnected. READ MORE

  4. 19. On Verification of Switched Systems using Abstractions

    University dissertation from Linköping : Linköping University Electronic Press

    Author : Valur Einarsson; [1998]
    Keywords : TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY;

    Abstract : This thesis deals with modeling and analysis of a special class of hybrid systems, i.e., systems displaying behavior of both continuous and discrete nature. READ MORE

  5. 20. On Modeling of Discrete Event Dynamic Systems : Using Symbolic Algebraic Methods

    University dissertation from Linköping : Linköping University

    Author : Johan Gunnarsson; Lennart Ljung; [1995]
    Keywords : TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY;

    Abstract : The interest in discrete event systems (DEDS) has increased during the last years, due to the lack of methods and tools that are capable to handle the complexity of problems and tasks present in industry to day. In this thesis we will consider a symbolic and algebraic framework which will be used for modeling, analysis, and synthesis of DEDS. READ MORE