查询词典 select verification

This approach does not require the construction of a complete state space of the concrete component composition under verification.

在模型检验构件组合的过程中，不需要为构件组合建立全局的具体状态空间。

It is based on the difficulty of computing the discrete logarithm modulo for a composite number and the factorization problem of large integer.The size of the group signature and verification time of the group signature are equivalent to that of an individual signature.

该方案的安全性是基于求离散对数和RSA大整数因式分解的困难，其群签名长度和群签名的验证时间只相当于一般个人签名。

Finally, we explore the problem of compositional specification and verification in temporal logic.

最后，本文对时序逻辑的可复合规范及验证问题进行了探讨。

Pharmacological verification proves that the compound has significant antibacterial function and can be used to prepare new antibacterial drug.

经药理实验证实该类化合物具有显著的抗菌作用，可用于制备新的抗菌药物。

With typical application, verification and compurgation proved effectiveness of the technologies.

利用智能化内存，可以实现复杂的存储管理机制和精确的系统控制，并可以利用跨层协同降低存储管理开销。

Analysis and verification of concurrent program is a hotspot of research.

当前的并发系统时序分析方法是基于程序正确性证明的。

Conditional sentences in two-valued logical systems are incapable of supplying solutions, consequently have to advance to a three-valued logical system, in order to secure a valid conditional sentence truth-table and solve the paradox of The Verification of the Paradox.

条件语句的问题在二値逻辑的系统无法获得解决，因此我们必须进一步诉诸一套三值的逻辑系统，才能得到合理的条件语句眞值表，并且解决像「检证的吊诡」一类的矛盾。

This method uses quantified conjunctive normal form formulas to represent the unknown constraints in the circuit under verification, and needs no modification of the circuit structure so that it saves the computational resources significantly.

该方法使用量化的合取范式来表示电路中出现的未知约束，并且不需要修改电路结构，有效地节省了计算资源。此外，通过使用随机并行模拟增强了可满足性算法的错误检测能力。

There are many methods for signature verification or writer identification, but most of them require segmentation or connected component analysis.

现有的笔迹识别方法大多需要进行分割或关联部分的分析，都是与内容相关的方法。

In this case, legitimation is the process by which a'legislator'dealing with scientific discourse is authorized to prescribe the stated conditions （in general, conditions of internal consistency and experimental verification）determining whether a statement is to be included in that discourse for consideration by the scientific community.

换这之，内部一致性和经验实证是一个科学述句必备的两种性质，这也是"（in general， conditions of internal consistency and experimental verification）"的原义，但罗译译之「这些条件必须内在协调一致，并经实验证明」，（p.171），即将意思扭曲为：「述句必须符合才能成为科学述句的条件，必须有内在一致性和经实验证明。

The second is to cut a mere 100 calories from your diet , which is the equivalent of a tablespoon of butter.

第二个就是从你的饮食中减少一百卡路里，只是相当于一大汤匙的黄油。

This is where the Rorschach test comes in.

现在，罗氏测试就出现了。