面向星敏感器测试的数字星模系统设计

分析星敏感器和数字星模系统的功能,描述数字星模系统的功能需求,提出数字星模系统的设计方法．数字星模系统由星图组件和通信组件组成,基于该系统,针对星敏感器进行静态和动态星图测试试验,并对试验的方法和结果进行分析说明．试验表明数字星模系统及其设计方法的正确性、有效性．     

基于模型架构的航天器控制软件研制方式研究

开展基于模型设计研究,旨在解决当前航天器控制软件研制所面临的需求描述准确性、设计验证充分性以及软件产品可靠性等问题.针对基于模型设计过程中的代码胶合接口复杂且操作繁琐问题,提出一种基于模型架构的航天器控制软件研制方式,搭建软件模型驱动框架,通过模型封装方式将既有代码资产或新编写代码嵌入到软件模型驱动框架,简化代码胶合过...     

先驱体转化法制备SiC/Si_3N_4复相陶瓷异型件──烧成工艺研究

研究了以先驱体为粘合剂制备SiC／Si3N4复相陶瓷异型件的烧成工艺，以及升温制度等对制品质量的影响。     

空间交会对接GNC软件的自动化测试

介绍一种面向航天器空间交会对接GNC软件的自动化测试方法,通过对测试用例和测试脚本的管理、测试过程的自动执行、测试数据的判读和测试缺陷管理,实现对航天器空间交会对接软件的自动化测试.实践表明所述的自动化测试方法在GNC软件的测试中发挥了重要作用.     

基于动态分析的多面体模型非仿射扩展方法

多面体模型只能表示循环中访存数组下标可以用仿射表达式表示的循环,针对这个限制设计一种基于动态分析的方法对多面体模型的表示范围进行扩展.该方法利用程序运行时的动态信息,将循环非仿射表达式中的循环全局参数用定值替换,推测生成非仿射循环的参数定值化版本,使之可以被多面体模型表示.该方法扩展了多面体模型的表示范围,使更多的代码区域可以被并行优化,提高了程序中SCoP的覆盖率,提高了程序运行的加速比.实验证明了该方法的有效性.     

双目视觉敏感器的高可靠数据流设计

首先介绍了两机结构的航天器双目视觉敏感器(BVS),分析了其通信数据流.针对其内部串口、外部总线通信特性以及BVS特殊运行流程,对数据流进行了整合、优化,确保敏感器的高数据更新率可行性.同时针对复杂通信数据冲突问题,对BVS两个计算机嵌入式软件的流程进行了可靠性改进.实验结果证明,该方法能够确保BVS的长期稳定运行,实现了两套普通单目相机敏感器硬件不变的情况下,仅通过一个串口连接,搭建双目相机.该方法已用于在轨实验中,并可应用于后续所有航天器在轨双目图像实验任务中.     

交会对接成像敏感器的光点筛选改进

首先介绍了交会对接成像敏感器图像光点匹配算法.基于对在轨图像光点动态特性的研究,为解决交会对接过程中目标误识别、误匹配,以及匹配、适配过程严重耗时的缺陷,提出了光点形状筛选和光点大小分组2套匹配改进算法,并设计了基于光点形状大小动态特性改进的光点匹配算法.该方法以交会对接走廊中不同相对距离时目标光斑大小的最大差别为依据,针对每一个光点,仅将光斑大小与其在同一合理范围内的其他光点一起进行目标匹配.实验结果表明,该方法杜绝误匹配等异常错误的同时,极大地提高了运算效率.该方法可以成为在轨交会对接末段制导实时测算的重要保障,目前已在众多航天器在轨交会对接、空间交会逼近试验中使用.     

面向交会对接任务的高可靠应用软件设计方法

针对航天器控制系统软件特性及交会对接任务特点,利用软件可靠性理论,研究提高软件可靠性的方法,提出了面向交会对接任务软件的可靠性设计,增强了航天器控制系统的可靠性.