论文部分内容阅读
智能规划中,大部分规划器注重求解过程,而缺乏对规划解质量的优劣进行分析。针对这一不足,提出使用规划时间、规划长度、倾向约束、资源约束等判断依据构建出多目标测量函数,对规划解的质量进行综合测评和优劣分析。实验表明,该方法可行且具有实际意义。最后,就未来的研究方向进行展望。
基于多目标测量函数的规划解质量测评方法
【摘 要】
：
智能规划中,大部分规划器注重求解过程,而缺乏对规划解质量的优劣进行分析。针对这一不足,提出使用规划时间、规划长度、倾向约束、资源约束等判断依据构建出多目标测量函数,对规划解的质量进行综合测评和优劣分析。实验表明,该方法可行且具有实际意义。最后,就未来的研究方向进行展望。
【机 构】
：
重庆邮电大学计算机科学与技术研究所
【出 处】
：
计算机应用研究
【发表日期】
：
2012年10期
其他文献
以《国际经济法》为例,在分析当前高职院校法律专业教学现状的基础上,提出国际法开展模拟实训教学的必要性、可行性及具体做法,让学生达到学以致用的教学目的,为他们日后走上
本文针对目前职业教育实训资源建设难以兼具教学特性和岗位技能训练特性这一问题,提出实训资源建设的工业性、系统性、先进性、延展性四性规范。并通过范例设计证明了以四性
在分析轿车风扇结构特点的基础上,阐述了特征点数据采集的方法;论述了从数据点的筛选与曲线拟合、曲面创建到产品三维造型的计算机辅助反求设计全过程.
随着我国经济的快速发展和高校教育理念由精英化向大众化的转变，招生规模迅速扩大·高校家庭经济困难学生规模也迅速扩大。与此同时，高校勤工助学工作有了新的发展趋势。本
针对分布式数据库系统中副本一致性的问题,结合快照隔离的性能优势和组通信技术的消息定序特性,提出了一种满足单副本可串行化的数据同步协议。首先,形式化定义了快照隔离可串行化的准则,并证明了该规则可以保证单副本可串行化。进而基于组通信系统的消息定序特性,提出了满足单副本可串行化的数据同步协议SSI-REP。实验表明,与两阶段协议(2PL)相比,SSI-REP协议提高了系统的性能,降低了事务的系统响应时间
软件哨兵是保护软件代码不被非法修改的重要方法之一,但它本身的安全面临着重大挑战。为了能动态检测软件哨兵是否遭到窜改,基于TPM技术提出了一个检测软件哨兵完整性的模型。该模型利用哨兵进程在内存页面中的变化情况,判断哨兵是否可信,提高了哨兵实时性和动态性。实验证明,该模型能够准确地判断出哨兵进程是否遭到窜改并满足计算平台对安全性和执行效率的要求,具有较好的可行性。
流媒体技术和应用的迅猛发展,给网络带宽和系统资源带来了巨大的压力,网络信息的语义深度挖掘和兴趣偏好分析变得越来越重要。提出exUCL网络语义描述模型用于描述网络各层中数据的语义信息,通过对网络节点数据包的分析建立多语义的流媒体资源流行度模型,并采用卡方检验法和真实网络数据验证模型的有效性。该模型对提高流媒体资源的缓存替换算法效率、服务质量等均具有明显作用。
针对嵌入式系统对可靠性和可预测性的要求,提出基于MDA对嵌入式系统的建模语言MARTE进行形式化描述的方法。建立Object-Z的元模型,定义了MARTE元模型与Object-Z元模型之间的模型转换关系,给出了MARTE模型到Object-Z模型的语义映射和语法转换的具体过程。该方法支持将MARTE模型形式化转换为Object-Z模型,有利于软件开发早期的检验和验证。