广西壮族自治区自然科学基金(0832006Z)
- 作品数：13 被引量：24H指数：4
- 相关作者：古天龙常亮李凤英徐周波王晓峰更多>>
- 相关机构：桂林电子科技大学西安电子科技大学中国科学院更多>>
- 发文基金：广西壮族自治区自然科学基金国家自然科学基金国家重点基础研究发展计划更多>>
- 相关领域：自动化与计算机技术机械工程更多>>
- 约束满足问题求解的符号OBDD桶消元算法被引量：4
- 2011年
- 桶消元算法是求解约束满足问题的一种典型推理方法。针对桶消元算法面临的状态空间爆炸问题,将有序二叉决策图(OBDD)技术与该算法结合起来,给出了约束满足问题的一种求解算法。通过对约束满足问题中变量和域值的编码,将CSP问题转化为命题可满足性问题,给出了约束满足问题的OBDD表示方法;基于桶消元的算法思想,在约束满足问题的OBDD表示的基础上,利用OBDD的"与"操作和"量化"操作等,避免了传统算法中状态的显式枚举,隐式地实现了对CSP的求解。对大量随机生成的测试用例进行了实验分析,结果表明提出的符号算法明显优于桶消元法和符号直接求解法。
- 徐周波古天龙常亮李凤英
- 关键词：约束满足问题
- 基于Petri网启发式搜索的装配序列规划
- 2008年
- Petri网是表示优先级约束和计算装配序列的有效工具。将Petri网和启发式搜索相结合,给出了一种新的装配序列规划方法。该方法用Petri网模型表示可行装配序列,通过生成和搜索Petri网的局部可达图找到一个最优或接近最优的装配序列,该装配序列通过Petri网的迁移引发序列来表示。结合实例验证了该方法的正确性和有效性。
- 李凤英古天龙
- 关键词：赋时PETRI网装配序列规划启发式搜索
- 求解装配序列规划的一种多智能体进化算法被引量：5
- 2009年
- 针对求解装配序列规划的进化类算法中个体智能性不足的问题,设计了求解装配序列规划的一种多智能体进化算法。携有装配序列规划信息的智能体不仅是竞争、变异等进化操作的基本单元,同时又具有"学习"、"协作"等智能行为。实验表明,与其他各类进化算法相比,多智能体进化算法具有明显的优越性。
- 曾聪文古天龙
- 关键词：智能体进化算法装配序列规划
- 加权约束满足问题的符号ADD求解算法被引量：5
- 2011年
- 加权约束满足问题(WCSP)是一类软约束满足问题.给出WCSP的代数决策图(ADD)描述,以及基于ADD的两种符号求解算法.首先,通过对变量和变量域值的二进制编码,给出软约束图的ADD表示.其次,将分支定界搜索算法与桶消元算法及符号ADD技术相结合,在静态变量序下,利用结点一致性预处理技术,对WCSP问题进行符号ADD求解.通过引入有向弧一致性计数技术提高符号ADD算法的搜索下界,对符号ADD求解算法作了改进.最后,对大量随机生成的测试用例进行实验分析.结果表明,文中算法在性能上明显优于带有存在有向弧一致性或结点一致性预处理技术的具有前向检查功能的深度优先分支定界搜索算法.
- 徐周波古天龙常亮
- Avalon片上总线协议的形式化建模与模型检验分析被引量：1
- 2009年
- 片上总线协议是片上总线技术的核心,其设计的好坏直接影响到片上系统芯片的可靠性。针对Avalon片上总线协议的自身特点和复杂性,给出了Avalon总线协议的一种有限状态饥分析模型,并用CTL对协议的相关属性进行形式化描述,同时采用模型检验工具SMV进行验证分析。验证结果表明协议不存在安全漏洞。
- 谭华古天龙
- 关键词：片上总线有限状态机计算树逻辑
- 柔性制造系统中生产调度问题的零压缩二叉决策图算法
- 2010年
- 针对赋时有界Petri网模型下柔性制造系统的生产调度问题,给出了有界Petri网的零压缩二叉决策图表示方法,进而建立了此类生产调度问题求解的符号零压缩二叉决策图算法.该算法在求解过程中对状态空间及其搜索过程中的相关数据,采用零压缩二叉决策图表示,避免了状态和搜索的显式枚举,实现了隐式高效操作,有效地改善了算法的计算性能.实验结果表明了算法的有效性.
- 李凤英古天龙
- 关键词：柔性制造系统生产调度
- 基于OBDD的εL^(￢)本体判定算法
- 2010年
- 有序二叉决策图(OBDD)是一种新型的数据结构,在较大状态空间规模的模型检测和验证等领域中,已经得到了成功应用,并且在逻辑公式的可满足性判定方面也具有巨大的应用潜力。通过采用OBDD实现了描述逻辑εL(￢)判定算法。以基于OBDD的SHIQ判定算法为基础,针对描述逻辑εL(￢)进行了优化,应用标准化规则取代了FLAT规则,重构了知识库模型,进而将该模型转化为满足3CNF(每个从句含有3个变元的合取形式)约束的布尔函数并利用OBDD进行可满足性判定,并以实例对算法过程进行了演示。
- 高申古天龙
- 关键词：描述逻辑一致性有序二叉决策图
- 装配序列规划问题的Benchmark生成算法
- 2010年
- 装配序列规划本质上是一个NP组合优化问题,由于缺乏Benchmark,使得研究者在提出装配序列规划算法时难以对算法的优劣进行衡量。针对该问题,借鉴索玛立方体中将若干单位立方块组合成不同几何体的思想,在主要由连接矩阵和干涉矩阵构成的装配体模型表示法的基础上,设计了自动生成装配体和提取其模型数据的算法,并通过实验证明了算法的正确性。最后利用Matlab编程开发了该Benchmark自动生成系统,可以为装配序列规划算法提供有效的输入数据,进而对算法进行评价。
- 刘华古天龙
- 关键词：装配序列规划BENCHMARKMATLAB
- 基于赋时Petri网的装配序列规划符号求解
- 2010年
- 赋时Petri网非常适合装配序列规划问题的建模,然而组合复杂性严重制约了基于赋时Petri网模型的装配序列规划问题的求解规模。OBDD能为Petri网的状态空间及装配序列规划过程中的数据提供符号表示,并在规划过程中实现隐式操作,有效地缓解了组合复杂性。通过将赋时Petri网中的赋时迁移用等价的赋时迁移结构代替,赋时Petri网转换为等价的普通Petri网,基于此提出符号有序二叉决策图OBDD装配序列规划算法,求解最优装配序列。
- 李凤英古天龙侯杰
- 关键词：赋时PETRI网装配序列规划有序二叉决策图
- 基于模型检测的命题动态逻辑规划
- 2010年
- 命题动态逻辑是对动作进行刻画和推理,并在此基础上进行规划求解的一种有效工具。PDL规划问题一般通过逻辑推演进行求解,其本质是将规划问题转化为PDL公式的可满足性问题,相应的推理复杂度为EXP-完全。与可满足性推理相对应,PDL模型检测问题具有多项式级别的时间复杂度。鉴于PDL模型检测的高效,对基于模型检测的PDL规划求解进行研究,从PDL规划语义的角度证明了PDL规划可以通过模型检测的方法求解,在这基础上给出基于模型检测的PDL规划算法,结合实例验证了算法的正确性。
- 韦林古天龙常亮
