湖南省重点学科建设项目(0812)
- 作品数：9 被引量：23H指数：2
- 相关作者：文中华袁润伍小辉李洋陈秋茹更多>>
- 相关机构：湘潭大学湖南工程学院中国科学技术大学更多>>
- 发文基金：湖南省重点学科建设项目国家自然科学基金湖南省普通高等学校更多>>
- 相关领域：自动化与计算机技术更多>>
- 强规划的最小期望权值求解算法被引量：1
- 2018年
- 随着人工智能的快速发展,智能规划中的不确定规划问题逐渐成为研究热点。在不确定系统中,由于受外部干扰因素影响,状态转移和到达结果都是不确定的,并且不确定转移系统执行动作需要花费一定代价。针对该问题,对不确定系统中的动作赋权值,用概率分布表示状态转移的不确定性,提出强规划解的期望权值,设计了求最小期望权值强规划解的方法。该算法首先将不确定规划问题中的目标状态集并入已搜索状态集,运用反向搜索求最小期望权值强规划解;在搜索过程中,需不断将最小期望权值所对应状态并入已搜索状态集,并更新未搜索状态集,迭代上述搜索步骤,直到已搜索状态集不变化为止,从而找出最小期望权值强规划解。
- 袁润文中华戴良伟陈秋茹
- 关键词：人工智能概率分布反向搜索
- 不确定规划中一种观察信息高效约简算法
- 2013年
- 在不确定规划中,可通过观察周围的信息来区分多个状态,但周围的观察信息较多,因此如何从大量的观察信息中筛选必须的信息非常重要。以往算法是在直接搜索过程中增加一些剪枝条件来达到优化的目的,存在一定的局限性。在对观察信息约简研究中,为提高搜索效率,设计一种高效的不确定规划中观察信息约简算法。该算法将规划问题转化为求解0-1矩阵的覆盖问题,使用数据结构十字链表来表示0-1矩阵,通过维护十字链表并采用启发式函数来加速求解一个最小观察变量集。实验结果表明,该算法不仅能够找最小观察变量集,而且运行速度超过同类算法。
- 唐杰文中华黄海平吴正成
- 关键词：十字链表启发式搜索
- 利用有向环的性质求解可达关系被引量：1
- 2016年
- 不确定规划研究的最终目标是求出规划解,但是由于缺少引导信息,直接求规划解会导致大量的无用状态和动作被搜索。获得状态间的可达关系可以避免冗余计算。目前求可达关系的方法效率较低,因此设计了一种求可达关系的新方法。将不确定状态转移系统抽象成一个图,在这个图中,查找状态之间的可达信息是否形成一个有向环。若存在一个有向环,说明环内每两个状态之间都有可达关系。将其中一个状态作为父节点,并且将这个环内所有状态的可达关系记录在父节点中,通过访问父节点的可达信息更新环内状态的可达信息,减少了许多无用的状态和动作被搜索。实验结果表明,所设计的算法不仅能得到更全面的可达关系,而且效率也高于已有的算法。
- 陈秋茹文中华袁润戴良伟
- 关键词：有向图
- 分层法求最小权值强规划解被引量：1
- 2015年
- 在不确定规划领域中,以往对强规划解的研究侧重于解本身,很少考虑不确定转移系统执行动作所需的代价;而已有的研究最小权值强规划解的算法效率不高。针对这一问题,引入模型检测的强规划分层方法,设计了一种快速求解最小权值强规划解的算法。该算法首先将不确定规划问题中的状态进行强规划分层,然后利用分层信息反向搜索最小权值强规划解;且在搜索的过程中,根据算法策略,实时更新所需搜索层数的上界和下界,从而避免了大量的无用搜索,提高了搜索效率。实验表明:所设计的算法能快速求解出最小权值强规划解,求解效率比已有的直接求解最小权值强规划解的算法高;且分层数和动作数越大,优势越明显。
- 伍小辉文中华李洋劳佳琪
- 求最小期望权值强循环规划解被引量：2
- 2015年
- 现实世界中,动作的执行通常都要耗费一定的代价,且由于外界环境的干扰,动作执行后的结果具有不确定性。针对这一问题,对不确定状态转移系统的动作赋予权值,使用概率分布表示状态转换的随机性,提出了强循环规划解的期望权值,并且设计了求最小期望权值强循环规划解的方法。该方法的主要思想是使用深度优先搜索求出规划问题的所有强循环规划解,再将强循环规划解分别转换成以状态到目标状态的期望权值为变元的线性方程组,最后使用高斯消元法解方程组,从而找出最小期望权值强循环规划解。
- 李洋文中华伍小辉劳佳琪
- 关键词：概率分布深度优先搜索
- 模型检测规划中的状态之间的可达关系研究被引量：8
- 2012年
- 当前,对基于模型检测规划研究的算法中存在大量的冗余计算,一些不可能参与构成解的状态动作序偶被反复筛选.文中给出了一种在不确定规划领域求规划解的新思路:在求规划解之前,找到不确定状态转移系统的状态之间的可达关系,从而根据状态之间的可达关系进行约简.提出了不确定状态转移系统的超图、超图的邻接矩阵和可达矩阵等概念,设计了用超图的邻接矩阵求不确定状态转移系统中状态之间可达关系的方法.利用不确定状态转移系统的超图、超图的邻接矩阵和状态之间的可达关系获得了关于弱规划解、强规划解和强循环规划解的一些重要性质.这些性质是关于一些状态动作序偶是否不可能参与构成弱规划解、强规划解和强循环规划解的结论.通过这些性质可以将大量的状态动作序偶直接去掉,从而大幅度简化求规划解的过程,提高求规划解效率.
- 文中华黄巍刘任任姜云飞
- 关键词：超图邻接矩阵
- 基于不确定攻击图的攻击路径的网络安全分析被引量：12
- 2017年
- 随着科学技术的发展,现有攻击图生成算法在描述突发网络拥塞、网络断开、网络延迟等意外情况时存在不足;并且对于在攻击图中同样可以达到目标状态的攻击路径,哪一条路径网络更可靠等问题还未开始研究。通过不确定图模型提出了一种攻击图的生成算法,从攻击者的目标出发,逆向模拟生成攻击图,可以较好地模拟现实攻击情况并找出最可靠攻击路径,而且可以避免在大规模网络中使用模型检测方法出现状态空间爆炸的问题,以帮助防御者更好地防御网络漏洞攻击。实验结果表明,该方法能够正确生成攻击图,并且对大型网络的模拟也很实用。
- 曾赛文文中华戴良伟袁润
- 关键词：攻击图
- 一种快速求强规划解的算法
- 2015年
- 为提高求解效率,设计一种求强规划解的简化分层算法。以传统分层算法为基础,引入贪心选择策略,对每个非目标状态的动作进行筛选,去除对求解强规划解无益的动作,加快状态向下搜索的速度,并在改进分层的基础上,优化求强规划解策略,由于在求解过程中会存在大量重复搜索,因此建立一个集合保存已访问状态的信息,避免对状态的重复搜索。分析结果表明,在初始状态到达目标状态路径都不重合的情况下,改进算法的时间复杂度为O(nm)(n为初始状态个数,m为层数),在都重合情况下为O(m),优于普通正向搜索算法与反向搜索算法。
- 劳佳琪文中华伍小辉唐杰
- 关键词：贪心策略
- 不确定系统中状态可达关系的维护被引量：1
- 2017年
- 对于一个理想的不确定系统,动作的执行是可靠的,即动作是可以执行的且动作的执行效果是可以确定的,但现实世界中,动作的执行很有可能是不可靠的,例如某个动作无法执行,并有可能对不确定系统中状态之间的可达关系产生影响,因此需要重新对该系统状态之间的可达关系进行求解。针对这一情况,分析了信息传递法求不确定系统中状态可达关系的算法,提出了不确定系统的最小信息传递集(简称MIDS),证明了当不可执行的动作不属于MIDS时,该系统状态之间的可达关系不发生变化。并给出了当该动作不属于MIDS时的局部更新可达关系的算法,从而避免了对该系统状态之间可达关系的重新计算。
- 戴良伟文中华劳佳琪曾赛文
- 关键词：信息传递
