差分方程xn+1=(α+βxn+γxn-1)/(A+Bxn+Cxn-1)两个猜想的证明

证明差分方程xn 1=α βxn γxn-1A B xn Cxn-1,n=0,1,…当C∈(0, ∞)时每个非负解是有界的.     

Petri网精细化操作及其在系统建模中的应用

为了解决“顾客投诉”等这一类业务处理问题,提出了用Petri网精细化操作解决问题的方案。用Petri网为系统建模。定义了两种子网,用这两种子网分别对Petri网中的的某些变迁或库所进行细化,得到更细致、更精确的Petri网。研究了Petri网精细化操作的性质保持问题,给出了这两种精细化操作保持状态机(SM)、标识图(MG)、自由选择网(FC)、非对称选择网(AC)、结构有界性、守恒性、可重复性、相容性和活性的充分条件。结果可为复杂大系统的分析提供重要手段,并特别适合于一类业务系统的描述和验证,具有一定的实用价值。     

一类高维非自治系统的周期解

研究了一类高维非自治系统的周期解的存在性问题,推广了已有的此类高维非自治系统周期解的相关结论,为进一步研究此类问题提供了可靠的理论依据.     

Bloch类空间之间的加权复合算子的有界性(英文)

设H为复Hilbert空间,B(H)为H上算子范数不大于1的有界线性算子集,E=E*为B(H)中的两两可换子集.作者用E和E上的解析算子函数分别取代了复单位圆盘和复单位圆盘上的解析函数,在算子Bloch型空间上定义并讨论了加权复合算子的有界性,得到了Bα到Bβ的加权复合算子有界的充分必要条件     

形如d2x/dt2+f(x)dx/dt+sinx=0方程解的有界性

研究了系统d2x/dt2 f(x)dx/dt sinx=0的有界性,给出了该系统存在无界解的若干新的判据,并用实例说明结果的正确性和方法的有效性.     

二阶半线性脉冲微分方程解的渐近性

考虑二阶半线性脉冲微分方程，分别得到了方程所有解有界或所有解x（t）满足limx（t）t→∞=0的充分条件，结果说明了脉冲扰动对方程解的性态的影响。     

不确定线性奇异系统的有限时间控制

针对具有时变外部扰动的不确定线性奇异系统,研究基于状态反馈的有限时间控制问题,系统的状态矩阵和输入矩阵均含有范数有界不确定项。利用Lyapunov泛函方法和线性矩阵不等式(LMI)工具,给出了不确定奇异系统经由状态反馈的有限时间有界(FTB)的充分条件。这些充分条件都可转化为线性矩阵不等式可行性问题。并通过一个数值实例说明了该方法的有效性。     

Petri网共享PB型子网合成及其在系统设计中的应用

针对柔性制造系统的共享子系统设计问题，提出了经由Petri网共享PB-型子网（Place Bordered Subnet）构成共享PB-型子网合成网的解决方案；研究了共享PB-型子网合成的动态性质保持问题。给出了合成网保持活性和有界性的一组充分条件或充要条件；对一个柔性制造系统进行了设计和分析。结果可为Petri网系统合成的静态和动态性质的考察提供有效途径，对系统设计和分析具有重要的指导意义。     

扩散的非自治Lotka-Volterra型竞争斑块系统的概周期解

本文考察了非自治Lotka-Volterra型竞争斑块系统，在已得到的系统最终有界性基础上，利用Liapunov函数，研究了对应概周期系统的正概周期解的存在性、唯一性以及全局渐近稳定性。     

局部域上分式积分算子的加权有界性

文章主要考虑分式积分算子的有界性,讨论它的单权、双权模不等式,给出了分式积分算子从加权Lebesgue空间Lup到Lvp在权函数u(·)及v(·)满足一定条件下的有界性定理,并将有界性定理推广到更一般的空间即加权Lorentz空间。