Reverse reachability analysis: A new technique for deadlock detection on communicating finite state machines

The communicating finite state machines can exchange messages over bounded FIFO channels. In this paper, a new technique, called reverse reachability analysis, is proposed to detect deadlocks on the communication between the communicating finite state machines. The technique is based on finding reverse reachable paths starting from possible deadlock states. If a reverse reachable path can reach the initial global state, then deadlock occurs. Otherwise the communication is deadlock-free. The effectiveness of the technique has been verified by some real protocols such as a specification of X.25 call establishment/clear protocol and Bartlet's alternating bit protocol.     

离散事件动态系统的代数模型及其控制器的分析计算

本文在离散事件动态系统的Ｐｅｔｒｉ网图形描述的基础上建立了相应的代数模型，该模型可以用来计算无竞争无回路Ｐｅｔｒｉ网的“最大状态”；该“最大状态”的计算在本文给出的动态反馈控制器中得到了应用。     

Phase equilibria of crude oils using the continuous thermodynamics approach

This paper deals with the application of continuous thermodynamics to light and heavy oil systems using the Peng- Robinson equation of state. The composition of the high molar mass components in a reservoir oil is described by a continuous distribution function of some characterizing quantity, e.g. molar mass or boiling temperature. Numerical Gaussian quadrature methods are used to generate pseudo-components and their mole fractions from distribution data. Several examples are presented for phase equilibria of solvent/crude oil systems. The results showed that semi-infinite distribution functions, such as the Γ function, cannot be applied to all cases, e.g. dew point calculations. The Gauss- Legendre quadrature method coupled with spline fitting worked best for heavy oil systems.     

激光晶体的新发展

本文根据最新资料对固体激光器所用激光晶体的近期发展作了详尽综述，并对我国应如何发展激光晶体研究提出建议。     

用线性状态观测器重构交流矢量控制系统中的负载扰动

在异步电动机磁场定向数学模型的基础上,给出了恒磁条件下异步电动机的解耦模型及传动系统的线性状态方程,并提出了重构负载扰动转矩的线性状态观测器。利用重构的负载转矩在矢量控制系统中进行扰动前馈,明显地提高了系统的抗负载扰动能力,从而为进一步提高矢量控制系统的动态性能开辟了一条有效的途径。     

Control of the quality of polymer products in continuous reactors: comparison of performance of state estimators with and without updating of parameters

In the paper the control of the product quality in polymerization reactors is analysed in the presence of persistent perturbations (unmodeled disturbances, modeling errors), as met in industrial reactors. The free radical polymerization of methyl-methacrylate in a continuous stirred tank reactor is studied. It is shown that state estimators (Extended Kalman Filters) with constant parameters cannot give offset free performance. Criteria for the selection of a set of parameters to be updated as additional states in the filter and to evaluate their effectiveness in opposing the action of realistic perturbations are given by an analysis of the linearized model of the system. Performance of different types of estimators, including one and two-time scale filters, with and without updating of parameters, is analysed by simulation on the full order process and the predictions made by previous analysis are confirmed. In the most common case of presence of perturbations affecting the energy balance and the concentration of initiator in the reactor, offset free control of the molecular weight of the product can be achieved by means of a filter which is based only on measurements of temperature and conversion and makes an update of two parameters. In the case that also the kinetic model of the polymerization reaction is affected by errors, a two-time scale filter, which makes use also of Molecular Weight values and updates three parameters, becomes necessary to obtain offset free performance.     

再谈冶金学中使用国际单位制的若干问题

讨论了近年来在冶金书刊中作为国际单位制推行的质量分数和传统的质量百分浓度的关系，指明了出现计算错误的可能性，并联系热力学函数的标准状态进行了分析。也提出了冶金学中使用国际单位制目前还存在的若干问题。     

Chemical States of Lanthanum in Carbonized La2O3-Mo Thermionic Cathode Materials

The chemical reaction between lanthanum oxide and molybdenum carbide was studied by thermodynamic calcu-lation, thermal analysis and in-situ X-ray Photoelectron Spectroscopy. The theoretical results show that at the environment allowing for the evaporation of lanthanum, such as in high vacuum, La2O3 in the La2O3-Mo materials can be reduced to metallic lanthanum by molybdenum carbide (Mo2C). To confirm the conclusion, many analysis methods such as XRD, SPS, and TG-DTA were taken. The experimental results show that the chemical state of lanthanum changes during heat-ing. It was proved, for the first time, that reacted metallic lanthanum appears at the surface of this kind of material at high temperature.     

计及PMU的混合非线性状态估计新方法

提出一种将同步相量测量单元（PMU）的直接电压相量量测变换为间接支路电流量测，并与监控与数据采集（SCADA）量测量一起进行混合迭代的非线性状态估计方法。对构造等效电流修正量而带来的间接量测误差进行了详细和定量的分析，并对该混合估计算法的精度进行了定性分析和定量计算。理论分析和算例表明，该方法可以获得较高的估计精度，在收敛次数和滤波效果上也有所改进。     

On‐Line Detection Of State‐Of‐Charge In Lead Acid Battery Using Radial Basis Function Neural Network

To realize a stable supply of electric power in an automobile, an accurate and reliable detection method of SOC (state‐of‐charge) in a lead acid battery is required. However the dynamics of the battery is very complicated. The characteristics of the battery greatly change due to its degradation. Moreover a automobile has many driving patterns, which are unknown beforehand. Thus it is not easy to detect the SOC analytically. In this paper, to overcome this problem, a new on‐line SOC detection method with a radial basis function neural network is proposed. In order to increase the detection accuracy of degraded batteries, physical values related to the degradation degree are used as input signal in the neural network. The detection accuracies for different sized batteries and various degradation states are investigated.