1) 2-way validity verification
双向有效性验证
1.
An algorithm of topology monitoring based on LSA stream is put forward,the algorithm of the adding or breaking of network link and the algorithm of the 2-way validity verification are discussed in detail.
提出了一种基于LSA流的拓扑监测算法,讨论了网络链路的新增、中断判断算法和链路的双向有效性验证算法,还特别考虑了MaxAge LSA对拓扑监测的影响。
2) validation
[英][,væli'deiʃən] [美][,vælə'deʃən]
有效性验证
1.
Validation of Data Based on XML Schema;
基于XML Schema的数据有效性验证
2.
Identification and Validation of Model Parameters for Power Electronic Devices;
电力电子器件模型参数辨识及其有效性验证
3.
The paper constructs XML Schema documents of EMIF message according to EMIF standard,and presents the algorithm to realize validation of the message based on.
NET下实现报文有效性验证的算法。
3) directed verifiability
有向验证性
4) Validation
[英][,væli'deiʃən] [美][,vælə'deʃən]
数据有效性验证
1.
Application of java and XML schema in validation;
JAVA和XML Schema在数据有效性验证中的应用
2.
Design of General Template for Validation;
正式文件的数据类型多样化导致了数据有效性验证的复杂化,这已经对信息化交流产生越来越大的影响。
5) Validation Model
有效性验证模型
1.
This solution focuses on the Expiration Model and Validation Model of HTTP/1.
1协议中的过期模型和对象有效性验证模型,引入了文件指纹的概念来标识对象的更新状态,将这两个模型的实现从客户端转移到了服务器端,在保证对象有效性的前提下,大大减少了在广域网上传输的对象有效性验证数据流量,提高了网络传输速度,同时降低了Web服务器的负载。
6) bi-verification
双向验证
补充资料：软件正确性验证
软件正确性验证
verification of software correctness
ruQnlian zhengquexing yanzheng软件正确性验证(verifica‘ion of sofcorrectuess)研究验证计算机软件止的理论和方法。又称程序正确性验证。统的程序调试方法试图发现程序中的不同，程序正确性验证的基本思想是证明数学定理一样来证明程序的正句程序正确性验证大体上分为两步:首步数学工具严格地描述待验证的程序，该程序所要实现的目标;然后，在相形式系统中，证明该程序是否正确地了所期望的目标。其数学基础，主要辑、代数、范畴论和自动机理论;其方法，有以数学演绎为基础的定理证法和以有穷模型__L搜索为基础的模型方法。1969年出现了程序验证的公理妥经过数十年的努力，程序正确性验证得到了长足的发展，陆续建立了自动自动的程序验证系统，用于验证计算件的正确性。这些程序验证系统，在检件(协议)设计中的错误和隐患方面发挥用。模型检验方法，己成功地应用于自证具有10，00以上状态数的系统。计算件正确性验证已逐步走向实际应用。 (陈火旺王︸胜准眼洞陈用吸哟觑逻凄防脸先贻伴漱漱作脸漱|
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条