Input‐to‐state stability of min‐max MPC scheme for nonlinear time‐varying delay systems

This paper studies the robustness problem of the min–max model predictive control (MPC) scheme for constrained nonlinear time‐varying delay systems subject to bounded disturbances. The notion of the input‐to‐state stability (ISS) of nonlinear time‐delay systems is introduced. Then by using the Lyapunov–Krasovskii method, a delay‐dependent sufficient condition is derived to guarantee input‐to‐state practical stability (ISpS) of the closed‐loop system by way of nonlinear matrix inequalities (NLMI). In order to lessen the online computational demand, the non‐convex min‐max optimization problem is then converted to a minimization problem with linear matrix inequality (LMI) constraints and a suboptimal MPC algorithm is provided. Finally, an example of a truck‐trailer is used to illustrate the effectiveness of the proposed results. Copyright © 2010 John Wiley and Sons Asia Pte Ltd and Chinese Automatic Control Society     

一种改进的基于多项式滤波的稳态检测方法

化工过程的数据中常常含有较多的随机误差和粗差干扰,导致传统的稳态检测方法无法得到准确的结果,从而降低系统故障诊断的可靠性。针对实际的工业过程数据,提出一种融合自适应平滑技术的稳态检测方法,该方法首先以基于导数分析的自适应平滑算法进行降噪处理,消除随机误差的影响,然后引入阈值拟合技术进一步抑制粗差干扰,以多项式滤波方法对数据进行稳态检测,根据测量信号的趋势特征确定过程是否处于稳态。仿真实验研究表明:融合自适应平滑技术的稳态检测方法能够克服传统稳态检测方法中随机误差和粗差干扰对检测结果的影响,进而显著提高稳态检测处理的准确性,检测结果明显优于传统的基于多项式滤波的检测方法。     

Equations of state for hard-sphere fluids

Equations of state and contact values of hard-sphere radial distribution functions (rdf's) which are given by a linear combination of the Percus— Yevick and scaled-particle virial expressions are considered. In the one-component case the mixing coefficient() is, in general, a function of the volume fraction. In mixtures the coefficient( _i ,d _i ), in general, depends upon the volume fraction _i , and diameterd _i , of each species,i andj. For the contact valuesY _ij of the rdf's, the mixing coefficients _ij ( _k ) also depend on speciesi andj. Density expansions for the exact for the one-component hard-sphere fluid are obtained and compared with several approximations made in earlier works and in our own work, as well as with simulations. For a mixture, it turns out that one cannot obtain the exact fourth virial coefficient by using a linear combination of the Percus-Yevick and scaled-particle virial expressions forY _ij unless one allows _ij to depend on mole fractionsx _i even at the zeroth order of its density expansion. We also find that _ij must depend on particle speciesi andj in order to satisfy the exact limits obtained earlier by Sung and Stell. A new equation of state for the binary hard-sphere mixture which satisfies all the exact limits we have considered is suggested.Paper presented at the Tenth Symposium on Thermophysical Properties, June 20–23, 1988, Gaithersburg, Maryland, U.S.A.     

Thermophysical properties data on molten semiconductors

Thermophysical properties of molten semiconductors are reviewed. Published data for viscosity, thermal conductivity, surface tension, and other properties are presented. Several measurement methods often used for molten semiconductors are described. Recommended values of thermophysical properties are tabulated for Si, Ge, GaAs, InP, InSb, GaSb, and other compounds. This review shows that further measurements of thermophysical properties of GaAs and InP in the molten state are required. It is also indicated that a very limited amount of data on emissivity is available. Space experiments relating to thermophysical property measurements are described briefly.Nomenclature Density - C _p Specific heat - Kinematic viscosity - Dynamic viscosity= - Thermal diffusivity - Thermal conductivity=C_p - Volumetric thermal expansion coefficient - Surface tension - d/dT Temperature coefficient of surface tension - g Gravitational acceleration - T Temperature - T Temperature difference - L Characteristic dimension     

Study of viscosity of mono-, di-, and trialkylamines

Viscosities of several mono-, di-, and trialkylamines have been measured in the temperature range 298 to 333 K. It is observed that viscosities are highly dependent on shape, size, and association through H-bond or through dipole. Following the transition state theory, energy, Gibbs free energy, and entropy of activation of viscous flow have been calculated. The values of expansion energy for these liquids have also been calculated using free volume theory, and subsequently amines have been classified as volume-restrained or energy-restrained liquids. The group contribution method of Van Velzen, Cardozo, and Langenkamp for estimating viscosity has been examined with the present and literature data, and the new group contribution increments N _i and B _i for amines have been evaluated.     

并行仿真中全状态保存技术研究

乐观时间同步机制能够显著提高并行仿真的性能,但是在乐观时间推进过程中会出现因果错误,需要根据保存的状态对事件进行回退,因此事件状态保存机制是影响乐观时间推进效率的重要因素。本文首先简要介绍了并行仿真中逻辑进程的执行过程,讨论了乐观时间推进的状态保存与回退机制;然后对全状态保存技术进行了建模和理论分析,并通过实验测试了全状态保存算法的性能,测试结果验证了理论分析的正确性。     

一种基于UML状态图的规约变异测试方法

规约变异测试从软件功能的角度,对规约进行分析,从而揭示规约中存在的问题。本文提出一种基于UML状态图的变异测试方法,针对每种变异算子,分析其是否会引入冲突,进而有效避免不合理的变异操作;分析了每种变异算子产生等价变异体的条件,能够在生成变异体的同时检测并移除等价变异体,进而减少其对测试过程的影响;给出了杀掉每种变异体所需满足的条件,可在此基础上产生杀掉特定变异体所需的测试用例,从而提高测试用例集的质量。在此基础上,根据变异算子的实际功能,整合了功能相同的算子,减少了变异算子的数量,从而进一步降低了变异测试的开销。实验结果表明,本方法能够较好地提高测试用例的质量,进而提升测试的效率。     

基于ASM的混合式情境感知共享机制研究

移动的用户能够方便地访问分布在普适计算环境中的传感器,进而获得情境信息,是情境感知系统的核心目标。本文提出了一种融合分布式P2P和Publish/Subscribe模式的混合式情境感知共享机制,基于抽象状态机对该机制的高鲁棒和可扩展的特性进行设计和规约,并采用AsmL测试工具生成有限状态机验证该机制的有效性和合理性,表明该机制可满足动态的分布式情境感知系统要求。     

表面n沟CCD的电离辐射损伤

本文报道了150光敏元表面n沟CCD(电荷耦合器件)在不同能量电子和γ射线辐照后的电离辐射效应。试验结果表明,转移失效率在≤10Gy时已明显增大。但大多数器件在累积剂量≤50Gy时,通过调整“胖零”注入仍可工作。在高剂量辐照期间,不同栅偏压器件的转移效率退化存在较大差异。应用高频和准静态C-V技术分析了参数退化的原因。