一种软件脆弱性自动分析定位的方法

摘要： 为了更好地满足航空航天领域中使用的多种嵌入式软件的高可靠性要求，设计一种软件脆弱性自动分析定位的方法.该方法基于程序切片技术，改进现有的前向计算动态切片算法，利用动态程序切片收集程序运行时的动态信息，构造程序切片谱，设定相关统计量统计程序语句的脆弱性可疑度，生成脆弱性定位报告.在发现软件中存在的脆弱性后，该方法对导致此脆弱性的程序代码根源实现了自动分析定位.基于此方法设计开发了软件脆弱性自动定位工具并进行了实例验证分析，实验证明了该方法的有效性.     

卫星交会的自主导航技术

论述卫星交会自主导航的飞行任务背景和概念 ,综述国内外学者正在进行探索研究的思路 ,以期引起国内学者的的注意、探讨和深入研究。     

星光折射航天器自主定轨方案比较

当星光透射大气发生折射时 ,用星光折射角精确地反映星光在大气中离地球表面的高度 ,并建立高度、航天器与地球的几何关系。通过对折射角进行观测 ,间接测得地平 ,从而改善了用地平仪直接测地平所造成的航天器自主导航精度低的不足。本文提出了几种利用星光折射的航天器自主定轨方案 ,并作了细致的仿真实验 ,对直接和间接两种测量地平方法以及几种星光折射自主定轨方案进行了分析比较。     

伴飞卫星自主相对导航衰减记忆滤波算法

为实现伴飞卫星的自主相对导航,基于C-W方程提出了一种在伴飞卫星轨道系中建立简化的相对运动方程构成星上轨道递推、根据导航敏感器输出进行量测更新的导航滤波器,并利用衰减记忆滤波算法抑制系统模型误差对相对导航结果的影响。仿真结果表明,该滤波算法可实现伴飞星的自主相对导航。它不仅较C-W方程更简单,而且适于模型不准确时的相对导航,工程实现易。     

利用地磁场测量的小卫星自主导航设计

地磁场矢量是卫星所在位置的函数 ,通过对地磁场的测量 ,即可实现对近地小卫星的自主导航。本文采用卡尔曼滤波技术设计了小卫星基于地磁场测量的导航方法 ,在采用地磁场模型时选取磁偶极子模型 ,以此使设计算法的计算量大大减少。最后利用数字仿真验证了系统性能。     

一种基于信息融合的卫星自主天文导航新方法

直接敏感地平和利用星光折射间接敏感地平是两种基于天体敏感器的自主天文导航方法,其定位精度主要取决于地平的敏感精度。通常利用红外地平仪直接敏感地平的方法简单、可靠,但精度较低,而近年出现的利用星光折射间接敏感地平的方法精度高,但必须能观测到符合一定条件的折射星,根据上述两种方法的特点,提出了一种基于信息融合的直接敏感地平和利用星光折射间接敏感地平相结合的自主天文导航的新方法,计算机仿真结果表明该方法可以进一步提高系统的精度和可靠性。     

微小卫星磁测自主导航方法

本文提出了使用磁测方法实现近地微小卫星自主导航的方法，利用实时地磁场测量数据与根据ＩＧＲＦ计算出的地磁声数据之差作为新息量，使用推广Ｋａｌｍａｎ滤波算法确定卫星的位置和速度。给出了三种导航滤波算法。并使用模拟数据和ＭＡＧＳＴＡ卫星实测数据进行了仿真研究，证明了方法的有效性和实用性。     

基于绝对速度测量计的自主导航探讨

对用激光原理进行绝对速度测量和由它实现自主导航的概念进行了探讨。利用3个陀螺仪和3个激光测速计按直角坐标方式配置,即可组成基于绝对速度测量计的捷联式惯性测量组合。这种方法的优点是简化计算和有利于提高精度。     

Geometric reasoning under uncertainty for map-based localization

Map-based navigation in outdoor terrain lacking man-made structures or other highly distinctive landmarks can produce severe localization problems. This paper presents an approach to navigation which implements high level geometric reasoning and matching strategies based on those used by skilled human navigators. This approach, which is demonstrated on a real example involving imagery of mountainous terrain obtained with a video camera and USGS map data, is designed to avoid many of the pitfalls occurring when an attempt is made to navigate by modeling the environment mathematically. It exploits feature attributes which cannot be easily expressed quantitatively but are central to the successful human navigation process.     

Real time localization of gamma ray bursts with INTEGRAL

The INTEGRAL satellite has been successfully launched in October 2002 and has recently started its operational phase. The INTEGRAL burst alert system (IBAS) will distribute in real time the coordinates of the gamma ray bursts (GRBs) detected with INTEGRAL. After a brief introduction on the INTEGRAL instruments, we describe the main IBAS characteristics and report on the initial results. During the initial performance and verification phase of the INTEGRAL mission, which lasted about two months, two GRBs have been localized with accuracy of 2–4 arcmin. These observations have allowed us to validate the IBAS software, which is now expected to provide quick (few seconds delay) and precise (few arcmin) localization for 10–15 GRBs per year.