Search for dissertations about: "smt"

Showing result 16 - 20 of 25 swedish dissertations containing the word smt.

  2. 16. Analysis of VSC-based HVDC systems

    Author : Georgios Stamatiou; Chalmers tekniska högskola; []
    Keywords : TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; HVDC; MMC; MTDC; Poor damping; Symbolic eigenvalue expressions; Droop control; Passivity Analysis; Net damping; Frequency Domain Analysis; VSC;

    Abstract : The main objective of this thesis is to perform stability and control studies in the area of VSC-HVDC systems. A major part of the investigation focuses on the development of procedures, whose aim is to understand, explain and avoid poorly-damped conditions or instability that may appear due to dc-side resonances, which stem from the interaction of converters and passive elements in such systems. READ MORE

  4. 17. Logics for Information Flow Security:From Specification to Verification

    Author : Musard Balliu; Mads Dam; David Naumann; KTH; []
    Keywords : TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; Computer Science; Datalogi;

    Abstract : Software is becoming  increasingly  ubiquitous and today we find software running everywhere. There is software driving our favorite  game  application or  inside the web portal we use to read the morning  news, and   when we book a vacation. READ MORE

  5. 18. Effect of water contamination on the diffused content of hydrogen under stress in AISI-52100 bearing steel

    Author : Tajammal Imran; Maskinelement; []
    Keywords : TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; vacuum technology; hydraulics; Mechanical engineering; materialteknik; Materiallära; Material technology; Hydrogen Diffusion; Rolling Element; Machine Elements; Tribology; Hydrogen Embrittlement; vibration and acoustic engineering; Maskinteknik; hydraulik; vakuumteknik; vibrationer; akustik;

    Abstract : Abstract Hydrogen embrittlement is a degradation process of mechanical/tribological properties (toughness, wear etc.) of mating steel surfaces. This is caused by the presence and interaction of hydrogen with applied stresses. Therefore, it is important to quantify the hydrogen content which could be dissolved under applied stresses in steel. READ MORE

  6. 19. Verification Based Failure Detection for Real-Time Java and Floating-Point Computations

    Author : Gabriele Paganelli; Chalmers tekniska högskola; []
    Keywords : NATURVETENSKAP; NATURAL SCIENCES; NATURVETENSKAP; NATURAL SCIENCES; Debugging; Floating-Point; Formal Methods; Testing; Real-Time Java; Coverage; Satisfiability Modulo Theories; Certification; Formal Specification;

    Abstract : To err is human, and machines help us avoiding errors. This thesis presents two ways, based on verification technology, to prevent failures.Safety critical Real-Time Java applications usually need a certification. Tests fulfilling specific coverage criteria can be part of such certification, like in the DO-178 standard. READ MORE

  7. 20. Securing the Next Generation Web

    Author : Benjamin Eriksson; Chalmers tekniska högskola; []
    Keywords : NATURVETENSKAP; NATURAL SCIENCES; Browser extensions; Input validation; Web Application Security; Content Security Policy; Vulnerabilities; Android Automotive; Web application scanning;

    Abstract : With the ever-increasing digitalization of society, the need for secure systems is growing. While some security features, like HTTPS, are popular, securing web applications, and the clients we use to interact with them remains difficult. To secure web applications we focus on both the client-side and server-side. READ MORE