1.
Research on Model Checking of Concurrent System Based on Partial-order Reduction;
基于偏序简化的并发系统模型检测技术的研究
2.
On-the-fly Deadlock Detection with Partial-order Reduction Based on CEGAR
基于CEGAR偏序化简的并行程序死锁检测
3.
Researching On the Changing Of Individual Preference Order under Entirety Preference Order;
整体偏好次序下个体偏好次序的变化研究
4.
simplification technique
简化技巧 -程序验证中的
5.
The working process should be simplified.
工作程序应该简化。
6.
Optimal Training Sequence Carrier Estimation in OFDM Systems
OFDM系统中频偏估计的训练序列的优化
7.
Jane Eyre and Cultural Filtration--View on the Acceptance of Jane Eyre in China from Translators Prefaces;
《简·爱》与文化过滤——从译者序看《简·爱》在中国的接受
8.
Simplifying and Independence of Summary Civil Procedure;
简易程序的简化及其相对独立性特性研究
9.
Simple Algorithm about a New Method for Multiple Attribute Decision Making with Given Preference Information on Alternative;
关于已知方案偏好信息MADM新方法的简化算法
10.
Consideration to simplified ways of hearing of criminal general procedure;
关于刑事普通程序简易化审理方式的思考——兼评简易程序
11.
On Simplification of Civil Procedure and the Introduction of Small Claims Procedure;
民事诉讼程序的简易化与小额诉讼程序的引入
12.
On Doctrines of Categorization of Procedures-Theoretical Foundations of Criminal Summary Procedure;
程序类型化理论：简易程序设置的理论根源
13.
Working Party on the Facilitation of International Trade Procedures
国际贸易程序简化工作队
14.
Breathing nitrox can reduce your decompression stress.
呼吸富氧气体能够简化减压程序。
15.
good planning simplifies program debug.
优良的设计可简化程序的调试。
16.
a simplified description of a complex entity or process.
一个复杂实体或程序的简化说明。
17.
Qualitative simplification has been suggested in the form of triboelectric series.
应用静电序列可以简化定性工作。
18.
Mining Condensed Sets of Sequential Patterns and Structured Patterns;
挖掘序列模式和结构化模式的精简集