查询词典 quality checking

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.

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

Moreover, when a design is pronounced incorrect by model checking methods, a counterexample is reported.

而模型检测方法是一种有效的完全自动的形式验证方法，它可以完全自动的验证系统模型是否满足某种属性，并且在不满足时，能找出导致错误的输入路径。

But basically, although both applied to the specialized business card printing and membership card production, Crackerjack and Imageworks on device-specific and device-independent PDF file checking and conversion required by the color of sophisticated tools.

但根基上讲，虽然两者都搁置于副业制卡和会员卡制作不入产，Crackerjack和Imageworks都操纵在摆设不关和摆设不有关PDF文件洋查抄和变换色彩所必定的粗劣驳杂东西。

Chimborazo and Cotopaxi, took me by the hand.

越过琴博腊索山和科托帕克西山。

This car is in a good condition.

这辆车的状况很好。