查询词典 vote checking

At last we present the methods for checking and maintaining consistency conditions against evolution operations defined by rewriting rules.

过程相关，风格相关，应用相关的几类一致性条件的定义。

The traffic sensor data screening of intelligent transportation system was discussed and the data flow exchange between data screening unit and other system of Traffic Information Center was described. The content and general procedure of data screening were introduced. The checking condition of data reasonableness and consistency in different traffic conditions were analysized.

对ITS中交通传感器数据的筛选问题进行了探讨，描述了数据筛选单元与其它系统间数据流的交换情况，介绍了数据筛选的内容和一般过程，并详细分析了不同交通条件下，不同交通传感器数据的合理性检验和一致性检验条件。

The consistency checking problem of metadata models is studied.

针对基于本体的元数据模型的结构特点，研究了元数据模型的一致性检验问题。

Hence we can map ELOTOS to RPPM according to the trace equivalence. We describe the qualitative properties with deterministic timed automaton . The key of our qualitative model checking algorithm is how to map continuous time to finite intervals by constructing equivalence classes.

该算法构造等价类的思想是：通过触发事件剩余延迟时间与DTA中时钟时间值或其它事件的剩余延迟时间值的相互关系将连续时间映射到有穷个加了标志变量的时间区间，标志变量表示这种相互约束关系。

Each machine operator performs continuous inspection while producing the parts, checking dimensions with gaging tools as well as observing the appearance and surface characteristics of the part.

每一台机器的操作员在生产过程中会进行持续的检验。如用量具测尺寸、观察产品的外观和表面特性。

"Checking my email," says Cooke,"has never been so much fun."

库克说："检查邮件变成了一件有趣的事。"

Checking in on traffic from sky copter 5, there's trouble on the 80 interchange leading into the city.

我们正从空中 5 号直升机上查看交通状况，在进入城市的 80 号立交桥上出现阻塞。

A copyist sat in full Jewish dress, accompanied by at least two others tasked with checking the manuscript for errors.

犹太裙子坐在充满了复制，至少有两个人的陪同下，负责检查书稿失误。

Upon checking your statement, it has been impossible to corroborate the facts.

经审查，你所申诉的事实不能得到证实。

By optimizing the model, we also put forwatd with a cacultion method to decide the number of checking service counter. An example is used to explain the caculation procedure and comfirm its pratical use, it also serves as reference for similar projects.

通过对模型的优化设计，科学地确定超市服务收费通道数量，并通过实例说明了该方法的计算过程，证明排队论在超市服务系统优化中具有实际用途，为类似的设计提供参考。

The statistical analysis of this large set of mutations has led us to propose a diagnostic strategy that should help with the molecular work-up of optic neuropathies.

这一大系列基因突变的统计学分析引导我们提出一个诊断策略，可以帮助我们对视神经病变进行分子学的诊断检查。

The results show that the pipe grouting changes the mechanical parameters of surrounding rocks to achieve the security of engineering objectives by reinforcing surrounding rocks and bolcking the water.

研究表明：小导管注浆一方面改变了围岩的力学参数，另一方面利用浆液的固结特性可以实现堵水和加固围岩的工程目标，使隧道在开挖过程中的安全得到保障。