Avancerad sökning

Visar resultat 1 - 5 av 520 avhandlingar som matchar ovanstående sökkriterier.

  1. 1. Architecting and Modeling Automotive Embedded Systems

    Författare :Ola Larses; Martin Törngren; Kurt Sandkuhl; KTH; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; Automotive; Embedded systems; Architecture; Dependability; Cost; Systems engineering; Systemteknik;

    Sammanfattning : Dealing properly with electronics and software will be a strong competitive advantage in the automotive sector in the near future. Electronics are driving current innovations and are at the same time becoming a larger part of the cost of the vehicle. LÄS MER

  3. 2. Automated Approaches for Formal Verification of Embedded Systems Artifacts

    Författare :Predrag Filipovikj; Cristina Seceleanu; Jim Woodcock; Mälardalens högskola; []
    Nyckelord :TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; embedded systems; Simulink; systems specifications; model-checking; formal verification; Computer Science; datavetenskap;

    Sammanfattning : Modern embedded software is so large and complex that creating the necessary artifacts, including system requirements specifications and design-time models, as well as assuring their correctness have become difficult to manage. One challenge stems from the high number and intricacy of system requirements that combine functional and possibly timing or other types of constraints, which make them hard to analyze. LÄS MER

  4. 3. CMOS Data Converters for Closed-Loop mmWave Transmitters

    Författare :Victor Åberg; Chalmers tekniska högskola; []
    Nyckelord :TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; CMOS; SAR ADC; IQ-modulator; Data converter; mmWave; RF-DAC;

    Sammanfattning : With the increased amount of data consumed in mobile communication systems, new solutions for the infrastructure are needed. Massive multiple input multiple output (MIMO) is seen as a key enabler for providing this increased capacity. With the use of a large number of transmitters, the cost of each transmitter must be low. LÄS MER

  5. 4. Multi-LSTM Acceleration and CNN Fault Tolerance

    Författare :Stefano Ribes; Chalmers tekniska högskola; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; NATURVETENSKAP; NATURAL SCIENCES; TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; Compression; SVD; LSTMs; CNNs; Fault Tolerance; Machine Learning; FPGA; Roofline Model; HLS; Caffe;

    Sammanfattning : This thesis addresses the following two problems related to the field of Machine Learning: the acceleration of multiple Long Short Term Memory (LSTM) models on FPGAs and the fault tolerance of compressed Convolutional Neural Networks (CNN). LSTMs represent an effective solution to capture long-term dependencies in sequential data, like sentences in Natural Language Processing applications, video frames in Scene Labeling tasks or temporal series in Time Series Forecasting. LÄS MER

  7. 5. Intrinsic Formation and Macroscopic Intervention in Multi-agent Systems

    Författare :Silun Zhang; Xiaoming Hu; Johan Karlsson; Jorge Goncalves; KTH; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; Attitude control; agents and autonomous systems; distributed control; formation control; nonlinear systems; moment based modelling; large- scale systems; reduced order modeling; nonlinear system identification; Mathematics; Matematik;

    Sammanfattning : In this dissertation, we study two problems within the field of the multi-agent systems theory. One is the formation control for multiple reducedattitudes, which are extensively utilized in many pointing applications and under-actuated scenarios for attitude maneuvers. LÄS MER