1.
Research and Development of Machine Proving System on Geometry Theorem;
几何定理机器证明系统的开发与研究
2.
Property-based Remote Attestation System on Trusted Platform;
可信平台中基于属性的远程证明系统
3.
A New Secure Universal Designated Verifier Signature Proof System
一个安全的广义指定验证者签名证明系统
4.
The usability of system is proved by the sample data.
通过对样本数据的判断识别，证明系统的可用性。
5.
Tableaux for 3-valued Sentential Logic Based on Open-world Assumption;
基于开放世界预设的3—值逻辑的列表证明系统
6.
production system for theorem proving
定理证明的产生式系统
7.
The results of actual operation show the reliability of the system.
实际使用效果证明了该系统的可靠性。
8.
Proving and Testing the Functional Correctness of Distributed Systems;
证明和测试分布式系统的功能正确性
9.
Design and Verification of New Intelligent Lighting Control System
新型智能照明控制系统的设计与验证
10.
It has been proved statistically that...
有统计数字证明....
11.
The experiment based on practical measured data shows that the filtering method is consistent with the integrated system.
试验证明,本文提出的滤波器与系统是匹配的。
12.
There is now evidence that all the passive systems have worked well.
现在有证据表明所有的被动式系统都运行良好。
13.
4. Documents verifying that it has efficient information and technology system;
（四）拥有高效、快速的信息技术系统的证明文件；
14.
1:250 can be realized by this system,the practicability of which having been proved by its being actually applied.
该系统可以做到1：250，实际运用证明了其可行性。
15.
Thermo-economic Isolation of Chain Type Energy Systems and Its Convergence Proof
链式能量系统热经济孤立化的新方法与证明
16.
Finally, a sufficient asymptotic stability condition of the original system was proposed.
最后，提出并证明了原系统渐近稳定的充分条件。
17.
A Modular Approach on Building Certified Software System;
模块化构造软件系统安全性证明的研究
18.
On the Proving of the Magnitude of Averages and It s Generalization;
再论统计平均数大小关系的证明及其推广