查询词典 logic

But due to cumulative error,it will produce rather big deviation for long time use,and vehicle navigation may be affected.A map-matching algorithm based on fuzzy logic is presented.

虽然GPS/DR组合定位比单独用GPS或航迹推算DR定位有更高的定位精度，但由于累积误差的产生，长时间使用仍可能出现较大的偏差，不利于车辆导航。

For logic devices, the incremental current gain is very important.

对于逻辑器件来说，提高电流增益是非常重要的。

If you want the cursor keys to duplicate some of the functionality of the scroll bars, you must explicitly provide logic for that (as well do when we make another version of the sysmets program in the next chapter).

如果你希望光标键复制一些滚动条的功能，那么你必须显式地为它们提供逻辑（正如当我们在下一章中编写另一个版本的 sysmets 时我们将要做的）。

The 100-pound behemoth came with its own base, and never mind logic board--it came with a built-in cutting board.

这个一百磅重的大怪物有他自己的基座，它没有一般的逻辑主板，却有一个连体的砧板。

First, according to the specialities of CWM metamodel and metadata, description logic DLid which supports identification constraints on concepts is proposed.

在基于公共仓库元模型建立元数据的过程中，参与建立元数据的团体的不同经验以及描述数据的不同视角不可避免地带来元数据的冲突和冗余等问题，然而CWM的图形化特点使之缺乏精确的语义，所以如何在其上进行推理以自动发现这些问题至今没有得到很好的解决。

The new threat will be groups who will bond in cyber-space and attack using the new weapons of war:viruses,bugs,worms and logic bombs.

新的威胁将来自在电脑空间拉帮结伙的*团体，他们运用新型战争武器--病毒、干扰、蠕虫和逻辑炸弹等进行攻击。

Thus,an ISG HEV vehicle model is set up based on Simulink in the paper.A real time optimization control strategy based on logic threshold is proposed,which is suitable for urban cycle on the basis of analyzing its operation mode.

因此，基于Simulink建立了ISGHEV的整车模型，在分析其工作模式的基础上，提出了适合于城市工况使用条件的基于逻辑门限值的瞬时优化控制策略。

It is composed of circuit of the modules to originally design, including various integrate one , simple and easy digital cymometer based on the logic device , simple electronic device.

本设计是由模块电路组成的，包括各种集成块、逻辑器件、简单的电子器件为基础的简易数字频率计。

We present a dense timed interval temporal logic and exploit the decidability problem of DTITL.

定义了稠密时间区间时序逻辑，它是区间时序逻辑的一种实时扩充。

A model verification algorithm based on DTMA and the subset of DTMA modal logic is devised, and the decidability of the model verification is proved.

对于DTMA与DTMA模态逻辑的子集给出了一个模型验证的算法，证明了验证算法的可判定性。

On the other hand, the more important thing is because the urban housing is a kind of heterogeneity products.

另一方面，更重要的是由于城市住房是一种异质性产品。

Climate histogram is the fall that collects place measure calm value, cent serves as cross axle for a few equal interval, the area that the frequency that the value appears according to place is accumulated and becomes will be determined inside each interval, discharge the graph that rise with post, also be called histogram.

气候直方图是将所收集的降水量测定值，分为几个相等的区间作为横轴，并将各区间内所测定值依所出现的次数累积而成的面积，用柱子排起来的图形，也叫做柱状图。