陈蔼祥
- 作品数：34 被引量：101H指数：6
- 供职机构：广东财经大学更多>>
- 发文基金：国家自然科学基金广东省自然科学基金湖南省自然科学基金更多>>
- 相关领域：自动化与计算机技术理学电子电信医药卫生更多>>
- 规划问题编码成SAT问题研究被引量：1
- 2009年
- 智能规划问题是一个NP-hard的问题。近年来,由于在可满足问题(SAT)研究领域取得了较大进展,出现了一大批快速的能达到工业级应用的SATsolver求解器的出现,这使得运用可满足技术来求解规划问题的方法越来越得到智能规划研究者们的重视。用可满足技术求解规划问题的首要任务是必须将规划问题"翻译"成可满足问题。讨论了如何将规划问题编码成命题可满足问题的一般技术,并对"直接编码"和"基于规划图的编码"两种编码技术进行了比较,指出了两种编码技术各自的优缺点。在此基础上,深入地分析了各种不同的编码方案之间的异同点以及它们各自的优缺点。最后,指出了用SAT技术求解规划问题中存在的一些问题以及相关改进方法。
- 陈蔼祥
- 关键词：规划图
- Markov决策过程的蚁群规划算法
- 2010年
- 在智能规划问题上,寻找规划解都是NP甚至NP完全问题,如果动作的执行效果带有不确定性,如在Markov决策过程的规划问题中,规划的求解将会更加困难,现有的Markov决策过程的规划算法往往用一个整体状态节点来描述某个动作的实际执行效果,试图回避状态内部的复杂性,而现实中的大量动作往往都会产生多个命题效果,对应多个命题节点。为了能够处理和解决这个问题,提出了映像动作,映像路节和映像规划图等概念,并在其基础上提出了Markov决策过程的蚁群规划算法,从而解决了这一问题。并且证明了算法得到的解,即使在不确定的执行环境下,也具有不低于一定概率的可靠性。
- 柴啸龙胡桂武陈蔼祥
- 关键词：规划图MARKOV决策过程群体智能算法
- 基于学习的规划技术研究
- 2011年
- 经过近十多年的努力,现代智能规划器无论是效率还是处理能力均得到了极大提高。鉴于现有规划理论的局限性,进一步提高现有规划技术效率已愈显困难。现有的大多数规划器均不具备学习能力,无法从先前求解经验中学习有用知识。综述了基于学习的规划技术的发展现状,然后重点介绍了规划大赛中最佳学习器所使用的学习技术,最后指出当前基于学习的规划技术研究领域中存在的主要问题。
- 陈蔼祥姜云飞胡桂武柴啸龙边芮
- HTN规划及其复杂度分析被引量：3
- 2008年
- 为了克服经典状态空间规划中的状态空间的指数爆炸问题,研究者们提出了分层任务网络规划(HTN)技术。给出了HTN规划的形式表示,并给出了其操作语义,在此基础上讨论了HTN规划的复杂性,指出了HTN规划技术的优缺点所在。
- 陈蔼祥柴啸龙胡桂武
- 关键词：操作语义
- 基于数据源向图的数据库设计中数据关系的表示工具被引量：2
- 2017年
- 数据库设计是信息系统需求分析到系统实现中的一个关键环节。传统的数据库设计方法需根据需求分析阶段的结果,依赖人的构造性思维抽象出对象和关系,由于对所需数据结构和关系的描述能力不足,缺少对数据项之间关系的描述,导致数据关系不明确,数据库设计结果容易出现偏差。在新的数据库设计工具——数据源向图的帮助下,对象、关系以及各数据项之间的关系能被直观、简洁、准确地表示,同时其也能极大地消除各种关系不明确而带来的二义性问题,可有效提高信息系统实现的效率。
- 陈冰川陈蔼祥吴向军李磊
- 关键词：数据库设计有向图
- 用SOM网络从移动通信数据中识别朋友关系
- 2011年
- 从移动电话通信数据中挖掘用户之间的有用信息被认为是富有研究价值的一项工作。利用从94个Nokia6600用户中收集的实际通信记录,设计并实现了一个行之有效的高效分析算法do&del,以构造手机号码对之间的通信模式,证明了do&del算法的可靠性,并给出了算法的理论复杂性和实验观察结果。然后在do&del算法的基础上,给出了基于SOM(Self-Organizing Map)的关系识别系统RRS(Relationship Recognition System),该系统能够在训练好的SOM网络支持下,有效识别双向朋友、单向/普通朋友、一般人等此类用户关系。
- 陈蔼祥
- 关键词：移动通信SOM
- 基于结构的弱诊断模型被引量：1
- 2007年
- 本文首先给出一种弱诊断模型,利用系统的结构信息,快速得到系统的弱诊断,在不丢失解的情况下缩小诊断空间,以提高诊断效率。对仅知道系统的整体功能和物理结构系统,无法进行一致性诊断或更强的诊断,我们仍然可以对其进行弱诊断。其次,我们给出了弱诊断、一致诊断、溯因诊断间的关系。最后,根据诊断和真正故障元件集合间的关系,定义了诊断的可采纳性,并证明了弱诊断、一致诊断是可采纳的。
- 张学农姜云飞陈蔼祥
- 通过诊断图分析的快速诊断算法被引量：4
- 2009年
- 基于模型诊断的主要思想是:根据系统的逻辑模型以及系统的输入,通过逻辑的推理理论能推导出系统在正常情况下的预期行为,如果观测到的系统实际行为与系统预期行为有差异,则说明系统存在故障.当系统故障时,可通过逻辑的推理理论来确定引发故障的元件集合.由于经典的基于模型诊断采用的是逻辑推理的手段来产生诊断集合,这导致了传统的基于模型诊断算法的效率非常低下.文中在原有模型诊断基础上,重新定义了诊断,并提出了一种用于诊断的诊断图的数据结构.在此基础上给出了一种基于诊断图分析的快速诊断算法.由于文中的诊断方法是一种过程化的方法,与Reiter的模型诊断的基于逻辑的方法有着本质的不同.因此,文中的方法能很好地克服经典模型诊断效率过低的问题,为诊断问题的求解带来新的前景.实验结果证明了这种新的诊断方法的高效性.
- 陈蔼祥陈清亮潘久辉姜云飞杨晋吉
- 规划的形式表示技术研究被引量：2
- 2008年
- 智能规划是人工智能研究领域中的一个富有挑战性的课题。同时,智能规划问题具有广泛的实际应用背景。而自动规划问题面临的首要问题是规划问题的形式表示问题。本文系统地分析了情景演算,STRIPS,PDDL,HTN等各种规划形式表示技术,比较了各种形式表示技术的优缺点,并指出了进一步研究设计高效智能规划系统的方向。
- 陈蔼祥姜云飞柴啸龙
- 关键词：情景演算STRIPSPDDL
- 具有学习能力的智能诊断系统研究被引量：2
- 2008年
- 随着电子设备系统的日益复杂化,依靠单一的推理技术的故障系统已难以满足复杂系统的诊断要求,将多种不同的推理技术结合起来的集成诊断系统,能够充分利用各自的优点,从而提高系统诊断的正确性和效率,是目前智能诊断研究的一个发展趋势。将研究复合系统的智能诊断问题,提出在一个复合系统的诊断过程中,通过机器学习,使基于规则的诊断和基于模型的诊断两种诊断技术相互结合,在诊断的不同阶段发挥出各自的作用,从而建立一个融合了RBD和MBD技术优点的、具有一定学习能力的智能诊断系统。
- 陈蔼祥伍丽华姜云飞
- 关键词：RBDMBD决策树
