Formal Specification and Quantitative Analysis of a Constellation of Navigation Satellites

Navigation satellites are a core component of navigation satellite‐based systems such as Global Positioning System, Global Navigation Satellite System and Galileo, which provide location and timing information for a variety of uses. Such satellites are designed for operating on orbit to perform tasks and have lifetimes of 10 years or more. Reliability, availability and maintainability analysis of systems has been indispensable in the design phase of satellites in order to achieve minimum failures or to increase mean time between failures and thus to plan maintenance strategies, optimise reliability and maximise availability. In this paper, we present formal models of both a single satellite and a navigation satellite constellation and logical specification of their reliability, availability and maintainability properties, respectively. The probabilistic model checker PRISM has been used to perform automated analysis of these quantitative properties. Copyright © 2014 John Wiley & Sons, Ltd.     

基于Kinect传感器的移动机器人环境检测及行为学习

研究了一种基于深度图像和强化学习算法的移动机器人导航行为学习方法。该方法利用机器人装配的Kinect传感器检测工作环境信息,然后对获取的深度图像数据和视频图像进行处理、融合和识别,并由此构建机器人任务学习的状态空间,最终利用强化学习方法实现移动机器人的导航任务的自学习。该方法的有效性通过实验得到验证。实验表明,该方法能够使机器入具有较强的环境感知能力,并能够通过自学习的方式掌握行为能力。     

多无人水下航行器协同导航定位研究进展

介绍了多无人水下航行器(UUV)协同导航定位的原理,进而详细综述了国内外多UUV协作系统及多UUV协同导航定位系统的研究进展,重点研究和分析了水声测距及通信一体化、协同导航定位算法、协同导航定位观测、水下UUV组网等关键技术的研究特点和发展趋势。研究表明,随着海洋研究的不断深入,多UUV协同导航定位系统的发展将会更注重减小体积质量、适应复杂海洋环境和能源限制方面的研究。     

PAC Learning of One-Dimensional Patterns

Developing the ability to recognize a landmark from a visual image of a robot's current location is a fundamental problem in robotics. We consider the problem of PAC-learning the concept class of geometric patterns where the target geometric pattern is a configuration ofk points on the real line. Each instance is a configuration ofn points on the real line, where it is labeled according to whether or not it visually resembles the target pattern. To capture the notion of visual resemblance we use the Hausdorff metric. Informally, two geometric patternsP andQ resemble each other under the Hausdorff metric if every point on one pattern is close to some point on the other pattern. We relate the concept class of geometric patterns to the landmark matching problem and then present a polynomial-time algorithm that PAC-learns the class of one-dimensional geometric patterns. We also present some experimental results on how our algorithm performs.     

车载惯导航位推算组合导航系统误差补偿研究

当惯组(IMU)安装到车体上时存在安装偏差,推导了安装偏差及刻度系数误差对里程计速度的影响,进而导出了航位推算(DR)的位置误差方程及位置更新算法;建立了SINS/DR组合导航的状态方程和量测方程,以捷联惯导的位置与航位推算的位置之差作为组合导航卡尔曼滤波器的输入,估计出安装偏差和刻度系数误差的值并对航位推算进行补偿;仿真及跑车数据的验证分析结果表明了误差估计方法的有效性和正确性.     

矢量分解法应用于地磁导航系统中的优势与缺陷分析

通过理论分析和仿真实验详细比较了两种地磁场辅助惯性导航方案各自的优势和不足.第一种方案采用了传统的方式,仅把地磁场强度当做标量使用.而另外一种方案采用了磁场矢童分解的方法,并选取了2个磁场分量用于匹配.通过局部能观性理论对两种导航方案的数学模型进行了分析,证明了第二种方案对磁场曲面形态的适应性更强,但其缺陷是对载体的平...     

基于小波降噪预处理的组合导航系统研究

根据离散小波变换可降噪的特点,对捷联惯性导航系统（SINS）中惯性测量元件（IMU）的输出精度进行了研究,再与卫星定位系统（GPS）的输出进行卡尔曼滤波组合,进而达到降噪的目的,最后分别由静态时的实际量测数据以及动态时的理论仿真试验给予结果验证。试验结果表明,采用小波降噪预处理后的组合导航系统各项导航参数的精度都有了明显提高,从而提高了组合导航系统的可靠性。     

井下三维导航的无线数据传输技术研究

针对矿山行业的迅速发展,它对井下三维定位导航技术的需求也越来越迫切,本文就现有的无线数据传输技术,探讨并研究了三种无线数据传输技术在井下定位导航系统中的应用,其中基于无线以太网的导航系统是一种应用于井下的全新的导航系统。井下导航系统可以用于井下工人在日常生产中的行走导航辅助,也还可以在灾害发生时为矿工提供安全撤退路线。     

基于数据库的ASP.NET的网页导航与菜单动态管理

该文主要结合ASP.NET网站开发中对导航、菜单等相关控件的用法进行相应的阐述,实现网站主页中的导航和菜单等元素的动态管理。