姜云飞
- 作品数：112 被引量：515H指数：15
- 供职机构：中山大学信息科学与技术学院软件研究所更多>>
- 发文基金：国家自然科学基金广东省自然科学基金国家教育部博士点基金更多>>
- 相关领域：自动化与计算机技术理学电子电信文化科学更多>>
- 基于模型诊断推理的回顾与展望被引量：15
- 1998年
- 诊断推理技术起源于美国,虽然沿用了医学领域中的名称,但其研究内容已远远超出了医学诊断。它在工程、社会和经济等领域有着广泛的应用前景。由于60年代初期航天和军工等高可靠性工程的迫切需要,诊断迅速发展起来成为一门新兴学科。特别是近十几年来。
- 李占山姜云飞
- 关键词：人工智能
- 基于子句权重学习的求解SAT问题的遗传算法被引量：19
- 2005年
- 该文提出了一种求解SAT问题的改进遗传算法(SATWAGA).SATWAGA算法有多个改进性特点:将SAT问题的结构信息量化为子句权重,增加了学习算子和判定早熟参数,学习算子能根据求解过程中的动态信息对子句权重进行调整,以便防止遗传进程的早熟,同时,算法还采用了最优染色体保存策略,防止进化过程的发散.该文最后描述了实现包括SATWAGA等多个算法的实验系统,对选择最佳早熟判定参数值给出了一些有效的建议.实验结果表明:与一般遗传算法相比,SATWAGA算法在求解速度、成功率和求解问题的规模等方面都有明显的改善.
- 凌应标吴向军姜云飞
- 关键词：SAT问题遗传算法早熟
- 用分层关联方法求简单图中所有Hamilton回路的算法
- 2006年
- 研究简单图中所有的Ham ilton回路,不但可以判断简单图是否Ham ilton图,并且还可以得到简单图的所有的Ham ilton回路。首先在简单图中建立了初级通路的关联关系,并对初级通路的关联关系进行了分层,在此基础上,设计了求简单图中所有Ham ilton回路的算法。该算法利用简单图中长度为x的初级通路及长度为x的初级通路的分层关联关系逐步求长度为x+1的初级通路及长度为x+1的初级通路的分层关联关系的方法,求得简单图的所有Ham ilton回路。通过理论证明,该算法与已有的求简单图的所有Ham ilton回路的算法相比,原有的求简单图的所有Ham ilton回路算法中大量的重复计算被避免,从而提高了算法的效率。
- 文中华姜云飞
- 关键词：简单图HAMILTON回路
- 规划图框架下用遗传算法求解时态规划问题被引量：6
- 2008年
- 许多现实世界中的规划问题通常希望规划目标能在尽可能短的时间内实现,并且规划动作的执行需要考虑时间因素.在规划图框架下,提出了一种能进行时态约束推理的遗传规划算法.主要工作有以下3个方面:1)介绍基于完全动作图的时序约束推理技术;2)提出能进行时序约束推理的基于规划图的遗传规划技术;3)针对基于规划图的遗传规划技术存在局部搜索能力不足的缺点,提出了在原有遗传操作算子的基础上,引入局部修复算子的混合规划技术.实验表明,这种算法能有效地处理一类时态规划问题.
- 伍丽华陈蔼祥姜云飞
- 关键词：规划图遗传算法
- 一致性诊断的测试被引量：2
- 2008年
- 为找到故障系统的真实诊断,讨论了候选诊断和真实诊断之间的关系,定义了诊断系统的可采纳性并证明基于一致性的诊断是可采纳的.在此基础上,给出一种基于一致性的诊断测试方法.在执行测试之后,所获得的关于真实诊断的信息是单调递增的,直到真实诊断被包含在极小诊断集合中;一旦极小诊断集合包含真实诊断,所有的测试都会支持真实诊断,而可能排除其它的候选诊断.
- 张学农姜云飞陈蔼祥
- 基于规划图的过程活动流实时规划
- 2009年
- 软件过程的自动化计算技术是近年来出现的新兴研究方向,对软件过程的研究有着重要的影响。基于规划图方法设计了一种过程活动实时规划系统,能对过程活动的安排做出实时自动规划,能在实际执行中对过程活动流中每一过程活动所出现的各种可预见的执行效果做出实时反应,使软件开发始终处于有序的过程控制中,并最终取得既定目标。另外实际项目中软件的过程活动常会出现重复执行或者多次执行,已有的一些相关软件过程规划都没谈及该问题,所提出的实时规划算法较好地解决了该问题。
- 柴啸龙姜云飞陈蔼祥毛明志
- 关键词：规划图
- 利用格论研究缺省推理被引量：1
- 1993年
- 本文提出了一组转换规则,使用这组转换规则可以把缺省规则转换成扩展规则,然后使用这些扩展规则去扩展缺省理论的初始逻辑公式集合,在这些扩展规则的基础上,我们提出了缺省格(default lattice)的概念,证明了缺省理论的外延刚好对应于它的缺省格的相容性集合的D-极大值,因此可以使用缺省格求出缺省理论的所有外延.
- 姜云飞
- 关键词：非单调逻辑缺省推理人工智能
- 规划的形式表示技术研究被引量：3
- 2008年
- 智能规划是人工智能研究领域中的一个富有挑战性的课题。同时,智能规划问题具有广泛的实际应用背景。而自动规划问题面临的首要问题是规划问题的形式表示问题。本文系统地分析了情景演算,STRIPS,PDDL,HTN等各种规划形式表示技术,比较了各种形式表示技术的优缺点,并指出了进一步研究设计高效智能规划系统的方向。
- 陈蔼祥姜云飞柴啸龙
- 关键词：情景演算STRIPSPDDL
- 基于构件的分层架构软件配置管理
- 软件配置管理(SCM)的出现很好地改善了软件维护问题，基于构件的软件开发方法(C13SD)也被提出用来解决软件复用问题。文献中提出了基于构件的配置管理模型，以构件为版本控制的基本单位。文献中提出了基于分布式组件的分层架构...
- 吴志扬姜云飞毛明志
- 关键词：软件配置管理软件工程重用性分布式组件
- 文献传递
- 利用派生谓词和偏好处理OSP问题的目标效益依赖
- 2012年
- 在过度规划问题(over-subscribed planning,简称OSP)研究中,如果目标之间不是相互独立的,那么目标间的效益依赖比单个目标效益更能提高规划解的质量.但是已有的描述模型不符合标准规划描述语言(planningdomain description language,简称PDDL)的语法规范,不能在一般的OSP规划系统上进行推广.提出了用派生谓词规则和目标偏好描述效益依赖的方法,这二者均为PDDL语言的基本要素.实质上,将已有的GAI模型转换为派生谓词规则和目标偏好,其中派生谓词规则显式描述目标子集的存在条件,偏好机制用来表示目标子集的效益,二者缺一不可.该转换算法既可以保持在描述依赖关系时GAI模型的易用性和直观性上,又可以扩展一般的OSP规划系统处理目标效益依赖的能力.从理论上可以证明该算法在转换过程中的语义不变性,在基准领域的实验结果表明其可行性和对规划解质量的改善能力.提出符合PDDL语言规范的目标效益依赖关系的描述形式,克服了已有模型不通用的缺点.
- 蒋志华饶东宁姜云飞翁健
- 关键词：人工智能偏好
