平飞固体火箭助推器设计

介绍平飞固体火箭助推器的设计，重点是固体助推器主要参数的确定和助推器壳体的传热分析，给出具体算例，并与试验进行比较，结果表明设计是正确的。     

无陀螺卫星姿态的二阶插值非线性滤波估计

采用四元数作为姿态描述参数，提出了一种确定无陀螺卫星姿态的新方法，即二阶插值非线性姿态估计算法，它能够利用星敏感器提供的矢量观测信息准确地估计三轴稳定卫星的姿态。这种姿态估计算法的实现非常简单，其运算量与传统的扩展卡尔曼滤波姿态估计算法相当，但滤波性能却与基于二阶泰勒级数近似得到的非线性姿态估计算法一致。而且，在二阶插值非线性姿态估计算法中，不会遇到由四元数正交约束所造成的协方差阵奇异性问题。     

中小企业CAPP系统的实施与二次开发

针对中小规模的企业推进计算机辅助工艺工作的实际情况,应用了简单实用的商用CAPP系统,并研究了对软件系统的二次开发以适应本企业的个性化要求,实现了工艺信息的编制无纸化和工艺信息的网络共享。     

胶接法修补固体发动机药柱裂纹技术

使用胶粘剂对固体发动机药柱裂纹实施修补,通过单向拉伸试验测定修补区域药柱的力学性能来验证修补的有效性,并使用高温加速老化预测药柱修补区域的贮存寿命;进行了发动机药柱结构完整性分析,比照试验数据和理论计算结果,证明胶接法可对发动机药柱裂纹实施有效修补。     

离子推进器C/C复合材料栅极研究

栅极是离子推进器的关键部件之一,直接影响推进器的可靠性和寿命。由于C/C复合材料栅极具有比较小的热膨胀系数和较强的耐溅射性,可以提高离子推进器的可靠性并延长其寿命。文章通过调研综述C/C复合材料栅极的研究和应用发展状况,针对目前我国离子推进器的研究发展水平,提出开展C/C复合材料栅极研究工作的初步思路。     

接收机自主完好性监测可用性判断方法研究

简介目前卫星导航中的接收机自主完好性监测RAIM算法和其中常用的三种可用性判断方法:δHm ax方法、ARP(Approxim ated R ad ia l-E rror Protected)方法和HPL(Horizonta l Protection Leve l)方法。对这三种可用性判断方法进行了理论分析和比较,证明δHm ax方法和HPL方法的理论等价性。通过计算机仿真对δHm ax方法和HPL方法的等价性进行了验证。并给出三种可用性判断方法在我国部分地区的RA IM算法的可用率。     

机载情报侦察数据链中的空地链路建模与仿真

针对机载情报侦察链中空地通信链路的特点,建立了统一的信道模型。模型包括大尺度衰落模型和基于三径信道模型的小尺度衰落模型。在给出了信道衰落模型的具体仿真方法后,分析了飞机飞行距离、工作频率及径向飞行速度等参数对信道特性产生的影响,为进行链路预算和解决多径干扰提供理论上的依据和参考。结果表明：不管信息传输速率多大,由于多径的影响在飞机飞行过程中频率选择性衰落都是不可避免的,但信息传输速率越高,衰落越严重;多普勒频移并不直接影响信道特性,但多径信道下的多普勒频移通过引起多普勒扩展而使信道具有了时变性。     

综合化三维工艺设计系统研究与实践

在工艺设计综合化、三维化需求分析的基础上,基于中航CAPP系统进行了部分功能开发与系统集成,验证了相关技术的可行性,并对相关问题进行了分析,为系统建设实施提出了建议。     

Efficient schedulability analysis for mixed-criticality systems under deadline-based scheduling

Safety-critical avionics systems which become more complex and tend to integrate multiple functionalities with different levels of criticality for better cost and power efficiency are subject to certifications at various levels of rigorousness. In order to simultaneously guarantee temporal constraints at all different levels of assurance mandated by different criticalities, novel scheduling techniques are in need. In this paper, a mixed-criticality sporadic task model with multiple virtual deadlines is built and a certification-cognizant dynamic scheduling approach referred as earliest virtual-deadline first with mixed-criticality（EVDF-MC） is considered, which exploits different relative deadlines of tasks in different criticality modes. As for the corresponding schedulability analysis problem, a sufficient and efficient schedulability test is proposed on the basis of demand-bound functions derived in the mixed-criticality scenario. In addition, a modified simulated annealing（MSA）-based heuristic approach is established for virtual deadlines assignment. Experiments performing simulations with randomly generated tasks indicate that the proposed approach is computationally efficient and competes well against the existing approaches.