逻辑系统

There are three aspects:(1) logical analysis is the base and factors of building logical atomism;(2)proposition system of expressing scientific knowledge——atomic proposition, molecularproposition, and generalized proposition;(3) picture theory of prepositional meaning is the core of logical atomism.

主要有三个方面：(1)逻辑分析是逻辑原子主义建立的基础和条件；(2)表达科学知识的命题系统——原子命题、分子命题和概括命题；(3)命题意义的图像论是逻辑原子主义的核心内容。

LK affirms that logic is a universal method.If logic can be amathematical method,it can surely be used as a way to identify knowledge concept,atool of deduction and the method of knowledge system axiomatization.

知识逻辑主义"断言逻辑是一种普遍的方法，逻辑既然能成为数学的方法，就必然能为任何知识系统提供方法论，可以成为定义知识概念的方法、知识，推演的工具和知识体系公理化的方法。"

We first review the basics of silicon-based donor spin quantum computer proposed by Kane, and how to control the system and construct the quantum gates, including Hadamard gate, CNOT gate and so on, in canonical gate decomposition ways.

首先，我们回顾肯恩的矽基底施子自旋量电脑系统，如何控制及构成量子逻辑闸，包括：阿达马逻辑闸、受控制否逻辑闸等等。

Architecture description languages and their accompanying toolsets have been proposed as the answer. The XYZ/E is an executable linear temporal logic language. It can represent both dynamic and static semantics of systems. Basing on XYZ/E, the executable linar temporal logic language, we provide an architecture description language XYZ/ADL, which can represent both high-level abstract specification and the concrete implementation, thereby provides premise for the smooth transition from specification to implementation. And it can represent both the specification and the inner structure of a component under the unified logic framework, owing to the representability of the XYZ/E.

本项目研究旨在根据XYZ系统的特性，在时序逻辑语言XYZ/E的基础上，提出一种支持在XYZ系统中设计软件体系结构的描述语言XYZ/ADL，使之不仅能够对软件体系结构进行精确的形式化描述，而且为对其进行求精、验证、演化和分析提供基础，从而能在统一的时序逻辑框架下描述组件的规范和它的内部结构，并逐步过渡到最后的算法实现，从而能够支持软件开发设计的逐步求精全过程，把原有的两种支持软件开发的方法即支持模块化程序设计的方法和支持从规范到算法实现的逐步求精的方法有机地结合起来。

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并行传输方式并设计双缓冲结构提高数据的传输速度，设计自引导程序来实现系统程序自加载，最后深入探讨了微光视频图像的特征说明了几种典型的微光图像处理算法的原理，参考这些处理算法设计能在高速视频图像处理器上实现的软件方法，并做了一部分相关的实验研究。

Two intuitionistic systems of firstorder sentential calculus, Hilbert s type and natural deduction t ype, were introduced.

介绍了一阶命题演算的两个直觉主义系统：希尔伯特型及自然演绎型，并证明了这两个系统的等价性，揭示了直觉主义逻辑的内涵及与其他非经典逻辑的关

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.

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

A knowledge base model based on the combination of the reduced fault tree and the LCU trapezia logic structure is designed after a thorough research on the knowledge base system and the reasoning mechanism of the locomotive fault diagnosis system.

通过对机车故障诊断系统知识库体系和故障诊断推理机制的研究，设计了以简化的电力机车故障树为基础，结合LCU梯形图逻辑构造的知识库原型；应用机车故障诊断双向推理机制，设计并实现了基于LCU处理逻辑的正向推理机以及基于故障树查询的逆向推理机；并以此为基础开发了电力机车远程故障诊断系统的原型，实现了对机车的远程故障诊断。

The PI controlling system with the ability of intelligent logic judging method, can decide to choose perfect controlling operations, according to the height of coal in the ball mill, entrance pressure and the exit temperature error, which can avoid to operate wrongly because of the inter-inference of different control.

带有智能逻辑判断功能的PID控制系统，采用智能逻辑判断方法，根据磨煤机入口负压及出口温度所处的偏差区域，确定应该采用的控制操作，可以有效地避免由于各控制过程之间的相互干扰而导致总体控制效果严重恶化甚至整个控制系统无法正常投入等问题。

Disclosed are embodiments of a system, methods and mechanism for management and translation of mapping between logical sequencer addresses and physical or logical sequencers in a multi-sequencer multithreading system.

所公开的是一种在多定序器多线程系统中用于管理和转换逻辑定序器地址与物理或逻辑定序器之间的映射的系统、方法和机制的实施例。

We have no common name for a mime of Sophron or Xenarchus and a Socratic Conversation; and we should still be without one even if the imitation in the two instances were in trimeters or elegiacs or some other kind of verse--though it is the way with people to tack on 'poet' to the name of a metre, and talk of elegiac-poets and epic-poets, thinking that they call them poets not by reason of the imitative nature of their work, but indiscriminately by reason of the metre they write in.

索夫农 、森那库斯和苏格拉底式的对话采用的模仿没有一个公共的名称；三音步诗、挽歌体或其他类型的诗的模仿也没有——人们把&诗人&这一名词和格律名称结合到一起，称之为挽歌体诗人或者史诗诗人，他们被称为诗人，似乎只是因为遵守格律写作，而非他们作品的模仿本质。

The relationship between communicative competence and grammar teaching should be that of the ends and the means.

交际能力和语法的关系应该是目标与途径的关系。