Research on navigation of satellite constellation based on an asynchronous observation model using X-ray pulsar

Pulsar navigation is a promising navigation method for high-altitude orbit space tasks or deep space exploration. At present, an important reason for restricting the development of pulsar navigation is that navigation accuracy is not high due to the slow update of the measurements. In order to improve the accuracy of pulsar navigation, an asynchronous observation model which can improve the update rate of the measurements is proposed on the basis of satellite constellation which has a broad space for development because of its visibility and reliability. The simulation results show that the asynchronous observation model improves the positioning accuracy by 31.48% and velocity accuracy by 24.75% than that of the synchronous observation model. With the new Doppler effects compensation method in the asynchronous observation model proposed in this paper, the positioning accuracy is improved by 32.27%, and the velocity accuracy is improved by 34.07% than that of the traditional method. The simulation results show that without considering the clock error will result in a filtering divergence.     

一种基于虚拟页地址映射的NAND Flash管理算法

本文提出了一种基于虚拟页地址映射的NAND Flash管理算法.该算法通过定义坏块表、对应表等结构，以及设计的坏块替换策略和虚拟页地址到实际物理页地址的转换算法，实现上层软件采用虚拟地址对NAND Flash的无坏块连续页地址访问.该算法是一种高效的地址映射算法，能高效地对数据进行索引，占用SRAM空间较少，使系统达到高性能，并使得闪存使用的更加稳定持久.     

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

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

移动机器人铣削制孔系统基准检测

结合航空大部件的数字化对接装配需求,设计了一套用于对接面铣削制孔的移动机器人加工系统,并提出具体的加工工艺流程。研究了基于激光轮廓扫描仪的大量散乱点云数据的预处理算法,提出基于栅格法和迭代拟合法的对接面特征提取算法。针对移动机器人加工系统在大场景下的高精度定位问题,提出基于扫描线法和最小二乘法原理的对接基准孔坐标找正算法。通过产品的加工实验验证,对接面铣削和制孔精度满足系统要求的各项技术指标,证明了本文提出的移动机器人铣削制孔系统的装配对接面加工方法能够精确地完成大部件数字化装配任务,对提高装配质量和效率具有重要意义。     

中华世纪坛旋转噪音测试方法的研究

着重阐述了中华世纪坛在实际工作中为解决噪音问题所采用的测试方法，寻求一种解决长时间、多数据测试分析的途径。     

有线电视网络安全监控系统

在有线电视台前端采用数字信标插入器在视频插入标志,在有线电视网中对此标志进行检查,即可判断有线网络中播出的信号是否合法,若不符合设定,则通过电话网络向前端发出报警信号,前端收到报警信号后,向值班人员发出声光报警,从而达到对有线电视网络进行实时监控的目的。较详细地说明了该系统及各主要部分的原理及具体实现。     

数字多用表自动检定校准系统

本文介绍了一种数字多用表的自动检定校准系统的构成及软件设计 ,并对系统软件的设计方法 ,主要功能及主要特色进行了讨论。     

湿度换算软件包

湿度不论是在科研领域还是在工业生产中，都是一个很重要的参量指标，在具体的应用中，各领域对湿度参量的使用单位和范围要求是不同的，由此我们编写了一套“湿度换算软件包”，可以在湿度的不同参量和单位间进行换算。本文主要介绍了该软件的主要功能、使用说明以及同国外其它同类软件的数据比对情况。     

基于VXI总线的武器控制盒综合测试系统设计

介绍了基于VXI总线技术所设计的武器控制盒综合检测系统,并给出了系统总体结构框架,重点说明了硬件构成和软件设计方法。实际应用表明,此系统具有测试精度高、操作便利以及智能化程度高的特点。     

四维下降飞行技术的研究与仿真：定常航迹角法下降剖面解算

本文研究的是四维飞行性能管理系统的核心环节－飞机在终端区域内的四维下降技术，首先探讨了基于常值航迹角的定常Ｍ数／指示空速下降飞行技术，论述了其高度剖面的构成与特点，通过尤拉积分方法求解飞机运动方程，实现了高度冲面的解算。其次开发了对速度剖面的迭代过程，选取原则及方法。本文在进行理论分析的同时，还开发了满意的仿真软件，一了其应用价值。