变时滞非线性细胞神经网络稳定性分析

通过构造新的Lyapunov-Krasovskii泛函和线性矩阵不等式(linear matrix inequatity,LMI),研究变时滞非线性细胞神经网络渐近稳定性,利用牛顿-莱布尼兹公式,一些参数矩阵表达出系统变量之间的关系。从而得出一个具有变时滞相关的全局渐近稳定性判据,其扩展并改善了以前文献的结果。数值及仿真例子验证了结果的有效性。     

时滞具周期系数差分方程零解全局渐近稳定的充要条件

考虑非线性时滞具周期系数差分方程xn+1-xn+sum (pi,nxn-ki) from s to i=1=f(n,xn-l1,xn-l2,…,xn-lm),n=0,1,2,…,其中{pi,n}为T周期正数列,即pi,n+T=pi,n,ki=siT,ki,si,s,m,T为自然数.通过讨论对应的齐次线性差分方程的性质,获得了关于零解全局渐近稳定的充要条件.     

一类高阶线性微分方程的算子解法及其解的稳定性

本文利用微分算子研究一类高阶线性微分方程的解法及其解的稳定性,推广了文[3]的有关结果.     

Synthetic security assessment based on variable consistency dominance-based rough set approach

<正> Security assessment can help understand the security conditions of an information system and yieldresults highly conducive to the solution of security problems in it.Taking the computer networks in a certainuniversity as samples,this paper,with the information system security assessment model as its foundation,proposes a multi-attribute group decision-making (MAGDM) security assessment method based ona variable consistency dominance-based rough set approach (VC-DRSA).This assessment method combinesVC-DRSA with the analytic hierarchy process (AHP),uncovers the inherent information hidden indata via the quality of sorting (QoS),and makes a synthetic security assessment of the information systemafter determining the security attribute weight.The sample findings show that this methoil can effectivelyremove the bottleneck of MAGDM,thus assuming practical significance in information system security assessment.     

Receding horizon H∞ control for discrete-time Markovian jump linear systems

Receding horizon H∞ control scheme which can deal with both the H∞ disturbance attenuation and mean square stability is proposed for a class of discrete-time Markovian jump linear systems when minimizing a given quadratic performance criteria. First, a control law is established for jump systems based on pontryagin’s minimum principle and it can be constructed through numerical solution of iterative equations. The aim of this control strategy is to obtain an optimal control which can minimize the cost function under the worst disturbance at every sampling time. Due to the difficulty of the assurance of stability, then the above mentioned approach is improved by determining terminal weighting matrix which satisfies cost monotonicity condition. The control move which is calculated by using this type of terminal weighting matrix as boundary condition naturally guarantees the mean square stability of the closed-loop system. A sufficient condition for the existence of the terminal weighting matrix is presented in linear matrix inequality (LMI) form which can be solved efficiently by available software toolbox. Finally, a numerical example is given to illustrate the feasibility and effectiveness of the proposed method.     

马尔科夫调制Fokker-Planck方程Milstein方法的收敛性和稳定性

考虑一类马尔科夫调制的Fokker-Planck方程,研究Milstein方法在均方意义下的收敛性和稳定性.证明Milstein方法的收敛阶为1/2,并且给出数值解均方稳定的条件和步长限制表达式.数值实验进一步验证了结论的正确性.     

一类具有反应扩散和脉冲效应的Holling-Tanner捕食食饵模型研究(英文)

讨论了一类具有反应扩散和脉冲效应的Holling-Tanner捕食食饵模型,给出了系统一致持续的充分性条件.     

杜儿坪矿73803工作面注氮防灭火应用研究

针对杜儿坪矿73803综采工作面出现自燃发火预兆并有进一步发展扩大的趋势,提出了采空区注氮方式防火措施,并在该工作面进行了实际应用。结果表明,采取注氮防灭火措施后,各地点CO浓度均明显下降,防火效果显著。     

矩阵损失下参数估计的可容许性研究

在多元线性模型H下,估计B的线性函数SXB的线性函数D(y)的矩阵损失,在损失函数L2(D(y),SXB)下,推广以下两结果:LY是SXB在线性估计类中的可容许性估计的充要条件；LY+A是SXB在ζ中的可容许性估计的充要条件.并对后者给予详细的证明.     

线性空间的覆盖

本文讨论了线性空间的覆盖,并通过几个例子说明了它的应用。