Ideal-gas thermodynamic properties for natural-gas applications

Calculating caloric properties from a thermal equation of state requires information such as isobaric heat capacities in the ideal-gas state as a function of temperature. In this work, values for the parameters of thec _p ⁰ correlation proposed by Aly and Lee were newly determined for 21 pure gases which are compounds of natural gas mixtures. The values of the parameters were adjusted to selectedc _p ⁰ data calculated from spectroscopic data for temperatures ranging from 10 to 1000 K. The data sources used are discussed and compared with literature data deduced from theoretic models and caloric measurements. The parameters presented will be applied in a current GERG project for evaluating equations of state (e.g., the AGA 8 equation) for their suitability for calculating caloric properties.     

RLL码的计算机辅助设计

本文着重讨论计算机辅助设计RLL码的具体实现问题.该过程首先根据RLL码两个参数d,k确定一个编码率p/q,然后构造出RLL码的高阶状态转换-输出符号矩阵并求相应的近似特征向量.最后通过状态分裂和状态归并过程,即可得到一个满足d,k约束的编码输出表.其中状态转换-输出符号矩阵为实现计算机辅助设计RLL码提供了有效的数据结构,而且要优化RLL码编码器,就必须有选择地进行状态分裂.     

高峰值功率重频脉冲固体激光器

综述了高峰值功率重频脉冲固体激光器的发展现状，对其中的Ｑ开关、腔倒空、锁模等窄脉冲技术和放大技术进行了分析，展示了高峰值功率重频脉冲固体激光器的发展前景。     

富勒烯光限幅技术研究新进展

介绍了富勒烯激发态吸收光限幅以及激发态吸收和其它非线性光学效应共同作用的复合型光限幅技术的研究新进展。分析了今后的研究方向。     

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.     

激光晶体的新发展

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

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

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

V型尾门在河工模型试验中的应用

尾门是河工模型中常见的装置,也是水位控制的关键设备之一.该文作者根据多年的经验,研制了一种新式尾门--V型尾门.该尾门具有调节精度高、稳定性好、操作方便等优点.并在多个模型中应用,取得了良好的控制效果.文章介绍了V型尾门的制作要点,并结合试验数据论述具体应用效果.