殷明浩
- 作品数：53 被引量：251H指数：10
- 供职机构：东北师范大学更多>>
- 发文基金：国家自然科学基金国家教育部博士点基金教育部“新世纪优秀人才支持计划”更多>>
- 相关领域：自动化与计算机技术电子电信医药卫生更多>>
- 基于延迟部分推理的快速前向规划系统被引量：10
- 2008年
- 根据动作组件诱发关系的存在和抵制计算的必要性,提出一个计算松弛规划解的新方法——延迟部分推理.该方法在考虑动作删除效果的假定下,构造不包含任何互斥关系的组件规划图,通过定义"松弛诱发"关系预测后续规划过程中可能出现的组件诱发现象,在松弛规划解提取阶段判断动作组件间的"松弛诱发"关系并选择抵制动作避免可能发生的消极作用.基于延迟部分推理方法定义了新的启发式函数和剪枝策略,设计了规划系统FFc并在多个国际通用的测试域上进行实验.结果表明,FFc较之Fast-Forward在求解效率和求解质量方面都有显著的提高.
- 蔡敦波殷明浩谷文祥孙吉贵刘科成
- 关键词：启发式搜索
- 一种结合覆盖启发式的数量感知练习推荐方法
- 本发明公开了一种结合覆盖启发式的数量感知练习推荐方法，应用于电子装置，包括知识追踪步骤和练习推荐步骤；知识追踪步骤包括：收集学生信息及知识概念数据得到对应学生的练习记录数据；采用长短时记忆网络模型得到学生的知识水平数据；...
- 王艺源张烨马艺明周雨鹏殷明浩王佳男周俊萍李宏博胡书丽刘帅卓
- 文献传递
- 基于整数线性规划的智能规划研究被引量：7
- 2008年
- 整数线性规划是一种表示和求解智能规划问题的重要方法,本文较全面地介绍了近十年来国内外学者的相关研究工作,包括在智能规划中应用整数线性规划技术的重要方面、发展现状以及存在的问题,重点介绍了用整数线性规划求解智能规划问题的各种方法,旨在让关注该领域的学者能够快速地对这一领域有较为全面的了解,最后公开几个未解决的问题。
- 王俊淑殷明浩谷文祥张林
- 关键词：人工智能整数线性规划
- 最坏情况下Min-2SAT问题的上界被引量：1
- 2012年
- 最坏情况下MaxSAT问题上界的研究已成为一个热门的研究领域.与MaxSAT问题相对的是MinSAT问题,在求解某些组合优化问题时,将其转化为MinSAT问题比转化为MaxSAT问题有着更快的速度,因此对MinSAT问题进行研究.针对Min-2SAT问题提出算法MinSATAlg,该算法首先利用化简算法Simplify对公式进行化简,然后通过分支树的方法对不同情况的子句进行分支.从子句数目的角度分析算法的时间复杂度并证明Min-2SAT问题可在O(1.134 3m)时间内求解,对于每个变量至多出现在3个2-子句中的情况,得到最坏情况下的上界为O(1.122 5n),其中n为变量的数目.
- 谷文祥姜蕴晖周俊萍殷明浩
- 结合增量与启发式搜索的多目标问题处理方法被引量：4
- 2010年
- 提出了一种结合增量与启发式搜索的多目标问题处理方法,设计并实现了一个基于路径扩展方法的多目标增量启发式搜索系统.当问题搜索图中边的权重发生改变或添加删除节点时,该系统通过对搜索现场进行实时的更新,部分利用先前搜索保留的信息,从更新后的状态开始求解新的问题,从而提高了重搜索的效率.对gridworld标准测试样例进行了大量的系统测试,实验结果表明:结合增量与启发式搜索的处理方法能够有效地解决状态格局不断变化的一系列相似的多目标最短路径问题.
- 魏唯欧阳丹彤吕帅殷明浩
- 关键词：多目标问题启发式搜索
- 基于Linux的网络地址转换技术研究及其在校园网中的应用被引量：1
- 2004年
- 在Linux操作系统的基础上给出了地址转换技术的基本原理和功能架构,结合具体实现给出了相关的实验案例设计,并将之付诸实践.实验证明,通过网络地址转换技术,可以达到隐藏内部网络地址、节约IP资源、增强系统的安全性等目的.
- 王佳男殷明浩谷文祥
- 关键词：网络地址转换IP伪装透明代理LINUX
- 图规划框架下的启发式搜索的研究与发展被引量：6
- 2009年
- 随着智能规划研究的深入,以往的规划器已不能满足实际应用的需要。为了提高规划器求解实际问题的能力,启发式搜索产生了。对近10年来各种启发式搜索方法进行了分析,指出了它们的优缺点,并进行了比较。同时对智能规划及其启发式搜索的未来发展方向进行了分析与预测,旨在让研究和关心该领域的学者较为全面地了解这一领域。
- 谷文祥王改革殷明浩孙焱
- 关键词：人工智能启发式搜索
- 多值知识编译被引量：1
- 2011年
- 定义了一类新的易处理理论:s-EPCCL理论.在此基础上,提出了一种以s-EPCCL理论为目标语言的多值知识编译方法.该方法与现有知识编译方法不同的是,它可以对多值知识库进行编译.经过多值编译后,任意查询都可以在多项式时间内得到应答.
- 谷文祥郭鸿鹤殷明浩王金艳刘日仙
- 关键词：多值逻辑知识编译
- 嫦娥三号“玉兔号”巡视器行为规划方法被引量：5
- 2017年
- 为支持"玉兔号"巡视器完成对月面较大空间范围的科学探测,对动态任务进行快速规划,提出了一种基于人工智能领域智能规划技术的自动化任务规划方法。提出了行为持续时间和行为效果动态确定的时态规划模型(TP^(DD&DE)),设计了描述TP^(DD&DE)问题的规划领域定义语言PDDL——PDDL^(DD&DE),以及针对TP^(DD&DE)问题的启发式规划算法,运用Landmark知识分析规划问题结构,从而设计了合理反映动作前提评估顺序的启发函数。在嫦娥三号任务中,本文方法支撑"玉兔号"巡视器圆满完成了预期的科学探测任务。
- 高薇蔡敦波周建平高宇辉殷明浩
- 关键词：启发式搜索
- 一种多目标增量启发式搜索算法被引量：6
- 2009年
- 提出一种多目标增量启发式搜索算法,该算法结合启发式搜索与增量搜索的思想,当多目标问题搜索图的状态格局发生改变时,该算法并不是对变化后的问题进行完全重新求解,而是部分利用了先前搜索保留的信息求解新问题的最优解集,从而提高了问题求解的效率.通过Gridworld标准测试问题上的实验测试,验证了算法的效率.
- 魏唯欧阳丹彤吕帅殷明浩
- 关键词：启发式搜索多目标问题最优解集
