黄巍
- 作品数:12 被引量:30H指数:4
- 供职机构:中国科学技术大学计算机科学与技术学院更多>>
- 发文基金:国家自然科学基金湖南省重点学科建设项目广东省自然科学基金更多>>
- 相关领域:自动化与计算机技术理学更多>>
- 情景演算及其在工作流引擎中的应用被引量:1
- 2005年
- 以情景演算理论为基础来研究工作流管理系统,形式化地将LR的状态对象扩展为状态表集合对象。给出了情景演算的归结算法和算法分析,说明了如何将情景演算应用到工作流引擎中,给出了实际应用系统,并分析了基于情景演算的工作流引擎的优点。
- 章陶黎亮黄巍李磊
- 关键词:情景演算LR引擎工作流
- 模型检测规划中的状态分层方法被引量:14
- 2009年
- 基于模型检测的规划方法是最近发展起来的新方法,它可以处理带有不确定性的规划问题.分别设计了对求弱规划解、强规划解和强循环规划解的问题中的状态进行分层的方法.状态被分层后,求规划解只需要在从上层到其下一层状态之间寻找状态动作序偶就可以了,其他状态动作序偶都可以去掉.分别获得了求弱规划解、强规划解和强循环规划解时状态被分层后的一些重要性质,这些性质是关于一些状态动作序偶是否可以不参与构成弱规划解、强规划解和强循环规划解的结论.通过所获得的性质可以将大量的状态动作序偶直接去掉,从而减少问题规模.以往的对基于模型检测规划的研究都是采用从目标状态开始的反向搜索方法,在状态被分层以后可以采用正向搜索技术展开相应的研究.
- 文中华黄巍刘任任姜云飞
- 一种扩展的不完备决策系统的Rough集方法
- 2004年
- 提出了一种基于多决策属性和决策属性可能取不确定值即“ ”值的、扩展的不完备决策系统的Rough集方法 ,定义了系统中对象间关于条件属性的相容关系和关于决策属性的偏序关系 ,并以此建立了相应的近似集和决策规则为真及最优的基本概念 ,得出了这类系统的约简方法。
- 黄巍叶小平刘聪
- 一些新的Hamilton图的必要条件
- 2007年
- 寻求Hamilton图的适当的特征刻画是图论的一个重大未解决问题,根据图的结构特征,设计了图的顶点的分层方法,研究了Hamilton图中层与层间对外顶点数和对外边数应该满足的关系,分析了Hamilton图中每层顶点数与每层对外顶点数的关系,探讨了图与其Hamilton演化图的Hamilton性关系,最后得到一些新的Hamilton图的必要条件。所获得的新的Hamilton图的必要条件实用性强,使用方便,能判断一些原必要条件不能判断的非Hamilton图。
- 文中华黄巍姜云飞
- 关键词:HAMILTON图
- 不确定可逆规划的强循环规划解被引量:4
- 2013年
- 动作的执行在理想情况下是确定的,但现实生活中常常因为意外情况的发生而造成了不确定性,并产生不利影响.针对这种情况,建立了一种新的不确定规划模型,在不确定规划中增加了两个约束:1)所有动作的执行是可逆的;2)若一个状态在理想情况下不能达到目标,那么它不能企图在执行一个动作时发生意外而接近或达到目标.在该模型下设计了求解强循环规划的算法,首先只考虑所有动作的执行是在理想情况下发生的,这时可以将规划子图转换为规划子树并求出规划子树中每个状态的可达性;接下来考虑所有动作执行意外的情况,若动作被意外执行之后不能到达目标状态,则删除这个动作并更新规划子图和规划子树,最后通过遍历规划子图和规划子树求强循环规划解.考虑到有些意外的发生并不可预知,该算法能够在意外发生时只对部分失效的规划解进行更新而不需要重新求规划解.实验结果证明该算法能够快速地更新规划解且与问题的规模大小无关.
- 唐杰文中华汪泉黄巍
- 模型检测规划中的状态之间的可达关系研究被引量:8
- 2012年
- 当前,对基于模型检测规划研究的算法中存在大量的冗余计算,一些不可能参与构成解的状态动作序偶被反复筛选.文中给出了一种在不确定规划领域求规划解的新思路:在求规划解之前,找到不确定状态转移系统的状态之间的可达关系,从而根据状态之间的可达关系进行约简.提出了不确定状态转移系统的超图、超图的邻接矩阵和可达矩阵等概念,设计了用超图的邻接矩阵求不确定状态转移系统中状态之间可达关系的方法.利用不确定状态转移系统的超图、超图的邻接矩阵和状态之间的可达关系获得了关于弱规划解、强规划解和强循环规划解的一些重要性质.这些性质是关于一些状态动作序偶是否不可能参与构成弱规划解、强规划解和强循环规划解的结论.通过这些性质可以将大量的状态动作序偶直接去掉,从而大幅度简化求规划解的过程,提高求规划解效率.
- 文中华黄巍刘任任姜云飞
- 关键词:超图邻接矩阵
- 基于潜意识的信息系统
- 目前针对不完备的信息系统而对经典的Rough集理论作扩充的工作.但它们只是考虑了缺省值'*'与各属性值域上所有元素的关系,没有考虑信息系统中各属性值域上可能与具体应用有关的联系.本文提出了基于潜意识的信息系统这一概念,将...
- 黄巍张金波刘聪
- 关键词:粗糙集理论信息处理计算机数学
- 文献传递
- 不确定决策系统及其一种粗糙集方法被引量:9
- 2004年
- 提出一种用于多决策属性和决策属性可能取空值的不确定决策系统规则提取的粗糙集方法,并给出了求其广义决策函数的算法.
- 黄巍刘聪
- 关键词:粗糙集决策函数空值决策系统
- 不确定规划中的扩展目标语义比较和观测信息约简
- 不确定规划是目前人工智能研究领域的一个热点。在完全可观察性的条件下对扩展目标作规划,以及在完全可观察性(或部分可观察性)的条件下对可达性目标求强规划解(简称强解)是其中的两个重要的不确定规划问题。
在完全可观察...
- 黄巍
- 文献传递
- 基于DTD图的查询蕴含测试
- 2004年
- XPath被广泛用于查询XML文档。在前人利用已有的XPath查询结果来求得新的查询结果工作的基础上 ,对一类XPath查询表达式给出了判断能否利用已有的XPath查询结果来求得新的查询结果的算法 ,这将有可能加快对新查询的处理。
- 黄巍曾煌存
- 关键词:XMLXPATH查询