Petri网共享T型子网合成活性分析

为解决子系统共享问题,提出了经由Petri网系统共享T-型子网构成共享子网合成网的解决方案。共享T-型子网合成是研究复杂Petri网系统性质的一个有效途径。研究了共享T-型子网合成对参与合成的各网系统的活性的继承关系,给出了合成网保持活性的充分条件或充要条件。随后给出的有关制造系统设计和分析的实例,说明了该合成方法的有效性。本文的结果可为Petri网系统合成的静态和动态性质的考察提供有效途径,对系统的设计和验证具有重要的指导意义。     

对偶Kirchhoff型波动方程的一致衰减解

利用Faedo-Galerkin近似法和能量扰动方法研究了一类对偶的Kirchhoff型波动方程解的存在性,并证明了其能量的一致衰减.     

关于Ou-Iang型非线性积分不等式

对Pachpatte（1995）和YangEnhao（1998）中以及李文荣（2000）给出的Ou-Iang积分不等式作进一步研究,给出了2个更具广泛意义的Ou-Iang型非线性不等式并给出例子说明其应用．     

多线性Marcinkiewicz算子在变指数Herz-Morrey空间上的有界性

研究了多线性Marcinkiewicz算子在变指数Herz-Morrey空间上的有界性,也是经典Marcinkiewicz算子在变指数Herz-Morrey空间上的推广.使用特征函数和空间分解原理,将算子分为4个部分,核函数所满足的尺寸条件,对算子进行估计,得到算子在变指数Herz-Morrey空间上的有界性.     

挤压膨化技术及设备的现状与发展

讨论了我国挤压膨化技术及设备的现状,分析了挤压膨化技术的发展前景,提出了今后我国挤压膨化技术及设备发展的几点看法。     

脉冲积分微分方程的一致Lipschitz稳定性

利用Lyapunov函数和Razumikhin技巧研究了脉冲积分微分方程的稳定性,建立了方程零解一致Lipschitz稳定的若干充分条件,并给出例子.     

基于不动点理论的微分系统解的有界性与实用稳定性

使用推广了的Gronwall-Bellman不等式,结合Leray-Schauder不动点定理研究了一类微分方程解的存在性与有界性问题,获得了一些新的充分性条件,所得结果推广并改进了已有文献中的一些结论;并运用Leray-Schauder不动点理论探讨了系统在给定区间上的实用稳定性问题,克服了传统方法中构造Lia-punov函数的困难,进而得到了一些系统实用稳定性的充分条件.     

一类具有扩散的捕食与被捕食动力系统的研究

对一类描述具有扩散的捕食与被捕食生态系统的偏微分方程组进行了研究。该系统考虑了种群对于时间及空间的依赖性，当不考虑空间影响时，方程简化为一类具有功能性反应的Lotka-Volterra模型，应用反应－扩散方程的单调方法和不变区域理论，证明了解是一致有界的，且所有解最终进入相空间中的一个固定区域，也讨论了对应于一个或两个种群灭绝的常数平衡解的稳定性。     

向量值算子在加权Herz-Morrey空间上的有界性

研究了向量值Hardy-Littlewood算子在加权Herz-Morrey空间及加权弱Herz-Morrey空间上的有界性,应用这些结果,得到了一大类定义在Rn上的次线性算子向量值不等式.     

时变线性随机系统均方有界性和稳定性的充要条件(英文)

研究时变线性Ito随机系统.利用等价的确定性线性系统得到时变线性Ito随机系统均方有界性和稳定性的充要条件,并在此主要结果的基础上进行了进一步的研究.文中获得的充要条件为时变线性随机系统的进一步研究提供了基础.