具有无穷时滞的中立型随机泛函微分方程解的存在唯一性

利用压缩映像原理,在局部lipschitz条件下,给出了具有无穷时滞的中立型随机泛函微分方程解局部存在唯一的充分条件.

一类具有多时滞的不确定系统的鲁棒稳定性

利用稳定的状态反馈控制,采用常数变易法、李雅普洛夫函数法结合不等式技巧,给出了一类具有多时滞的不确定系统BIBO鲁棒稳定的充分条件,同时给出了系统渐近稳定的充分条件.

一类积分方程的全局吸引集

通过建立一个新的向量积分不等式,结合非负矩阵的性质,获得了一类具有时滞的非线性积分方程存在全局吸引集的便于验证的充分条件,并获得了零解渐近稳定的充分条件,丰富了对于非线性差分系统吸引集的研究结果,建立的积分不等式还可用于其它系统吸引集和不变集的研究.

基于多域环境的安全策略冲突检测模型研究

本文介绍了安全策略及冲突检测的基本概念,并在此基础上分析了几种安全描述语言在多域环境下的管理框架,及其它们各自在多域环境下的策略冲突检测中的优缺点,并讨论了现有存在的问题.在此基础上给出基于有向图覆盖的冲突检测模型.并以角色权限冲突的检测为实例,给出了具体的解决方案.

中立型随机泛函微分方程解的存在唯一性(英文)

本文作者建立了中立型随机泛函微分方程解的一些基本理论.首先,利用不动点定理,作者在漂移系数和扩散系数仅满足连续的条件下研究了中立型随机泛函微分方程解的局部存在性,然后作者通过比较法建立了唯一性定理,并且在延拓定理的基础上给出了解的全局存在性.

一类泛函微分方程的全局吸引集

作者使用积分不等式技巧以及非负矩阵的相关性质,获得了一类非线性泛函微分方程解有界和存在全局吸引集的充分条件,推广了一些早期的相关结果,并给出例子进行了验证.