逻辑系统

Moreover, a new fast learning method of fuzzy systems both are based on genetic algorithms and gradient descent method is proposed.

引 言最近几年来，诸如模糊推理、模糊建模、模糊逻辑控制器等模糊系统得到了广泛的研究和应用。

The technical kernel of the system is the multi functional logical operation,which is brought about by developing a series of functions,and these functions are based on the properties of natural languages such as linearity,discreteness,recursiveness and hierarchy,etc.

该系统的技术核心是多功能逻辑运算分析技术，该技术的实现是靠建立一系列的功能函数，而这些功能函数是建立在诸如线性、离散性、递归性、层次性等自然语言的特性的基础之上的。

Fully depending on the math, modern mainstream economists have a suit of unitive linguistic system and the common discourse foundation. And based on such an artificial linguistic system, economic discursion and analysis show more logically precious and accurate advantages than natural language.

充分依赖于数学这样一种符号化的诉求，现代主流经济学家不仅拥有了一套统一的语言体系及共同的话语基础，而且借助于这样一种人工语言系统，又使得经济学的推理与分析过程呈现了比自然语言更具逻辑严谨性和精确性的优势。

A new complete disjunctive normal form, which is in the sense of equivalence, to an extension system of medium logical proposition calculus MP is defined and the theorem of its existence and uniqueness is established and proved.

讨论中介逻辑命题演算扩张系统MP＊中在等值意义下的完全析取范式的存在性和唯一性。引入MP＊中等值全析范式的概念，并用分步构造法证明这种范式在等值意义下是存在的，且是唯一的。

Kant also helped to prepare the way for the total disparagement of human reason in relation to religious truth, which constitutes the negative side of Traditionalism, while the appeal of that system on the positive side to the common consent and tradition of mankind as the chief or sole criterion of truth and more especially of religious truth -- its authority as a criterion being traced ultimately to a positive Divine revelation -- is, like Kant's refuge in practical reason, merely an illogical attempt to escape from Agnosticism.

康德也有助於编写方式，为总贬低人类理性与宗教的真理，它构成了一个负面的传统，而提出上诉，该系统在积极方面，以共同同意和传统，为人类的作为行政或检验真理的唯一标准，更尤其是对宗教的真理-它的权威作为标准，并追查，最终以积极的神圣启示-是，像康德的庇护所，在实际的理由，只是一个不合逻辑的，企图逃避追捕，从不可知论。

Has control which the data independence,the centralism and the self-restraint unify machine-made,suitable increase data excess in,business management characteristics and so on distributivity.

分布式数据库是物理上分散在计算机网络各结点上，而逻辑上属于同一个系统的数据集合，其具有数据独立性、集中与自制相结合的控制机制、事务管理的分布性等特点。

The virtual object storage is upwardly independent of language constructs and downwardly of physical storage management.

本文提出了表示和描述对象持久性语义的直观工具引用可达图；研究了持久程序设计语言的存贮管理问题，提出了虚拟对象存贮空间的思想并在双拷贝模型的基础上实现了一个虚拟对象存贮管理系统，从而形成了一个向上独立于语言设计与实现、向下独立于物理存贮管理的单一层次的逻辑存贮器。

In order to reduce the circumfluence further, an instantaneous circumfluence droop method is introduced.

锁相是分散逻辑控制的并机系统中不可缺少的部分。

Control logic of the developed ASR ECU is validated in the system,and parameters are optimized.

在该系统上验证了所开发ASRECU的控制逻辑并对其参数进行了优化。

SN54LS596J is a monolithic, high-voltage, medium-current power logic 8-bit D-type latch, with eight positive edge-triggered D-type flip-flop, there is a direct clear-side, each flip-flop is the drain Open power DMOS transistor output, can provide 150mA continuous current, for the need for relatively high load power system design.

SN54LS596J是一种单片、高电压、中等电流的功率逻辑8位D型锁存器，具有8个正边沿触发的D型触发器，有一个直接清零端，每个触发器都是漏极开路功率DMOS晶体管输出，能提供150mA连续电流，专为用于需要相对高的负载功率的系统设计。

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.

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