On deadlock-free modular supervisory control of discrete-eventsystems

In this paper the problem of synthesizing deadlock-free modular supervisors for discrete-event systems is discussed. By introducing the d-invariant relation between a pair of supervisors, it is shown that when the control objective is described in terms of intersection of two languages, a necessary and sufficient condition for the modular supervisor to be deadlock-free is that this pair of subsupervisors satisfies a d-invariant relation. A procedure for synthesizing the deadlock-free modular supervisor is presented. Some issues concerning deadlock-free modular supervisory control are also discussed     

一种新的环网故障诊断与重构算法

为提高环网的容错性能，文献（1）提出了一种基于事件驱动的故障重构算法，其缺点是该算法只能容忍连线故障。本文给出一种新的采用时钟起时驱动的重构算法，该算法既能容忍连线故障也能容忍站（或节点）故障，且令牌控制较文献（1）的简单。     

Reply to comments on “Error rate performance of theprojection code”

The authors reply to the comments by Koppelaar and Tolhuizen (see ibid. vol.46, no.9, p.573, 1998). They state that the optimum choice of the slopes used to perform the encoding process in a projection code always results in maximizing the minimum Hamming distance so that d=2 ^r     

换热网络数值模拟稳定性分析

换热网络的数值模拟在换热网络的定量分析中起着重要作用。但在模拟计算中,有时表现出数值稳定性差。提高数值稳定性的方法,目前多通过改善算法来实现。本文通过对换热网络数值模拟的误差分析,提出了误差放大因子的概念,并依此选择迭代变量。通过对迭代变量的选择,达到提高换热网络数值模拟稳定性的目的。     

单元系T—p相图的数学结构

作者以化学元素的稳定单质为基准,推演出了任意物质M_i(相态Ω)的热力学生成活度{相态Ω)的函数形式:?D_Ω数值的大小体现着相态Ω的热力学相对稳定性.根据集合论原理沿D(稳定性)座标取极大值的方法把物理性质互不连续的各个异相态连结在一起,建立了单元系在T-p面上的优势分布方程(PSDE):■作者以H_2O为实例,计算了T-p相图,与实验相图基本一致.