Qualitative Spatial Reasoning for Topological Map Learning

Abstract

In this paper we investigate the application of qualitative spatial reasoning methods for learning the topological map of an unknown environment. We develop a topological mapping framework that achieves robustness against ambiguity in the available information by tracking all possible graph hypotheses simultaneously. We then exploit spatial reasoning to reduce the space of possible hypotheses. The considered constraints are qualitative direction information and the assumption that the map is planar. We investigate the effects of absolute and relative direction information using two different spatial calculi and combine the approach with a real mapping system based on Voronoi graphs.     

培养适应新机机载电子设备维修需要的高职人才

本文通过对我军某新型飞机机载电子设备大修的现状分析，探讨了新机机载电子设备维修对人才知识、素质和能力等方面的要求，以及对高职人才培养、专业建设、专业教学等方面的启示。     

捷联姿态解算宏汇编软件

编制捷联姿态解算软件是捷联惯性姿态参考系统研制中的重要一环。由于对计算的实时性和精度都有较高的要求，又在专用的弹上计算机上进行，所以增加了制作的难度。从变量取值范围、比例因子确定、字长选择、程序结构等几方面介绍了捷联姿态解算软件的编制情况。该软件是在导弹计算机上用ＴＭＳ３２０Ｃ２５宏汇编语言编制的。该软件经过地面实物试验，验证了其正确性。     

一种连续波雷达高精度波束中心速度求取方法

解决着陆导航连续波测速雷达中面目标非均匀散射特性和加速度分量对测速精度的影响,提出了一种高精度波束中心速度求取方法。采用Kalman滤波完成速度跟踪和加速度估计,进行加速度补偿后,利用ZFFT变换完成对目标多普勒频移范围的细化分析,最后采用包络截取法完成高精度波束中心速度估计。通过仿真分析证明,包络截取法相比其他方法具有精度高、适应性强的特点,速度测量误差小于0.15m/s（3δ）;通过硬件系统处理时间分析,该算法流程易于实时处理,已成功应用于某着陆导航雷达系统中。     

Real-time total system error estimation:Modeling and application in required navigation performance

In required navigation performance（RNP）, total system error（TSE） is estimated to provide a timely warning in the presence of an excessive error. In this paper, by analyzing the underlying formation mechanism, the TSE estimation is modeled as the estimation fusion of a fixed bias and a Gaussian random variable. To address the challenge of high computational load induced by the accurate numerical method, two efficient methods are proposed for real-time application, which are called the circle tangent ellipse method（CTEM） and the line tangent ellipse method（LTEM）,respectively. Compared with the accurate numerical method and the traditional scalar quantity summation method（SQSM）, the computational load and accuracy of these four methods are extensively analyzed. The theoretical and experimental results both show that the computing time of the LTEM is approximately equal to that of the SQSM, while it is only about 1/30 and 1/6 of that of the numerical method and the CTEM. Moreover, the estimation result of the LTEM is parallel with that of the numerical method, but is more accurate than those of the SQSM and the CTEM. It is illustrated that the LTEM is quite appropriate for real-time TSE estimation in RNP application.     

从DO-178C的新变化透视软件适航关注点

深刻理解DO-178C标准对于提升机载软件开发能力具有重要意义。分别从软件生存周期过程活动和过程目标两个维度对比和分析DO-178C与DO-178B的差异,按照计划过程、开发过程、验证过程、配置管理过程、质量保证过程和合格审定联络过程分类,列举了每个过程新增的或变更的考虑内容,并详细分析了过程目标的变化。根据差异分析,从强调以目标为中心、源代码到目标码的映射、参数数据、双向追踪、基于需求的鲁棒性测试和耦合性验证6个方面解析了DO-178C强调的思想,并总结了一些可行的实践。     

高安全分区信息物理系统的仿真验证研究

信息物理系统(CPS)强调借助网络对物理世界的感知和控制,往往系统规模较大、结构复杂,通常重视对系统开发前、中期的验证工作,而高安全的CPS对验证的要求更高。在实现分区调度、通信等服务的基础上,通过构建Windows平台上的模拟分区环境,我们完成了某高安全信息物理系统的建模,检验系统设计的可调度性、故障恢复能力等行为特性,从而验证了研究方法的合理性和正确性。     

基于贝叶斯网络的多状态机载系统安全性评估方法

传统的安全性评估方法不适用于具有多状态属性的现代机载系统。根据系统与系统组成单元之间的状态关系,构建了基于贝叶斯网络的机载系统多状态安全性模型;运用通用生成函数给出了贝叶斯网络非根节点的条件概率表,基于变量消元法提出了系统失效状态发生概率计算方法,推导了系统组成单元重要度算法。结合某型飞机副翼控制系统给出了应用实例。结果表明,方法为解决多状态机载系统的安全性评估问题提供了一种简洁直观的方法,能够有效评估机载系统的安全性水平,确定各单元对系统安全性中的影响。     

陀螺RRW在惯导系统中的误差传播特性

角速率随机游走是高精度光纤陀螺的一项主要随机误差源,对惯性导航系统的误差有着较大影响。分析了角速率随机游走的统计特性,推导了角速率随机游走引起的惯性导航系统姿态、位置误差的解析表达式,研究了静基座环境下的惯性导航系统在长时间导航环境下的随机误差传播规律,对角速率随机游走作用下的惯性导航系统误差进行了仿真与实验,验证了所推导公式的正确性,对惯性导航系统的设计与误差分析具有一定的参考意义。     

基于交互式多模型的飞机编队相对导航算法研究

在飞机编队飞行时,成员间的相对位置信息是实现系统协同作战的重要保证,为了提高机群编队飞行的相对导航定位精度,在无地面基准的机群编队飞行JTIDS/GPS/TACAN/IFDL组合的相对导航系统中,采用交互式多模型扩展卡尔曼滤波(IMM-EKF)算法,设计实现了多传感器相对导航系统,克服了飞机动态模型参数变化导致使用单一动态模型滤波精度下降的问题。仿真分析结果表明,交互式多模型算法可以提高相对导航系统的定位精度和可靠性,特别在GPS可见卫星很少的情况下,依然能够具有良好的定位性能。