可验证性

基本解释 (translations)

verifiability

与可验证性相关的网络例句 [注：此内容来源于网络，仅供参考]

The new equation predicts that there is a "high-speed but low-mass" effect in the movement of particle, which can be tested by an experiment in the electron storage ring.

新方程具有现实的可验证性，它预言的一个效应可以在电子储存环上进行实验检验。

Article 47 An enterprise shall, in a written or any other appropriate form, properly preserve relevant records or data generated in the course of the establishment and application of internal control so as to ensure that the establishment and application of internal control are provable.

第四十七条企业应当以书面或者其他适当的形式，妥善保存内部控制建立与实施过程中的相关记录或者资料，确保内部控制建立与实施过程的可验证性。

Security analysis shows that this new scheme can not only resist the above-mentioned conspiracy attacks and forgery attacks essentially, but also provide anonymity and traceability simultaneously. Moreover, by constructing a secure distributed key generation protocol, the proposal realizes the unknowability of the group\'s secret.

分析表明：新方案能够根本抵抗合谋攻击和上述伪造签名攻击；在保证匿名性的同时可以真正实现签名成员身份的可追查性；通过引入可验证秘密共享并设计安全的分布式****生成协议，实现了****影子的可验证性以及群共享秘密的不可知性，系统安全性大大提高。

This scheme have several security characteristics, such as verifiability, blindness, robustness and non-forgery.etc.

该方案具有可验证性、盲性、鲁棒性、不可伪造性等安全特征。

This paper analyses the communication mechanism between keyboard controller and keyboard in detail,proposes a design structure for keyboard controller,and improves the reusability and verifiability through optimizing part of the circuit.

本文详细分析了键盘系统的工作机制，给出了一种键盘控制器的设计结构和控制时序，通过优化某些具体电路增加设计的可重用性和可验证性。

Firstly, based on the analyzing the problems of the existing C~4ISR system architecture verification methods, the C~4ISR system architecture verification methods based on CADM is present, and the conception of this methods is given. Secondly, the basic connotation of this methods is studied form the views of the theory base and main superiority. Thirdly, the architecture information model is established, and based on this model the content framework of the C~4ISR system architecture verification methods is present. Lastly, the key techniques needed to solve in the framework is discussed.2. The verification methods of data categoricalness based on CADM are studied.

首先在分析现有体系结构验证方法所存在问题的基础上，提出了基于CADM的C~4ISR系统体系结构验证方法，并对该方法的概念进行定义；其次从理论基础和主要优势两个角度研究了基于CADM的C~4ISR系统体系结构验证方法的基本内涵；再次建立了体系结构信息模型，并以此为基础提出了基于CADM体系结构验证的内容框架；最后提出并解释了基于CADM体系结构验证方法所要解决的关键技术，包括基于CADM的数据完备性验证方法、可达性验证方法、数据一致性验证方法、系统结构合理性验证方法和作战规则合理性验证方法等。

The scheme not only fulfilled the common security requirements, such as the anonymity of bidders, robustness, non-repudiation of the winner and public verifiability, but also had some other characteristics: compendiary steps, convenient construction, low cost of communications and computation, etc.

该方案除满足投标者的匿名性、健壮性、中标者的不可抵赖性和公开可验证性等一般安全性要求外，还具有步骤简略、构造方便、通信量和计算量小等特点。

In this paper, the verifiability of the voters' qualification and talliers' identification will be solved by a dynamic multi-secret sharing scheme without invoking more zero knowledge proof to maintain privacy, universal verifiablitlity, and anonymity of ballots. It holds more communication efficiency and more security than the proposed schemes in early time.

提供的电子投票方案，无须调用多次交互式的零知识证明验证投票人的选举资格和监票人的身份，而是利用动态多密门体制方便地实现了选票的秘密性、广泛可验证性、公平性和匿名性，较之以前的投票方案具有较高的通信效率和安全性。

In this paper, the verifiability of the voters' qualification and talliers' identification will be solved by a dynamic multi-secret sharing scheme without invoking more zero knowledge proof to maintain privacy, universal verifiablitlity, and anonymity of ballots.

提供的电子投票方案，无须调用多次交互式的零知识证明验证投票人的选举资格和监票人的身份，而是利用动态多密门体制方便地实现了选票的秘密性、广泛可验证性、公平性和匿名性，较之以前的投票方案具有较高的通信效率和安全性。

This paper validate the good or the bad of reachability from three point of view: firstly, putti

针对可达性指标，本文从三个角度进行验证：第一，提出可达时间的概念，给出可达时间的求解方法，从定量的角度来衡量定性指标；第二，从视觉可达的角度来评价可达性的好坏，提出视觉可达性的验证方法：相对位置验证法和视野内切锥验证法，并给出计算机辅助验证流程；第三，从作业空间可达性的角度来评

与可验证性相关的网络解释 [注：此内容来源于网络，仅供参考]

introversion：内向性

Petrie和Gunn(1998)除了重复验证忧郁倾向与网路成瘾的关联性外,也发现内向性(introversion)与网路成瘾有高相关. 由此可发现,网际网路的匿名性功能将帮助性格内向、社交技巧差、低自尊者得以满足他人认同的心理需求.

predictability：预测性

IEEE 1061标准覆盖了如分别力(discriminate power),跟踪(tracking), 确认(validation),可预测性(predictability), 一致性(consistency)等术语. 需注意的重点是软件度量验证不只是一次的事,它是一个需要重复验证的连续过程.

reproducibility：可复制性

中文摘要 本文采用验证、改进、扩展、应用的逻辑,紧密围绕"可复制性"(reproducibility)的思想,通过四个完整的研究系统地论述和改进了独立成分分析(ICA)方法在功能磁共振(fMRI)数据分析中的应用.

rheotaxis：趋流性

如果光源是来自上方,甲虫就会不停地朝正常眼一侧转动. 这一实验很好地验证了趋性的定向机理. 趋性可依刺激的类型区分为趋光性(phototaxis)、趋地性(geotaxis)、趋湿性(hyd-rotaxis)、趋触性(thigmotaxis)和趋流性(rheotaxis)等.

robustness：耐用性

验证标准中应当要包括专属性(说明没有空白干扰),线性,重复性,中间精密度和耐用性. 分析方法验证经常会包括中间精密度和耐用性(robustness)的评估. 应当要确保所得到的数据是可重现的,并能控制产品的质量. 更多信息可参见第V和VII章.

verifiability：可验证性

借助于上述会计信息真实性的程序理性观认识,我们就可以理解为什么美国在会计信息质量特征体系中(FASB,1980),不提"真实性",而很注重"可验证性"(verifiability).

verifiability principle：可证实性原则

甚至连维特根斯坦(Wittgenstein)的可证实性原则(verifiability principle)也必须把不矛盾律(无法证明的)作为不言自明的公理,为了让验证的过程进行下去.

可验证性 verifiability 可验证性：verifiability

3925 1 venture management 风险业务管理 venture management 风险业务管理 | 3926 1 verifiability 可验证性 verifiability 可验证性 | 3927 1 verification 验证,审核 verification 验证,审核

Unverifiable：不可验证的

verifiable 可验证的 | unverifiable 不可验证的 | verifiability 可验证性

testability：可测试性

随着人们对软件开发认识的加深,可测试性(testability)逐渐被提升到了开发活动中第一要素的位置. 而传统软件开发方法陷入困境的原因恰恰在于对可测试性的忽视. 除了基本的验证功能的正确性,可测试还具有更深层次的含义: