查询词典 select verification

By the principle of Verification logical positivism drives problems of value out of philosophy.

逻辑实证主义根据"可证实性原则"斥逐价值问题；杜威在认可"可证实性原则"的前提下，从"价值表达的可证实性"、"情感、欲望的可证实性"、"评价判断的可证实性"三个方面证明了价值判断的可证实性，从而捍卫了哲学研究价值问题的合法性。

In order to guarantee the correction of the design of system, it needs to specify and verify it rigidly. The formal description and verification by use of LOTOS (language of temporal ordering specification) and ACTL are given out in this paper. These allow people to study, evaluate and define the dynamic behavior of current user interfaces.

为了保证系统设计的正确性，文章讨论了如何使用形式化描述语言LOTOS(language of temporal ordering specification)和基于动作的时序逻辑ACTL对系统进行描述与验证，这有利于人们对交互式用户界面的动态行为进行研究、评估与定义。

Thank you for your understanding Finally, I will make a detailed record of the time for the convenience of your verification.

谢谢你们的理解最后，我会做好详细的时间记录的，以方便你们核实。

Experimental Verification : Theory formula is the average value of the random variable mathematical expectation formula.

实验验证：理论平均值公式就是随机变量取值的数学期望计算公式。

Organizations can use the standardized method for calculation and emissions verification to ensure the measurement methods of 1 ton of carbon dioxide are the same anywhere in the world.

组织可以通过使用标准化的方法，计算和验证排放量数值，确保1吨二氧化碳的测量方式在全球任何地方都是一样的。

The numerical simulation, the analysis of mechanism and experimental verification reach a high degree of consistency, which shows the equation is reasonably good and can be used to guide the design of gas-assisted meatus.

数值模拟、机理分析、实验验证达到高度一致性，表明该方程具有很好的合理性，可用于指导气辅口模设计。

The paper introduced the background and basis of compiling DL/T 979—2005"verification rule of DC high voltage megohm box ",and its main content,which is new issue of electric power industrial standard.

介绍了新颁布的电力行业标准DL/T 979—2005《直流高压高阻箱检定规程》的制定背景、制定依据、主要内容，执行该规程应注意的问题，以及今后的研究工作，并提出了贯彻该《规程》的一些建议。

The combination of NT and gastrodine API has favorable effects for megrim. Its mechanism is possibly related to the decrease of ET content in plasma and a further verification is necessary.

针刺结合天麻素穴位注射治疗肝阳头痛具有良好的效果，其机制可能与下调血浆ET含量有关，尚有待进一步证实。

The security verification based on the content authentication is implemented through feature extraction, choosing of the shared encryption key, transformation of the Hash function and generation of the Merkle tree, which is simulated in the environment of NS-2. The result shows that the proposed mechanism has better performance in the efficiency and security.

通过特征提取、选取共享密钥、Hash函数变换和构造Merkle树实现基于内容认证的安全性检验，并在NS-2环境下进行了仿真模拟，结果表明所提出的安全机制具有较好的效率和安全性。

A real time heterogeneous system communication scheme, which maintains the coherency between design and verification, is proposed. A method for solving metastability in heterogeneous system with high efficiency is also proposed.

提出了一种异步系统的实时通信机制，该通信机制具有设计和验证一致的特点，并对异步系统通信中必然存在的亚稳态问题进行了分析，提出了高效的解决办法。

I'm not an actor. I'm a professor of paleontology.

我不是演员，我是古生物学教授

Spider Network Web site that is a very image of the name.

网络蜘蛛即Web Spider，是一个非常形象的名字。