Analysis of strong and strong periodic detectability of bounded labeled Petri nets

Detectability describes the property of a system to uniquely determine, after a finite number of observations, the current and the subsequent states. Different notions of detectability have been proposed in the literature. In this paper, we formalize and analyze strong detectability and strong periodic detectability for systems that are modeled as labeled Petri nets with partial observation on their transitions. We provide three new approaches for the verification of such detectability properties using three different structures. The computational complexity of the proposed approaches is analyzed and the three methods are compared. The main feature of all the three approaches is that they do not require the calculation of the entire reachability space or the construction of an observer. As a result, they have lower computational complexity than other methods in the literature.     

Stability of MgAl 2 O 4 Under High-Pressure Conditions

A theoretical investigation of the MgAl 2 O 4 crystal response to high-pressure conditions has been carried out to determine its stability against decomposition towards MgO and f -Al 2 O 3 , and towards recently observed orthorhombic phases. We have evaluated total energy versus volume curves using the density functional formalism under the non-local B3LYP approximation, as implemented in the CRYSTAL package. Numerical and analytical fittings have been carried out to determine the equilibrium unit cell geometry and equation of state parameters for all the structures and compounds involved in the phase diagram. The macroscopic compressibility of the spinel phase is interpreted considering the compressibility of its elementary MgO 4 and AlO 6 coordination polyhedra, and implications to understand the phase stability are suggested.     

Phase transitions and equations of state at multimegabar pressures

Abstract

Review of phase transitions and equations of state at multimegabar pressures (100–300 GPa) is presented. Energy dispersive x-ray diffraction techniques in conjunction with synchrotron radiation sources are used. Besides several transition metals, Pt to 282 GPa, Re to 251 GPa, W to 209 GPa, and Fe to 255 GPa, the special focus is on Group IVA elements and isoelectronic III-V compounds. At high pressure, the isoelectronic materials are isostructural and exhibit similar equation of state.     

恒虚警率采样粒子滤波技术及其应用研究

粒子滤波是一种基于蒙特卡洛思想的非线性、非高斯滤波器,其一般采用重要性采样进行粒子采样。但重要性采样容易出现粒子退化现象。解决粒子样本退化问题一般采用重采样。重采样虽然解决了样本的退化问题,同时又引入了采样贫瘠问题。本文根据海洋混响的统计特性和混响中目标的恒虚警率检测原理,提出了恒虚警率采样粒子滤波技术,恒虚警率采样粒子滤波技术使采样粒子尽可能集中在目标附近,有效地描述目标后验概率,降低了粒子数,减小了计算量。本文将此技术应用到海洋混响中的声纳目标跟踪中,既解决了传统卡尔曼滤波在声纳目标跟踪中的非线性、非高斯问题,又解决了粒子滤波的粒子退化及采样贫瘠问题。文中对高分辨率声纳目标数据进行了滤波跟踪,结果验证了本文方法的有效性。     

一类非线性T-S模糊时滞系统的鲁棒观测器型H∞控制器设计

针对同时具有分布时滞和非线性项的T-S模糊时滞系统, 提出观测器型H_∞输出反馈控制器设计方法. 首先, 以非线性矩阵不等式形式给出时滞相关的满足H_∞性能指标的稳定性分析充分条件; 其次, 给出与所给稳定性条件等价的线性矩阵不等式条件. 在此基础上, 讨论带有非线性项的观测器型H_∞输出反馈控制的可解问题. 最后, 通过仿真算例说明控制器设计方法的可行性. 关键词： T-S模糊系统 分布时滞 观测器型输出反馈控制 H_∞控制')" href="#">H_∞控制     

ON GLOBAL ROBUST STABILITY FOR COMPETITIVE NEURAL NETWORKS WITH TIME DELAYS AND DIFFERENT TIME SCALES

In this paper, using the theory of topological degree and Liapunov functional methods, the authors study the competitive neural networks with time delays and different time scales and present some criteria of global robust stability for this neural network model.     

关于变时滞Lur’e间接控制系统的绝对稳定性

本文研究了变时滞Lur’e间接控制系统的绝对稳定性.利用M-矩阵性质及不等式技巧,通过引进可调参数,得到了变时滞Lur’e间接控制系统与时滞相关绝对稳定性新的充分条件.文中的结论推广和改进了已有文献中相应结果.     

Detonation properties of dense methane-oxygen-diluent gaseous mixtures: application to ram accelerators

Using a 90mm-bore, 3.15 m long detonation tube, experimental detonation characteristics (detonability limits, detonation velocities and peak pressures) of stoichiometric methane-oxygen-diluent mixtures at an initial pressure up to 3.5 MPa have been experimentally investigated. A parametric study has been carried out as a function of both amount and nature of diluent, namely carbon dioxide, nitrogen and helium. The experimental results allowed the adjustment and validation of computations of the Chapman-Jouguet characteristics by means of a thermochemical code. These experimental data associated with validated computations provide a valuable tool, among others, for the choice of the most appropriate mixture composition in the superdetonative combustion mode for ram accelerator (ramac) experiments. The investigations were organized to determine the upper detonable areas of dense ternary mixtures, and to provide detonation velocity data in order to adjust a series of intermolecular parameters involved in the thermochemical code. Received 8 May 1997 / Accepted 15 December 1997     

Dynamical Systems with Multiple Time-Varying Delays: Stability and Stabilizability

This paper deals with the class of uncertain systems with multiple time delays. The stability and stabilizability of this class of systems are considered. System robustness is also studied when the norm-bounded uncertainties are considered. LMI delay-dependent sufficient conditions for stability, stabilizability, and system robustness are established to check whether a system of this class is stable and/or stabilizable. Numerical examples are provided to show the usefulness of the proposed results.     

Vapor liquid equilibrium modeling of alkane systems with Equations of State: “Simplicity versus complexity”

Two types of Equations of State (EoS), which are characterized here as “simple” and “complex” EoS, are evaluated in this study. The “simple” type involves two versions of the Peng–Robinson (PR) EoS: the traditional one that utilizes the experimental critical properties and the acentric factor and the other, referred to as PR-fitted (PR-f), where these parameters are determined by fitting pure compound vapor pressure and saturated liquid volume data. As “complex” EoS in this study are characterized the EoS derived from statistical mechanics considerations and involve the Sanchez–Lacombe (SL) EoS and two versions of the Statistical Associating Fluid Theory (SAFT) EoS, the original and the Perturbed-Chain SAFT (PC-SAFT).

The evaluation of these two types of EoS is carried out with respect to their performance in the prediction and correlation of vapor liquid equilibria in binary and multicomponent mixtures of methane or ethane with alkanes of various degree of asymmetry. It is concluded that for this kind of systems complexity offers no significant advantages over simplicity. Furthermore, the results obtained with the PR-f EoS, especially those for multicomponent systems that are encountered in practice, even with the use of zero binary interaction parameters, indicate that this EoS may become a powerful tool for reservoir fluid phase equilibria modeling.