开放的ladder型无反转激光系统的稳定性分析

利用开放的ladder型无反转激光系统的密度矩阵运动方程组的定态解和激光场运动方程分析了系统的稳定性。结果表明：如果增益大于激光腔损耗，则零解是不稳定的；如果增益小于激光腔损耗，则零解是稳定的；如果增益大于激光腔损耗，则非零解是稳定的。     

POWER OPTIMIZATION OF FINITE STATE MACHINE BASED ON GENETIC ALGORITHM

Using state assignment to minimize power dissipation and area for finite state machines is computationally hard.Most of published results show that the reduction of switching activity often trades with area penalty.In this paper,a new approach is proposed.Experimental results show a significant reduction of switching activity without area penalty compared with previous publications.     

Stability of formal thought disorder and referential communication disturbances in schizophrenia.

This study examined the degree to which different types of communication disturbances in the speech of 48 schizophrenia patients and 28 controls were variable and state related versus stable and traitlike. Clinically rated formal thought disorder and 5 types of referential disturbance showed substantial stability within participants over time. The sixth type of referential disturbance, the vague reference, was not stable over time. Formal thought disorder was associated with the severity of core psychotic symptoms in patients, whereas referential disturbances showed little or no association with positive or negative symptom severity. Furthermore, changes in psychotic symptoms over time were accompanied by corresponding changes in formal thought disorder but not referential disturbances. These results support the idea that some types of referential disturbances are traitlike and may be reflective of vulnerability as well as manifest illness. (PsycINFO Database Record (c) 2010 APA, all rights reserved)     

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.