查询词典 select verification

In addition,a negotiation-enabled solution is proposed for the verification with uncertain and incomplete model based on the counter example guided abstract refinement method.

造成不确定的因素，有可能是设计人员缺乏对系统细节的足够了解而无法给出精确的信息，也可能是系统中一些无法预计的行为造成的

The discovery and verification of energy coupling mechanism entitled as "rolling" and "wobbling" naturally produced among earth and sun supplied us a powerful evidence for ubiquity of repulsion at the scale of natural inter-planet, and then demonstrate a natural macro-phenomenon of counterattraction existing in interstellar matter since Newton′s great discovery of gravitation.

日—地间天然形成的能量相耦合的"轧制"式和"摇摆"式物理机制的发现与证实，为自然界星际尺度间的斥力作用普遍存在提供了有力的证据。这是自牛顿发现万有引力之后，首次对宇宙中星际间存在的"反引力"作用这一宏观自然现象的揭示。

Also the method can offer a counterexample of workflow instance to the time constraint which can not pass the verification.

该方法还能够对未通过验证的时序约束提供工作流运行实例作为反例，帮助用户定位模型的问题。

Court reporter called Tianhe International Criminal Tribunal, the relevant person in charge to tell journalists, judges in the trial as a result of managers is not convenient to answer a telephone, but he said:"The case is not closed, enter the collegiate stage, pending further verification of the relevant information."

法庭记者致电天河国际刑事法庭，在有关负责人告诉记者，作为管理者的结果审判法官不方便回答一个电话，但他说："事件并未了结，进入合议阶段，以待进一步核实有关资料。"

Data verification of cross department/workshop piece rate datas.

配合相关部门按期作好数据的核对工作。

A novel method of unit commitment scheme selection method is proposed based on fault current sensitivity and combination optimization. Using this method, calculation and verification of tremendous unit commitment schemes are avoided.

本文利用各机组对短路点短路电流的灵敏度和组合优化技术，实现了限制短路电流停机方案的快速选择，避免了对大量机组停机组合方式的逐一计算和校验。

Then, on the basis of the functional verification, the system architectures of the radio frequency analog front end and the control logic circuit for the passive UHF RFID transponder are studied and designed with low-power design techniques. The RF AFE circuit includes rectifier, matching network, backscatter, regulator, AM demodulator, voltage reference, local oscillator and power on reset circuit, and so on. The control logic circuit contains clock synchronization module, decoding module, coding module, cyclic redundancy checksum module, power management unit, control unit, shift register and memory.

然后，在功能验证的基础上，重点研究了无源超高频射频识别标签芯片射频模拟前端电路和控制逻辑电路的系统架构，并采用低功耗设计技术对其进行了设计，射频模拟前端电路设计包括了整流器、匹配网络、反向散射电路、稳压器、AM解调器、电压参考源、本地振荡器以及上电复位电路等，控制逻辑电路设计包括了时钟同步模块、解码模块、编码模块、CRC校验模块、功率管理单元、控制单元、移位寄存器和存储器等。

By means of theoretical analysis and experimental verification, nonlinear dynamic characteristics of moving hydraulic cylinder were discussed.

通过理论分析和试验验证研究了液压缸运动的非线性动态特征。

To architect, regarding verification of vouchers for daywork

致建筑师，有关计日工作凭证的核实

Experiment results show that the extended decision procedure supports most verification formulas met in slicing execution.

我们优化了判定过程，并扩充了对整数除法、取余和位运算的支持。

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.

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