查询词典 select verification

Single verification commissioned by the Supplier, in line with an agreed evaluation frequency, will allow

被EN45011 认可的认证机构，依据一个简单的标准和协议来进行评价

This sufficient condition can be expressed in a form of linear matrix inequality for easy verification.

该充分条件可表示为一个线性矩阵不等式的形式，进而易于验证。

Through in-depth study of the whole capital market trends in the main link with the market index, after a long period of verification, the results of market forecasts and market trend of the short-term high of the match.

通过深入研究全市场主力资金动向与大盘指数的联系，经过长时间的验证，大盘预测的结果与大盘短期内的走势有很高的吻合性。

In the paper, we base on Synopsys Hercules physical verification tool, we implement all Litho Rules by Hercules.

本文中，我们采用现有的Synopsys Hercules物理验证工具，利用物理验证工具的图形处理能力和版图模拟能力，实现了所有的光刻规则。

With the development of IC fabrication technique, the feature size of the chip is getting down now. To make the feature size printable and avoid litho distortion, more resolution enhancement technology are used. Emerging RET are dramatically increasing the complexity of mask and layout, in return, more complex design rules are needed in physical verification.

随着IC制造技术的迅猛发展，芯片的特征尺寸不断的缩小，越来越多的分辨率提高技术被用于研磨版的制造，这些技术大大提高了研磨版的复杂度，也增加了版图物理验证的难度，在65nm及更先进的工艺中，传统的物理验证规则已经无法保证最终的良率。

Post-DSLAM installation: In this scenario, no customer premise equipment has been installed, but the physical loop has been pre-wired to the digital subscriber line access multiplexer. SELT can, with low complexity measurements and analysis, provide simple verification that the DSLAM port is physically connected to a physical loop and provide loading coil detection.

DSLAM安装后：在这种情形下，没有安装用户端设备，但是物理线路已经事先被连接到数据用户线接入复用设备上，SELT能够通过低复杂性的测试和分析，提供DSLAM端口物理的连接到了物理线路上的简单确认，并提供负载线圈检测。

Log-on verification based on handwritten signature becomes one of the essential parts of next generation operating system.

在线手写签名鉴别是生物识别技术一个重要分支。

In SPVT (security protocol verifying tool), the specification language is the π-like calculus extended with three appendixes, the Dolev-Yao model is described with Horn logic rules, the π-like calculus model of security protocol is transformed into the logic program model by abstract rules, the security properties are verified based on the calculus of the logic program's fixpoint, and the counter-examples on security properties are constructed from the process of the fixpoint calculus and the process of the property verification.

在SPVT中，以扩展附加项的类演算作为安全协议描述语言，以扩展附加项的Horn逻辑规则描述协议攻击者的Dolev-Yao模型，通过一组抽象规则将安全协议的类(演算模型转换为逻辑程序模型，基于安全协议逻辑程序的不动点计算验证安全性质，从安全协议逻辑程序的不动点计算和安全性质的验证过程中构造不满足安全性质的安全协议反例。

The last part mainly completes the verification of logic function, circuit test and system test.

系统测试验证部分主要完成硬件逻辑功能验证，电路测试，系统测试等。

But controversy remained on the intrinsic value of natural logic verification.

双方论争和分歧实质集中于"保护自然的根据"这一问题上，由此产生了对自然内在价值有无的相反回答。

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.

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