Search for dissertations about: "Wang Yi"

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

  1. 1. A calculus of real time systems

    Author : Yi Wang; Chalmers University of Technology; []
    Keywords : timed calculi; Milner s CCS; process algebras; real time systems;

    Abstract : .... READ MORE

  2. 2. Environments as specifications of processes

    Author : Yi Wang; Chalmers University of Technology; []
    Keywords : NATURVETENSKAP; NATURAL SCIENCES; transition system; correctness; deadlock; specification; CCS; testing equivalence; implementation; protocol verification;

    Abstract : .... READ MORE

  3. 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

  4. 4. Theoretical Design of Molecular Photonic Materials

    Author : Yanhua Wang; Yi Luo; David Beljonne; KTH; []
    Keywords : NATURAL SCIENCES; NATURVETENSKAP; 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

  5. 5. Code synthesis for timed automata

    Author : Tobias Amnell; Wang Yi; Uppsala universitet; []

    Abstract : In this thesis, we study executable behaviours of timed models. The focus is on synthesis of executable code with predictable behaviours from high level abstract models. We assume that a timed system consists of two parts: the control software and the plant (i.e. READ MORE