1)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)门限方案的有效多秘密共享方案,但其不具有可验证性。
2)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 .论证了该方案满足电子选举所需的完全性、合理性、匿名性、不可重复性等基本要求,并且证明该方案严格满足无收据性、广义可验证性和高效性,解决了广义可验证性和无收据性不能同时高效实施的现有难题。
3)Testable[英]['test?bl][美]['t?st?bl?]可验证性
1.To definite the boundary, we should follow the testable principle, the cost-income principle, safe operation principle and applicability principle.确定我国财务会计的“界”,应贯彻可验证性原则、成本收益原则、安全运营原则和有用性原则。
4)creditability validation可信性验证
1.The design of integrated test platform,realtime simulation algorithms and the creditability validation of real-time simulation system were emphasized.并对综合测试平台组建、实时仿真算法和实时仿真系统可信性验证技术进行了重点分析。
5)reliability verification可靠性验证
1.For reducing the amount of necessary test sample size during the reliability verification with specified risk level,this paper presents a method to make the full use of the reliability test data acquired in the product development phase which will be able to reduce the amount of necessary test sample size and then reduce the risk level.常用抽样检验的方法进行产品可靠性验证,根据这一方法所确定的验证试验方案,在一定的风险下所需样本量较大,有时在工程上是不可接受的。
英文短句/例句
1.On the Reliability Demonstration for Aerospace Electronic Warfare Equipment航天电子对抗设备的可靠性验证研究
2.Bayeses method of reliability demonstration testing for black and white TV receiversGB/T14127-1993黑白电视接收机可靠性验证试验贝叶斯方法
3.Bayes method of reliability demonstration testing for colour broadcasting TV receiverGB/T9382-1988彩色电视广播接收机可靠性验证试验贝叶斯方法
4.In order to verify the correctness and reliability of Know-how为了验证专有技术的正确性和可靠性
5.reliability evaluation from demonstration data利用验证数据的可靠性评定
6.The Design and Certification of Software Reliability of Embedded Manage-Control Software;嵌入式管控软件的可靠性设计与验证
7.Reliability Research and Verificaton of Multi-IP-Reused SOC;多IP复用SOC的可靠性研究与验证
8.Using Analysis of Variance to test the reliability of the results运用方差分析验证聚类结果的可靠性
9.Equipment reliability testing--compliance test plans for success ratioGB/T5080.5-1985设备可靠性试验成功率的验证试验方案
10.Reliability Validation on Spacecraft Pyrotechnical Devices Using the Hardened Test Method航天火工机构可靠性的强化试验验证方法
11.Reliability Statistical Model and Demonstration of Electrical Connectors under Multiple Stresses;航天电连接器综合应力可靠性建模及统计验证
12.Research and Test Method of High Voltage PDP Driver IC s Reliability;PDP高压驱动芯片可靠性研究及验证方法
13.Analyzing and proofing the reliability of rotary & integral stirling cooler旋转整体式斯特林制冷机可靠性分析与验证
14.Formal Framework for Designing and Verifying Reliable Software for Computerized Numerical Control(CNC) Systems一种验证数控系统软件安全可靠性的建模方法
15.Analysis of the proof load method′s validity in the evaluation of structure reliability验证荷载法在结构可靠度评估中的有效性分析
16.All the results of either simulation or reliability examination show that thg quality of this controller is good.混合仿真实验和可靠性实验都证明了该控制器的性能是优越的。
17.Testing the feasibility ofalgorithm and reliability of global convergence in theory.验证了算法的可行性和在理论上具有全局收敛的可靠性.
18.RQAO (Reliability and Quality Assurance Office)可靠性和质量保证局
相关短句/例句
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 .论证了该方案满足电子选举所需的完全性、合理性、匿名性、不可重复性等基本要求,并且证明该方案严格满足无收据性、广义可验证性和高效性,解决了广义可验证性和无收据性不能同时高效实施的现有难题。
3)Testable[英]['test?bl][美]['t?st?bl?]可验证性
1.To definite the boundary, we should follow the testable principle, the cost-income principle, safe operation principle and applicability principle.确定我国财务会计的“界”,应贯彻可验证性原则、成本收益原则、安全运营原则和有用性原则。
4)creditability validation可信性验证
1.The design of integrated test platform,realtime simulation algorithms and the creditability validation of real-time simulation system were emphasized.并对综合测试平台组建、实时仿真算法和实时仿真系统可信性验证技术进行了重点分析。
5)reliability verification可靠性验证
1.For reducing the amount of necessary test sample size during the reliability verification with specified risk level,this paper presents a method to make the full use of the reliability test data acquired in the product development phase which will be able to reduce the amount of necessary test sample size and then reduce the risk level.常用抽样检验的方法进行产品可靠性验证,根据这一方法所确定的验证试验方案,在一定的风险下所需样本量较大,有时在工程上是不可接受的。
6)reliability demonstration可靠性验证
1.In order to reduce the total number of the testing cases but not to decrease the confidence level of the testing results for the reliability demonstration of safety-critical software, a new method which uses Bayesian inference with prior knowledge dynamic integration is presented on the basis of analyzing the classical statistical hypothesis testing and the ignorance prior Bayesian method.为了在不降低安全关键软件可靠性验证测试结果可信性的前提下减少测试用例量,在分析经典统计假设测试和无先验贝叶斯统计方法的基础上,提出了一种先验知识动态整合的贝叶斯推断统计测试方法;并提供了软件失效概率的概率密度函数先验分布参数的详细求解办法。
2.A final system reliability demonstration testing is needed before the system is released for production.可靠性验证是系统开发过程中的重要环节。
3.On the basis of the plan of reliability demonstration test for Exponential distribution, by translating Weibull distribution into Exponential distribution, we discussed how to establish the plans of reliability demonstration test for Weibull distribution based on censored samples type Ⅱ.以指数分布下的可靠性验证试验方案为基础 ,通过将 Weibull分布转化为指数分布 ,讨论了定数截尾情况下的 Weibull分布可靠性验证试验方案的制定方法 ,并以某型航天电连接器可靠寿命为指标 ,制定了寿命验证试验抽样方案 。
延伸阅读
有限可验证性 有限可验证性 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的一个元素.所以,有限性问题可看作有序对纵=