查询词典 select verification

Explaining the causes of infeasibility of Boolean formulae has theoretical importance and practical applications in various fields, such as formal verification and electronic design automation.

解释布尔公式不可满足的原因在诸如形式化验证与电子设计自动化等众多领域中都具有非常重要的理论与应用价值。

Explaining the causes of infeasibility of Boolean formula e has theoretical importance and practical applications in various fields,such as formal verification and electronic design automation.

解释布尔公式不可满足的原因在诸如形式化验证与电子设计自动化等众多领域中都具有非常重要的理论与应用价值。

The"incomplete reasoning-verification"inference idea is used to form the synthetrical inference pattern with data-driven and object-driven. All of them increase the effectiveness of this algorithm greatly.

在推理策略上，运用了"不完全推理-验证"的推理思想，形成了数据驱动和目标驱动相统一的混合推理模式，从而大大提高了理解算法的效率。

Then cited the accrual basis of revenue from commercial banks, the cost of the verification process in the concrete application and then by Chinas commercial banks adopt accrual accounting system by the existence of the problem, pointing out that this principle in Chinas commercial banks accounting easy Banks inflated income, inflated profits easily lead to false accounting; easily lead to inflation and affect the national economys health, sustained and stable development.

接着列举了权责发生制在商业银行会计处理中的运用，进而提出了我国商业银行会计核算采用权责发生制所存在的问题，指出这一原则在我国商业银行会计核算中，容易导致银行虚增收入，夸大利润；容易导致会计造假现象；容易引发通货膨胀，影响国民经济的健康、持续、稳定发展等问题。

Said verification test will include the rise and fall and 4 times to go around the course one time, 777 aircraft and airport runway extension of the landing routes, instrument landing systems, aids to navigation lighting systems, communications systems, navigation and docking system, FM and testing, etc..

刘志仁透露，试飞验证将包括4次起落和1次复飞过程，777飞机将与机场跑道延长工程的起落航线、仪表着陆系统、助航灯光系统、通信导航系统等系统进行对接、调频和检验等。

According to displacement overrun failure criterion and structure instability failure criterion, integral seismic capacity of structures is obtained. Verification of the optimal structure from pushover analysis can be performed by comparing each structure\'s integral seismic capacity.

本文分析结果表明：增大巨型梁高更能有效地进步结构抗震能力；部分采用防屈曲支撑改变了巨型钢框架的失效模式，不仅进步了结构弹性极限能力，而且使得抗震性能得到明显的改善。

Upon the issuance of a verification report by such accountant, the Company shall issue to each contributing Party an interim investment certificate signed by the Chairman evidencing that the contribution was made.

在该会计师做出验资报告后，合营公司应向出资的每一方签发一份由董事长签字的临时出资证明，证明出资付讫。

Your information would be taken to the probate division of the International Court of Justice for verification.

您的信息将采取的核查国际法院遗产部。

Due to the uniqueness and invariability of fingerprint ,automatic fingerprint verification technology became the earliest and most widely used biometric authentication technology.

指纹的终身稳定性和唯一性使指纹自动识别技术成为最早和最广泛的被应用于实践的生物识别技术。

According to the proposed inversion principle,a three-wavelength scintillometer was designed for the reliability verification in thelaser propagation trials.

和C2n(λ2，。。。)相等，反演成功。根据此原理设计了三波长闪烁计并在某地进行了外场测量。

Smoking cigarettes adds to the Computer Desk Computer manufacturer computer mouse Computer Computerized collar knitter machine Conduit Bodies construction board Container Bag Control Arm Cooking Thermometer general levels of air pollution as well as damaging our health.

吸烟不仅对健康有害，而且增加空气污染程度。香烟雾含有多种有害物质：不仅有致癌化学物质、有某种能阻止氧气进入血液的气体，还有引起血压增高、心速加快的被称为尼古丁的物质。

He is one of my favorite actors.

他是我最喜欢的男演员之一。