SpaceWire D的调度表生成方法

针对航天高速SpaceWire D提出了一种调度表生成方法。该方法基于贪婪算法和SMT求解器。贪婪算法是主体,在每次迭代中以调度表的分布均匀性为优化原则产生一个约束集作为SMT求解器的输入参数,然后调用SMT求解器。SMT求解器是重要工具,用于对输入参数的可满足性进行判定,如果可满足则将输出的模型作为生成的调度表。此外,还提出了设置分片长度、确定时间槽大小以及划分冲突域的策略。最后,通过试验对方法的效果进行了验证。结果表明,生成调度表的时间较短且调度表具有良好的分布均匀性。     

HLA/RTI下周期与非周期任务调度的实时性改进

为了把高层体系结构的标准应用到实时系统中,必须确保运行时支撑环境的实时性.联邦成员间相关的任务之间有优先顺序约束关系,在联邦成员内调度运行时较难提供可预测的响应,因而难以保证所有任务尤其是非周期任务的实时性.以任务调度理论的角度在联邦成员内部综合调度周期与非周期任务运行的D-EDF（Double-Earliest Deadline First）策略,既能舍弃部分冗余数据使周期性任务在截止时间前高效完成,又能调度非周期性任务规则的运行提高实时响应速度,使得联邦成员可以高效地处理有优先顺序约束关系的任务,进而改进了运行时支撑环境的实时性.最后证明了D-EDF调度策略的可行性.      

增加Doppler观测值实现实时动态PPP快速重新初始化

针对实时动态PPP中常常会遇到卫星信号中断或大部分卫星发生周跳而导致重新初始化的问题,可以将GNSS信号短时间中断看作是全部卫星发生周跳,通过研究Doppler观测值在快速重新初始化中的观测模型,进而提出联合伪距、相位、Doppler观测值及电离层延迟变化约束信息的数学模型,对于发生周跳的卫星,通过将周跳参数固定为整数以实现动态PPP快速重新初始化。根据实际算例,从多个角度进行统计分析表明引入Doppler观测值能够提高周跳修复的成功率,从而加快PPP快速重新初始化的过程。     

弹道目标实时跟踪中的滤波方法综述

指出目标运动先验信息、系统结构信息和设备测量信息的融合应用是提高滤波器跟踪性能的核心。进而综述了弹道目标融合滤波中的运动模型构造、滤波算法设计以及测量误差处理等环节中的关键技术和研究现状。并针对传统实时处理结构弊端,分析了实时跟踪系统的设计方法,讨论了如何建立高效的弹道跟踪数据处理流程,通过融合策略并举的方式实现系统各类信息的有效利用。一些设计方法可以为实际跟踪滤波器的开发提供参考。最后,结合空间应用的发展需求,分析了弹道目标跟踪技术的研究方向。     

基于GPU的高光谱遥感主成分分析并行优化

主成分分析（principal component analysis, PCA）是高光谱遥感图像特征提取的重要方法。为了在保证精度的同时,提高高光谱遥感PCA算法的计算效率,文章提出一种基于图形处理器（graphic processing unit,GPU）＋中央处理器（central processing unit,CPU）异构系统的PCA并行优化方法。该方法利用GPU的并行计算能力实现PCA中复杂的协方差矩阵计算与维数缩减过程,优化了像元去均值的计算流程;解决了GPU内核计算像元累加和非合并访问问题;利用共享内存机制,提高了访存效率。此外,该方法采用改进的Jacobi快速迭代法在CPU中进行特征分解,保证了算法的精度。实验结果表明,该方法在保证精度的同时能够有效提高计算效率,在Quadro600平台上的加速比达到141倍,满足了高光谱遥感图像实时应用的需求。     

基于VC＋＋的液氧/煤油动力系统自动紧急关机软件设计与应用

自动紧急关机系统是火箭动力系统试验的关键环节,是推进系统和试验台的有力安全保障。针对液氧/煤油动力系统热试车威力大、响应快的系统特性,研发了基于VXI的数据采集系统及紧急关机系统,依据功能需求设计开发了基于VC＋＋的关机判读软件。首先设计了关机判读软件系统的采集、报警、实时存储、图像显示等基本功能模块,其次阐述了基于VC＋＋的关机判读软件的具体实施方案,包括软件应用环境和核心程序流程,展示了关机判读软件的应用主界面;详细分析了影响自动关机响应时间的主要因素;通过一百多组模拟数据进行了软件功能性、故障检测能力等多方面的测试,实时性和准确度均达到了系统设计要求。某次液氧/煤油动力系统热试车对本系统的应用进一步验证了其性能的优异性。     

基于视觉的大尺度部件相对位姿实时测量方法研究

相对位姿是装配过程中的一项重要监控项。针对大尺度部件对接过程中的相对位姿测量需求,提出了一种基于视觉的相对位姿实时测量方法。该方法利用单目视觉技术,通过采集合作靶标的图像,实时解算大部段间的相对位姿,用于辅助大尺度部件的装配。首先,设计了一套相对位姿实时测量系统,包括搭载单目相机的视觉测量单元,以及用于辅助位姿解算的合作靶标;其次,对相对位姿测量的完整流程进行了研究,包含系统标定方法与实时位姿解算方法;最后,在实验室环境下对位姿测量系统的精度进行测试。试验结果表明,位姿测量系统在垂直于光轴方向的重复精度可达0.02mm,沿光轴方向重复精度优于0.2mm,输出位姿结果时间低于0.3s;对多测量单元组网测量进行了仿真计算,垂直于光轴方向的重复精度优于0.1mm,沿光轴方向重复精度优于0.2mm,输出位姿结果时间优于1.3s。试验结果表明,提出的方法可满足一般大尺度部件对接过程实时位姿监控与对接状态评估的需求。     

视觉SLAM方法综述

实时定位与建图(SLAM)技术搭载特定传感器,使移动机器人在无任何环境先验条件下,在运动过程中自主建立环境模型来计算自身位姿,大幅提高其自主导航能力,以及对不同应用环境的适应性。视觉SLAM方法以相机作为外部传感器,通过采集周围环境信息来创建地图并实时估计机器人自身位姿。为此,介绍了具有代表性的经典视觉SLAM方法及与深度学习相结合的视觉SLAM方法,分析了视觉SLAM方法中采用的不同特征检测方法、后端优化、闭环检测,以及动态环境下视觉SLAM方法的应用,总结了视觉SLAM方法的问题,并探讨了视觉SLAM方法在未来的热点研究方向和发展前景。     

实时嵌入式软件系统测试需求建模研究

使用形式化语言构建测试需求模型,有助于提高系统测试的自动化程度.UML状态图具有形式化特征,适合复杂系统详细行为的描述.本文基于面向对象思想,以状态图为核心技术,结合类图,提出了一种适合实时嵌入式软件的系统测试需求建模方法.该方法对被测软件系统的静态结构和动态行为进行建模,能清晰、完整地描述测试输入信息,包括前置条件、接口数据、激励事件、过程描述、后置状态等.并通过相关的建模机制实现了对实时性、并发性、时序性及数据反馈等约束特征的描述.基于该方法生成的需求模型,结合一定的测试用例生成策略,可以自动生成测试用例.作为示例,本文结合该方法对某飞行器控制功能进行建模,模型具有简洁、直观、易用的特点.