查询词典 Boolean logic

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 之最小覆盖成员的结论。

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

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

About the experience of design ladder program design is the application of programmable logic controller of the most critical issues, PLC ladder programming methods commonly used are: experience design, design of sequential control and logic design, such as algebra.

经验设计法简介梯形图程序设计是可编程控制器应用中最关键的问题，PLC 梯形图程序设计常用方法有：经验设计法、顺序控制设计法和逻辑代数设计法等。

That the electric elevator is that the call sign waits to work according to the outside as well as oneself controls law in fact, but call for is random , the electric elevator is that one people machine is each other dyadic in fact control system , the way the simple use sequential control or logic is controlled being that lift control system adopt the random logic therefore can not be satisfied with controlling call for's,controls.

实际上电梯是根据外部呼叫信号以及自身控制规律等运行的，而呼叫是随机的，电梯实际上是一个人机交互式的控制系统，单纯用顺序控制或逻辑控制是不能满足控制要求的，因此，电梯控制系统采用随机逻辑方式控制。

The basic study of simple regression logic in this paper may also be one reclarification of logic meanings in economic analysis.

本文简单回归逻辑的基本思考，可能也是一次经济分析逻辑意义的再厘清。

Patten provides a chapter-by-chapter skeleton key to Alice, which meticulously demonstrates how its various episodes reveal Dodgson's profound knowledge of the rules of clear thinking, informal and formal logic, symbolic logic, and human nature.

作者逐章、细致地阐述了《爱丽丝漫游仙境》里的各种情节是如何把刘易斯关于数理逻辑拥有的渊博知识、对人性的认识和他清晰的创作思路体现的淋漓尽致！

In doing back-up data, we followed the work to be done is to switch to a system running DOS, and DOS command line in the implementation of "fdisk / mbr" command string to try to repair the hard disk of soft failure occurred ; if such a repair method to try is invalid, then we can go online to download and install the hard drive Bad Track professional testing tool to double-check the local hard disk in the phenomenon of the existence of Bad Track, Bad Track If you can not find the hard disk, it can not detect hard drive through the phenomenon is likely to be caused by the logic of failure, when the only thing we can use the way is hard to find the logic of the corresponding brand Bad Track Repair Repair Tool to re-click the hard disk, I believe that case the hard disk will be able to detect the phenomenon can not be resolved the.

在做好数据的备份工作后，我们接下来要做的工作就是将系统切换到 DOS 运行状态，并在 DOS 命令行中执行" fdisk /mbr "字符串命令，来尝试修复硬盘中发生的软故障；要是这种修复方法尝试无效的话，我们可以到网上下载安装一些专业的硬盘坏道检测工具，来仔细检查本地硬盘中是否存在坏道现象，如果找不到硬盘坏道的话，那硬盘检测无法通过的现象很可能是逻辑故障引起的，此时我们唯一可以使用的办法就是找到对应品牌硬盘的逻辑坏道修复工具来重新修复一下硬盘，相信这么一来硬盘检测无法通过现象就能被解决了。

There had been a moment during the breakfast meeting, though, after the backslapping and the small talk and when all of us were seated, with Vice President Cheney eating his eggs Benedict impassively and Karl Rove at the far end of the table discreetly checking his BlackBerry, that I witnessed a different side of the man.

那次早餐会期间，在表示过关心和寒暄以后，我们所有人坐了下来，我注意观察了一下，副总统切尼面无表情地吃着班尼迪克蛋（Eggs benedict，源自美国，以英式松饼、火腿、水煮蛋以及荷兰酱组合而成），卡尔。罗夫在餐桌的远端谨慎地经常查看他的黑莓手机，我目睹了他所不为人知的一面。

Talk Undelete failed; someone else may have undeleted the page first.

Talk 无法删除选定的页面或图像（它可能已经被其他人删除了）。