检索结果-维普期刊中文期刊服务平台

部分可观察强规划中约减观察变量的研究被引量：19: 1; 作者周俊萍殷明浩 +1 位作者谷文祥孙吉贵《软件学报》 EI CSCD 北大核心 2009年第2期290-304,共15页; 给出了一种约减观察变量方法——假设所有的状态变量都不是观察变量,在此基础上逐步增加必要的观察变量,从而最终得到一个必要的观察变量集合.在添加必要的观察变量过程中,该方法不要求得到所有变量的相关信息,从而具有更好的通用性.根... 展开更多; 关键词强规划部分可观察规划部分可观察强规划约减观察变量不确定规划; 在线阅读下载PDF 职称材料

求解QBF问题的启发式调查传播算法被引量：11: 2; 作者殷明浩周俊萍 +1 位作者孙吉贵谷文祥《软件学报》 EI CSCD 北大核心 2011年第7期1538-1550,共13页; 提出了一种启发式调查传播算法,并基于该算法设计了一种QBF(quantified Boolean formulae)求解器——HSPQBF(heuristic survey propagation algorithm for solving QBF)系统.它将Survey Propagation信息传递方法应用到QBF求解问题中.利... 展开更多; 关键词人工智能 QBF问题 QBF问题求解器因子图调查传播冲突学习满足蕴涵学习; 在线阅读下载PDF 职称材料

基于内容的图纸检索的研究与设计被引量：4: 3; 作者宋海玉王鹏杰 +1 位作者王玲芬李雄飞《计算机工程与设计》 CSCD 北大核心 2009年第4期1017-1020,共4页; 基于内容图纸检索是图纸重用的关键技术,空间关系是图纸的内容的主要特征。由于空间关系描述复杂、特征向量的维数很高,在基于内容图纸检索中很难应用空间关系匹配。为了克服这些问题,提出了约简拓扑关系的方法,采用图谱方法提取拓扑特... 展开更多; 关键词图纸检索拓扑关系图谱特征向量维数约减; 在线阅读下载PDF 职称材料

三个简单区域间的拓扑关系的推理及应用模型被引量：2: 4; 作者李健欧阳继红廖梦兰《电子学报》 EI CAS CSCD 北大核心 2014年第1期125-129,共5页; 本文通过将经典4-交集模型扩展得到8-交集体模型,对三个简单区域间的关系进行表示,并具体得到了三个简单区域间实际存在的109种拓扑关系图.通过对三个简单区域间的109种拓扑关系进行研究,建立了拓扑关系的推理系统,给出了拓扑关系复合表... 展开更多; 关键词定性空间推理三个简单区域机器人避障; 在线阅读下载PDF 职称材料

JLU-RLAO和JLU-QLAO:两个不确定智能规划求解系统: 5; 作者孙吉贵殷明浩吕帅《计算机研究与发展》 EI CSCD 北大核心 2009年第4期667-675,共9页; 不确定环境下的智能规划问题往往假设世界状态的转移概率是确切可知的,然而规划建模专家有时只能在信息不完备的条件下进行建模,从而只能通过猜测或者不完全统计的方法来获取不完备的有关状态转移不确定性的定量信息,有时甚至只能获取... 展开更多; 关键词智能规划不确定规划最坏模型最好模型定性决策; 在线阅读下载PDF 职称材料

题名部分可观察强规划中约减观察变量的研究被引量：19: 1; 作者周俊萍殷明浩谷文祥孙吉贵; 机构东北师范大学计算机学院吉林大学计算机科学与技术学院吉林大学教育部符号计算与知识工程重点实验室; 出处《软件学报》 EI CSCD 北大核心 2009年第2期290-304,共15页; 基金国家自然科学基金高等学校博士学科点专项科研基金东北师范大学青年基金~~; 文摘给出了一种约减观察变量方法——假设所有的状态变量都不是观察变量,在此基础上逐步增加必要的观察变量,从而最终得到一个必要的观察变量集合.在添加必要的观察变量过程中,该方法不要求得到所有变量的相关信息,从而具有更好的通用性.根据是否存在单个观察变量能够区分域中任意两个状态的问题,分别给出了两种约减观察变量方法:当存在一个观察变量可以区分规划域中任意两个状态时,算法可以得到一个最小的观察变量集合;当不存在这样一个观察变量时,算法可以得到一个尽可能小的观察变量集合,但不能保证该集合最小.; 关键词强规划部分可观察规划部分可观察强规划约减观察变量不确定规划; Keywords strong planning planning under partial observation strong planning under partial observation decrease observation variables nondeterministic planning; 分类号 TP18 [自动化与计算机技术—控制理论与控制工程]; 在线阅读下载PDF 职称材料

题名求解QBF问题的启发式调查传播算法被引量：11: 2; 作者殷明浩周俊萍孙吉贵谷文祥; 机构东北师范大学计算机学院吉林大学教育部符号计算与知识工程重点实验室吉林大学计算机科学与技术学院; 出处《软件学报》 EI CSCD 北大核心 2011年第7期1538-1550,共13页; 基金国家自然科学基金(60773097 60803102); 文摘提出了一种启发式调查传播算法,并基于该算法设计了一种QBF(quantified Boolean formulae)求解器——HSPQBF(heuristic survey propagation algorithm for solving QBF)系统.它将Survey Propagation信息传递方法应用到QBF求解问题中.利用Survey Propagation作为启发式引导DPLL(Davis,Putnam,Logemann and Loveland)算法,选择合适的变量进行分支,从而可以减小搜索空间,并减少算法回退的次数.在分支处理过程中,HSPQBF系统结合了单元传播、冲突学习和满足蕴涵学习等一些优秀的QBF求解技术,从而能够提高QBF问题的求解效率.实验结果表明,HSPQBF无论在随机问题上还是在QBF标准测试问题上都有很好的表现,验证了调查传播技术在QBF问题求解中的实际价值.; 关键词人工智能 QBF问题 QBF问题求解器因子图调查传播冲突学习满足蕴涵学习; Keywords artificial intelligence quantified Boolean formulae problem QBF（quantified Boolean formulae）solver factor graph survey propagation conflict driven learning satisfiability directed implicationand learning; 分类号 TP181 [自动化与计算机技术—控制理论与控制工程]; 在线阅读下载PDF 职称材料

题名基于内容的图纸检索的研究与设计被引量：4: 3; 作者宋海玉王鹏杰王玲芬李雄飞; 机构吉林大学教育部符号计算与知识工程重点实验室大连民族学院图形图像研究所; 出处《计算机工程与设计》 CSCD 北大核心 2009年第4期1017-1020,共4页; 基金国家自然科学基金项目(60675008) 科技部中小企业技术创新基金项目(01C26212200068) 大连民族学院青年基金项目(2006A203); 文摘基于内容图纸检索是图纸重用的关键技术,空间关系是图纸的内容的主要特征。由于空间关系描述复杂、特征向量的维数很高,在基于内容图纸检索中很难应用空间关系匹配。为了克服这些问题,提出了约简拓扑关系的方法,采用图谱方法提取拓扑特征向量,实现了特征向量的维数约减,从而通过多维索引技术有效地加速图纸检索。综合拓扑关系、形状和方位关系作为图纸内容,有效地提高了系统查准率和查全率,通过脱机方式提取拓扑关系和形状的特征向量,而联机方式提取方位关系特征向量,提高了系统检索效率。; 关键词图纸检索拓扑关系图谱特征向量维数约减; Keywords drawings retrieval topological relationship graph spectra feature vector dimension reduction; 分类号 TP391 [自动化与计算机技术—计算机应用技术]; 在线阅读下载PDF 职称材料

题名三个简单区域间的拓扑关系的推理及应用模型被引量：2: 4; 作者李健欧阳继红廖梦兰; 机构吉林农业大学信息技术学院吉林大学计算科学与技术学院吉林大学教育部符号计算与知识工程重点实验室; 出处《电子学报》 EI CAS CSCD 北大核心 2014年第1期125-129,共5页; 基金国家自然科学基金(No.61170092 No.61133011 +4 种基金 No.60973088 No.60973089 No.61103091 No.11071026) 吉林省科技发展计划(No.20130522110JH); 文摘本文通过将经典4-交集模型扩展得到8-交集体模型,对三个简单区域间的关系进行表示,并具体得到了三个简单区域间实际存在的109种拓扑关系图.通过对三个简单区域间的109种拓扑关系进行研究,建立了拓扑关系的推理系统,给出了拓扑关系复合表,进而给出了109种拓扑关系的概念邻域图.本文所建立的拓扑关系模型,可用于对机器人与两个指定障碍物间的拓扑关系进行定性模拟,对制定机器人的避障机制具有一定的指导意义.; 关键词定性空间推理三个简单区域机器人避障; Keywords qualitative spatial reasoning three simple regions robot obstacle avoidance; 分类号 TP18 [自动化与计算机技术—控制理论与控制工程]; 在线阅读下载PDF 职称材料

题名JLU-RLAO和JLU-QLAO:两个不确定智能规划求解系统: 5; 作者孙吉贵殷明浩吕帅; 机构吉林大学计算机科学与技术学院吉林大学教育部符号计算与知识工程重点实验室东北师范大学计算机学院; 出处《计算机研究与发展》 EI CSCD 北大核心 2009年第4期667-675,共9页; 基金国家自然科学基金重大项目(6049321) 国家自然科学基金项目(60473042 +3 种基金 60573067 60803102) 东北师范大学青年自然科学基金项目(20070601)~~; 文摘不确定环境下的智能规划问题往往假设世界状态的转移概率是确切可知的,然而规划建模专家有时只能在信息不完备的条件下进行建模,从而只能通过猜测或者不完全统计的方法来获取不完备的有关状态转移不确定性的定量信息,有时甚至只能获取相关的定性信息.在2004年概率规划比赛冠军LAO系统的基础上设计了JLU-RLAO系统和JLU-QLAO系统.它们可以在无法获得精确的状态转移概率条件下,依然保证规划求解的健壮性.实验结果表明,JLU-RLAO系统和JLU-QLAO系统可以快速高效地解决上述不确定智能规划问题.; 关键词智能规划不确定规划最坏模型最好模型定性决策; Keywords artificial intelligent planning planning under uncertainty worst model best model qualitative decision; 分类号 TP18 [自动化与计算机技术—控制理论与控制工程]; 在线阅读下载PDF 职称材料

	题名	作者	出处	发文年	被引量	操作
1	部分可观察强规划中约减观察变量的研究	周俊萍殷明浩谷文祥孙吉贵	《软件学报》 EI CSCD 北大核心	2009	19	在线阅读下载PDF 职称材料
2	求解QBF问题的启发式调查传播算法	殷明浩周俊萍孙吉贵谷文祥	《软件学报》 EI CSCD 北大核心	2011	11	在线阅读下载PDF 职称材料
3	基于内容的图纸检索的研究与设计	宋海玉王鹏杰王玲芬李雄飞	《计算机工程与设计》 CSCD 北大核心	2009	4	在线阅读下载PDF 职称材料
4	三个简单区域间的拓扑关系的推理及应用模型	李健欧阳继红廖梦兰	《电子学报》 EI CAS CSCD 北大核心	2014	2	在线阅读下载PDF 职称材料
5	JLU-RLAO和JLU-QLAO:两个不确定智能规划求解系统	孙吉贵殷明浩吕帅	《计算机研究与发展》 EI CSCD 北大核心	2009	0	在线阅读下载PDF 职称材料