国家自然科学基金(61142011)
- 作品数：5 被引量：3H指数：1
- 相关作者：李伟生代飞刘森森王冬肖祖仁更多>>
- 相关机构：重庆邮电大学更多>>
- 发文基金：国家自然科学基金教育部“新世纪优秀人才支持计划”更多>>
- 相关领域：自动化与计算机技术更多>>
- 基于多目标测量函数的规划解质量测评方法
- 2012年
- 智能规划中,大部分规划器注重求解过程,而缺乏对规划解质量的优劣进行分析。针对这一不足,提出使用规划时间、规划长度、倾向约束、资源约束等判断依据构建出多目标测量函数,对规划解的质量进行综合测评和优劣分析。实验表明,该方法可行且具有实际意义。最后,就未来的研究方向进行展望。
- 李伟生肖祖仁
- 关键词：质量测评
- 基于增加最优优先搜索多样性的研究被引量：1
- 2013年
- 针对最有优先搜索单一依赖启发式函数指导搜索,使得搜索陷入局部最优和高原状态而不能有效改善规划解,提出了一种增加最优优先搜索择多样性的方法。将开列表分成包含不同启发式信息的多列表,进而增加开列表选择的多样性。为了增加状态节点选择的多样,一次扩展多个列表中的状态节点,不仅仅扩展最优状态节点。实验结果表明,增加搜索的多样性后,规划解的质量有了一定的改善。
- 李伟生代飞
- 关键词：多样性
- 一种优化的一致性规划状态变量选择算法
- 2016年
- 研究了一致性规划任务信念状态空间的表示方法。针对一致性有限域表示(CPT-FDR)算法在任务生成阶段选择状态变量的不足,提出了一种基于初始状态中文字相容互斥的状态变量选择算法——MECV算法。CPT-FDR未考虑初始信念状态中文字的互斥性,产生冗余的编码信息,降低了编码的效率。MECV算法利用有用正负文字构造新的未覆盖事实集,提取初始信念状态中处于不同世界状态的文字组成互斥组,再编码状态变量。实验结果表明该算法能有效地压缩信念状态空间。
- 李伟生李颜秀
- 基于单逻辑程序的一致性规划任务有限域表示方法被引量：1
- 2014年
- 有限域表示(FDR)能有效地压缩状态空间,其转换算法在实例化阶段对每个初始状态都生成一个逻辑程序,而一致性规划任务的初始状态数量通常较大,所以这通常需要较大的时间和空间开销,甚至导致内存溢出。为了提高转换算法运行效率使其能处理更为复杂的规划问题,提出了一种基于单逻辑程序的IFDR转换算法。IFDR算法从初始信念状态中所有可能的初始世界状态得到一个事实集,再由动作和公理计算得到一个规则集。一个事实集和一个规则集组成一个逻辑程序,IFDR用此单逻辑程序完成实例化。实验结果表明IFDR算法在解决问题的效率和数量上都有所提高。
- 李伟生刘森森
- 关键词：逻辑程序
- 改进自适应学习树电源管理预测策略被引量：1
- 2013年
- 为了降低嵌入式设备的功耗,研究了基于自适应学习树结构模型的动态电源管理预测策略。通过在基于概率自适应学习树结构模型的基础上添加空闲时间长度结点,提出了概率统计加权空闲时间的改进自适应学习树电源管理预测策略,以空闲时间长度作为预测依据,同时采用实际状态历史概率统计的结果进行预测空闲时间长度的更新。仿真结果表明,该方法可以有效地降低设备功耗,并且提高了预测准确率。
- 李伟生王冬
- 关键词：动态电源管理概率统计空闲时间
