可达关系相关论文
现实世界是一个变化的世界.不同的时间下，世界呈现不同的状态.在任何领域，变化是一个永恒的主题。如何在计算机中表示动态变化的过程......
双十一购物狂欢节是指每年11月11日的网络促销日。在这一天,许多企业会进行大规模促销活动,网购订单均会瞬间激增。同一时间,企业......
不确定规划是智能规划与不确定性研究结合后的重要研究分支。由于状态转移的不确定性，现有的不确定规划相关算法中常常存在大量重复......
系统的结构模型是一种描述系统中各组成要素之间相互关系的模型。一些难以量化的系统常常采用这种模型来加以描述，所以系统结构模型......
在不确定规划领域中,在求规划问题的解时,由于缺少引导信息,会导致许多无用状态和动作被搜索,造成冗余计算.所以在求规划解之前,找......
不确定规划研究的最终目标是求出规划解,但是由于缺少引导信息,直接求规划解会导致大量的无用状态和动作被搜索。获得状态间的可达......
根据Rough集的思想提出了一种新的基于可达关系的Rough集模型，这种Rough集模型的思想是基于信息粒和可达关系的，比经典的Rough集更一......
给出了具有实用意义的交通网络局部可达概念及其矩阵和图的刻画。在布尔阵的1种标准型及与可达关系研究的基础上,实现了交通网络可......
在不确定规划领域中,通常需要在同一个不确定状态转移系统中解决多个规划问题,如果能得到不确定规划中状态之间的可达关系即可方便......
在关系型规则和活动型规则形式描述工作流合并需求的基础上,提出一种基于可达关系的合并规则冲突检测算法。通过记录每条规则应用......
借助形式化的方法或工具分析安全协议是非常必要而且行之有效的．进程演算具有强大的描述能力和严格的语义．能够精确刻画安全协议中各......
当前,对基于模型检测规划研究的算法中存在大量的冗余计算,一些不可能参与构成解的状态动作序偶被反复筛选.文中给出了一种在不确......
