查询词典 board checking

It derives from the induction-based model checking algorithm, and merges the checking processes of base condition and induction condition using our simplified unsatisfiable core extraction in SAT problem.

提出一种改进的基于时间帧展开的时序电路等价验证算法，其来源于模型检查中的基于数学归纳的验证算法，在使用并简化了SAT问题中不可满足子集提取过程后，将基本条件检查和归纳检查合并处理。

The first part expounds the purpose and function of higher educational institutes cost-checking, describes and commentates the current situations and introduces the main content, approaches and techniques of cost-checking.

第一部分在阐述了高校教育成本核算目的、意义后，对国内外现状进行了归纳、评述，然后介绍本文的主要内容、方法和技术路线。

They have gone through a lengthy process of checking and cross-checking.

他们都经历了一个漫长的过程的检查和核对。

Now you're checking and cross-checking your lists to ensure nothing is forgotten.

现在您可以检查和核对，以确保您的列表没有被遗忘。

This instrument not only links up model 3201 Universal Involute-checking Instrument and model GCN-2 General Surface Roughness-checking Instrument but also refits them. It uses a micro error-gauging head instead of ...

该装置是用3201型万能渐开线检查仪与GCN-2型通用表面粗糙度检查仪相连接并改装而成，用微观误差测量头代替宏观误差测量头，它具有设备投资少，测量精度高、操作方便等优点，是目前一般工厂学校均可使用的较理想装置。

In order to get a accurate checking result of volatilized hydroxybenzene 's amount in micro-polluted water resource,it brings forward a method of checking low-concentration volatilized hydroxybenzene ,introduces its experimental principles,experimental instruments,medicament,water sample treatment as well as its measuring method.

为了准确检测出微污染水源水中挥发酚的含量，提出了一种检测低浓度挥发酚的方法，介绍了其实验原理、实验仪器和药剂、水样处理及其测定方法，指出采用改进的方法比采用国标的方法更简单易行，提高了监测的准确度和精密度，适用于大批量生活饮用水的日常监测。

A good husband gives his wife some degree of financial independence through a joint checking account, an allowance, or a checking account of her own.

好丈夫给妻子一定程度的经济独立，比如通过一个合用的账户，一些津贴，抑或一个她自己的账户。

A good husband gives his wife some degree of financial independence through a joint checking account, an allowance, or a checking account of her own.

好丈夫会给妻子一定程度的经济独立权，与她共有支票帐户，让她有自己的支票帐户或零用钱。

The strict stability criteria for bulk grain carriers make the stowage calculation extremely complicated. Described here in this paper is a newly-developed software system for the calculation of the stowage of bulk grain carriers. And put forward the simplified method in checking the stability and strength of bulk grain carrier according to the situation that calculating checking the stability and strength of bulk grain carrier is very complex.

由于其稳性衡准的特殊要求，使得该类船舶的积载计算甚为复杂，本文所开发的散装谷物船舶装载计算软件系统，针对生产运输中散装谷物船舶的稳性计算复杂、校核繁琐的现状，对简化其稳性、强度校核提出了具体的方法。

Equivalence Checking of Retimed Circuits: Sometimes it is helpful to move logic from one side of a register to another, and this complicates the checking problem.

等价性检验的Retimed电路：有时是有益的行动逻辑一方登记册到另一个，这复杂的检查问题。

The French are not suggesting a new EU treaty, but they have plenty of other wheezes.

法国人并不是在建议签署一个新的欧盟条约，但他们有许多其他的阴谋。

This letter was written by my brother.

这封信是我弟弟写的。