1.
Implementing a Graphical User Interface for an Automated Proof Tool for Message-Passing Concurrent System;
一个并发传值系统自动验证工具的图形界面实现
2.
MultiThreads Concurrent Object-Oriented Model Based on MPS;
基于消息传递系统的多线程并发对象模型
3.
Study on Relations between Traditional Value Outlooks of a Nation and National Economic Development;
析民族传统价值观与民族经济发展的关系
4.
The Evaluation of POSSUM and P-POSSUM Scoring System in Predicting the Postoperative Mortality and Morbidity in Patients Undergoing Total Hip Arthroplasty;
POSSUM和P-POSSUM评分系统预测髋关节置换术后死亡率和并发症率的价值
5.
METHODS: The procedure of fast drug dispensing system( FDDS) was analysed and compared with tradiˉ tional dispensing system in advantages and disadvantages.
方法:对快速配药系统的流程进行分析,并对快速配药系统与传统配-发药模式的优、点进行比较。
6.
The Values Systems of Chinese Literature in the 20th Century and the Values of Traditional Chinese Literature;
20世纪中国文学价值系统与传统文学价值观
7.
From the Changes of Traditional Wushu Value Studying the Traditional Wushu Development;
从传统武术价值的流变看传统武术的发展
8.
A Numerical Study on the Balancing Oil Device of the Multi-compressors System;
多压缩机并联系统均油装置数值研究
9.
The Numerical Simulation Research on Principal Axis System and Driver System of the Specialization Lathe;
专用机床主轴系统及传动系统数值仿真研究
10.
Support for Concurrency and Parallelism in MACH
MACH操作系统对并发及并行性的支持
11.
Fiber-optics Transmission System Design for Unattended Radar Signals
无人值守雷达信号光纤传输系统设计
12.
Evaluation and Development on Tradition Sports Tourism Resource of the She Nationality
畲族传统体育旅游价值评价及开发
13.
Value of the Traditional Sports in New Age
新时期发展民族传统体育的价值定位
14.
The Development and Contemporary Value of the Traditional Concept of Justice and Benefit;
传统义利观的历史发展及其当代价值
15.
In Traditional Wushu Value Transformation and Its Development Confusion;
传统武术的价值转变与发展中的困惑
16.
On the Modern Value and Developmemt of Chinese Traditional Martial Arts
传统武术生存的现代价值与发展思考
17.
The Culture Character and Value Development of National Traditional Sports for the Tibetan Nationality
藏族传统体育的文化特征及价值开发
18.
Extending a Model-Checking Tool with Non-trivial Data Structures;
并发传值进程模型检测工具的数据类型扩展