查询词典 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模态逻辑的子集给出了一个模型验证的算法，证明了验证算法的可判定性。

With Death guitarist Schuldiner adopting vocal duties, the band made a major impact on the scene.

随着死亡的吉他手Schuldiner接受主唱的职务，乐队在现实中树立了重要的影响。

But he could still end up breakfasting on Swiss-government issue muesli because all six are accused of nicking around 45 million pounds they should have paid to FIFA.

不过他最后仍有可能沦为瑞士政府&议事餐桌&上的一道早餐，因为这所有六个人都被指控把本应支付给国际足联的大约4500万英镑骗了个精光。