Sökning: "Wang Yi"

Visar resultat 1 - 5 av 21 avhandlingar innehållade orden Wang Yi.

  1. 1. A calculus of real time systems

    Författare :Yi Wang; Chalmers tekniska högskola; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; timed calculi; Milner s CCS; process algebras; real time systems;

    Sammanfattning : .... LÄS MER

  3. 2. Environments as specifications of processes

    Författare :Yi Wang; Chalmers tekniska högskola; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; transition system; correctness; deadlock; specification; CCS; testing equivalence; implementation; protocol verification;

    Sammanfattning : .... LÄS MER

  4. 3. Theoretical studies of thermodynamic properties of condensed matter under high temperature and high pressure

    Författare :Yi Wang; KTH; []
    Nyckelord :;

    Sammanfattning : Based on first-principles calculations coupled with theclassical mean-field potential approach. A wide range ofthermodynamic properties have been studied. This includesambient condition properties, 300-K equation of state,shock-wave Hugoniot, reduction of shock-wave data, highpressure melting, anharmonic e.ects and etc. LÄS MER

  5. 4. Theoretical Design of Molecular Photonic Materials

    Författare :Yanhua Wang; Yi Luo; David Beljonne; KTH; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; Optical property; Molecular material; Solvent environment; Nuclear vibrations; Aggregation effect; Theoretical chemistry; Teoretisk kemi;

    Sammanfattning : This thesis presents a theoretical study on optical properties of molecular materials. Special emphasis has been put on the influence of solvent environment, nuclear vibrations, and aggregation effects on molecular properties like linear and nonlinear polarizabilities, one- and two-photon absorption probabilities. LÄS MER

  7. 5. Facilitating Exoskeletons in Daily Use : Simulations and Predictions for Design and Control

    Författare :Yi-Xing Liu; Elena Gutierrez-Farewik; Ruoli Wang; Christian Smith; Shaoping Bai; KTH; []
    Nyckelord :TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; Robotic Exoskeletons; Engineering Mechanics; Teknisk mekanik;

    Sammanfattning : Lower limb exoskeletons have been extensively developed over the last several decades for people with and without movement disorders. Although lower limb exoskeletons have been shown to provide effective assistance to improve gait and reduce metabolic cost during movements, they are often heavy, bulky and uncomfortable. LÄS MER