查询词典 algebraic logic of pocket calculator

In addition, it implements various mechanisms presented in the dissertation, and the logic level integration of heterogenous knowledge models as well as some extensional mechanisms, used in reasoning inspection, verification and modification on the consistency and perfectiveness of description logics-based models.

为了检验上述理论研究，论文设计了基于KML的智能知识建模原型系统CAKE，系统提供RPC/Web/Web服务三种模式，并实现论文提出的各种机制以及异构知识模型的逻辑级集成和基于描述逻辑的模型一致性和完备性推理检查、校验与修正等扩充机制。

In order to show the performability of mutually-inversistic mathematical logic in counting,its application to artificial intelligence is given:the operational semantics and denotational semantics of second level single quasi-Pro...

为说明互逆主义数理逻辑在计算中的能行性，给出了其在人工智能计算中的应用：二层单准Prolog的操作语义和指称语义。

Logic of obligation and permissibility.

讨论义务与权容的模态逻辑。

By means of analyzing the equivalence relation of reversible gate logic network to permutation group,the reversible gate network cascade was converted into the cycle of symmetric group.

可逆逻辑综合是一个新兴的研究领域，它是量子信息技术和低功耗电路研究的重要组成部分[1]，在集成电路技术、纳米技术等领域也有着重要应用[2~4]。

And then she goes straight into telling him what he ought to do, interrupting him, speaking to him "sternly," battering him with her relentless logic until he pettishly agrees to write to Sirius.

然后她又告诉他应该怎么做，打断他的说话，"严厉地"地对他说话，用她那无情的逻辑轰炸他，直到他答应给小天狼星写信。

Fuzzy logic is used to get the membership function with the local characteristics of the gradient and phase angle.

为解决传统图像插值算法存在的边缘模糊和边缘锯齿，提出了一种基于像素点模糊隶属度的图像自适应插值方法。

Both in thoughts of Husserl and of Heidegger, the relation between Phenomenology And Logic constitutes a kernel question.

无论在胡塞尔思想中还是在海德格尔思想中，现象学与逻辑学的关系都构成一个核心问题。

The target of DFI standard is a kind of between logic of definition memory controller and PHY interface general interface.

DFI规范的方针是界说存储节制器逻辑和PHY接口之间的一种通用接口。

In the first half of the 20th century and under the background of the violent change of the modern China"s society, Ting Wen-chiang, based on a physical scientist"s stand, thought and logic, pondered on the problem of the modern Chinas social reform and made great efforts on it.

20世纪上半叶，在近代中国社会剧烈变幻的历史背景下，丁文江以一个自然科学家的立场、思维和逻辑，对近代中国社会改造问题进行了深入的思考，付出了艰辛的努力。

The traditional means for pictorially describing a program's logic.

流程图》——用绘画手段描述程序逻辑的一种传统方法。

Finally it offers the analysis of the fault-tolerance system as well as its test verification.

这样，运行于空间环境中的系统的设计目标就是在保证系统实时性

However, it is still difficult to find out the real reason of the increase of the keratinized gingiva during the orthodontic extrusion whether it is due to the proliferation of the gingival tissue or to its elastic nature, that is because the proliferation of the fibroblasts as well as the connective tissue changes in volume and the intra-fibers spaces were all immeasurable in most of the studies.

然而，仍然难以找到真正的原因增加的角化牙龈在正畸挤压它是否是由于扩散的牙龈组织或其弹性性质，这是因为增殖的成纤维细胞以及作为结缔组织的变化量和内部纤维空格都是不可估量的，大多数的研究。