谷文祥

作品数：86被引量：303H指数：9
导出分析报告
供职机构：长春建筑学院更多>>
发文主题：人工智能数学模型SAT问题规划图汉字输入更多>>
发文领域：自动化与计算机技术理学电气工程文化科学更多>>
发文期刊：《计算机研究与发展》《软件学报》《计算机工程》《计算机应用》更多>>
所获基金：国家自然科学基金山东省自然科学基金国家教育部博士点基金教育部科学技术研究重点项目更多>>
-
在结果中检索

检索结果分析

署名顺序

  • 全部
  • 第一作者
结果分析中...
共 条 记 录，以下是1-10
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
网络入侵响应技术的研究
《电脑编程技巧与维护》2016年第19期69-69,72,共2页刘莹 谷文祥 
吉林省教育厅"十二五"规划科学技术研究重点项目(吉教科合字[2015]第563号;吉教科合字[2015]第572号)资助
网络技术发展迅速,其安全问题已经成为人们日益关注的焦点。面对复杂多样的网络入侵行为,国内外的学者们研究出了多种有效的响应技术来保证网络信息的保密性、完整性和可用性。介绍了网络入侵的研究现状,对目前比较流行且有效的网络入...
关键词：网络安全 网络入侵 应对规划 入侵响应 
SAT问题中隐蔽集求解的改进被引量：1
《微电子学与计算机》2014年第7期65-68,共4页李淑霞 龚茜茹 谷文祥 
国家自然科学基金(61070084)
隐蔽集(backdoor sets)作为隐藏结构的一种,能有效地提高难求解问题的求解效率,近年来成为人们研究的热点.隐蔽集中变量的赋值能有效减少SAT问题求解的搜索分支,从而减少问题求解的时间复杂度和空间复杂度.为提高SAT问题的求解效率,提...
关键词：SAT问题 隐蔽集 隐藏结构 最小隐蔽集 隐蔽集变量 
扩展规则方法研究综述被引量：2
《智能系统学报》2014年第1期1-11,共11页王金艳 谷文祥 覃少华 殷明浩 
国家自然科学基金资助项目(61070084;61272535;61163065;61370156;61165009);国家"973"计划资助项目(2012CB326403);广西自然科学基金资助项目(2013GXNSFBA019263;2012GXNSFAA053219);广西高校科研项目(2013YB029);"八桂学者"工程专项经费资助项目;广西师范大学博士启动基金资助项目
归结方法是自动推理的重要方法之一,而扩展规则是与归结对称的方法,近年来引起了研究者的广泛关注。从扩展规则的相关概念、在命题逻辑中的发展以及在一阶逻辑、描述逻辑、模态逻辑、可能性逻辑和多值逻辑中的应用3个方面论述分析了扩...
关键词：自动推理 归结方法 扩展规则 SAT #SAT 
置换流水线车间调度问题的研究被引量：9
《计算机科学》2013年第11期1-7,22,共8页刘莹 谷文祥 李向涛 
国家自然科学基金面上项目(61070084;60473042);吉林省教育厅"十二五"科学技术研究项目(556)资助
随着科学技术的发展和生产规模的不断扩大,置换流水线车间调度问题已经越来越受到广大学者的关注。目前,该领域已经出现了许多优化算法,其大大提高了生产的效率。尽管有一些文献已经进行了比较和综述,但是它们没有包括最新的求解方法和...
关键词：调度 置换流水线调度 元启发式 最大完成时间 延迟时间 
改进的萤火虫算法求解阻塞流水线调度问题被引量：19
《智能系统学报》2013年第1期33-38,共6页郭丽萍 李向涛 谷文祥 殷明浩 
国家自然科学基金资助项目(60803102;61070084)
为了提高阻塞流水线调度问题的求解性能,提出了一种改进的萤火虫算法来求解阻塞流水线调度问题.首先,提出一种离散机制把个体的实数编码形式转换成离散的作业序列,从而使算法能够应用于离散问题求解;其次,设计一种双重初始化方法,并将NE...
关键词：阻塞流水线调度问题 萤火虫算法 离散机制 NEH启发式 局部搜索 
基于分支回溯的NAE-3SAT问题求解算法
《智能系统学报》2012年第6期506-511,共6页谷文祥 傅琳璐 周俊萍 姜蕴晖 
国家自然科学基金资助项目(61070084;60803102);中央高校基本科研业务费专项资金资助项目(11QNJJ006);浙江师范大学计算机软件与理论省级重中之重学科开放基金资助项目(ZSDZZZZXK37)
NAESAT问题是可满足性问题的一个重要扩展,在集合分裂、最大割集等NP完全问题中有着重要的应用.针对NAESAT问题的泛化NAE-3SAT问题,提出了一个基于分支回溯的精确算法NAE.算法给出了多种化简规则,这些化简规则很好地提高了算法的时间效...
关键词：NAESAT NAE-3SAT 时间复杂性 NAE-3SAT问题上界 变量数目 分支回溯 
基于U-规划图与动作效果相关的规划识别研究
《吉林大学学报（信息科学版）》2012年第5期517-522,共6页谷文祥 綦小龙 王慧玲 黄秀林 
国家自然科学基金资助项目(61070084;60803102)
针对支持动作效果是多个的情况,智能体如何根据现有的信息为该效果确定最终的支持动作的问题进行了研究,并给出了相应的FSas算法。FSas算法分别从命题层和动作层出发,利用被观察到的动作效果或动作以及互斥计算减小了支持动作的空间,从...
关键词：规划识别 FSas算法 互斥计算 动作效果 
最坏情况下Min-2SAT问题的上界被引量：1
《智能系统学报》2012年第3期241-245,共5页谷文祥 姜蕴晖 周俊萍 殷明浩 
国家自然科学基金资助项目(61070084);国家自然科学青年基金资助项目(60803102);中央高校基本科研业务费专项资金资助项目(11QNJJ006)
最坏情况下MaxSAT问题上界的研究已成为一个热门的研究领域.与MaxSAT问题相对的是MinSAT问题,在求解某些组合优化问题时,将其转化为MinSAT问题比转化为MaxSAT问题有着更快的速度,因此对MinSAT问题进行研究.针对Min-2SAT问题提出算法MinS...
关键词：MaxSAT MinSAT Min-2SAT MaxSAT问题的上界 Min-2SAT问题的上界 子句数目 分支树 
可能性决策图
《东北师大学报（自然科学版）》2012年第2期36-40,共5页谷文祥 王乐 殷明浩 
国家自然科学基金资助项目(60803102;60473042;61070084;60573067)
基于可能性理论和二元决策图提出一种新的决策图———可能性决策图.用于对不确定环境下的不精确和模糊的信息进行编码,并严格证明了所提出的可能性决策图能规范地表示可能性命题公式.最后定义了可能性决策图上的三种运算.
关键词：二元决策图 可能性理论 可能性决策图 
可满足问题中的模型计数被引量：3
《智能系统学报》2012年第1期33-39,共7页谷文祥 朱磊 黄平 殷明浩 
国家自然科学基金资助项目(61070084;60573067;60803102)
模型计数问题是指计算给定问题的解的个数,这是一类比决策更困难的问题,也是人工智能领域研究的一个热点问题.对模型计数问题的研究不仅可以提高算法的求解效率,更能促进对问题困难本质的了解.以可满足问题(命题可满足(SAT)和约束可满...
关键词：人工智能 约束可满足问题 命题可满足问题 模型计数 
全选清除导出
共9页<123456789>
检索报告 对象比较 聚类工具 使用帮助 返回顶部