基于时序逻辑的复杂环境下无人机运动规划算法

本文主要考虑基于时序逻辑的无人机运动规划问题。一般地，解决该问题的算法包括两个阶段:上层综合阶段生成一条可行的离散规划;低级综合阶段结合离散任务规划设计无人机的控制输入。但是当第一阶段失败时，即线性时序逻辑(LTL)任务在当前环境中无法实现时，我们希望系统能够进行一定的调整。本文提出了一种任务重规划算法，在深入理解模型检查原理的基础上，利用初始任务自动机生成一个松弛乘积自动机，进而获取有效的离散任务规划;同时设计一个自动机的权重函数，确保该规划在最小程度上违背初始任务所提出的约束。本文提出的重规划算法解决了时序逻辑在复杂环境中无法实现的难题，扩大了时序逻辑在无人机运动规划中的应用范围，同时增加了系统的鲁棒性。     

面向效能的精确制导武器设计技术初探

针对以“性能”为核心的设计不能满足信息化战争对精确制导武器研制提出的设计需求的问题,初步探讨了面向效能的精确制导武器设计技术。首先分析了国内外精确制导武器设计技术的发展,指出精确制导武器的设计技术向着以“效能为核心”的设计方向发展;其次分析了信息化条件下精确制导武器设计的六条基本原则;接着以这些原则为基础提出面向效能的精确制导武器设计理念,分析指出面向效能的设计是以追求满意设计为目标的优化设计;然后在新的设计理念的指导下提出了面向效能设计的技术框架,主要说明了面向效能的精确制导武器设计框架、效能基础、技术基础、基本模式和三项关键技术等;最后探讨了面向效能的精确制导武器设计方法的四个方面：模块化、智能化、通用技术的集成和信息通道的多元化。