滕玲莹
- 作品数:7 被引量:7H指数:2
- 供职机构:西南民族大学计算机科学与技术学院更多>>
- 发文基金:国家自然科学基金更多>>
- 相关领域:理学自动化与计算机技术电子电信更多>>
- 基于多域环境的安全策略冲突检测模型研究被引量:2
- 2008年
- 本文介绍了安全策略及冲突检测的基本概念,并在此基础上分析了几种安全描述语言在多域环境下的管理框架,及其它们各自在多域环境下的策略冲突检测中的优缺点,并讨论了现有存在的问题.在此基础上给出基于有向图覆盖的冲突检测模型.并以角色权限冲突的检测为实例,给出了具体的解决方案.
- 王琳滕玲莹
- 关键词:有向图
- 具有无穷时滞的中立型随机泛函微分方程解的存在唯一性
- 2010年
- 利用压缩映像原理,在局部lipschitz条件下,给出了具有无穷时滞的中立型随机泛函微分方程解局部存在唯一的充分条件.
- 滕玲莹宋建成
- 关键词:中立型随机泛函微分方程无穷时滞局部LIPSCHITZ条件存在性唯一性
- 串空间方法分析安全协议
- 随着网络的不断发展,网络信息安全变得日益重要,安全协议作为网络信息安全的基础,它的安全性变成了一个关键的问题。然而安全协议分析是一个很困难的问题,安全领域的科学家为此开发了许多不同种类的形式化分析方法和理论,本文在第二章...
- 滕玲莹
- 关键词:安全协议密钥协商网络安全串空间
- 文献传递
- 一类泛函微分方程的全局吸引集被引量:1
- 2012年
- 作者使用积分不等式技巧以及非负矩阵的相关性质,获得了一类非线性泛函微分方程解有界和存在全局吸引集的充分条件,推广了一些早期的相关结果,并给出例子进行了验证.
- 向丽滕玲莹
- 关键词:吸引集有界性非负矩阵
- 一类积分方程的全局吸引集
- 2012年
- 通过建立一个新的向量积分不等式,结合非负矩阵的性质,获得了一类具有时滞的非线性积分方程存在全局吸引集的便于验证的充分条件,并获得了零解渐近稳定的充分条件,丰富了对于非线性差分系统吸引集的研究结果,建立的积分不等式还可用于其它系统吸引集和不变集的研究.
- 向丽滕玲莹
- 关键词:吸引集积分方程非负矩阵
- 一类具有多时滞的不确定系统的鲁棒稳定性被引量:1
- 2008年
- 利用稳定的状态反馈控制,采用常数变易法、李雅普洛夫函数法结合不等式技巧,给出了一类具有多时滞的不确定系统BIBO鲁棒稳定的充分条件,同时给出了系统渐近稳定的充分条件.
- 滕玲莹王琳
- 关键词:多时滞不确定性渐近稳定性
- 中立型随机泛函微分方程解的存在唯一性(英文)被引量:2
- 2012年
- 本文作者建立了中立型随机泛函微分方程解的一些基本理论.首先,利用不动点定理,作者在漂移系数和扩散系数仅满足连续的条件下研究了中立型随机泛函微分方程解的局部存在性,然后作者通过比较法建立了唯一性定理,并且在延拓定理的基础上给出了解的全局存在性.
- 滕玲莹王小虎
- 关键词:中立型随机泛函微分方程存在性唯一性延拓性