1.
Extending a Model-Checking Tool with Non-trivial Data Structures;
并发传值进程模型检测工具的数据类型扩展
2.
Model Checking Methods for Value-Passing and Mobile Processes;
传值进程与移动进程的模型检测方法
3.
Verification and improvement of process scheduling model by Spin
进程调度模型的Spin验证分析与改进
4.
Tooling progress follow up during tooling fabrication.
在模具成型期间对模具的制造进程进行跟踪。
5.
Product Development with Integrated Product and Process Models;
利用产品模型与过程模型的集成进行产品开发
6.
Study on Construction-Schedule Early-Warning Model of Waterlocks Key Project;
水闸枢纽工程施工进度预警模型研究
7.
Upswing in software project through CMMI model;
应用CMMI模型改进软件项目开发流程
8.
Model Checking Research for LINUX Kernel Interprocess Communication
LINUX内核进程间通信的模型检测研究
9.
Research on fermentation process modeling of improved Elman neural network
改进型Elman神经网络发酵过程建模研究
10.
Highway Mileage Forecasting Based on Improved GM(1,1) Model
基于改进的GM(1,1)模型的公路里程预测
11.
A"4I"Model of Technological Learning Process: Theoretical Relevance and Empirical Evidence from South Korean Experience;
“引进-模仿-改进-创新”模型与韩国企业技术学习的演进过程
12.
Research of Process Metric Model Based on CMMI Software Process Improvement;
基于CMMI软件过程改进的过程度量模型研究
13.
Matrix project management model of EPC contractor;
工程总承包进程中矩阵型项目管理模式的实施
14.
The Deformation of An Intake Manifold Foam Pattern during Vibration Moulding Process for EPC
进气管铸件消失模振动造型过程中模样的变形
15.
Modeling and implementing of DSS model system based on process algebra;
基于进程代数的DSS模型系统建模与实现
16.
Research on software process improvement model based on small software enterprises
基于小型软件企业的软件过程改进模型的研究
17.
Use for process-oriented models, data-oriented models, data flowcharts, data process diagrams, structured analysis diagrams, and information flow diagrams.
用于面向进程的模型、面向数据的模型、数据流程图、数据进程图、结构化分析图和信息流图表。
18.
at last, gives the solution method for the optimization model, and using the model resolves fact HDD engineering trace design.
最后给出模型的求解思路，并通过工程实例，对该模型进行了运用。