1) 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.
本文给出了一个求解模糊关系的简单算法，并讨论了该算法的正确
2) accuracy
[英]['ækjərəsi] [美]['ækjərəsɪ]
正确性
1.
The paper presented a data quality model at attribute level,and defined the accuracy metric.
针对在关系代数运算下数据质量传递影响问题,在属性粒度给出了一个数据质量评价模型,定义了正确性评价指标。
2.
The paper presents a data quality assess model for relational database and defines the accuracy metric at attribute level.
针对数据库数据质量评价问题,给出了一个属性粒度的质量评价模型,定义了正确性评价指标。
3.
The thesis analyses and researches on compromise method of system functionality accuracy and security for software development.
主要分析和研究如何在软件当前的现实下寻求功能正确性和安全性的折中策略,来解决商业软件长期以来带有"bug"和安全性问题。
3) validity
[英][və'lɪdəti] [美][və'lɪdətɪ]
正确性
1.
a Brief Introduction on the Methods for the Validity of Program;
程序正确性证明方法探论
2.
This paper obtains an improved BM-algorithm,NEWBM-algorithm,by chang- ing the matching order in BM-algorithm,and provides improved algorithm s time consumption analysis and proves its validity.
本文给出了算法的正确性证明及时耗分析。
3.
The integrity,validity and consistency of the security policy have important impacts on the safety performance of network information systems.
安全策略的完整性、正确性和一致性对网络信息系统的安全性能具有重要的影响。
4) exactness
[英][ig'zæktnis] [美][ɪg'zæktnɪs]
精确<正确>性
5) exactness,validity
正确性<测>
6) correctness verification
正确性验证
1.
Modeling and logical correctness verification of Web service processes;
Web服务过程建模及其逻辑正确性验证
2.
The modeling, formal description and correctness verification of online static and dynamic stock trading systems, based on Shanghai Stock Exchange, are shown by using temporal Petri nets in order to make online stock trading systems more effective and rational.
基于时序Petri网对我国现行网上静态和动态证券交易系统进行了模拟、形式描述及功能正确性验证。
3.
Current researches on correctness verification for the mandatory access control framework of operating systems mainly focus on authorization hooks placement verification.
现阶段对操作系统的强制访问控制框架的正确性验证的研究主要集中于对授权钩子放置的验证。
补充资料：软件正确性验证
软件正确性验证
verification of software correctness
ruQnlian zhengquexing yanzheng软件正确性验证(verifica‘ion of sofcorrectuess)研究验证计算机软件止的理论和方法。又称程序正确性验证。统的程序调试方法试图发现程序中的不同，程序正确性验证的基本思想是证明数学定理一样来证明程序的正句程序正确性验证大体上分为两步:首步数学工具严格地描述待验证的程序，该程序所要实现的目标;然后，在相形式系统中，证明该程序是否正确地了所期望的目标。其数学基础，主要辑、代数、范畴论和自动机理论;其方法，有以数学演绎为基础的定理证法和以有穷模型__L搜索为基础的模型方法。1969年出现了程序验证的公理妥经过数十年的努力，程序正确性验证得到了长足的发展，陆续建立了自动自动的程序验证系统，用于验证计算件的正确性。这些程序验证系统，在检件(协议)设计中的错误和隐患方面发挥用。模型检验方法，己成功地应用于自证具有10，00以上状态数的系统。计算件正确性验证已逐步走向实际应用。 (陈火旺王︸胜准眼洞陈用吸哟觑逻凄防脸先贻伴漱漱作脸漱|
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条