广西壮族自治区自然科学基金(0832006Z)

作品数：13被引量：23H指数：4
导出分析报告
相关作者：古天龙常亮李凤英徐周波王晓峰更多>>
相关机构：桂林电子科技大学西安电子科技大学中国科学院更多>>
相关期刊：《模式识别与人工智能》《控制与决策》《计算机集成制造系统》《桂林电子科技大学学报》更多>>
相关主题：装配序列规划有序二叉决策图OBDD消元描述逻辑更多>>
相关领域：自动化与计算机技术机械工程更多>>
-
在结果中检索

检索结果分析

结果分析中...
共 条 记 录，以下是1-10
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
时态描述逻辑ALC-LTL的Tableau判定算法被引量：5
《计算机科学》2011年第8期150-154,共5页常亮 王娟 古天龙 董荣胜 
国家自然科学基金(60903079;60963010);广西自然科学基金(0832006Z)资助
时态描述逻辑ALC-LTL将描述逻辑ALC的描述能力与线性时态逻辑LTL的刻画能力结合起来,在具有较强描述能力的同时还使得可满足性问题保持在EXPTIME-完全这个级别。针对ALC-LTL缺少有效的判定算法的现状,将LTL的Tableau判定算法与描述逻辑...
关键词：时态描述逻辑 线性时态逻辑 可满足性问题 TABLEAU算法 复杂度 
约束满足问题求解的符号OBDD桶消元算法被引量：4
《计算机科学》2011年第7期200-202,219,共4页徐周波 古天龙 常亮 李凤英 
国家自然科学基金(60963010;60903079;61063002);广西自然科学基金重点项目(0832006Z)资助
桶消元算法是求解约束满足问题的一种典型推理方法。针对桶消元算法面临的状态空间爆炸问题,将有序二叉决策图(OBDD)技术与该算法结合起来,给出了约束满足问题的一种求解算法。通过对约束满足问题中变量和域值的编码,将CSP问题转化为命...
关键词：约束满足问题 符号算法 桶消元 有序二叉决策图(OBDD) 
可判定的时序动态描述逻辑被引量：6
《软件学报》2011年第7期1524-1537,共14页常亮 史忠植 古天龙 王晓峰 
国家自然科学基金(60903079;60775035;60963010;60803033);国家高技术研究发展计划(863)(2007AA01Z132);国家重点基础研究发展计划(973)(2007CB311004);广西自然科学基金(0832006Z)
动态描述逻辑DDL(dynamic description logic)提供了一种基于描述逻辑的动作理论,适用于语义Web环境下对动态领域知识的刻画和推理.为了将分支时序逻辑的刻画能力引入到动态描述逻辑中,将时间的进展体现为原子动作的执行,从而将时序维...
关键词：动态描述逻辑 分支时序逻辑 知识表示和推理 动作理论 Tableau判定算法 
加权约束满足问题的符号ADD求解算法被引量：5
《模式识别与人工智能》2011年第1期14-21,共8页徐周波 古天龙 常亮 
国家自然科学基金(No.60963010;60903079);广西自然科学基金(No.0832006Z)资助项目
加权约束满足问题(WCSP)是一类软约束满足问题.给出WCSP的代数决策图(ADD)描述,以及基于ADD的两种符号求解算法.首先,通过对变量和变量域值的二进制编码,给出软约束图的ADD表示.其次,将分支定界搜索算法与桶消元算法及符号ADD技术相结合...
关键词：加权约束满足问题(WCSP) 分支定界 桶消元 符号算法 代数决策图(ADD) 
约束满足问题求解的符号OBDD技术
《桂林电子科技大学学报》2010年第6期570-572,共3页徐周波 古天龙 
广西自然科学基金(0832006Z)
约束满足问题(CSP)是人工智能中一个重要的研究课题。通过讨论CSP的有序二叉决策图(OBDD)描述,给出了CSP的符号OBDD求解算法。其算法是在CSP的符号表示的基础上,首先对CSP中的所有变量根据其在约束图中的度的大小进行递增排序,然后按照...
关键词：约束满足问题 符号算法 有序二叉决策图(OBDD) 
柔性制造系统中生产调度问题的零压缩二叉决策图算法
《控制与决策》2010年第5期657-662,共6页李凤英 古天龙 
国家自然科学基金项目(60903010;60903079);广西自然科学基金重点项目(0832006Z)
针对赋时有界Petri网模型下柔性制造系统的生产调度问题,给出了有界Petri网的零压缩二叉决策图表示方法,进而建立了此类生产调度问题求解的符号零压缩二叉决策图算法.该算法在求解过程中对状态空间及其搜索过程中的相关数据,采用零压缩...
关键词：柔性制造系统 赋时有界Petri网 生产调度 零压缩二叉决策图 符号算法 
基于OBDD的εL^(￢)本体判定算法
《桂林电子科技大学学报》2010年第2期132-136,共5页高申 古天龙 
广西自然科学基金(0832006Z)
有序二叉决策图(OBDD)是一种新型的数据结构,在较大状态空间规模的模型检测和验证等领域中,已经得到了成功应用,并且在逻辑公式的可满足性判定方面也具有巨大的应用潜力。通过采用OBDD实现了描述逻辑εL(￢)判定算法。以基于OBDD的SHIQ...
关键词：描述逻辑 一致性 Tableau-算法 有序二叉决策图 
装配序列规划问题的Benchmark生成算法
《桂林电子科技大学学报》2010年第2期141-145,共5页刘华 古天龙 
广西自然科学基金(0832006Z)
装配序列规划本质上是一个NP组合优化问题,由于缺乏Benchmark,使得研究者在提出装配序列规划算法时难以对算法的优劣进行衡量。针对该问题,借鉴索玛立方体中将若干单位立方块组合成不同几何体的思想,在主要由连接矩阵和干涉矩阵构成的...
关键词：装配序列规划 装配体模型 算法评价 BENCHMARK MATLAB 
基于赋时Petri网的装配序列规划符号求解
《桂林电子科技大学学报》2010年第2期146-149,共4页李凤英 古天龙 侯杰 
广西自然科学基金(0832006Z)
赋时Petri网非常适合装配序列规划问题的建模,然而组合复杂性严重制约了基于赋时Petri网模型的装配序列规划问题的求解规模。OBDD能为Petri网的状态空间及装配序列规划过程中的数据提供符号表示,并在规划过程中实现隐式操作,有效地缓解...
关键词：赋时PETRI网 装配序列规划 组合复杂性 有序二叉决策图 
基于模型检测的命题动态逻辑规划
《桂林电子科技大学学报》2010年第2期150-153,共4页韦林 古天龙 常亮 
广西自然科学基金(0832006Z)
命题动态逻辑是对动作进行刻画和推理,并在此基础上进行规划求解的一种有效工具。PDL规划问题一般通过逻辑推演进行求解,其本质是将规划问题转化为PDL公式的可满足性问题,相应的推理复杂度为EXP-完全。与可满足性推理相对应,PDL模型检...
关键词：动态命题逻辑 模型检测 规划 
全选清除导出
共2页<12>
检索报告 对象比较 聚类工具 使用帮助 返回顶部