基于Graphplan的ARBAC策略安全分析方法

策略安全分析是访问控制系统保持安全状态的重要机制.针对具有角色继承层次和角色静态互斥特征的分布式访问控制系统,文中采用智能规划技术进行策略安全分析.首先,提出了策略安全分析问题向规划问题转换的整体思路,定义"虚动作"模型以描述角色继承关系,使用领域互斥表述静态互斥角色,引入领域公理处理ARBAC策略的开放世界假设问题和前提条件中的负谓词问题.其后,运用图规划(Graphplan)算法求解转换而来的规划问题,重点分析了领域公理对规划图中部分NooP动作的剪枝作用,提出了领域公理在规划图扩展阶段的应用方式以及据此改进的图规划算法,介绍了已开发的面向ARBAC策略安全分析实验型规划系统.最后,进行了应用示例说明.     

基于条件效果的对象动态可变图规划

主要研究了基于条件效果的对象动态可变的规划问题．提出了相关元件、无关元件、创建／删除对象元件和普通元件等概念，把带有条件效果的动作和不带有条件效果的动作都元件化，并采用了对象命题化的思想．给出了新的基于目标驱动的规划图扩展算法和前向搜索有效规划算法，并给出了相应的后向传播互斥的定义，使得规划图的规模比较小，减少了搜索空间，大大提高了求解有效规划的效率．由于算法中的动作创建的效果是依赖于上下文的描述，这更加符合现实需要，使处理的问题更接近于真实的世界状态，因而此算法比以往的算法应用性更强，更具有现实意义．     

图规划框架下规划修补算法的研究与实现

智能规划是人工智能研究领域近年来发展起来的一个研究热点。在图规划框架下,充分考虑了图的层次结构对规划修补的作用,利用已有的修补结果,对GPG修补算法进行了改进,针对特定的变化情况,给出了一种有效的修补算法。实验数据表明,修补算法有较好的有效性。     

QoS感知的语义服务组合搜索算法

针对如何在海量Web服务中进行快速的服务自动组合、以满足客户复杂需求的问题,提出一种基于规划图思想的搜索组合算法,该算法在正向扩展阶段除了依据所选取服务的功能与非功能属性进行有效剪枝外,还实时级联更新已驱动服务的QoS信息并有效记录所操作服务的前驱服务,通过前驱索引集合,确保逆向求解阶段的效率并满足了QoS最优的约束。在实验环节证明了注册服务数量与求解效率的线性关系,以及与其他算法相比较所体现出来的性能优势。