Search for dissertations about: "models in requirement engineering"

Showing result 1 - 5 of 106 swedish dissertations containing the words models in requirement engineering.

2. 1. On Provably Correct Decision-Making for Automated Driving

   Author : Yuvaraj Selvaraj; Chalmers tekniska högskola; []
   Keywords : NATURVETENSKAP; NATURAL SCIENCES; TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; deductive verification; formal methods; supervisory control theory; formal verification; Automated driving; model checking; hybrid systems.; decision-making;

   Abstract : The introduction of driving automation in road vehicles can potentially reduce road traffic crashes and significantly improve road safety. Automation in road vehicles also brings several other benefits such as the possibility to provide independent mobility for people who cannot and/or should not drive. READ MORE

4. 2. Calibration and Modelling of Adipose Tissue Under Impact Loading

   Author : Hosein Naseri; Chalmers tekniska högskola; []
   Keywords : TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; Constitutive modelling; Global sensitivity analysis; Adipose tissue; Finite element human body models; Obesity;

   Abstract : Vehicular injury is one of the main reasons for traumatic injuries. Finite Element HumanBody Models (FEHBM) have become very popular to assess car crashes and the subsequentinjuries. It provides the possibility to predict stress and strain values in tissue level byrepresenting anatomical structures in details. READ MORE

5. 3. Modeling and Control of EGR on Marine Two-Stroke Diesel Engines

   Author : Xavier Llamas; Lars Eriksson; Gerasimos Theotokatos; Linköpings universitet; []
   Keywords : TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; Modeling for control; Ship Propulsion; Dynamic Simulation; Exhaust Gas Recirculation; Mean Value Engine Model; Parameterization; Compressor; Model Extrapolation;

   Abstract : The international marine shipping industry is responsible for the transport of around 90% of the total world trade. Low-speed two-stroke diesel engines usually propel the largest trading ships. This engine type choice is mainly motivated by its high fuel efficiency and the capacity to burn cheap low-quality fuels. READ MORE

6. 4. Characterisation of Optical Fibers Using Dual-Comb Swept-Wavelength Interferometry

   Author : Ekaterina Deriushkina; Chalmers tekniska högskola; []
   Keywords : NATURVETENSKAP; NATURAL SCIENCES; TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; coupled-core multi-core fibers; channel modeling; swept-wavelength interferometry; characterisation measurements; transfer function; dual-comb spectroscopy;

   Abstract : The growth in data traffic coupled with trends in internet use will result in a requirement for interfaces of the network to reach Tb/s data rate in the future. Considering this, novel transmission techniques that can increase the date rate with orders of magnitude must be considered. One such example is space-division multiplexing (SDM) fibers. READ MORE

7. 5. On Pose Estimation in Room-Scaled Environments

   Author : Hanna E. Nyqvist; Gustaf Hendeby; Fredrk Gustafsson; Isaac Skog; Linköpings universitet; []
   Keywords : TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; NATURVETENSKAP; NATURAL SCIENCES; TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY;

   Abstract : Pose (position and orientation) tracking in room-scaled environments is an enabling technique for many applications. Today, virtual reality (vr) and augmented reality (ar) are two examples of such applications, receiving high interest both from the public and the research community. READ MORE