逻辑系统

In this paper,results of Markov chain are used under the circumstances of the automaton model which belongs to logical level of Discrete Event System to analyze the steady states and transient states of the Markov model of DES,respectively based on four conditions of discrete-time parameter and continuous-time parameter.A simpler decision rule of system ergodic property which applies both to the conditions of discrete-time parameter and continuous-time parameter is presented through an example.The transient states of DES which under the condition of continuous-time parameter are analyzed and computed based on Kolmogorov backward equation or forward equation.

利用马尔科夫链的结果，在离散事件系统逻辑层次的自动机模型基础上，对DES的Markov模型的稳态和暂态特性，分别从时间参数连续和离散的情况下，分四个情况进行了分析，通过实例对系统遍历性提出了一条更简单的且在连续和离散时间参数情况下都通用的判定规则，并利用Kolmogorov向后或向前方程，对连续时间参数DES的暂态特性进行了分析和计算。

Thirdly, in chapter 4, theoretical analysis for the method of knowledge acquirement, the method of knowledge denotation, the method of knowledge inference, the method of knowledge explainer during the course of building fault diagnosis expert system of elevator controller.Fourthly, in chapter 5, theoretical analysis for the function of database in the fault diagnosis expert system, and the course of database logic design, then built the table by E-R model of RDBMS.

通过对数据库系统的功能分析和逻辑分，用关系型数据库的ER模型建立了电梯控制系统各实体之间的关系，建立了关系数据库；接着讲述了对该数据库的管理和维护。

The architecture of this system is very reasonable. It can split the application into business module, application controlling module and data displaying module efficiently, and improve flexility of the application. It is also convenient for integrate, maintain and upgrade.

本系统的体系结构设计较为合理，可以有效地将业务逻辑、应用程序控制和数据显示功能模块区分开来，以提高应用程序的柔韧性，使整个系统的开发易于集成、便于维护升级。

The mehtod of unitized states flow diagram is adopted in the design of the software of control system.

在控制系统软件的设计中采用的是单元化的状态流程图法，该方法的控制逻辑清晰，特别适合于复杂系统的软件开发。

It is well known that the emergence of intelligent control has made it conducive to integrate fuzz logic control and artificial neural networks and expert system for the development of control systems.

正如大家所知道的，在控制系统发展中，智能控制技术的出现有益于逻辑控制、人工神经网络技术和专家模糊系统的一体化。

A batch change supplement is a supplement to a batch change in the programmed logic associated with a general purpose computer system, or with a specialized computer or computerized system such as a PBX or router.

与常用计算机系统相关的，或者是与特殊计算机或计算系统如PBX或路由器相关的编程逻辑中，批处理更改补充是对批处理变更的一种补充。

BCS. A batch change supplement is a supplement to a batch change in the programmed logic associated with a general purpose computer system, or with a specialized computer or computerized system such as a PBX or router.

与常用计算机系统相关的，或者是与特殊计算机或计算系统如PBX或路由器相关的编程逻辑中，批处理更改补充是对批处理改变的一种补充。

We adopt linear structure organization for data converting in the netted super media The supper media net data is explained in gradational construction logically and in linear construction physically.

在网状的超媒体数据系统设计中，逻辑上用层次数据结构表达，而系统的物理实现采用了更为简单的线性结构组织超媒体数据。

Thus we can specify and verify this kind of system with Hoare logic, which can also work as the basis for the further introduction to time characteristic. Design of ND-COOSL.

3混成系统的形式化方法研究为了提高规约语言的表达能力，提出了一种基于状态空间，逐步精化的混成系统分析和设计方法，并提出了一种扩展的Hoare逻辑作为其理论基础。

Due to electric current negative feedback control, the intensity of braking torque can be co...

将该系统安装在EV6600电动汽车上进行试验，结果表明：该控制逻辑及系统可达到10％左右的能量回收率。

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.

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