| 1. | A fuzzy petri net model based on mycin system
网结构的规则系统验证方法 |
| 2. | On validation of underwater acoustic warfare simulation system
水声对抗仿真系统验证的研究 |
| 3. | A verification method for finite states systems based on temporal logic
一种基于时态逻辑的有限状态系统验证方法 |
| 4. | If you use login controls , they will automatically use the membership system to validate a user
如果使用登录控件，它们将自动使用成员资格系统验证用户。 |
| 5. | Bounded model checking has been recently introduced as an efficient verification method for reactive systems
Ctl的有界模型检测模型检测是一种强有力的系统验证技术。 |
| 6. | Implement the lims validation to ensure the accuracy of the system data and the traceable of the validation document
实施lims系统验证，确保系统数据的正确性及系统验证资料的可追溯性。 |
| 7. | Finally a demo system is developed , which verifies the feasibility of using human language to control electrical / electronic system
最后通过试验系统验证了利用驾驶员语言进行汽车电器控制的可行性。 |
| 8. | The authors discussed the procedure of building a sequential coded quardtree , explain how to add points clouds to nodes of tree
阐述了顺序四叉树的快速建立，并通过一个试验系统验证了文中所提方法的有效性。 |
| 9. | The engine prototype system based on opengis wms specification is developed to speak the feasibility of the theory talked in the thesis
本文还通过研究和实现基于opengiswms规范的原型系统验证了该方案的可行性。 |
| 10. | Further , it is easier to standardize the look and feel of your systems validation across different components and different developers
更进一步看，我们更容易在多个不同组件和不同的开发人员之间建立标准的系统验证机制。 |
