搜索筛选:
搜索耗时2.1635秒,为你在为你在102,285,761篇论文里面共找到 12 篇相符的论文内容
发布年度:
[学位论文] 作者：凌应标,
来源：中山大学 年份：2005
本文研究了经典规划形式化、SAT规划形式化、SAT问题求解算法和领域知识表示与使用等方面，主要的内容有：在研究智能规划概念模型、经典规划模型和因果理论规划模型的理论的基础......
[会议论文] 作者：凌应标,吴向军,
来源：2003年全国理论计算机科学学术年会 年份：2003
在本文中,首先给出一些相关定义和将SAT问题转换为一元函数求最大值的方法,然后阐述SAT-GA算法的基本思想,以及与算法相关的染色体编码、适应值函数、遗传算子的设计、早熟和...
[期刊论文] 作者：王甲海, 印鉴, 凌应标,,
来源：计算机教育 年份：2010
人工智能是计算机科学与技术专业的一门重要专业课程,是一门研究运用计算机模拟和延伸人脑功能的综合性学科。探讨就3个方面内容进行：启发式传授人工智能解决问题的非结构化的......
[会议论文] 作者：凌应标;李倩;周展文;,
来源：2004年全国理论计算机科学学术年会 年份：2004
最优分组周游路线问题是一类物流智能调度问题,是众多的计算难度极大的组合爆炸问题之一.自从运输问题最早由Hitchcock在1941年提出[2,4]后,人们对这一类问题给予了极大的关...
[期刊论文] 作者：吴向军,姜云飞,凌应标,,
来源：软件学报 年份：2007
提出了谓词之间的一种相似关系,并用该相似关系得到可实现某谓词的动作集.利用该动作集中所有动作的公共前提谓词和公共效果谓词,提取出隐含在动作描述中的领域知识,并给出了...
[期刊论文] 作者：吴向军,姜云飞,凌应标,,
来源：软件学报 年份：2008
智能规划器是智能规划研究成果的重要表现形式,规划器的求解效率和规划质量是智能规划理论研究的直接反映.首先介绍智能规划器的一般结构和StepByStep规划器的总体结构,然后...
[期刊论文] 作者：吴向军,姜云飞,凌应标,,
来源：软件学报 年份：2007
以规划领域中的动作为研究对象,提出了描述动作前提条件和效果之间关系的方法,定义了动作前提和效果之间的基本关系:直接伴随关系、条件伴随关系和直接阻碍关系等,这些基本关...
[期刊论文] 作者：凌应标,吴向军,姜云飞,
来源：计算机学报 年份：2005
该文提出了一种求解SAT问题的改进遗传算法(SAT-WAGA).SAT-WAGA算法有多个改进性特点:将SAT问题的结构信息量化为子句权重,增加了学习算子和判定早熟参数,学习算子能根据求解...
[会议论文] 作者：吴向军,姜云飞,凌应标,
来源：2003年全国理论计算机科学学术年会 年份：2003
本文所提的规划策略是我们正在研究的智能规划器的规划策略之一,该策略的主要思想已在计算机上得到实现.从目前所测试的所有例子来看,它对积木世界问题的求解质量非常高,能达...
[期刊论文] 作者：衣杨,凌应标,常会友,肖志娇,,
来源：计算机应用 年份：2006
设计了一个基于支持向量规划的香烟销量预测和销售趋势分析数学模型(LR_-εSVR和NLR_ε-SVR)及算法(-εSVR_SP)。企业的历史销售情况及企业外部的一些环境和条件作为算法的输入,输出未来一定时期的销量预测数据和销售趋势图。基于非线性核函数的学习算法降低了......
[期刊论文] 作者：吴向军,边芮,凌应标,姜云飞,,
来源：计算机研究与发展 年份：2011
搜索空间约减是智能规划研究中的重要内容之一.谓词知识树是一种特殊的树状结构,它表达了规划领域中实现同一谓词的所有动作.在规划求解过程中,这些动作的前提条件通常是不能...
[期刊论文] 作者：叶成绪,郭超凡,任竞尧,凌应标,张雨浓,,
来源：软件 年份：2017
作为人工智能的重要分支,人工神经网絡在许多数据学习和预测的应用方面有着长足的发展.本文提 出一种用于人口未来趋势预测的WASD （权值与结构确定）神经网络方法.不同于之前的......
相关搜索：
