可验证性

Identifiability is one of several security requirements of genera proxy signature schemes, i.

可识别性是一般代理签名方案的一个特点，即验证者能够从代理签名巾确定代理者的身份。

In fact, for interior problem, solution of the direct boundary integral equation always exists.

事实上，对内边值问题，第一类Fredholm 直接边界积分方程的可解性条件是自然得到满足的，本文对此做了验证。

The feasibility of MDA approach to solve the problem of integration, interoperability, interchangeability is verified.

以此验证了MDA解决软件集成、系统互操作性、可移植性等问题的有效性。

Furthermore, when the system is a periodic system, sufficient conditions are obtained that guarantee the existence, uniqueness and global attractivity of the positive periodic solution by applying the Brouwer fixed theorem and the method of constructing Liapunov function.

利用比较原理给出了系统一致持久性的充分条件；当系统是周期系统时，应用Brouwer不动点原理和构造Liapunov函数的方法给出其存在惟一且全局吸引的ω-周期正解的充分条件，并通过实例验证了文中定理条件的可实现性。

The sculptured surface is machined with the difference method.3. In order to support sculptured surface design oriented to manufacturing,an embedded-computer-based platform was presented.

针对一个雕塑曲面零件设计实例，通过对模具分型方向和加工约束进行分析，给出了可行的分型曲面设计结果，验证了所提出的曲面可制造性分析方法的可行性。

Through Likert Scaling Method and Implicit Association Test, the following conclusions are drawed: 1.Certain physiognomic characters can predict the attractiveness of the whole face.

本研究采用Likert七级评分法和内隐联结测验两种方法来探讨印象形成中容貌特征和非容貌特征的作用、验证容貌刻板印象的普遍性以及容貌刻板印象的可消退性，得出如下结论：1。

It can be shown that it is precisive and reliable to calculate the molecular energy using ABEEM method. The parameters are transferable and consistently usable.

验证了利用ABEEM方法计算分子能量是精确的和可靠的，参数具有一定的可转移性和一致性。

And then, this dissertation proposed a secret sharing scheme of secure vector space based on quadratic residue.

利用特定条件下计算二次剩余的困难性，恢复秘密时验证各参与者提供的份额的有效性，也=肖清华二杜绝了恶意参与者欺诈的可能性；(2)在秘密共享一多重签名方面，本论文针对数字签名的可跟踪性，以及确认签名是否来自同一个参与者授权子集这两个问题，指出了秘密共享和多重签名各自存在的不足，在此基础上，把两者结合起来，并从门限秘密共享一多重签名、矢量空间秘密共享一多重签名两方面对秘密共享一多重签名技术进行探讨，把 Sunder一Kumar门限秘密共享一多重签名方案推广到更为广泛的矢量空间上，并独立地提出了一个双通道的安全矢量空间秘密共享一多重签名方案。

The result of above both systems testifies that the way is realizable and advanced.

随后在ICETEK-DM642-PCI实验评估板上，验证该方案的工程可实现性。

The purpose of the study was to see the efficiency and teachability of strategies training in the non-major field.

此研究在大学非英语专业学生中进行，旨在验证听力策略训练的有效性与可教性。

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.

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