搜索筛选:
搜索耗时2.3222秒,为你在为你在102,285,761篇论文里面共找到 47 篇相符的论文内容
发布年度:
[学位论文] 作者：殷明浩,,
来源：吉林大学 年份：2008
自动推理和智能规划自从二十世纪五十年代被提出,已经成为计算机科学中最重要的研究领域。基于演绎推理的规划求解方法、基于SAT的经典规划求解方法和基于QBF以及知识编译的...
[期刊论文] 作者：殷明浩,
来源：建筑工程技术与设计 年份：2014
随着桥梁建筑技术的发展，挂篮施工趋于定性化、标准化和系列化。我国大跨径桥梁数量大，拥有世界领先水平，但与美国等发达国家仍有差距。大跨径桥梁主要结构为斜拉桥、箱式梁桥和......
[学位论文] 作者：殷明浩,
来源：东北师范大学 年份：2004
经典智能规划多是在强约束假设条件的基础上建模的，例如要求规划agent对于动作的结果的知识完全，且规划agent执行动作的结果是确定的，从而不能运用于大多数实际系统和实际领域中......
[期刊论文] 作者：殷明浩,李欣,
来源：智能系统学报 年份：2013
为了广泛有效地将不可满足子式应用于知识验证、产品规划、硬件和软件的设计与验证等领域，对不可满足子式进行了相关研究．对当前不可满足子式的主要相关算法进行了概述评论、分......
[期刊论文] 作者：谷文祥, 殷明浩,,
来源：计算技术与自动化 年份：2002
决策树算法是数据挖掘技术领域的一种重要算法 ,唐华松、姚耀文在利用熵和加权和思想的基础上提出了一种加权熵算法 ,但是此算法在解决模糊问题上有其不足之处 ,我们在加权熵...
[期刊论文] 作者：殷明浩,林海,孙吉贵,
来源：软件学报 年份：2009
#SAT问题是SAT问题的扩展，需要计算出给定命题公式集合的模型个数，通过将问题求解沿着归结的反方向进行，并利用容斥原理解决由此带来的空间复杂性问题，提出了一种基于扩展规则的......
[期刊论文] 作者：殷明浩,林海,孙吉贵,,
来源：软件学报 年份：2009
#SAT问题是SAT问题的扩展,需要计算出给定命题公式集合的模型个数.通过将问题求解沿着归结的反方向进行,并利用容斥原理解决由此带来的空间复杂性问题,提出了一种基于扩展规...
[期刊论文] 作者：张洪铭,殷明浩,冯恺,,
来源：科技风 年份：2017
以智能化时代为背景以及在老年化时代到来和上班一族竞争压力增大的前提下,智能家居时代针对安全方面的投入 也越来越多.针对老年人出门后时常忘关窗户的情况,可能导致室内出...
[期刊论文] 作者：谷文祥,朱磊,黄平,殷明浩,,
来源：智能系统学报 年份：2012
模型计数问题是指计算给定问题的解的个数,这是一类比决策更困难的问题,也是人工智能领域研究的一个热点问题.对模型计数问题的研究不仅可以提高算法的求解效率,更能促进对问...
[期刊论文] 作者：孙吉贵,殷明浩,吕帅,,
来源：计算机研究与发展 年份：2009
不确定环境下的智能规划问题往往假设世界状态的转移概率是确切可知的，然而规划建模专家有时只能在信息不完备的条件下进行建模，从而只能通过猜测或者不完全统计的方法来获取不......
[期刊论文] 作者：周俊萍,姜蕴晖,殷明浩,
来源：计算机研究与发展 年份：2014
最坏情况下XSAT问题上界的研究已成为一个热门的研究领域.针对XSAT的泛化问题X2 SAT提出了算法X2SAT-N,该算法首先利用简化算法Simplify对公式进行化简,然后通过分支树的方法...
[期刊论文] 作者：殷明浩,刘华,谷文祥,
来源：东北师大学报：自然科学版 年份：2010
提出一种新的基于知识编译的模型计数方法——MTREE.该方法以一个否定范式（NF）作为输入,利用命题表推演过程,结合香农扩展和简化规则,将输入的否定范式编译成与之等价的R-模型...
[期刊论文] 作者：谷文祥,王乐,殷明浩,,
来源：东北师大学报(自然科学版) 年份：2012
基于可能性理论和二元决策图提出一种新的决策图———可能性决策图.用于对不确定环境下的不精确和模糊的信息进行编码,并严格证明了所提出的可能性决策图能规范地表示可能性...
[期刊论文] 作者：傅琳璐,周俊萍,殷明浩,,
来源：计算机科学与探索 年份：2012
摘要：X3SAT最大海明距离问题是指对于一个X3SAT问题实例，寻找该问题的任意两组可满足赋值之间的最大海明距离。提出了一个基于DPLL的精确算法HMX来求解X3SAT最大海明距离问题，根...
[期刊论文] 作者：谷文祥,黄平,朱磊,殷明浩,,
来源：计算机科学 年份：2011
在人工智能研究领域的很多问题中存在着相变现象（phase transition）。问题中的某个参数发生较小的变化便会引起问题的某个属性发生突变。相变现象与问题求解结构有很大关系,将...
[会议论文] 作者：谷文祥,李杨,殷明浩,
来源：2004年全国理论计算机科学学术年会 年份：2004
规划识别是指根据观察到的动作集合来推断agent的目标,并将这些观察到的动作组成一个关于该目标的规划.应用规划识别,agent可以从片段的、部分的观察动作中获得完整的规划.而...
[期刊论文] 作者：刘日仙, 谷文祥, 殷明浩,,
来源：计算机工程 年份：2005
智能规划识别已经被广泛地用于自然语言理解、知识推理、情景演算等计算机系统的许多方面.文章介绍了国内外学者的相关研究,包括规划识别研究的历史与现状、问题与展望.并介...
[期刊论文] 作者：谷文祥,郭丽萍,殷明浩,,
来源：智能系统学报 年份：2011
针对单纯使用模糊c-均值算法(FCM)求解模糊聚类问题的不足,首先,提出一种改进的万有引力搜索算法,通过一定概率按照不同方式对速度进行更新,有效增大了种群的搜索域.其次,提...
[期刊论文] 作者：谷文祥,王金艳,殷明浩,,
来源：计算机研究与发展 年份：2011
在基于扩展规则的知识编译算法的基础上提出了2种启发式策略：MCN策略和MO策略．MCN策略和MO策略利用子句集的信息分别选择相应子句和变量，减少扩展规则的使用次数，进而降低知识编......
[期刊论文] 作者：张友红,谷文祥,殷明浩,
来源：东北师大学报：自然科学版 年份：2006
在研究了汉字有穷自动机可以表示的语言基础上，引进了最小状态汉字有穷自动机和可区分状态的概念，并利用汉字有穷自动机间的等价性和可区分状态的性质，给出了一种最小化算法，实验......
相关搜索：
