Nonterminating Rewritings with Head Boundedness

We define here the concept of head boundedness,head normal form and head confluence of term rewriting systems that allow infinite derivation.Head confluence iw weaker than confluence,but sufficient to guarantee the correctness of lazy implementations of equational logic programming languages.Then we prove several results.First,if a left-linear system is locally confluent and head-bounded.then it is head-confluent.Second,head-confluent and head-bounded systems have the heau Church-Rosser property.Last,if an orthogonal system is head-terminating,then it is head-bounded.These results can be applied to generalize equational logic programming languages.     

多变量系统故障诊断和容错控制新方法及其在精馏过程中的应用

本文提出一种多变量系统的故障诊断和容错控制新方法，整个系统由四个神经元组成。将本文方法用于二元精馏塔顶和塔底组分的容错控制，仿真结果证实了本文方法的有效性。该方法可望在难以建模的复杂化工过程中得到应用。     

光盘用光学头物镜性能的综合评估

论述了采用波象差均方根、点扩展函数、光学传递函数对高次旋转对称非球面光学头物镜性能进行综合评估的方法。作者在正则坐标理论基础〔１〕上编制了光学头物镜性能综合评估软件。给出了评估实例。     

扩展有限递归进程模型

主要讨论离散事件动态系统的建模问题。由ＫＩｎａｎ和ＰＶａｒａｉｙａ提出的有限递归进程（ＦＲＰ）是描述并发离散事件动态系统的有力工具，但在其ＦＲＰ中，没有定义对数据变量的操作和条件转移算子。本文扩展ＦＲＰ包括这两方面内容。最后举例说明扩展ＦＲＰ的描述能力。     

Hierarchical intelligent control with flexible AC transmission systems application

A novel hierarchical intelligent controller configuration is proposed using an artificial neural network as a control-mode classifier in the supervisory level and a set of pre-designed controllers in the lower level. Controller outputs are modified nonlinearly by the classifying signals in a structure resembling one artificial neuron with adaptively changed weights. The lower-level local controllers are implemented using neural networks. An illustrative example of this approach is based on the transient stabilization of a single-machine infinite-bus system studied in Flexible AC Transmission Systems (FACTS) research.     

奇异摄动系统主导极点配置的一种方法

本文将奇异摄动系统看成是存在参数扰动的广义系统的一种特殊形式，然后利用广义系统特征结构配置来使广义系统的有限闭环极点尽可能接近奇异摄动系统的闭环主导极点，从而达到近似配置奇异摄动系统主导极点的目的。本文提供的算法是数值稳定的。     

用于X光激光实验的反射式线聚焦光学系统的设计和分析

基于三维光线追迹的象差计算,对卢瑟福实验室用离轴球面反射线聚焦系统作了分析。然后,首次提出了用于X光激光实验的两类新的反射式线聚焦构型,即反射式光楔列阵和光锥列阵系统,并作了计算。最后,对所得结果作了比较和讨论。     

A combined queueing network and stochastic Petri-net approach for evaluating the performability of fault-tolerant computer systems

In this paper the performability analysis of fault-tolerant computer systems using a hierarchical decomposition technique is presented. A special class of queueing network (QN) models, the so-called BCMP [4], and generalized stochastic Petri nets (GSPN) [1] which are often used to separately model performance and reliability respectively, have been combined in order to preserve the best modelling features of both.

A conceptual model is decomposed into GSPN and BCMP submodels, which are solved in isolation. Then, the remaining GSPN portion of the model is aggregated with flow-equivalents of BCMP models, in order to compute performability measures. The substitutes of BCMP models are presented by means of simple GSPN constructs, thereby preserving the 1st and 2nd moments of the throughput. A simple example of a data communication system where failed transmissions are corrected, is presented.     

State multiplicity in CSTR-separator-recycle polymerisation systems

This article continues earlier work (Comput. Chem. Eng. 24 (2000) 209) concerning the design and control of isothermal reactor-separator-recycle systems. The multiplicity behaviour of six reaction systems of increasing complexity, from one-reactant, first-order reaction to chain-growth polymerisation, is investigated. Below a critical value of the plant Damkohler number, Da<Da^cr, the only steady state involves infinite flow rates. Feasible steady states become possible if the critical value is exceeded, Da>Da^cr. For one-reaction systems, one stable steady state is born at a transcritical bifurcation. For consecutive-reaction systems, including polymerisation, a fold bifurcation can lead to two feasible steady states. Moreover, the transcritical bifurcation is destroyed when two reactants are involved. If the gel-effect is included, a maximum of four steady states are possible. When multiple steady states exist, the achievable conversion is constrained by the instability of the low-conversion branch. This has practical importance for polymerisation systems when the radicals’ quasi-steady state assumption is not valid or the gel effect is significant.