1.
Model Checking Methods for Value-Passing and Mobile Processes;
传值进程与移动进程的模型检测方法
2.
Extending a Model-Checking Tool with Non-trivial Data Structures;
并发传值进程模型检测工具的数据类型扩展
3.
Improve Real-coded Genetic Algorithm Solving Numerical Solution of Differential Equation;
改进的实数编码遗传算法解微分方程数值解
4.
Studies on the Value of Traditional Agriculture for Chinese Modernization
传统农业对中国现代化进程的价值研究
5.
the Action of Ethical Traditional Sport in the Course of the Constructing Well-off Society;
民族传统体育在建设小康和谐社会进程中的价值
6.
On the Value of Xinjiang Ethnic Minority Traditional Sports Culture in Constructing Harmonious Society
新疆少数民族传统体育文化在建设和谐社会进程中的价值分析
7.
overall transmission equivalent
全程传输衰耗等效值
8.
Propagation of seismic wave in complex medium is mostly simulated by numeric solution of oneway or two-way wave equation.
复杂介质中地震波的传播多是通过求取单程或双程波动方程的数值解进行模拟的。
9.
The Value of Seeking Truth and Being Enterprising vs.the Chinese Traditional Values;
论求实进取价值观与中国传统价值观
10.
relative tolerance between forward and backward in indicating value
示值进回程相对误差
11.
Exclude from Radiosity Processing
从光能传递进程中排除
12.
an advance in genetic engineering.
遗传工程学方面的进展
13.
Traditional NPV Method Underestimating Value of Flexible Project and Improvement;
传统净现值法低估柔性方案的价值及其改进
14.
Study on Communication System and Value of Imported Econonics & Management Books
经管类图书引进的传播机制及传播价值研究
15.
BP Neural Network Weight Optimization Based on the Improvement Genetic Algorithm
基于改进遗传算法的BP网络权值优化
16.
An improved genetic K-means clustering algorithm based on image segmentation
改进的图像分割遗传K-均值聚类算法
17.
Numerical Simulation of the Heat and Mass Transfer Process in the Heat Pipe-type Solution Absorber
热管式溶液吸收器传热传质过程的数值模拟
18.
Numerical Simulation of Heat Transfer and Mass Transfer and Experimental Study of Molecular Distillation;
分子蒸馏传热与传质过程数值模拟及实验研究