逻辑系统

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％左右的能量回收率。

For a big chunk of credit-card losses; the number of filings (and thus charge-off rates) would be rising again, whether

年美国个人破产法的一个改动使得破产登记急速下降，而后引起了信用卡大规模的亏损。

Eph. 4:23 And that you be renewed in the spirit of your mind

弗四23 而在你们心思的灵里得以更新