查询词典 logic

If in theonomy the concept of God is prior to logic, in rationalism logic is prior to theology.

如果在theonomy神的观念是前逻辑，在理性主义的逻辑是：前神学。

Anderson holds that deontic logic can be reduced to alethic modal logic by the reduction formula Op口

安德森认为依靠归约公式Op □能把道义逻辑归约为真值模态逻辑。

Workflow process model consists of logic layer and semantics layer, and workflow pattern is the summarization and generalization of all the repetitiously used conjunctive symbols and its conjunctive relationship in the logic layer of a workflow process model.

本文在考察和比较了国内外各种关于工作流建模理论研究的基础上，针对实现工作流管理系统这一目标所涉及的工作流元模型、工作流过程模型等几个核心问题，在前人研究成果的基础上，对工作流元模型的可扩展性、工作流过程模型建模中存在的问题以及工作流管理系统的实现等方面开展了深入的研究工作。

Another: on-the-job, set up a dedicated FPGA simulation servers, the company increased the efficiency of the logic of staff collaboration, as a server and has been rooter, to help administrators to configure, manage CVS part of the logic of the code and submit changes.

另：在职期间，搭建了FPGA专用仿真验证服务器，提高了公司逻辑人员的协作效率，并一直作为服务器rooter，协助配置管理员，管理CVS逻辑部分代码的更改和提交。

The main content of the dissertation is designing and realizing the total scheme and frame of system software. The module of the input and output is designed by using the generally I/O of the multichannel buffered serial port to simulated the communication of I~2C bus. The Ping-Pong buffer is brought forward to resolve the problem of the data rate matching. The logic switch function is designed in the programmed logic devices. The data transmission rate is improved by using the DMA and the dual buffer mechanism. The system program self-loading is realized by the design of the self-leading program. Lastly, the dissertation analyzes the characteristic of LLL video and experimentalize with some typical image processing algorithm.

主要对系统软件的总体方案与框架结构进行设计实现，内容包括利用通用串行口模拟I~2C通讯实现输入／输出模块的设计，提出乒乓缓冲结构来解决数据的速度匹配问题，利用可编程逻辑器设计完成逻辑切换控制功能，利用DMA并行传输方式并设计双缓冲结构提高数据的传输速度，设计自引导程序来实现系统程序自加载，最后深入探讨了微光视频图像的特征说明了几种典型的微光图像处理算法的原理，参考这些处理算法设计能在高速视频图像处理器上实现的软件方法，并做了一部分相关的实验研究。

As the logical foundation of sematics, it is Known that the model theory treats the relationships between syntactic constructs and semantical features thereof, and that the model theoretic logic cares, under the frame of abstract logic, for the similarity, distinctness and interrelationships among various extended logics.

作为语义方法的逻辑基础，模型论是研究逻辑的语法构造与语义属性之间联系的一门数理逻辑的分支；而模型论逻辑则是在抽象逻辑的框架中，用模型论的方法研究各种扩充逻辑系统的异、同及相互关系。

The second basic different between sentential and quantifier logic,then,is that in quantifier logic we will be using and analyzing these basic quantifier concepts and the relations between them.

句子逻辑与限定逻辑的第二个基本区别是在限定逻辑中我们将使用和分析这些基本限定词的概念以及其间的关系。2 ~9 f${ X- l

In chapter 1, the achievement on multiple-valued logic at home andabroad is introduced briefly. In chapter 2, some decisions for theminimal covering of the regular separable sets in partialmultiple-valued logic is studied under the condition of σ=e andm=2 . We reach some conclusions that certain regular separable setsmustn't be the minimal covering of Pk under some conditions.

第一章，简要介绍了国内外在多值逻辑方面的研究成果；第二章，对部分多值逻辑中，当σ=e时，二元正则可离函数集最小覆盖之判定作了研究，并得出了当σ=e时，一些满足一定条件的二元正则可离函数集不是Pk 之最小覆盖成员的结论。

In logic level, the application of the binary decision diagrams, Markov Chain and boolean difference in power estimation is introduced first, the strategy about how to make a balance between estimation accuracy and estimation velocity is introduced secondly, after that, the new problems emerged in the power estimation of the sequential circuit and the resolution is given out, the power estimation method based on the logic simulation is introduced at last.

在逻辑级功耗估计方法中，首先介绍了二叉判决图、马尔可夫链、布尔差分在功耗估计中的使用，其次研究了功耗估计速度和精度之间进行折衷的方法，然后介绍了时序电路功耗估计中出现的问题以及解决方法，最后介绍了基于逻辑模拟的功耗估计方法。

The complex programmable logic device EPM7128SLC84-15 completes sequential logic control, and the counting function.

复杂可编程逻辑器件CPLD芯片EPM7128SLC84-15完成各种时序逻辑控制、计数功能。

It has been put forward that there exists single Ball point and double Ball points on the symmetrical connecting-rod curves of equilateral mechanisms.

从鲍尔点的形成原理出发，分析对称连杆曲线上鲍尔点的产生条件，提出等边机构的对称连杆曲线上有单鲍尔点和双鲍尔点。

The factory affiliated to the Group primarily manufactures multiple-purpose pincers, baking kits, knives, scissors, kitchenware, gardening tools and beauty care kits as well as other hardware tools, the annual production value of which reaches US$ 30 million dollars.

集团所属工厂主要生产多用钳、烤具、刀具、剪刀、厨具、花园工具、美容套等五金产品，年生产总值3000万美元，产品价廉物美、选料上乘、质量保证，深受国内外客户的青睐