AADL2ECPN模型转换方法及其在IMA上的应用

在综合模块化航空电子（IMA）系统应用集成的过程中,对IMA系统的资源配置建模和安全性分析至关重要。首先利用模型转换的方法,提出一套从架构分析和设计语言（AADL）模型到扩展着色Petri 网（ECPN）模型的转换规则,将AADL模型转换为ECPN模型,并且确保在模型转换过程中不丢失任何关键资源建模元素;然后基于目标模型进行后续的安全性分析研究;最后用一个简单例子演示如何应用提出的模型转换方法。结果表明,AADL2ECPN模型转换方法分析IMA系统安全性的可行性。      

改进的多处理器混合关键性系统可调度性分析

针对混合关键性系统的多重认证需求,研究多核处理器平台中全局调度算法fixed-priority and Earliest Deadline First by Virtual Deadline（fpEDF-VD）的可调度性分析问题。fpEDF-VD结合处理器利用率和虚拟截止期两个方面来计算任务优先级,系统可调度性取决于是否存在可行的虚拟截止期调整参数。考虑到现有可调度分析方法仅测试有限数量的调整参数候选值,不能有效地判定系统可调度性,故提出了一种改进的判定方法。该方法基于传统（非混合关键）任务调度算法fpEDF的可调度利用率约束条件,利用函数图像分析研究不同关键性级别的系统可调度性需求,并在此基础上给出有效虚拟截止期调整参数的确切范围。通过实例分析及与现有判定方法的比较,验证了该方法的正确性和高效性。与理论分析一致,基于随机生成任务集的仿真实验结果表明改进后的方法具有更优越的可调度性能,能显著地提高任务集的可调度接受率。      

高精度法矢下切割面自适应的凸曲面射线寻迹

针对电大尺寸目标难以精确解析表达带来的一致性几何绕射算法应用难问题,提出了基于三角网格、适用于任意凸曲面的射线寻迹（TM-tracing）算法。应用工程中较易获取的三角网格及其协议,设计了一种满足快速多边搜索条件的网状数据存储链表;提出了满足寻迹要求的高精度法矢求解算法;采用切割面自适应调整的弧形拟合寻迹方法实现了爬行波寻迹算法;结合一致性几何绕射理论（UTD）实现了暗区场值求解算法。任意网格曲面射线寻迹结果表明:本文提出的寻迹算法适用于包括球、柱和锥在内的任意光滑凸曲面,寻迹偏差小于1.61%,寻迹速度为2.8 s,具有一定的工程应用价值。      

深空环境下热防护材料的研究及应用进展

随着对太空探索的深入,空间飞行器所面临的环境也越趋恶劣:太空飞行过程中的高温羽流防护,高速返回再入过程中高温气动加热;长时间日光下飞行会使飞行器表面温度越来越高;一些星球上高温的大气环境导致人类现有制造飞行器的材料无法抵挡。本文搜集国内外先进热防护系统研究资料,了解重点发展方向,介绍了我国神舟飞船热防护材料以及已经开发出的新型轻质高效热防护材料,为我国今后用于恶劣环境下的飞行器材料提供一些信息和材料基础。     

利用Breakwell间距比法制定行星际探测中途修正策略

详细介绍了制定行星际探测中途修正策略的Breakwell间距比法,给出了在燃料最优条件下,终端误差精度和制导能力与中途修正设计次数和时刻之间的解析关系。一般而言,终端误差精度每提高3倍,修正次数就需要增加1次,制导能力每提升3倍,修正次数就可以减少1次。在具体使用上,应首先根据精度要求和制导能力确定最后一次修正时刻,然后向前递推,使得前一次修正后误差传播量与后一次修正后误差传播量成公比为1/3的等比数列,以此确定其余修正时刻,从而保证在达到终端精度前提下,整体燃料消耗最少。以火星探测为例,给出探测器于2018年5月出发12月达到火星的算例,仿真结果表明了理论分析的正确性。     

FY-3A卫星星内辐射剂量评估与分析

对FY-3A卫星近四年的辐射剂量数据进行分析,结果表明,在1 mm铝的等效屏蔽厚度下,星内辐射剂量存在显著的方向性差异,+Y向剂量增长变化显著大于+Z向.深入分析剂量变化与带电粒子辐射关系后发现,太阳质子事件期间的高能质子增长不会对辐射剂量增长变化产生显著影响;而高能电子是剂量增长变化的主要贡献者,其中扰动导致的高能电子通量强增长是使得辐射剂量显著增加的主要原因,并显著影响到卫星+Y向.进一步与工程常用SPENVIS剂量计算结果的对比表明,实测能更好地反映剂量动态变化和方向差异.综上,实测剂量数据对于同类工程星内器件的合理布局和工程防护设计具有一定指导和参考价值.     

刀具编码的激光自适应标刻技术

针对激光标刻刀具编码时出现的标刻效率低、标刻质量不稳定、危害工人身体等问题,提出了一种自适应标刻技术.设计了特定结构的输送机和V型块,配合光电开关的检测功能实现自适应传送刀具;设计了使不同刀具在抓取后轴线处在同一位置的机械手爪,以保证不同刀具端面都能快速定位到激光头标刻区域;利用机械手的快速移动,采用了光电开关辅助对焦来提升对焦的速度和精度.在这3项关键技术支持下,完成了整个方案的设计.样机的测试结果表明,相比传统标刻方式,自适应标刻技术能将标刻效率提升4倍以上,保证标刻编码质量稳定可靠,实现无人化标刻.      

基于FPGA的高效机载视频采集及预处理方法

为提高机载视频编码系统的数据采集及预处理性能,以现场可编程门阵列(FPGA)为硬件平台,研究了多模式机载视频采集、颜色空间转换和视频数据传输的高效处理方法.针对机载应用需要实时采集不同模式视频的特点,设计了一种可靠的视频采集策略,通过引入错误自检机制,可以实时监测视频采集的正确性,避免视频数据的错误积累;针对机载视频颜色空间转换预处理中浮点乘法浪费计算资源和增加系统功耗的问题,设计了一种基于高低位分离的截断式查找表乘法器,减少了存储空间和计算位宽,结合流水线处理技术实现了一种高效视频颜色空间转换方法,在保证计算精度和性能的同时,处理功耗最大降低了27%;针对FPGA处理器与系统核心编码处理器(DSP)之间存在大量视频数据的频繁传输特点,结合SRIO(Serial Rapid I/O)链路的传输方式,设计了一种以FPGA为控制核心的数据交互机制,减轻了DSP的处理负担使其专注于视频编码运算,提高系统性能.      

电离层周日变化对解算GPS硬件延迟稳定性的影响

针对电离层周日变化特征分析了其可能对SCORE方法估算的硬件延迟稳定性的影响. 利用BJFS以及XIAM台站的GPS观测数据, 解算了位于太阳活动高年(2001年)和太阳活动低年(2009年)的卫星硬件延迟并分析了估算的硬件延迟的稳定性. 研究发现, 电离层周日变化对估算的硬件延迟稳定性具有一定影响, 但是利用不同台站所得到的卫星硬件延迟稳定性在昼夜不同时间上的解算结果存在一定差异. 电离层周日变化对利用 BJFS台站数据解算的硬件延迟稳定性日夜差异较为明显, 在太阳活动高年利用XIAM 台站数据解算的硬件延迟日夜稳定性差异不很明显, 由于XIAM台站处于电离层赤道异常峰附近, 夜间电离层变化很大, 因此对比中纬度地区, 电离层周日变化对赤道异常峰附近地区硬件延迟稳定性解算结果的影响相对较小, 但在太阳活动低年, 其影响仍较为显著.      

基于Krylov子空间法的柔性航天器降阶研究

带大型柔性附件的复杂航天器,其弹性变形通常用有限单元法描述.由于有限元节点坐标数目庞大将会给动力学方程求解和控制策略的实现带来巨大负担,因此对柔性太阳电池阵的动力学模型降阶进行研究.利用单向递推组集推导带太阳电池阵的航天器的刚柔耦合动力学方程,分别采用模态截断法、模态价值分析法和Krylov子空间法对太阳电池阵进行模型降阶,比较不同降阶模型和全有限元模型的动力学仿真结果.仿真结果表明,无论是否考虑大范围运动的影响,采用Krylov方法只需要较低的自由度就可以得到和采用有限元方法完全一致的结果.说明Krylov方法能够有效地降低航天器柔性附件的自由度,提高动力学仿真的效率,便于驱动控制的实现.