查询词典 verification

The period verification is one of the general requirements of verification and test laboratories.

期间核查是对校准实验室和检测实验室的通用要求之一。

English Description The goal of this course is that the students will learn a system design and verification methodology under a provided system protoyping platform. First, the system partitioning techniques will be applied from given a system specification. Then, system hardware and software design method base on FPGA systems will be implemented and studies,respectively. Finally, System functional verification techniques will be discussed.

Chinese Description 本课程的目标在於使学生学习利用FPGA系统来完成一个系之设计与验证的方法，同时在系设计过程了解如何从系统规格之下做软硬体的分割，进而学习系统之软体及硬体之设计技术，系统设计的功能之正确性的验证方法也将在本课程中探考。

Based on ZDFV work, the thesis focuses on the following key problems: how to construct an efficient synthesis engine; how to improve the structural similarity of the two designs; how to verify data path designs efficiently; how to use half adder graph to perform arithmetic unit verification; and how to use the hybrid SAT engine in the existing verification flow.

为了解决这个问题，本文作者结合自主研发等价性验证系统的工作，在高效综合引擎的研究与实现、单个模块的相似性研究、数据通路的验证方法、结合半加图的算术单元验证以及基于混合SAT引擎的RTL验证流程等五个方面开展了研究：1。

Organize verification and preinstall of modifying parts, and confirm the results of Engineering Change Verification

组织变更零件验证、试装报告，确认工程变更验证结果。

In this verification, according the topology of PCI Express, I have done some modification of the most popular verification environment at this moment, for example: add some modules with self-check function which has improve the efficiency of debug.

本次验证工作中，以目前国内外最流行的验证环境模型为基础，结合PCI Express的实际情况，做了许多有效的改进，增加了一些具有自动检查结果功能的模块，有效的提高了此后的调试过程的效率。

What is your opinion on the importance of applying informal and semi-formal verification techniques for system verification?

对此你有何看法的重要性，采用非正式和半正式核查技术的系统验证？

This article writes from the theory "the unverification of value judgment " and its supporting reasons, contends for the rationality of the logic positivism which stands for the univerification of the value, and tries to reestablish the confidence on the possible meaning and effectiveness of the value verification through criticizing logic positivism's principle of verification and their reasons for the univerification of value judgments.

本文从"价值判断是不可证实的"这一论断的提出及其论证理由入手，检讨逻辑实证主义及其继承者关于价值判断是不可证实的这一理论的合理性，并通过对逻辑实证主义的可证实性原则及其否定价值判断可证实性的理由的批判，力图消解人们对价值判断可证实性的误解，重新确立对寻求价值判断意义和有效性的信心。

The new protocol can implement neat access control of audit logs verification based on recorder ID, time, subject, object and recorder type, so the new protocol is more efficient at access control of audit log verification than SK protocol.

在查证阅读证据记录的权限申请与分配方面新的协议与SK协议相比更加灵活和符合实际问题而且通信量更少。

For the first time the ID-based signature scheme is introduced into BGP path verification, and so the ID-based path verification mechanism is proposed.

基于此，该文将基于身份的签名算法引入路径验证，提出了一个基于身份的路径验证机制。

On-line verification takes place as a writer creates his signature on a digital tablet or a similar device to grab dynamic information, while off-line verification is the process of verifying a static signature which is written on white paper and collected by a digital scanner or a video camera.

而脱机签名鉴定只要求提供签名者在普通纸张上的签名，然后通过数字扫描仪或摄像仪采集样本，因此它具有更广阔的应用范围。

Last year I discovered he was constipated.I used the epsom salt and within an hour he was unblocked.A few days ago I noticed he was very agitated,bloated and no waste for two days.

去年，我发现他是constipated.i用泻盐，一小时后，他被unblocked.a前几天我发现他非常激动，臃肿，并没有浪费两天。

Mark Twain once said,"Golf is a good walk spoiled," and although many a duffer has spent a frustrating couple of hours on the links, few actually die as a result.

马克吐温曾经说过：高尔夫把好好的散步给毁了。