查询词典 logic

The system specification, compartmentalization and design of sub modules, logic synthesis, placing and routing, functional simulation, etc. are described in detail in this thesis.

全文采用自顶向下的设计方法，对设计要求、系统设计、子模块的划分与设计、逻辑综合、布局布线以及功能仿真等内容进行了详细阐述。

Even now, I still believe the logic is compelling.

即使是现在，我仍认为其逻辑是有力的。

U The origin of PMD, techniques in PMD compensation, design requirements for adaptive logic control unit are reviewed and summarized compendiously.

u 简明扼要的回顾和总结了PMD的起因、PMD补偿技术、自适应逻辑控制单元的设计要求。

The compensative fuzzy neural network, which combines compensative fuzzy logic with neural network is introduced.

该文应用的补偿模糊神经网络是结合补偿模糊逻辑和神经网络的混合系统。

The compilatory method is used to study the grammar check, and the logic ruler method is presented; On the interference verification, the rapid algorithm of over—cut verification is presented, which can pre—verify multiple NC blocks.

采用编译理论对语法检查进行了研究，给出了零件程序的词法检查状态图，并提出了新的采用逻辑尺的语法检查方法；干涉校验方面，提出了一种新的过切削的快速校验算法，可以实时预校验多个零件程序段，提高了校验能力。

It's a kind of logic that art is complementary of reality.

或许，这就是人间中一种美妙的互补关系。

The completeness and soundness theorem of this resolution principle are also proved; Secondly, a α-resolution method which can be used to judge that a lattice-valued logic formula is always α-false (i. e. is always less than α) is established, in which the completeness and soundness theorem are also proved.

进一步，类似于经典情形下寻求判定一个公式恒真的半可判定算法，建立了判定基于格蕴涵代数的格值逻辑中一类格值公式在一定真值水平α下恒假的α-归结方法，并证明了其可靠性和完备性。

The soundness and completeness theorem of this method were proved at last. This part consists of the following points: 1. The properties of the indecomposable extremely simple form of LP were discussed, the theorem shown that every logical formula of LP was equals of a generalized conjunction normal form. 2. The method for judging a logical formula is a indecomposable extremely simple form or not was discussed, the necessary and sufficient conditions of a logical formula with not more than three implicative connective being a indecomposable extremely simple form was given. 3. The α-resolution fields of the indecomposable extremely simple form of LP were discussed, some elementary results were obtained. 4. The automated reasoning method based on the resolution principle of classical logic was discussed, the author given a method to describe the set of clauses by using a matrix, and translated the resolution of two clauses to column operations of this matrix.

二、关于格值命题逻辑系统LP中α-自动推理方法的研究 1、对LP中不可分极简式的性质进行了研究，证明了LP中任何一个格值逻辑公式等值于一个广义合取范式； 2、对LP中不可分极简式的判定方法进行了研究，讨论了含有不超过3个蕴涵运算的格值逻辑式为不可分极简式的充分必要条件； 3、对LP中不可分极简式的α-归结域进行了研究，得到了一些基本结果； 4、对经典逻辑中基于归结原理的自动推理方法进行了研究，给出了用符号矩阵表示子句集合的一种方法，把不同的归结过程转换成矩阵的列变换。

Refering to the Godel's in completeness theorem,the logic implication of paramārtha truth can be rationally interpreted.

玄奘所传唯识学的唯识无境说仍有所本于陈那的《观所缘缘论》，该论主张所缘缘为识体起现时内蕴。

The Web2.0 at the same time take the user as the guidance idea, enabled the newborn website to have the new characteristic - high concurrency, high page views, big data quantity, and complex logic , etc.

但Web2.0以用户为导向的理念，使得新生的网站有了新的特点——高并发，高流量，数据量大，逻辑复杂等，对网站建设也提出了新的要求。

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万英镑骗了个精光。