Sökning: "raluca"

Visar resultat 1 - 5 av 6 avhandlingar innehållade ordet raluca.

  1. 1. Model-checking and Model-based Testing of Automotive Embedded Systems : Starting from the System Architecture

    Författare :Raluca Marinescu; Cristina Seceleanu; Bernhard Aichernig; Mälardalens högskola; []
    Nyckelord :TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; Computer Science; datavetenskap;

    Sammanfattning : Nowadays, modern vehicles are equipped with electrical and electronic systems that implement highly complex functions such as anti-lock braking or cruise control. The use of such embedded systems in the automotive domain requires a revised development process that addresses their particular features. LÄS MER

  3. 2. Model-driven Analysis and Verification of Automotive Embedded Systems

    Författare :Raluca Marinescu; Cristina Seceleanu; David Garlan; Mälardalens högskola; []
    Nyckelord :TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; Computer Science; datavetenskap;

    Sammanfattning : Modern vehicles are equipped with electrical and electronic systems that implement highly complex functions, such as anti-lock braking, cruise control, etc. To realize and integrate such complex embedded systems, the automotive development process requires an updated methodology that takes into consideration the system’s intricate features and examines both their functional and extra-functional requirements. LÄS MER

  4. 3. Particle Interferometry in e+e- Annihilation

    Författare :Raluca Muresan; Partikel- och kärnfysik; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; quantum field theory; DELPHI; Elementary particle physics; LEP; e e- annihilation; Interferometry; Correlation; Bose-Einstein; Elementarpartikelfysik; kvantfältteori; Fysicumarkivet A:2000:Muresan;

    Sammanfattning : This thesis is the result of three years of work in Lund University, as a member of DELPHI group, at the Elementary Particle Physics Department. The work concerns the study of Bose-Einstein correlations in electron-positron collisions at LEP. LÄS MER

  5. 4. Numerical modelling of a Kaplan turbine at different operating conditions: model and prototype

    Författare :Raluca Gabriela Iovanel; Michel Cervantes; Diana Maria Bucur; Sebastian Muntean; Luleå tekniska universitet; []
    Nyckelord :TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; Strömningslära; Fluid Mechanics;

    Sammanfattning : The increasing variability of the energy market has created a less favourable context for hydropower plants. The operating conditions of the hydraulic turbines are impacted by the fast power regulation required to compensate for the implementation of renewable energy resources such as wind, wave, or solarpower. LÄS MER

  7. 5. Growth study of multiwall carbon nanotubes by CVD methods

    Författare :Raluca Elena Morjan; Chalmers tekniska högskola; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; chemical vapor deposition; growth mechanism; carbon nanotubes; carbon feedstock; fullerenes; metal cataclyst; acetylene; dc-glow dis-charge plasma;

    Sammanfattning : .... LÄS MER