1) verification
[英][,verifi'keiʃən] [美][,vɛrɪfɪ'keʃən]
验证性
1.
This system,starting with three different levels of experiment design,namely,verification,integration and innovation,emphasizes the unification and central planning of experiment ta.
目前经管专业计算机应用实验教学主要以验证性实验为主,实验教学只是课堂理论教学的一个辅助环节。
3) verification experiment
验证性实验
1.
Displaying inquiry glamour of verification experiment;
展现验证性实验的探究魅力
2.
In the present experimental teaching reform, importance is attached to the design and integrated experimental teaching while the verification experimental teaching is ignored.
针对目前实验教学改革中重视设计性、综合性实验教学、忽视验证性实验教学改革的现状,指出验证性实验教学中所存在的不足,提出从问题导入实验之教学方法、使用示教系统进行演示性实验之教学形式、及采用现代教育技术——计算机多媒体技术之教学手段等三个方面加以改革,以提高验证性实验的教学效果,为今后培养学生的创新思维能力、综合实验能力夯实基础。
3.
In this article, the author described defects of traditional verification experiment, analyzed the characteristics of comprehensive and designing experiments, and pointed out that to make experimental teaching successful, we should improve the experimental condition, make great effort to develop comprehensive and designing experiments.
高等教育体制改革加大了实验教学的比重,本文阐述了传统验证性实验存在的不足,分析了综合性、设计性实验的特点,提出了实验教学应加大基础训练,改善实验条件,大力开发综合性、设计性实验等具体的改革构想。
4) by proof test
验证性试验
5) verification
[英][,verifi'keiʃən] [美][,vɛrɪfɪ'keʃən]
可验证性
1.
: The group oriented (t,n) threshold digital signature schemes have some problems in that the group secret parameter will be revealed if any t or more shadowholders conspire together with each other and the efficience of verification is poor.
该门限签名方案除了具有一般门限签名的群签名特性和门限特性外,还具有可验证性、强壮性、稳定性和验证高效性等优点。
2.
The scheme has the property of verification and can prevent inside member conspiracy attack.
该方案具有可验证性和防止内部成员合谋攻击;而且验证者在验证群签名的有效性计算的复杂性与一般个人签名方案一样。
3.
YCH scheme is an efficient multi-secret sharing scheme based on two-variable one-way function and Shamir(t,n) threshold secret sharing scheme,but the scheme does not have the property of verification.
YCH方案是一个基于二元单向函数和Shamir(t,n)门限方案的有效多秘密共享方案,但其不具有可验证性。
6) verifiability
[英]['veri,faiə'biliti] [美][,vɛrə,faɪə'bɪlətɪ]
可验证性
1.
This paper gives the formal description of the two-party protocol,and discusses the security,authenticability and verifiability for two-praty protocols.
论文首先给出协议的形式化描述，然后讨论了协议的安全性、可鉴别性和可验证性。
2.
Analysis showed that this scheme achieved not only basic demands such as completeness,soundness,privacy,unreusability,but also extended demands such as receipt-freeness,universal verifiability and .
论证了该方案满足电子选举所需的完全性、合理性、匿名性、不可重复性等基本要求,并且证明该方案严格满足无收据性、广义可验证性和高效性,解决了广义可验证性和无收据性不能同时高效实施的现有难题。
补充资料：有限可验证性
有限可验证性
finitary verifiabffity
有限可验证性「俪加叮v州加恤吟;中.，，。。6川e3-业，“MoeT‘】 逻辑公式的非经典解释之一，旨在精确化由A.H.KoJIMoropoB提出的解释作为问题演算(血以d比ofprob】。招)的直觉主义逻辑断言的计划. Ko~。poB(【11)阐述了这样的想法，如传统逻辑系统化理论真值的证明模式一样，也可能有一种问题解的模式的逻辑系统化.没有问题概念的精确定义，仍可以看看下列具体的问题，例如 l)求四个自然数x，夕，z，n，使之满足扩+y”=:”，n>2; 2)证明R划.t大定理(民m坦t即ea ttl长幻rem)是错的; 3)假设笼可表示为二=m/n，其中m，n是正整数，求e的类似表达式. 也可以用自然的方式定义下面问题上的运算.如果跳和黔是问题，则跳%26忍表示“解决问题致和毋的问题”;AVB表示“解决至少纵和黔中之一”;级。刃表示“假设有鱿的解，找黔的解”(即归约马到班);，纵表示“假设有吸的解则得出矛盾.” 如果用问题代替由逻辑联结词%26，V，“，，，变量a，b，…构造的命题公式中的变量，则由其运算可得某个问题一个公式称为可琴呼的(w石nab七)，如果存在一个一般的方法能够解决由给定公式以上述方式得到的任何问题.在直觉主义命题演算中可推导的公式在这种意义下是可验证的.同时公式AV二A，表示经典排中律(hw of the exd团司middk)，是不可验证的，因为如果它可验证，则将存在一个一般的方法，使得对每个问题要么得到它的解，要么由假设存在它的解得出矛盾. 逻辑公式解释的这种描述不是充分严格的，像“问题’，“问题的解”和“一般方法”这样的概念需要精确化.精确化的一种方法是由幻.T.M切Be脚(〔2』)提出的有限可验证性概念. 有限性问题(俪扭口pro城油)是这样的一个问题，其解为某事先知道的允许可能性的非空有限集F的一个元素.所以，有限性问题可看作有序对纵=
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条