1) truth maintenance system
正确性维持系统
2) truth maintenance system
正确性维护系统
3) system correctness
系统级正确性
1.
We proposed the conception of class correctness and system correctness for the certification of object-oriented programming.
介绍当今流行的各种程序正确性验证方法的基础上，讨论了在面向对象程序设计的正确性验证中所遇到的特殊问题，提出了类级正确性和系统级正确性的概念，将公理证明方法加以扩充，使之可以用于面向对象程序系统的证明，并用特征调用的概念解决了证明中出现的计算过程中止性的问题。
4) truth-maintenance
正确性保持
5) deterministic system
确定性系统
1.
The general definition of fuzzy stochastic system is given and that deterministic system,stochastic system and fuzzy system aie the particular case of fuzzy stochastic system are proved.
本文研究和分析了确定性系统、随机系统和模糊系统的共同性质以及它们之间的联系，抽出这些系统的共同特性，给出了模糊随机系统的一般性定义，并且导出各种系统。
6) Uncertain two-dimensional systems
不确定二维系统
补充资料：正确
1.谓符合事实﹑规律﹑道理或某种公认的标准。与"错误"相对。
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条