Search for dissertations about: "Yi Wang"

Showing result 1 - 5 of 21 swedish dissertations containing the words Yi Wang.

  2. 1. A calculus of real time systems

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

    Abstract : .... READ MORE

  4. 2. Environments as specifications of processes

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

    Abstract : .... READ MORE

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

    Author : Yi Wang; KTH; []
    Keywords : ;

    Abstract : 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. READ MORE

  6. 4. Theoretical Design of Molecular Photonic Materials

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

    Abstract : 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. READ MORE

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

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

    Abstract : 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. READ MORE