Sökning: "Interactive Space"

Visar resultat 21 - 25 av 98 avhandlingar innehållade orden Interactive Space.

  1. 21. State space representation for verification of open systems

    Författare :Irem Aktug; Mads Dam; Parosh Abdulla; KTH; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; Computer science; Datalogi;

    Sammanfattning : When designing an open system, there might be no implementation available for cer- tain components at verification time. For such systems, verification has to be based on assumptions on the underspecified components. In this thesis, we present a framework for the verification of open systems through explicit state space representation. LÄS MER

  3. 22. Engineering through Designerly Conversations with the Digital Material : The Approach, the Tools and the Design Space

    Författare :Jordi Solsona Belenguer; Kristina Höök; Anna Vallgårda; KTH; []
    Nyckelord :Human-computer Interaction; Människa-datorinteraktion;

    Sammanfattning : The role of IT devices and technology in our everyday lives is growing. The commercial availability of sensor and wireless communications technologies has led to an increase in the number of systems utilizing these to provide compelling experiences. LÄS MER

  4. 23. An Interactive Traction Motors Design and Selection Software

    Författare :Hasan El Hinaoui-Hamze; Chalmers tekniska högskola; []
    Nyckelord :TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; CAD; Access; Electric Drives; Visual Basic; Internal Combustion Engines ICEs ; · Electric Motors EMs ; SQL; MATLAB; Hybrid Electric Vehicles HEVs ; Traction Motors; MagNet;

    Sammanfattning : Use of electric motors in vehicle traction, in fact, predates the internal combustion engines (ICEs). Electric vehicles powered by dc motors were known as far back as 1890. Compared with vehicles powered by ICEs, the main drawback of the early electric vehicles was, and still is, their limited range and long recharging time. LÄS MER

  5. 24. Sounds Unheard of: Evolutionary algorithms as creative tools for the contemporary composer

    Författare :Palle Dahlstedt; Göteborgs universitet; []
    Nyckelord :HUMANIORA; HUMANITIES; NATURVETENSKAP; NATURAL SCIENCES; evolutionary algorithms; interactive evolution; music composition; sound synthesis; non-linear dynamics; music composition;

    Sammanfattning : Evolutionary algorithms are studied as tools for generating novel musical material in the form of musical scores and synthesized sounds. The choice of genetic representation defines a space of potential music. This space is explored using evolutionary algorithms, in search of useful musical material. LÄS MER

  7. 25. A pressure coupled Representative Interactive Linear Eddy Model (RILEM) for heavy-duty truck engine combustion simulations

    Författare :Nidal Doubiani; Chalmers tekniska högskola; []
    Nyckelord :TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; Representative interactive linear eddy model; multiple LEM lines; turbulent chemistry interaction; pressure coupling; pollutants formation.;

    Sammanfattning : Internal combustion engines (ICE) are frequently debated due to their environmental consequences. Although the switch to electromobility is currently happening for light and medium-duty vessels, the transition for ships and heavy-duty trucks is more complex. The primary problem in the shift is the incapability of matching the range of ICE. LÄS MER