【摘 要】
：
当前,对基于模型检测规划研究的算法中存在大量的冗余计算,一些不可能参与构成解的状态动作序偶被反复筛选.文中给出了一种在不确定规划领域求规划解的新思路:在求规划解之前
【机 构】
：
湘潭大学信息工程学院,中国科学技术大学计算机科学与技术学院,中山大学软件研究所
论文部分内容阅读
当前,对基于模型检测规划研究的算法中存在大量的冗余计算,一些不可能参与构成解的状态动作序偶被反复筛选.文中给出了一种在不确定规划领域求规划解的新思路:在求规划解之前,找到不确定状态转移系统的状态之间的可达关系,从而根据状态之间的可达关系进行约简.提出了不确定状态转移系统的超图、超图的邻接矩阵和可达矩阵等概念,设计了用超图的邻接矩阵求不确定状态转移系统中状态之间可达关系的方法.利用不确定状态转移系统的超图、超图的邻接矩阵和状态之间的可达关系获得了关于弱规划解、强规划解和强循环规划解的一些重要性质.这些性质是关于一些状态动作序偶是否不可能参与构成弱规划解、强规划解和强循环规划解的结论.通过这些性质可以将大量的状态动作序偶直接去掉,从而大幅度简化求规划解的过程,提高求规划解效率.
其他文献
针对会计信息化标准体系现状,认为现有的会计信息化标准化建设远不能适应会计信息化发展的需要,尚未形成全面、科学、合理的会计信息化标准体系,指出会计信息化标准体系面临
以β-环糊精及其衍生物为提取介质,用微波辅助提取茶叶中的茶多酚,并用DPPH法和水杨酸法检测了茶多酚提取液的抗氧化性。实验结果表明:以60%乙醇为溶剂,β-环糊精与茶叶质量
随着我国社会经济不断提升,人民银行管理体制也在逐渐深化改革,内部监督体制正在逐渐强化。在调整相应职能之后,先后完善、补充了审计办法与审计制度,主要包含重新定位内部审
21世纪日本掀起了青少年法治教育改革运动,通过分析改革的背景、理念、模式与内容,反观中国实际,我们可以得出诸多启示:青少年法治教育应当纳入国民教育体系,形成青少年国民
新时期,随着社会经济的发展和人民生活水平的提高,机动车的数量也呈现出大幅增长的态势,但是由于交通硬件建设不均、道路管理不善、驾驶员驾驶技术参差不齐、恶劣天气等原因
<正> 在新疆维吾尔自治区城乡到处可见烤羊肉摊。这引起了我这个长在新疆、和新疆有着深厚感情的史学后辈考证一下烤肉历史的兴趣。最近,我从傅惜华编写的《汉代画象全集》初
本文以解决小额贷款公司和金融信用信息基础数据库数据共享为研究目的,首先从金融风险防范、《征信业管理条例》落实、《社会信用体系建设规划纲要》实施、推动人行银行征信
本文在介绍了自来水厂沉淀池排泥装置的组成、控制过程以及水泵与排泥机控制原理的基础上，根据水厂的工艺、节水节电的要求，并结合当前的PLC技术与图型化开发平台技术，设计了自
本文主要谈谈我国商业银行内部控制完善的方法,希望对以后国内商业银行内部控制有所帮助。
在绘画艺术创作当中,灵感有如那突然迸发的火山。蕴藏着巨大的能量。无论是谁,其创作的能量很大程度上也是来源于灵感的突然迸发。古往今来,有多少伟大的发明创造都是源于发