查询词典 verification

The experimental verification was accomplished.The whole system wassuccessfully applied to detect the fluorescent dye: Rhodamine B and Fluorescein,with certain sensitivity and linearity. The "light trap" structure has proved effective inreducing the background noise to some extent.

进行了实验验证工作：将构建的检测系统用于对荧光染料罗丹明B以及荧光素的检测，达到了一定的检测限以及线性度，并且验证了"光阱"结构能够在一定程度上降低背景噪声。

Mr. Zou sets out when the hint I may note his sincerity, that is not a sincerity did not care university student's major suit can make movement; But the hoisting the sails school leader is a student's limpidity as before, looks that his you very difficult to believe he was already Microsoft Asia Research institute's official researcher, already soon will put in the market such fierce result to his project through Microsoft's verification layer upon layer to feel the admiration.

邹先生起身示意时我可以注意到他的真诚，那不是一个不真心关心大学生的大牌能做出的动作；而扬帆学长依旧是一副学生的清澈，看着他你很难相信他已经是微软亚洲研究院的正式研究员，更会对他的项目已经通过微软的层层审核即将投放市场这样厉害的成绩而感到敬佩。

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模型，通过一组抽象规则将安全协议的类(演算模型转换为逻辑程序模型，基于安全协议逻辑程序的不动点计算验证安全性质，从安全协议逻辑程序的不动点计算和安全性质的验证过程中构造不满足安全性质的安全协议反例。

We stopped by the old fashion ice cream parlor Manhattan Beach Creamery for some refreshment. The "No Shoes, No Shirt, No Problem" sign on the wall epitomizes the beach lifestyle.

我们去商店区的一家老式冰淇淋店坐坐，墙上挂著「没鞋，没上衣，没问题」的牌子完全捕捉了海滩生活的随性及风格。

"If therefore", argues Bellarmine we can offer our prayers and our satisfactions in behalf of those detained in purgatory, because we are members of the great body of Christ, why may not the Vicar of Christ apply to the same souls the superabundant satisfaction of Christ and his saints--of which he is the dispenser?

" "因此，如果"，认为贝拉明（德indulgentiis ，十四）"我们可以提供我们的祈祷和我们满意的代表那些被拘留在炼狱，因为我们是成员的伟大基督的奥体，为什麼可能不是牧师基督适用於同样的灵魂满意的过剩是耶稣和他的圣人-他是在配药？