1) transaction correctness
事务正确性
2) transaction timing correctness
事务时间正确性
3) transaction behavioral correctness
事务行为正确性
5) exactness
[英][ig'zæktnis] [美][ɪg'zæktnɪs]
精确<正确>性
6) Correctness
[英][kə'rektnis] [美][kə'rɛktnɪs]
正确性
1.
How to Judge the Field Wiring s Correctness When Electrical Energy Meter Operates at I & IV Quadrant;
如何判断电能表在I、IV象限运行时现场接线的正确性
2.
This paper gives a simple algorithm for solving fuzzy relations,and discusses the Correctness of this algorithm.
本文给出了一个求解模糊关系的简单算法，并讨论了该算法的正确
补充资料：软件正确性验证
软件正确性验证
verification of software correctness
ruQnlian zhengquexing yanzheng软件正确性验证(verifica‘ion of sofcorrectuess)研究验证计算机软件止的理论和方法。又称程序正确性验证。统的程序调试方法试图发现程序中的不同，程序正确性验证的基本思想是证明数学定理一样来证明程序的正句程序正确性验证大体上分为两步:首步数学工具严格地描述待验证的程序，该程序所要实现的目标;然后，在相形式系统中，证明该程序是否正确地了所期望的目标。其数学基础，主要辑、代数、范畴论和自动机理论;其方法，有以数学演绎为基础的定理证法和以有穷模型__L搜索为基础的模型方法。1969年出现了程序验证的公理妥经过数十年的努力，程序正确性验证得到了长足的发展，陆续建立了自动自动的程序验证系统，用于验证计算件的正确性。这些程序验证系统，在检件(协议)设计中的错误和隐患方面发挥用。模型检验方法，己成功地应用于自证具有10，00以上状态数的系统。计算件正确性验证已逐步走向实际应用。 (陈火旺王︸胜准眼洞陈用吸哟觑逻凄防脸先贻伴漱漱作脸漱|
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条