交互式证明系统 interactive proof system
知识交互式证明系统 knowledge interactive proof system
零知识交互式证明系统 zero-knowledge interactive proof system
机械式几何证明系统 Mechanized geometry theorem proving system
我们在创造和重新发明大量新旧烟道式呆板遗留系统方面的几十年拼搏足以证明这项任务非常不易。
This is not an easy task, as demonstrated by our decades of struggling to create and reinvent numerous old and new, stove-piped rigid legacy systems.
收购例如QNX这样的嵌入式操作系统并不能完全保证成功，Symbian已经证明过。
The purchase (and use of) a strong embedded operating system like QNX is no guarantee of success, as Symbian licensees know.
实验结果证明，基于软件重用技术开发数控系统软件的方法是可行的，可以从一定程度上实现开放式数控系统的重用性，互换性。
The result of experiment proves that the thought is available, and it can make the reusability and interchangeability of CNC software by some degree.
应用推荐