期刊文献+
共找到137篇文章
< 1 2 7 >
每页显示 20 50 100
旅游市场客源结构的SSM分析——以上海市海外游客市场为例 被引量:77
1
作者 吕帅 汪宇明 +1 位作者 龚伟 程怡 《旅游学刊》 CSSCI 北大核心 2006年第11期60-64,共5页
转移-份额分析法是考察区域经济结构极其重要的一种方法。客源市场结构变化是旅游目的地发展战略制定的主要影响因素。基于海外游客市场结构的SSM分析,发现上海海外客源市场中,日、韩、德、加、泰及澳大利亚等市场结构份额比较稳定,港... 转移-份额分析法是考察区域经济结构极其重要的一种方法。客源市场结构变化是旅游目的地发展战略制定的主要影响因素。基于海外游客市场结构的SSM分析,发现上海海外客源市场中,日、韩、德、加、泰及澳大利亚等市场结构份额比较稳定,港澳台地区及马、菲等市场呈现结构份额下降趋势,美、英、新等市场结构份额呈上升趋势;港台地区和美、英、德、新、俄市场竞争潜力较强;澳门地区及马、韩市场竞争潜力呈现弱化趋势,应引起上海乃至中国拓展海外旅游市场营销的关注。 展开更多
关键词 转移-份额分析法(SSM) 竞争力转移分量 海外旅游市场结构 上海
在线阅读 下载PDF
基于自动推理技术的智能规划方法 被引量:22
2
作者 吕帅 刘磊 +1 位作者 石莲 李莹 《软件学报》 EI CSCD 北大核心 2009年第5期1226-1240,共15页
对几种智能规划方法中利用的逻辑演绎与推理技术予以分析,分别介绍利用命题逻辑的基于可满足性的规划方法与规划系统,利用模态逻辑与析取推理的Conformant规划方法与规划系统,利用非单调逻辑的规划方法和利用模糊描述逻辑的Flexible规... 对几种智能规划方法中利用的逻辑演绎与推理技术予以分析,分别介绍利用命题逻辑的基于可满足性的规划方法与规划系统,利用模态逻辑与析取推理的Conformant规划方法与规划系统,利用非单调逻辑的规划方法和利用模糊描述逻辑的Flexible规划方法,并结合国际规划竞赛和相关论文等的实验结论说明上述方法的有效性和可行性.最后,提出目前基于自动推理技术的智能规划方法所面临的挑战、可能的处理方法以及与之相关的研究热点与趋势. 展开更多
关键词 智能规划 命题逻辑 模态逻辑 非单调逻辑 描述逻辑 自动推理 可满足性
在线阅读 下载PDF
印尼褐煤湿煤末(煤泥)热解和燃烧特性及动力学分析 被引量:25
3
作者 吕帅 吕国钧 +6 位作者 蒋旭光 池涌 严建华 岑可法 余学海 廖海燕 赵华 《煤炭学报》 EI CAS CSCD 北大核心 2014年第3期554-561,共8页
为获得印尼褐煤湿煤未(煤泥)热解燃烧的反应机理,采用热重法研究了印尼褐煤湿煤末在不同加热速率下的热解和着火燃烧过程,得到热解和燃烧反应特征参数;并采用Coats-Redfern积分法进行动力学分析。结果表明:升温速率对热解和燃烧反应特... 为获得印尼褐煤湿煤未(煤泥)热解燃烧的反应机理,采用热重法研究了印尼褐煤湿煤末在不同加热速率下的热解和着火燃烧过程,得到热解和燃烧反应特征参数;并采用Coats-Redfern积分法进行动力学分析。结果表明:升温速率对热解和燃烧反应特征温度和其他特征参数基本都有正相关的影响。对于热解过程,反应线性拟合结果呈明显的三段式分布,不同升温速率下质量平均表观活化能分别为43.2,33.2和33.9 kJ/mol。相同转化率区间内,试样热解活化能与升温速率关系不大;而在同一升温速率下,试样热解反应活化能随转化率的增加而增加,呈正相关性。与热解反应不同,燃烧反应动力学参数在整个反应区间直接线性拟合结果较好。10,30和50℃/min升温速率下的反应分别为2级、1.5级和1.5级化学反应,活化能分别为101.74,72.93和51.82 kJ/mol。 展开更多
关键词 印尼褐煤湿煤末 热解 燃烧 动力学 Coats-Redfern
在线阅读 下载PDF
海量信息分级存储数据迁移策略研究 被引量:28
4
作者 吕帅 刘光明 +1 位作者 徐凯 刘欣 《计算机工程与科学》 CSCD 北大核心 2009年第A01期163-167,共5页
以数据为中心的计算模式对存储系统的性能和可靠性提出了新的更高的要求。目前,PB量级的存储系统需要数千甚至上万块磁盘,高并行性、高可靠性和高性价比是海量磁盘存储系统的三项关键要求。本文提出由性能和可靠性不同的两级磁盘阵列组... 以数据为中心的计算模式对存储系统的性能和可靠性提出了新的更高的要求。目前,PB量级的存储系统需要数千甚至上万块磁盘,高并行性、高可靠性和高性价比是海量磁盘存储系统的三项关键要求。本文提出由性能和可靠性不同的两级磁盘阵列组成二级海量存储系统,通过数据自动迁移,可在保证存储系统高性价比的条件下,获得更高的并行访问速率和可靠性。本文基于分级存储管理的思想,提出了FC—SAS和SATAII两级存储模型,设计了FV数据价值评定模型和迁移过程控制策略,实现对数据价值的精确判定,在尽量减小对系统访问性能影响的基础上,实现数据在两级设备间的高效迁移和用户的透明访问。 展开更多
关键词 数据迁移 分级存储管理 数据价值 管理模型
在线阅读 下载PDF
日本行政区划体制的形成与改革及其对中国的启示 被引量:7
5
作者 吕帅 王凯 +1 位作者 龚伟 程怡 《中国人口·资源与环境》 CSSCI 2007年第1期139-141,共3页
关键词 行政区划 中国经济 改革 体制 日本 经济基础 上层建筑 行政管理
在线阅读 下载PDF
基于模态逻辑D公理系统的Conformant规划方法 被引量:6
6
作者 吕帅 刘磊 +1 位作者 李莹 石莲 《计算机研究与发展》 EI CSCD 北大核心 2009年第7期1160-1168,共9页
2006年,conformant规划问题成为国际规划竞赛不确定性问题域中的标准测试问题,得到研究人员的广泛关注.目前,conformant规划系统都是将其看成信念状态空间上的启发式搜索问题予以求解.通过分析conformant规划问题的语法和语义,提出新的... 2006年,conformant规划问题成为国际规划竞赛不确定性问题域中的标准测试问题,得到研究人员的广泛关注.目前,conformant规划系统都是将其看成信念状态空间上的启发式搜索问题予以求解.通过分析conformant规划问题的语法和语义,提出新的基于模态逻辑的规划框架,将其转换为模态逻辑D公理系统的一系列定理证明问题.提出2种基于模态逻辑的编码方式,构造相应的公理与推理规则形成模态公式集,保证对于D系统的定理证明过程等同于原问题的规划过程,并通过问题实例验证该方法的有效性.继基于SAT、CSP、线性规划、模型检测等求解技术的规划方法后,该规划框架是基于转换的规划方法的一种新的尝试. 展开更多
关键词 conformant规划 模态逻辑 自动推理 可满足性 公理系统 D公理
在线阅读 下载PDF
基于成果导向理念的教育改革实践与探索——以英国邓迪大学为例 被引量:63
7
作者 吕帅 朱泓 赵磊 《重庆高教研究》 2017年第2期101-106,共6页
成果导向教育理念在人才培养质量提升方面具有十分显著的作用,在国外已得到较为广泛的应用。作为最早应用成果导向教育理念之一的高校,邓迪大学医学院在学习成果确定、课程体系设计及教学环境优化等方面进行了教育改革,取得了显著成效... 成果导向教育理念在人才培养质量提升方面具有十分显著的作用,在国外已得到较为广泛的应用。作为最早应用成果导向教育理念之一的高校,邓迪大学医学院在学习成果确定、课程体系设计及教学环境优化等方面进行了教育改革,取得了显著成效。针对当前我国教育发展面临的困境,借鉴国外成功的经验,我国高校应实现四大转变:一是树立成果导向教育理念,由"重投入"向"重产出"转变;二是建立持续评估机制,由"重外部监管"向"重内部驱动"转变;三是探寻教学方法的多样化,由"以教为中心"向"以学为中心"转变;四是加强师生交流互动,由"单一主体参与"向"多元主体参与"转变。 展开更多
关键词 成果导向理念 邓迪大学 人才培养 教育改革
在线阅读 下载PDF
高粘稠物料在灌装阀体内的流动状态分析 被引量:17
8
作者 吕帅 张裕中 《包装工程》 CAS CSCD 北大核心 2012年第15期10-15,共6页
根据灌装高粘稠物料的活塞式灌装机的结构和参数,利用软件Proe/E建立了三通阀及进出料口内流道的三维几何模型。应用前处理软件Gambit进行网格的划分、细化,然后对出料口在Fluent中进行计算研究,应用CFD对活塞式灌装机的阀和活塞的运动... 根据灌装高粘稠物料的活塞式灌装机的结构和参数,利用软件Proe/E建立了三通阀及进出料口内流道的三维几何模型。应用前处理软件Gambit进行网格的划分、细化,然后对出料口在Fluent中进行计算研究,应用CFD对活塞式灌装机的阀和活塞的运动关系进行分析,并对阀芯运动到不同位置时的流速、压力,以及高粘稠物料的湍流强度进行了分析,获得了阀在不同位置时,不同流量下受到的湍流强度、流速、流量系数与流量、角度之间的关系。对高粘度物料的灌装和结构参数优化具有一定的借鉴意义。 展开更多
关键词 三通阀 活塞 CFD 流速 压力 湍流 流量系数
在线阅读 下载PDF
中国煤中砷的含量分布及分级研究 被引量:5
9
作者 吕帅 马施民 +3 位作者 孔祥如 孙萌萌 赵明东 郭昌鑫 《中国矿业》 北大核心 2014年第3期125-129,共5页
砷是煤中有害的微量元素之一,针对目前煤中砷对环境和人类健康的危害问题,本文依据全国已发表的煤样数据资料,对不同时代、不同煤变质程度和各省市煤样品中砷的含量重新进行了统计分析,结果表明统计数据频率直方图和频率密度曲线呈单峰... 砷是煤中有害的微量元素之一,针对目前煤中砷对环境和人类健康的危害问题,本文依据全国已发表的煤样数据资料,对不同时代、不同煤变质程度和各省市煤样品中砷的含量重新进行了统计分析,结果表明统计数据频率直方图和频率密度曲线呈单峰且近于对称,显示了煤中砷的含量呈正态分布的特性。参照前人提出的煤中砷含量分级标准,提出了我国煤中砷含量新分级标准。最后,针对煤中砷的污染防治和砷含量限值给出了相关建议。 展开更多
关键词 煤中砷 分布特征 分级 环境影响
在线阅读 下载PDF
基于小波变换去噪预处理的EMD谐波检测方法 被引量:15
10
作者 吕帅 张靠社 《电网与清洁能源》 北大核心 2016年第6期58-61,67,共5页
将经验模式分解(empirical mode decomposition,EMD)作为电网谐波的检测方法。通过EMD法分解,把含谐波的正弦信号分解成为包含各阶次谐波的IMF分量和工频分量,从而检测出电网中的谐波分量。研究发现采样信号中的噪声会对EMD的分解产生... 将经验模式分解(empirical mode decomposition,EMD)作为电网谐波的检测方法。通过EMD法分解,把含谐波的正弦信号分解成为包含各阶次谐波的IMF分量和工频分量,从而检测出电网中的谐波分量。研究发现采样信号中的噪声会对EMD的分解产生较大影响,提出了一种基于小波变换去噪预处理的EMD谐波检测方法。此方法首先用小波变换减少随机白噪声对信号的影响,随后对含少量白噪声的信号进行EMD分解。经MATLAB仿真分析,所提方法可以有效地消除随机噪声对谐波检测的影响,提高了EMD谐波检测的精度与适用性。 展开更多
关键词 谐波检测 经验模态分解 模态混叠 小波变换
在线阅读 下载PDF
智能规划的逻辑编码方式研究 被引量:2
11
作者 吕帅 刘磊 +1 位作者 魏唯 高冰冰 《计算机研究与发展》 EI CSCD 北大核心 2012年第3期607-619,共13页
逻辑编码方式的设计和实现是基于转换的规划方法有效处理的关键.对几种智能规划方法中的逻辑编码方式予以分析,分别介绍线性编码、基于Graphplan的编码、基于状态的编码、基于动作的编码、基于命题的编码、基于转移的编码、提升的因果... 逻辑编码方式的设计和实现是基于转换的规划方法有效处理的关键.对几种智能规划方法中的逻辑编码方式予以分析,分别介绍线性编码、基于Graphplan的编码、基于状态的编码、基于动作的编码、基于命题的编码、基于转移的编码、提升的因果编码、基于多值变元的编码、基于有向二元决策图的编码以及基于约束可满足的编码等,并结合国际规划竞赛和相关论文等的实验结论,说明上述编码方式的有效性和可行性,分析该类编码方式在其他领域的应用前景.最后,提出目前智能规划方法中逻辑编码方式研究所面临的挑战、可能的处理方法,以及与之相关的研究热点与趋势. 展开更多
关键词 智能规划 逻辑 编码方式 编码 公理
在线阅读 下载PDF
两种新的基于扩展规则#SAT问题求解算法 被引量:2
12
作者 吕帅 张桐搏 +1 位作者 王强 刘磊 《东北大学学报(自然科学版)》 EI CAS CSCD 北大核心 2019年第5期630-634,646,共6页
提出一种新的基于扩展规则的#SAT求解算法NCER,该算法在#ER的基础上加入启发式策略.该策略每次选择当前子句集的最长子句来减小极大项空间,使得递归调用的次数减少,从而加快求解效率.为解决基于扩展规则的#SAT求解器在互补因子较小的样... 提出一种新的基于扩展规则的#SAT求解算法NCER,该算法在#ER的基础上加入启发式策略.该策略每次选择当前子句集的最长子句来减小极大项空间,使得递归调用的次数减少,从而加快求解效率.为解决基于扩展规则的#SAT求解器在互补因子较小的样例上的不良表现,结合NCER和CDP的优点提出混合#SAT求解算法NCDPER.实验结果表明:NCER较先前的#ER在所有85个随机SAT测试用例上有了显著的提高.通过与目前最好的基于扩展规则的#SAT求解器的比较,该求解器具有更好的性能. 展开更多
关键词 自动推理 扩展规则 模型计数 极大项空间 启发式策略
在线阅读 下载PDF
白色在现代建筑与室内空间中的发展线索研究 被引量:8
13
作者 吕帅 宋立民 《家具与室内装饰》 北大核心 2022年第1期96-100,共5页
文章以研究白色在现代建筑与室内空间中应用的发展线索为目的,以现代设计史为研究视野,通过文献研究法将有关人物、团体、时间、事件进行归纳总结,同时阐述了白色本身所具备的空间功能。全文结合审美、健康以及风格学派三项因素,在研究... 文章以研究白色在现代建筑与室内空间中应用的发展线索为目的,以现代设计史为研究视野,通过文献研究法将有关人物、团体、时间、事件进行归纳总结,同时阐述了白色本身所具备的空间功能。全文结合审美、健康以及风格学派三项因素,在研究结果中提出了推动白色在现代建筑与室内空间中发展的主要线索包括以下方面:第一,反装饰主义的审美启蒙;第二,二十世纪以来疫病与医疗的影响;第三,新现代主义风格和日本现代建筑学派的传承、发扬。 展开更多
关键词 现代建筑 室内空间 建筑色彩 白色 白色派 疫病与健康 环境设计
在线阅读 下载PDF
基于天然采光性能的建筑中庭形体设计导则研究 被引量:7
14
作者 吕帅 林波荣 《南方建筑》 2018年第2期55-59,共5页
建筑师在进行形体创作时须将良好的技术性能作为重要目标,而直观、形象、非严格定量的设计导则是一种简易有效的辅助手段。然而,运用数字设计方法辅助建筑形体创作中的技术性能问题的既有研究对设计导则的关注较少,不能满足形体创作需... 建筑师在进行形体创作时须将良好的技术性能作为重要目标,而直观、形象、非严格定量的设计导则是一种简易有效的辅助手段。然而,运用数字设计方法辅助建筑形体创作中的技术性能问题的既有研究对设计导则的关注较少,不能满足形体创作需求。本研究结合参数化模型、性能模拟等数字方法,以中庭为例、探讨了基于天然采光性能的圆形与方形中庭形体设计导则。研究结果表明,中庭的面积、贯穿层数、平面比例等形体参数对其天然采光性能具有显著影响,故在形体创作中建筑师应结合设计导则将天然采光性能纳入考虑;此外,本研究所采用的技术路线能够揭示建筑的技术性能与其形体特征的关系、是一种有效的设计导则获取方法。 展开更多
关键词 数字设计 建筑性能 设计导则 形体设计 中庭空间
在线阅读 下载PDF
结合进化算法的深度强化学习方法研究综述 被引量:20
15
作者 吕帅 龚晓宇 +2 位作者 张正昊 韩帅 张峻伟 《计算机学报》 EI CAS CSCD 北大核心 2022年第7期1478-1499,共22页
深度强化学习是目前机器学习领域中重要的研究分支之一,它可以通过直接与环境进行交互实现端到端的学习,对高维度和大规模的问题有着很好的解决能力.虽然深度强化学习已经取得了瞩目的成果,但其仍面临着对环境探索能力不足、鲁棒性差、... 深度强化学习是目前机器学习领域中重要的研究分支之一,它可以通过直接与环境进行交互实现端到端的学习,对高维度和大规模的问题有着很好的解决能力.虽然深度强化学习已经取得了瞩目的成果,但其仍面临着对环境探索能力不足、鲁棒性差、容易受到由欺骗性奖励导致的欺骗性梯度影响等问题.进化算法普遍具有较好的全局搜索能力、良好的鲁棒性和并行性等优点,因此将进化算法与深度强化学习结合用于弥补深度强化学习不足的方法成为了当前研究的热点.该文主要关注进化算法在无模型的深度强化学习方法中的应用,首先简单介绍了进化算法和强化学习基本方法,之后详细阐述了两类结合进化算法的强化学习方法,分别是进化算法引导策略搜索的强化学习和结合进化算法的深度强化学习,同时对这些方法进行了对比与分析,最后对该领域的研究重点和发展趋势进行了探究. 展开更多
关键词 强化学习 深度强化学习 进化算法 遗传算法 进化策略
在线阅读 下载PDF
一种约简动作变元的命题规划编码方式 被引量:1
16
作者 吕帅 刘磊 +1 位作者 江鸿 史晶晶( 《计算机研究与发展》 EI CSCD 北大核心 2010年第10期1756-1763,共8页
基于动作的编码方式是2006年国际规划竞赛中著名的最优规划系统SATPLAN2006采用的一种基于约简状态变元的命题规划编码方式.依据基于动作的编码方式,提出一种基于约简动作变元的自动命题规划编码方式:基于命题的编码方式.首先分析构造... 基于动作的编码方式是2006年国际规划竞赛中著名的最优规划系统SATPLAN2006采用的一种基于约简状态变元的命题规划编码方式.依据基于动作的编码方式,提出一种基于约简动作变元的自动命题规划编码方式:基于命题的编码方式.首先分析构造新编码方式的理论依据,提出基于命题的编码方式的编码组成,证明其有效性,并描述某些公理的具体实现细节,最后分析其与已有几种编码方式的不同之处.在SATPLAN2006中实现了基于命题的编码方式,利用国际规划竞赛选用的标准测试问题予以测试,并分析其与基于动作的编码方式等两种极端编码方式的求解特性.实验结果表明:对于顺序规划问题域,基于命题的编码方式更有效,而对于并发规划问题域,基于动作的编码方式更有效. 展开更多
关键词 智能规划 基于可满足性的规划 编码方式 可满足性 公理
在线阅读 下载PDF
国外旅游形象研究及其对国内的启示——基于1996年~2007年TM和ATR所载文献 被引量:13
17
作者 吕帅 《旅游科学》 CSSCI 2009年第1期38-43,共6页
通过选取Tourism Management和Annals of Tourism Research(1996年~2007年)有关旅游目的地形象的29篇文献,对其研究内容、方法以及研究的空间层次进行分析,本文认为这些文献的研究内容主要集中在旅游感知形象、目的地旅游形象影响、目... 通过选取Tourism Management和Annals of Tourism Research(1996年~2007年)有关旅游目的地形象的29篇文献,对其研究内容、方法以及研究的空间层次进行分析,本文认为这些文献的研究内容主要集中在旅游感知形象、目的地旅游形象影响、目的地形象影响因素和形象构建、媒体及影视作品等对目的地形象的影响以及重大事件对目的地形象的影响五个方面,并指出其对国内旅游形象研究的启示。 展开更多
关键词 旅游形象 目的地形象 国外研究
在线阅读 下载PDF
基于概率的震级完备度方法评估云南地震台网的监测能力 被引量:1
18
作者 杨周胜 杨晶琼 +2 位作者 刘鹏飞 吕帅 姚远 《地震研究》 北大核心 2025年第1期61-70,共10页
为了科学评估云南地震台网的监测能力,分析云南地区的地震监测能力时空分布特征,采用基于概率的震级完备度(PMC)方法,利用2009-2023年云南地震台网地震目录、震相和台站信息等数据,计算了云南地震台网在云南地区的平均地震监测能力和在... 为了科学评估云南地震台网的监测能力,分析云南地区的地震监测能力时空分布特征,采用基于概率的震级完备度(PMC)方法,利用2009-2023年云南地震台网地震目录、震相和台站信息等数据,计算了云南地震台网在云南地区的平均地震监测能力和在不同深度的监测能力,得到滇中、滇西局部地区的基于概率的完备性震级M_(P)=1.5,云南全境基本都能监测到2.5级地震。评估了研究时段内云南地震台网台站监测能力的演变,发现部分台站的监测能力持续下降。但自2018年增加20个台站后,云南2.0及2.5级地震的监测范围有一定的扩大,但微震监测能力提升不明显,可能是因为2018年以来云南一直处于小震弱活动状态。最后,对应用PMC方法规划提升台网监测能力进行了展望。 展开更多
关键词 完备震级 地震监测能力 PMC方法 云南地震台网 检测概率 空间分布
在线阅读 下载PDF
依赖公理约简的经典规划方法
19
作者 吕帅 刘磊 +2 位作者 石莲 魏唯 杨超 《电子学报》 EI CAS CSCD 北大核心 2011年第2期322-328,共7页
基于可满足性的规划方法通过将经典规划问题转换为一系列可满足性问题进行求解.几乎所有基于可满足性的规划编码都存在着大量的重叠公理和冗余公理,直接决定了编码理论的编码大小与求解难度.通过分析基于Graphplan的编码方式,分别提出... 基于可满足性的规划方法通过将经典规划问题转换为一系列可满足性问题进行求解.几乎所有基于可满足性的规划编码都存在着大量的重叠公理和冗余公理,直接决定了编码理论的编码大小与求解难度.通过分析基于Graphplan的编码方式,分别提出了重叠公理的判定策略和冗余公理的删除策略.在SATPLAN2006规划系统中实现相应的编码方式并与原系统进行比较,实验结果表明:该约简方法能够在不降低规划性能的前提下有效地压缩转换理论的编码大小.通过分析基于状态的编码方式,提出了重叠公理的判定策略.重叠公理与冗余公理的约简容易实现,且并未改变知识库的结构模式,为进一步提高规划系统处理更大规模问题的能力提供了可能. 展开更多
关键词 智能规划 基于可满足性的规划 命题逻辑 公理约简 编码
在线阅读 下载PDF
基于命题可满足性的经典最优规划方法
20
作者 吕帅 刘磊 +1 位作者 江鸿 魏唯 《计算机科学》 CSCD 北大核心 2010年第4期192-196,共5页
基于Graphplan的编码方式是2006年国际规划竞赛中著名的最优规划系统SATPLAN2006采用的编码方式。首先给出与编码相关的概念与性质,在基于Graphplan的编码方式的基础上,设计一种新的编码方式:基于FA的编码方式,并从理论上证明该编码方... 基于Graphplan的编码方式是2006年国际规划竞赛中著名的最优规划系统SATPLAN2006采用的编码方式。首先给出与编码相关的概念与性质,在基于Graphplan的编码方式的基础上,设计一种新的编码方式:基于FA的编码方式,并从理论上证明该编码方式的有效性。设计并实现对应的规划系统FA-SP,利用国际规划竞赛选用的Benchmark问题予以测试。实验结果表明,与SATPLAN2006相比,FA-SP对于所测两类规划域编码规模均有所压缩,除个别问题外求解效率都有一定程度的提高;对于顺序规划域Blocks World,编码规模平均压缩了40%,求解效率平均提高了2倍;对于并发规划域Logistics,带有小于5%的框架公理的FA编码规模平均压缩了75%,求解效率也有不同程度的提高。 展开更多
关键词 基于可满足性的规划 基于Graphplan的编码 编码 框架公理 规划系统
在线阅读 下载PDF
上一页 1 2 7 下一页 到第
使用帮助 返回顶部