Search for dissertations about: "TECHNOLOGY Information technology Systems engineering"

Showing result 11 - 15 of 4130 swedish dissertations containing the words TECHNOLOGY Information technology Systems engineering.

  2. 11. Control Aspects of Complex Hydromechanical Transmissions : with a Focus on Displacement Control

    Author : L. Viktor Larsson; Petter Krus; Björn Eriksson; Linköpings universitet; []
    Keywords : TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; NATURVETENSKAP; NATURAL SCIENCES; TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY;

    Abstract : This thesis deals with control aspects of complex hydromechanical transmissions. The overall purpose is to increase the knowledge of important aspects to consider during the development of hydromechanical transmissions to ensure transmission functionality. READ MORE

  4. 12. Engineering Software for Resilient Cyber-Physical Systems

    Author : Ricardo Diniz Caldas; 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;

    Abstract : Designing, implementing, and verifying resilient cyber-physical systems is challenging. Resilience is the ability to provide the required capability when facing adversity. READ MORE

  5. 13. Lock-free Concurrent Search

    Author : Bapi Chatterjee; Chalmers tekniska högskola; []
    Keywords : NATURVETENSKAP; NATURAL SCIENCES; NATURVETENSKAP; NATURAL SCIENCES; NATURVETENSKAP; NATURAL SCIENCES; NATURVETENSKAP; NATURAL SCIENCES; NATURVETENSKAP; NATURAL SCIENCES; TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; NATURVETENSKAP; NATURAL SCIENCES; Wait-free; Help-aware; Non-blocking; Concurrency; Linearizability; Lock-based; Lock-free-kD-tree; Amortized Complexity; Data Structure; Binary Search Tree; Blocking; Search; Concurrent; kD-tree; Linked-list; Lock-free; Range Search; Language-portable; Help-optimal; Nearest Neighbour Search; Linearizable; Synchronization;

    Abstract : The contemporary computers typically consist of multiple computing cores with high compute power. Such computers make excellent concurrent asynchronous shared memory system. READ MORE

  6. 14. Transportation Mission-Based Optimization of Heavy Combination Road Vehicles and Distributed Propulsion, Including Predictive Energy and Motion Control

    Author : Toheed Ghandriz; Chalmers tekniska högskola; []
    Keywords : TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; automation; electrified propulsion; long combination vehicles; electromobility; propulsion system tailoring; automated driving systems; optimal control; single-track and two-track vehicle models; predictive energy management and vehicle stability; motion control; longer heavier vehicles; vehicle stability; optimal energy management; total cost of ownership; optimization; transportation mission; heterogeneous heavy vehicle fleet; fleet sizing;

    Abstract : This thesis proposes methodologies to improve heavy vehicle design by reducing the total cost of ownership and by increasing energy efficiency and safety. Environmental issues, consumers expectations and the growing demand for freight transport have created a competitive environment in providing better transportation solutions. READ MORE

  7. 15. 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