查询词典 sequential logic

At first, this paper expounds the order relation and first order logic properties of time axes. Secondly, this paper axiomatically models that using Tense Logic and dynamic logic, which aims at reflecting the properties of axes in fine grain by logical analysis.

随后分别用经典的时态逻辑Tense Logic和动态逻辑对时态数据库的时间轴进行了公理化建模，这样刻画的目的是为了&细精度&地体现时间轴的特点，并借助逻辑的方法对其分析。

In the former representation, if no restrictions are imposed on formulas, then there is no algorithm to realize the reasoning in the resulted knowledge base; in the latter representation, the reasoning in the ontology represented by the description logic is decidable, while in general, for mathematical knowledge described by the first order logic which contains the ontology represented by the description logic, there is no algorithm to realize its reasoning.

在前者的表示中，如果对公式不作任何限制，那么得到的知识库中的推理不是可算法化的；在后者的表示中，以描述逻辑描述的本体中的推理是可算法化的，而以本体为逻辑语言的一部分的一阶逻辑所表示的数学知识中的推理一般是不可算法化的。

A preliminary study is made on the logic inference and formal logic of Yuanjics,pointing out the importance of deductive logic in the disciplinal construction and development of Yuanjics.

对元极学逻辑推理与形式逻辑进行初步的研究。

On the one hand ,contemporary scholars carry on the method of morden scholars using the occidental traditional logic to research six chapters in Mo Zi ,on the other hand ,they rethink the research of logic of Moism since morden times and put forward to the method and direction of future research of the logic of Moism .

当代学者一方面继承了近代学者以西方传统逻辑为工具研究墨辩的方法；另一方面对近代以来的墨辩逻辑研究进行反思，并提出未来墨辩逻辑研究的方法和方向。

Therefore ,it is helpful to recognize the character of six chapters in Mo Zi and promote the new progress of the logic of Moism and Chinese logical history that review and summarize the research of logic of Moism in recent twenty years and explore the method of the contemporary scholars' research of logic of Moism .

因此，对近二十年国内墨辩逻辑研究进行回顾与总结、探究当代学者研究墨辩逻辑的方法，有助于认识墨辩的性质，对于推动墨辩逻辑和中国逻辑史研究的新进展具有重要意义。

The main body of this thesis consists of two parts . In part one ,the author make a review of the domestic research of logic of Moism in recent twenty years .In this part ,the author probe into names ,diction ,inference ,debate ,logic laws ,the character and historical position of logic of Moism .

第一部分是对近二十年国内墨辩逻辑研究的回顾，主要是从名、辞、说、辩、逻辑规律和墨辩逻辑的性质和历史地位等六个方面加以探讨。

They are to monadic predicate logic what Boolean algebras are to propositional logic, and what polyadic algebras are to first-order logic.

它们对应一元谓词逻辑，而布尔代数对应于命题逻辑，而多元代数对应于一阶逻辑。

Secondly, on the condition of understanding the PCI norm, we analyze the PCI time sequence and address configuration space etc. detailedly, design state machine for the simplifying logic, design the program using the VHDL hardware description language. Besides those,we complete the PCI interface design of simplifying logic and carry out the interface function of the PCI subequipment module on the condition of a 33 MHzs,32 bit width, supporting the transmition paroxysmally. Compared with the traditional PCI inteface which uses appropriative interface chip to carry out this function , it economizes the logic resources of the system, lowers cost, increases the flexibility of design.

其次，在了解PCI规范的前提下，深入地分析了PCI时序和地址配置空间等，设计了简化逻辑的状态机，并用VHDL硬件描述语言设计了程序，完成了简化逻辑的PCI接口设计在FPGA芯片内部的实现，达到了33MHz、32位数据宽度、支持猝发传输的PCI从设备模块的接口功能，与传统的使用PCI专用接口芯片来实现的PCI接口比较来看，更加节约了系统的逻辑资源，降低了成本，增加了设计的灵活性。

In order to achieve the above-mentioned objective, the first task will be dividing well the tier-level structure of the system, then reasonedly designs represent logic, business handling logic and data logic.

要实现上述目的，首要的任务便是划分好系统的层次结构，合理地设计表示逻辑、业务处理逻辑和数据逻辑。MVC模式就是一个很好的将表示、控制和业务处理相分离的解决方案。

It's not only overed Idian logic but also perfected the content of logic and the samely making a new arens of the world logic investigation.

它不但显示了藏传因明论式形式已超越了印度因明的理论事实，而且补充和完善了因明学说的逻辑内容，为世界逻辑研究开辟了新的领域。

"Second Life is remarkably easy to work with, and is very popular,"

"第二次生命是显着容易的工作，并且很受欢迎，"

For example, we usually assume that materials are homogeneous and isotropic and free of internal defects or flaws.

为了得到适合有限元分析的模型，我们必须经过如图2所示的简化步骤。