【摘 要】
：
基于线性时序逻辑（Linear temporal logic,LTL）的路径规划方法中,多点巡回路径规划问题尚无有效解决方案.为了在道路网络中实现最优巡回监测,提出了基于LTL的最优巡回路径规划
论文部分内容阅读
基于线性时序逻辑（Linear temporal logic,LTL）的路径规划方法中,多点巡回路径规划问题尚无有效解决方案.为了在道路网络中实现最优巡回监测,提出了基于LTL的最优巡回路径规划方法.首先,将环境建模成一个切换系统,用LTL语言描述包含多个巡回点和障碍物的任务需求;接着,利用循环移位法构建能够融合任务需求和环境模型的扩展乘机自动机,以建立路径信息完整的网络拓扑;最后,采用基于迪科斯彻法的最优综合算法搜索扩展乘机自动机网络上的最优路径,从而获得能够满足复杂任务需求的最优巡回路径.仿真结果表明
其他文献
大学生的世界观教育处于大学教育工作的核心位置,直接决定着大学教育的方向和大学生全面素质的体系化与科学化。科学发展观理论的提出,对大学生的世界观教育工作提供了新的指
热锯机作为各种压延及热挤压车间作为定尺锯切工具,以其设备结构简单、高生产效率和便利的维护优势,已成为现代压延生产线中重要的生产设备。热锯的锯切参数主要是:锯片结构和工艺参数。锯片结构包含:锯齿形状参数、基体厚度、直径。锯片的工艺参数包含:转动速度和进给速度。锯齿形状参数为锯齿的前角、锯齿的上端角、锯齿的间距、齿根的半径等。本论文针对U75V钢轨在生产过程中热锯机锯切高温钢轨的工序中,钢轨的锯面的倾
对莒南县 1994年底完成Ⅱ型HFRS疫苗接种的人群进行了 4个流行年度的观察 ,结果显示疫苗保护率为 10 0 %。通过成本—效益分析发现 ,该批疫苗成本—效益比值为 1 5 0 ,4年来
为了建立发酵工艺参数与氢气产量之间的数学模型,以期获得较优的工艺参数,从而提高氢气产量,该文在单因素试验的基础上,采用三因素三水平的二次回归正交旋转组合设计及响应曲
有害生物防治业(PCO),从无到有且逐渐扩大;防治对象由"除四害"拓展至城市害虫防治.由于PCO行业正置方兴未艾之际,有人称它为朝阳产业也不算过分[1-2].现将重庆市的PCO行业现
金属有机框架材料(MOFs),也被称为多孔配位化合物(PCPs),是由有机配体与金属离子/金属簇连接组成的晶态多孔材料。自上世纪九十年代MOFs被发现以来,一直处于研究热点并取得了爆炸性的发展。由于MOFs具有结晶性、结构多样性、可裁剪性和超高比表面积等特点,使得MOFs在气体吸附分离、化学传感、质子传导、催化等领域具有潜在的应用前景。截至目前,已经超过20000例MOFs结构被报道,并且这一数字
学科教育硕士实践能力培养是专业硕士培养目标的基本要求,也是提高专业硕士培养质量的重要环节.本文通过鞍山师范学院化学教育硕士实践能力培养的改革探索,提出了化学教育硕