国家高技术研究发展计划(2007AA012401)
- 作品数：6 被引量：3H指数：1
- 相关作者：印桂生王慧强沈洁王向辉赵国生更多>>
- 相关机构：哈尔滨工程大学河南师范大学更多>>
- 发文基金：国家高技术研究发展计划国家教育部博士点基金国家自然科学基金更多>>
- 相关领域：自动化与计算机技术自然科学总论更多>>
- 应用WEMLS的安全数据集成模型被引量：1
- 2010年
- 针对现有的安全域存在许多异构安全数据需要集成的问题,引入多级安全策略(MLS)的思想,提出一种应用扩展权值MLS策略(WEMLS)的安全数据集成模型。定义可信权值的概念,建立进程授权机制和信任计算机制。应用结果表明,该模型能使可信进程更灵活地访问客体。
- 孟宇龙印桂生王慧强
- 关键词：多级安全策略安全数据本体
- 信息系统可生存性的定量分析模型被引量：2
- 2008年
- 提出一种基于冲突分析方法的信息系统可生存性的定量分析模型。基于冲突的三维状态空间求得各局中人在其可信移动集上的效用矩阵,再由移动欲望最强的局中人发起移动,从而得到系统全局状态转移矩阵。讨论了局势的最终结局,并将冲突的稳定性分析转化为一个Markov分析过程。数值分析结果表明,该模型具有较好的量化分析应用前景。
- 赵国生王慧强王健
- 关键词：生存性局势
- XML过滤中缓存失效策略的性能分析数学模型
- 2010年
- 硬件缓存行为是内存驻留的数据密集型系统(例如XML过滤机制)的一个重要特征。目前对XML的过滤方式的主流研究都是用自动机来表达主存中长期运行的XML查询。现主要通过分析性的建模和系统度量来研究基于自动机的XML过滤的cache性能,将原本笼统地针对整个cache失效性的分析细化成建立cache圈内模型和跨圈模型来估计cache的失效率,并通过实验证明该评估机制具有较高的精确度。
- 沈洁印桂生王向辉
- 关键词：XML缓存
- 一种基于失效关联度的重启树优化机制
- 2007年
- 重启树优化是微重启技术实施的关键．在综述微重启及递归恢复技术的基础上，分析了重启树优化的原理，提出了一种实现重启树优化的机制．该机制在负载测试期间通过注人异常来获取组件的平均失效频度，并以此计算和分析组件间的失效关联度，再将失效关联度高的组件判定和构造为一个重启群以实现重启树的优化．案例研究结果表明，该机制实现了重启树优化的目标，减少了组件化分布式应用的平均恢复时间，提高了系统可用性．
- 叶海智王慧强梁颖
- 基于XML路径和类型的决策问题的研究
- 2010年
- 提出了一种算法来分析用正则树表示的XML数据中对XPath的决策问题,并用该方法检查XPath静态类型的数据。此外根据对有限顺序树的带逆操作的逻辑的判定性定理,证明了算法时间复杂度为简单的一个表达式的指数级大小。提出了一套实用的、有效的数学模型来解决XPath表达式中的可满足性问题。并通过对一些决策问题,例如带或者不带类型约束的XPath的空、包含、重叠和覆盖问题的实验对算法进行了证实,实验证明该系统能够有效用于对操作XPath表达式和XML类型注释的程序语言的静态分析器中。
- 沈洁印桂生王向辉
- 关键词：XML
- 确定自动机上的XML数据过滤算法改进
- 2011年
- XML数据过滤过程中存在的缓存失效会导致过滤效率的降低,因此研究基于确定有限自动机的XML数据过滤过程中如何减少缓存失效对于改进过滤的性能具有重要意义.对已有的Lazy DFA执行算法进行改进,引入了频繁访问区的概念,对缓存中的状态增加一个状态转换计数器,然后通过设定该计数器的访问阈值对缓存中的数据进行筛选,超过该阈值的状态被确定为频繁访问区中的状态.并通过实验证明该访问机制可以减少自动机中状态转移过程在缓存大量状态中的搜索时间,从而有效地提高过滤和查询的时间性能.
- 印桂生沈洁谢晓芹
- 关键词：DFAXML
