逻辑系统

A method using incidence matrix of Petri net to identify the minimal cut sets was proposed.

在应用Petri网模型构建系统故障逻辑关系图的基础上，提出了一种应用Petri网的关联矩阵求最小割集的算法。

However, there is some shortcoming in Ellul's technological theory; for example, he used his concept of technology often wandering from the general to the special, which result in the incoherence of his thought in logical.

当然埃吕尔的技术系统理论存在着一定的缺憾，关键的问题是往往混淆狭义与广义的技术概念使得其思想会在一定程度上表现出逻辑上的不一致。

The character of research is that the development trend of flexible logic of intelligent decision support system is shown.The grey logic representing the incomplete and randomcity and induction method based on it are proposed.

其研究特点在于明确了智能决策决策支持系统的逻辑柔性化的发展方向，并给出了一种表示信息不完全性和随机性的具体的柔性逻辑推理方法。

In spite of the fact that just about any kind of an explosion we could cause would result in nothing but chaos and destruction, we're being told, against all logic, that an explosion is what began the process of building the inconceivably complex system we now call our universe.

尽管这只是我们对任何可能引起爆炸，会造成混乱和破坏，不过，我们被告知，反对一切逻辑爆炸是什么，开始建设过程复杂系统的不可置信现在我们称之为宇宙。

This paper presents a self-adaptive load balancing algorithm, in which each peer creates a local load distribution view using a passive load statistic method and a local file requested view using file requested statistic method. When load imbalance exists in the system, the heavy loaded peer will make the logical links which point to itself to point to a light loaded peer in its local load distribution view, with the indegree of the heavy loaded peer decreasing and the indegree of the light loaded peer increasing, the load imbalance magnitude will decrease. When the request load of the heavy loaded peer is high, the peer will use its local file request view to get the popular file and cache the file to corresponding target peer.

提出一种自适应负载均衡方法，方法采用一种被动式结点负载统计方法生成局部负载视图；采用一种文件访问统计方法生成局部文件访问视图；当系统内结点负载存在差异，重载结点把指向自身的逻辑链路迁移至指向局部负载视图中的轻载结点，通过减小重载结点入度和增加轻载结点入度来减小结点间负载差异；当结点的请求负载较高时，通过局部文件访问视图计算需要缓存的热点文件及目标结点，降低承载热点文件的结点的请求负载。

Mapping from logical to physical in a file of maximum size of 256K words and block size of 512 words. We need only 1 block for index table.

为了从逻辑映射到实际的文件系统，一个256K字的文件，块为512字，我们只需一个块作为索引表

The paper consists of six chapters. Chapter One is the theoretical background, we review the course of mechanical theorem proving and briefly introduce the main mechanical theorem prover of the last decade, Among them, we stress on the Boyer-Moore theorem prover and its throretical foundation a computational logic. In Chapter Two, we discuss two theorem proving tactics. One is the rippling-out tactic, which is a tactic for manipulating the induction conclusion to enable the induction hypothesis to be used in its proof, because it extremely restricts the search space, so it has high efficiency.

全文共分六章，第一章是理论背景知识，回顾了定理机器证明的历程，并对近十年来的主要定理证明器作了扼要的介绍，其中，着重介绍了计算逻辑及Boyer-Moore定理证明系统；第二章讨论了两种定理证明策略，一种是波动策略，它是一种在证明中通过处理归纳结论来激活归纳假设的策略，由于极大的限制了搜索空间，因此搜索效率高。

A multi-level power laser writing control method based on industry standard architecture bus interface and complex programmable logic device technique for multi-level mastering system is described in this paper.

描述了多阶母盘刻录系统中一种基于工业标准结构总线接口和复杂可编程逻辑器件技术的激光多功率写入控制方法及其控制电路的设计实现。

This approach is a combination of signal analysis and mathematical model .By the denoising function of wavelet and the learning itself function of neural network , the input and output nonlinear dynamic characteristic of system is obtained . The output prediction error, generated from the real output and wavelet neural networks estimated output, is used as a residual error to execute logical judge. and this approach can improve the speed and accuracy rate of fault detection.

它是一种把信号分析和数学模型相结合的故障检测方法，通过小波对信号的去噪和神经网络的自学习功能，来获取系统输入输出的非线性动力学特性，进而实时计算出残差并进行逻辑判决，可提高故障检测的速度和准确率。

Intrusion detection systems are an integral and necessary element of a complete information security infrastructure performing as "the logical complement to network firewalls."

入侵检测系统是信息安全平台的必要和不可或缺的组成部分，担任着网络防火墙的逻辑构成的角色。

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.

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