查询词典 logic of relations

In part one (chapter 2-3), two new methods and systems of optical parallel logic operation are studied. Triple-in Double-out shadow-casting logic operation system is proposed and realized for the first time. Based on this, optical full adder and 3-bit decoder array logic have been obtained. It is the first time to use coding pattern and different reading-writing model to realize BSO-PROM optical parallel logic operation where the time-order operation is avoided, so that the computing speed of optical parallel logic gate which uses this kind of spatial light modulator is increased, and it is successfully used in optical symbolic substitution .

在第一部分，对两种新的并行光学布尔逻辑运算方法及系统进行了研究：首次提出并实现了三输入、双输出铸影光学逻辑运算系统及其由此得到的光学全加器，并提出一种以此为基础的3-比特译码器阵列逻辑，首次利用图形编码和不同的读写模式实现了无时序操作的BSO-PROM光并行逻辑运算，大大提高了这种空间光调制器用作光并行逻辑门的运算速度，使之成功地用于光学符号代换之中。

Deviant logic is a logic branch which are made up of by denying or modifying some basic principles of classical logic, including Intuitionism Logic, Many-Valued Logic, etc.

变异逻辑是由否定或修改经典逻辑的某些基本假定而形成的逻辑分支，包括直觉主义逻辑，多值逻辑等。

The prerequisite of the correct use of karnaugh map is to full in the map with the given logic function correctly. Karnaugh map can be used to transform logic function into various simplest expressions and check the race and hazard of logic function. It has a wider range of important applications in the analysis and design of combinational logic circuit and sequential logic circuit.

正确运用卡诺图的前提是把给定的逻辑函数正确填图，可以利用卡诺图将逻辑函数化简为各种最简表达式；可以用来检查逻辑函数的竞争冒险等；在组合逻辑电路和时序逻辑电路的分析与设计中更有广泛的重要应用。

From the point of modern logic, the logic developed from traditional logic to classical symbolic logic then to non-classical logic.

从现代逻辑学的视野来看，逻辑学从古至今经历着从传统逻辑到经典逻辑再到非经典逻辑的发展过程。20世纪80年代以来，非经典逻辑在计算机科学和人工智能领域获得了基础性的地位。

The properties and expression of knowledge are discussed in brief and binary and multiple truth expression and inference of knowledge are studied focally. The neural networks which can realized the three valued logic are overviewed. The new idea of uncertain inference based on three valued logic is proposed for the first time The models of neural logic, which can realize three valued logic and uncertain three valued logic inference are proposed, too. The learning algorithm of coefficient of MVL's function based on the canonical realization of MVL network is investigated for the first time and the appropriate algorithm is proposed.

4简要地论述了知识的特征及其表现形式，重点研究了知识的真值二值和多值表示法以及基于知识真值表示法的逻辑推理；通过对目前可实现三值逻辑推理的逻辑神经元及其网络的简要回顾，指出了各自的局限性，首次提出了基于三值逻辑的不定性推理的新概念以及可实现三值逻辑和三值逻辑不定性推理的逻辑神经元模型，同时对基于这种逻辑神经元模型的推理系统的应用领域进行了探索性尝试；另外，首次对基于多值逻辑网络正规实现的多值逻辑函数的系数参数的学习算法进行了研究，并提出了相应的学习算法。

One of the basic differences between sentencial logic and quantifier logic,or predicate logic,is that in sentential logic we take the sententially simple sentence as an unanalyzed whole,while in predicate logic we analyze these simple sentences into their component parts.

句子逻辑与限定逻辑或谓词逻辑的基本区别之一是句子逻辑中，我们把一个简单句看作未经分析的整体，而谓词逻辑中我们分析这些简单句，分析出他们的组成部分。

One of the basic differences between sentencial logic and quantifier logic,or predicate logic,is that in sentential logic we take the sententially simple sentence as an unanalyzed whole,while in predicate logic we analyze these simple sentences into their component parts.3 f0 o j: W

句子逻辑与限定逻辑或谓词逻辑的基本区别之一是句子逻辑中，我们把一个简单句看作未经分析的整体，而谓词逻辑中我们分析这些简单句，分析出他们的组成部分。

In the second stage (1958-1968), he was influenced by the new development in the Philosophy of Logic, paying closer attention to Modal Logic, Intensional Logic, Higher-Order Logic, the Philosophy of Logic and so on.

第二阶段（1958-1968）受逻辑哲学最新发展的影响，更关注模态逻辑、内涵逻辑、高阶逻辑及逻辑哲学等方面的问题。

AVP2+6 环绕声模式:THX Ultra , Pro Logic , Pro Logic +THX , Pro Logic ⅡMovie , Pro Logic Ⅱ+THX , Pro Logic ⅡMusic , stero surround , mono surround , mono on center, mono on front , 2-ch/ surround off , Dolby Digital , Dolby Digital + THX , DTS ,DTS +THX .

关于AVP2的影院效果，gauss2000 兄早有评测，这是他发在家电的帖子链接：为方便查阅，我把主要内容转过来

At the same time, the pluralists oppose the one-sided understanding of logic, and take both traditional and modern logic, both formal and dialectical logic, both reductive and inductive logic as logic.

古代关于逻辑的思想看作一个尚未确定的领域，从而也就不能不注意到对象与工具相统一的方面，在对象的内容范围尚不确定的情况下，我们研究的工具完全可以是多元化的，既要用传统逻辑的工具，也要用现代逻辑的各分支所提供的工具去研究，最低限度这种研究可以是尝试性的，但尝试性研究是科学研究的必经阶段。

Researches reveal that students who suffer from corporal punishment tend to resort to violence in their future life.

研究表明遭受过肉体惩罚的孩子倾向于在他们今后的人生中使用暴力。

Total sugar of sarcocarp and chlorophyll of pericarp increased firstly, and then decreased afterward along with altitude; Titratable acidity, ascorbicacid and anthocyanin of pericarp were increased along with altitude; The content of protein increased firstly and decreased afterward along with altitude; Carotenoid of pericarp were decreased along with altitude.

果肉总糖和果皮叶绿素含量随海拔高度升高先升高后降低；可滴定酸、维生素C和果皮花青苷含量均随海拔升高而升高；蛋白质在1720m处最大，1420m处最小；果皮类胡萝卜素随海拔升高而降低。