Software 2011 Issue 8 A survey on new techniques developed for stochastic process algebras

A survey on new techniques developed for stochastic process algebras
DAI Hui1;DING Jie2;Nanjing;211167;China;2.School of Information Engineering;Yangzhou University;Yangzhou;225009;China)

..............page:50-60

ji yu spce061a de xiao yuan shui fang ba ka ti shi xi tong de
lu wei na

..............page:

ta diao zhi jia chui zhi du jian ce zhuang zhi de yan jiu
tian li yong

..............page:

sui ji jin cheng dai shu xin ji shu zong shu
dai hui

..............page:

Virtual Twin Turing Machine:Bilingual Information Processing as an Example
ZOU Xiaohui1;2;ZOU Shunpeng1 Institute of Higher Education;2.SINO-US Project:Searle Research of Bilingual Information Processing Research Group)

..............page:1-5,17

xu ni de luan sheng tu ling ji yi shuang yu xin xi chu li wei li
zou xiao hui zou shun peng

..............page:

Dual-mode traffic light control system based on infrared remote control
GUO Fengyu1;2 GONG Chenglong2

..............page:33-37

A Design Of Temperature Controller
LI Ling-yu1;LU Ke-jing2;ZHU Wei-hua 1;3College Of Science;Nanjing 211100;China;2.Hohai UniversityComputer&Imformation College;Nanjing 211100;China;3.Hohai UniversityCenter for Experimental Physics;Nanjing 211100;China)

..............page:47-49

wen zhou dong che zhui wei shi gu yu ctcs-2 ji shu gui fan zhong de an quan yin huan
chen gang

..............page:

ye ya ji dian ye bi li kong zhi xi tong yan jiu
li

..............page:

yi zhong xin de aspx tu pian xian shi fang fa ji qi xing neng fen xi
xu ji

..............page:

jing ying xing cang ku wu zi guan li xi tong de she ji yu shi xian
fu ming bai

..............page:

A New Method of Displaying Pictures on ASPX Page and Its Performance Analysis
XU Ji;LU Yong

..............page:13-14

A New Two-stage Time-delay Estimation Algorithm based on LMS Adaption and Correlation Detection
ZHENG Yong1;YU Dongying2;LI Xi3 Co.;Ltd;Suzhou;Jiangsu 215021;China;2.College of Software;Southeast University;Suzhou;Jiangsu 215021;China;3.Institute of Computer Science and Technology;University of Science and Technology of China;Hefei;230027;China)

..............page:6-8,20

xu ni de luan sheng tu ling ji yi shuang yu xin xi chu li wei li
zou xiao hui

..............page:

The Analysis and Design of Retrieval System Base on Agricultural Information
HU Yi;LIU Bo

..............page:9-12

Electro-hydraulic proportional control system of hydraulic machine
LI Tao;GAO Yuan-lou

..............page:38-42,46

ji yu zi shi ying he xiang guan jian ce de liang ji shi yan gu ji suan fa
zheng yong

..............page:

The Wenzhou Train Collision and the Safety Issue in CTCS-2 Specification
CHEN Gang

..............page:27-30,37

ji yu nong ye xin xi hua zhi shi jian suo xi tong guan jian ji shu fen xi yu she ji
hu yi