1.
Research on Application for Mobile Process Calculi and Their Static Analysis Techniques to Systems Biology;
可移动类进程代数及其静态分析技术在系统生物学领域中应用的研究
2.
Theπ- calculus is a kind of mobile process algebra which can be used to model concurrent and dynamic systems.
π算是一种移动进程代数,可用于对并发和动态变化的系统进行建模。
3.
Number of successful notifications sent by mobile categorizer per second
移动分类程序每秒成功发送的通知数
4.
Can represents any type of data in a flowchart.
可以代表流程图中任何类型的数据。
5.
Number of notifications discarded by mobile categorizer due to expiry
由于过期而被移动分类程序丢弃的通知数
6.
Number of notifications ignored by mobile categorizer due to batching
由于分批而被移动分类程序忽略的通知数
7.
Number of notifications discarded by mobile categorizer due to errors
由于错误而被移动分类程序丢弃的通知数
8.
Labor Mobility in Agri-modernization;
农业现代化进程中农村劳动力的有效转移
9.
Discuss the Transfer of Rural Surplus Labor of China during the Process of Modernization;
论现代化进程中我国农业剩余劳动力的转移
10.
A Study of the Procession of Modernization in China Through the Transfer of Traditional Agricultural Labors;
从传统农业劳动力的转移看中国的现代化进程
11.
A Novel Access Method for Remote Databases Based on Mobile Agents
一种基于移动代理的远程数据库访问技术
12.
integrated moving average process
结合移动平均数过程
13.
mobile digital computer
可移动式数字计算机
14.
mobile programming system
可移动程序设计系统
15.
Number of notifications bifurcated by mobile categorizer due to multiple devices
由于存在多个设备而被移动分类程序分流的通知数
16.
The focus motor can be moved in either step or continuous motion.
聚焦电机可以步进移动、连续移动。
17.
Research on behavioral consistency of component dynamic evolution based on process algebra
基于进程代数的构件动态演化行为一致性研究
18.
Model Checking Methods for Value-Passing and Mobile Processes;
传值进程与移动进程的模型检测方法