可验证性

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

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

On the other hand, the more important thing is because the urban housing is a kind of heterogeneity products.

另一方面，更重要的是由于城市住房是一种异质性产品。

Climate histogram is the fall that collects place measure calm value, cent serves as cross axle for a few equal interval, the area that the frequency that the value appears according to place is accumulated and becomes will be determined inside each interval, discharge the graph that rise with post, also be called histogram.

气候直方图是将所收集的降水量测定值，分为几个相等的区间作为横轴，并将各区间内所测定值依所出现的次数累积而成的面积，用柱子排起来的图形，也叫做柱状图。