查询词典 logic

Having combination of the theory of truth degree in metrology of logic with the theory of ∑-α-tautologies in fuzzy logic, which have been introduced by professor G.J.Wang, the theory of ∑Γ-truth degree was introduced, and its properties which induce a pseudometric on F were investigated. The results gained have complemented and enhanced the original theory, and the work delivers a new frame for fuzzy reasoning.

将模糊命题逻辑中的∑-α-重言式理论与计量逻辑学中的真度理论相结合，在经典二值命题演算系统L中引入了公式相对于有限理论的∑Γ-真度理论，较为详细地讨论了它们的性质，并利用∑Γ-真度的性质在公式集F上引入了ρΓ-伪距离，对原有的理论进行了加强和补充，为在模糊命题逻辑系统的有限理论中讨论结论的程度化问题奠定了基础。

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.

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

Diabetes is a social disease that affects several million people worldwide.

糖尿病是一个社会性疾病，全世界有数百万人罹患此病。

I'll call you on Friday to see if we can reschedule our luncheon meeting at your convenience.

我星期五会给您打电话在您方便的时候我们重新安排我们的午餐约会。