可验证性,verification,音标,读音,翻译,英文例句,英语词典

您的位置：首页 -> 词典 -> 可验证性

1) verification [英][,verifi'keiʃən] [美][,vɛrɪfɪ'keʃən] 点击朗读

可验证性

: 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.

该门限签名方案除了具有一般门限签名的群签名特性和门限特性外,还具有可验证性、强壮性、稳定性和验证高效性等优点。

The scheme has the property of verification and can prevent inside member conspiracy attack.

该方案具有可验证性和防止内部成员合谋攻击;而且验证者在验证群签名的有效性计算的复杂性与一般个人签名方案一样。

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ɪ] 点击朗读

可验证性

This paper gives the formal description of the two-party protocol,and discusses the security,authenticability and verifiability for two-praty protocols.

论文首先给出协议的形式化描述，然后讨论了协议的安全性、可鉴别性和可验证性。

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̣] 点击朗读

可验证性

To definite the boundary, we should follow the testable principle, the cost-income principle, safe operation principle and applicability principle.

确定我国财务会计的“界”,应贯彻可验证性原则、成本收益原则、安全运营原则和有用性原则。

4) creditability validation 点击朗读

可信性验证

The design of integrated test platform,realtime simulation algorithms and the creditability validation of real-time simulation system were emphasized.

并对综合测试平台组建、实时仿真算法和实时仿真系统可信性验证技术进行了重点分析。

5) reliability verification 点击朗读

可靠性验证

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 点击朗读

可靠性验证

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.

为了在不降低安全关键软件可靠性验证测试结果可信性的前提下减少测试用例量,在分析经典统计假设测试和无先验贝叶斯统计方法的基础上,提出了一种先验知识动态整合的贝叶斯推断统计测试方法;并提供了软件失效概率的概率密度函数先验分布参数的详细求解办法。

A final system reliability demonstration testing is needed before the system is released for production.

可靠性验证是系统开发过程中的重要环节。

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的一个元素.所以，有限性问题可看作有序对纵=，其中F是跳的允许可能性的有限集，X是解集(X住F).如果纵一，记F=切(鱿)，X=x(跳)，设级1和钱为任意有限性间题且满足: 中(跳)=兀，x(钱)=戈，i二1，2. 有限性问题上的运算定义如下:对于合取吸=级.%26跳，设毋(纸)=F，x凡，x(跳)”戈x凡，其中A xB表示A，B的D留。LrteS积，即所有有序对(a，b>，aeA，b任B的集合.对于析取贬=跳，V钱，设中(鱿)=F，+凡，X(吸)=戈+戈，其中A十B表示A和B的不交和，即Ax{l}和Bx笼2}的集合论的并.对于蕴涵跳=级:。级2，设中(吸)二F夕，Fl到凡的所有映射的集合，x(纵)是可‘中满足f(戈)任戈的f的集合.吸的否定，级定义为问题跳“叽，其中氏是一个具有空解集的固定问题(从现在起所有构造独立于这样一个问题的具体选择). 用有限性问题狐，…，甄代替命题公式A(p、，二、p。

说明：补充资料仅用于学习参考，请勿用于其它任何用途。

参考词条

可制造性验证可靠性验证测试广泛可验证性可靠性验证方法可验证性假设可调度性验证公开可验证性拓扑可信性验证

可靠性验证试验不可验证性目标可靠性验证方案可靠性保证试验

说明：双击或选中下面任意单词，将显示该词的音标、读音、翻译等；选中中文或多个词，将显示翻译。
	您的位置：首页 -> 词典 -> 可验证性 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. 常用抽样检验的方法进行产品可靠性验证,根据这一方法所确定的验证试验方案,在一定的风险下所需样本量较大,有时在工程上是不可接受的。更多例句>> 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的一个元素.所以，有限性问题可看作有序对纵=，其中F是跳的允许可能性的有限集，X是解集(X住F).如果纵一，记F=切(鱿)，X=x(跳)，设级1和钱为任意有限性间题且满足: 中(跳)=兀，x(钱)=戈，i二1，2. 有限性问题上的运算定义如下:对于合取吸=级.%26跳，设毋(纸)=F，x凡，x(跳)”戈x凡，其中A xB表示A，B的D留。LrteS积，即所有有序对(a，b>，aeA，b任B的集合.对于析取贬=跳，V钱，设中(鱿)=F，+凡，X(吸)=戈+戈，其中A十B表示A和B的不交和，即Ax{l}和Bx笼2}的集合论的并.对于蕴涵跳=级:。级2，设中(吸)二F夕，Fl到凡的所有映射的集合，x(纵)是可‘中满足f(戈)任戈的f的集合.吸的否定，级定义为问题跳“叽，其中氏是一个具有空解集的固定问题(从现在起所有构造独立于这样一个问题的具体选择). 用有限性问题狐，…，甄代替命题公式A(p、，二、p。说明：补充资料仅用于学习参考，请勿用于其它任何用途。参考词条可制造性验证可靠性验证测试广泛可验证性可靠性验证方法可验证性假设可调度性验证公开可验证性拓扑可信性验证

©2011 dictall.com