1) message interaction consistency checking
消息交互一致性验证
2) tolerance conformance test
一致性验证
1.
According to the tolerance rules of ER,MMC and LMR of national standards,tolerance conformance test of prisms is carried out.
分别按照国际中的包容要求、最大实体要求及最小实体要求 ,分析了棱柱形零件尺寸公差和形位公差一致性准则 ,给出了判别一致性的数学等效式 ,举例说明了棱柱公差一致性验证的过程 ,为棱柱形零件计算机辅助公差设计的一致性验证提供了理论方法。
2.
According to the tolerance rules of ER,MMC and LMR of national standards,tolerance conformance test of square openings is carried out.
尺寸公差与形位公差的一致性验证是计算机辅助公差设计中不可缺少的重要环节。
3) Consistency Verification
一致性验证
1.
A Method of the C~4ISR Architecture Consistency Verification Based on CADM;
基于CADM的C~4ISR体系结构一致性验证方法
4) compliance checker
一致性验证器
1.
The proposed framework took into account all aspects related to trust management,from the XML-based combining credential with policy language,to trust management enforcement which implemented verifying trust ticket and compliance checker.
该框架包含了一种基于XML的统一信任证和策略语言,以及完成验证TrustTicket与一致性验证器的信任管理执行器,其主要创新点为可扩展的策略语言和支持TrustTicket与策略缓存的信任管理执行器,具有灵活性和良好的可扩展性等特点。
2.
Furthermore,it introduced three kinds of compliance checker algorithms adopted by XTNPL.
还介绍了适合这种语言的3种一致性验证器算法,满足了信任管理和自动信任协商的需求。
5) coherence verification arithmetic
一致性验证算法
6) message exchange
消息交互
1.
The Design and Implementation of Message Exchange Platform of Intrusion Detection System;
入侵检测系统消息交互平台的设计与实现
2.
In this protocol,maximum multipaths are found by message exchanges between the neighbors and a multipath selection mechanism is introduced to eliminate the meaningless paths.
在这个协议中,通过邻居之间的消息交互建立最大化多路径,并引入了多路径选择机制来剔除无意义的路径。
补充资料：软件正确性验证
软件正确性验证
verification of software correctness
ruQnlian zhengquexing yanzheng软件正确性验证(verifica‘ion of sofcorrectuess)研究验证计算机软件止的理论和方法。又称程序正确性验证。统的程序调试方法试图发现程序中的不同，程序正确性验证的基本思想是证明数学定理一样来证明程序的正句程序正确性验证大体上分为两步:首步数学工具严格地描述待验证的程序，该程序所要实现的目标;然后，在相形式系统中，证明该程序是否正确地了所期望的目标。其数学基础，主要辑、代数、范畴论和自动机理论;其方法，有以数学演绎为基础的定理证法和以有穷模型__L搜索为基础的模型方法。1969年出现了程序验证的公理妥经过数十年的努力，程序正确性验证得到了长足的发展，陆续建立了自动自动的程序验证系统，用于验证计算件的正确性。这些程序验证系统，在检件(协议)设计中的错误和隐患方面发挥用。模型检验方法，己成功地应用于自证具有10，00以上状态数的系统。计算件正确性验证已逐步走向实际应用。 (陈火旺王︸胜准眼洞陈用吸哟觑逻凄防脸先贻伴漱漱作脸漱|
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条