ARINC 653分区实时系统的可调度分析

ARINC 653规范定义了综合模块化航空电子(IMA)实时操作系统的行为逻辑以及向应用程序提供的接口规范。该规范规定了系统采用分区内调度和分区间调度的两级调度方案,如何分析系统的可调度性以保证实时任务能够在截止时间内完成计算是需要研究的新问题。基于负载请求与平台资源提供能力的供需约束关系导出了系统可调度的判定依据。证明了判据的约束是系统可调度的充分必要条件。实际应用表明,提出的可调度判定定理能够应用于判定ARINC 653分区实时系统的可调度性,辅助提升系统的安全属性。     

GPS/伪卫星组合定位中伪卫星改进选址模型

为了更为有效地改善GPS卫星的几何结构,提高GPS/伪卫星组合定位的精度,在推导伪卫星增强GPS系统基本公式的基础上,阐述了GPS绝对定位精度因子的相关理论,说明了引入伪卫星的必要性;提出了建立以观测时间、高度角和方位角为自变量,绝对定位精度因子为因变量的四维选址模型,并采用一次性添加伪卫星方式,改进现有的逐颗添加方式,建立了整体最优的伪卫星选址模型,给出了该模型的工作流程。以空间位置精度因子PDOP为例,进行实测数据测试与分析,结果表明：基于两种伪卫星添加方式建立的四维模型均可为高效的伪卫星选址工作提供可靠依据,实现伪卫星的优化选址;其中一次性添加方式优于逐颗添加方式,尤其对于添加2颗伪卫星,PDOP值在局部的优化程度达到了1.0以上,较大程度地改善了逐颗添加伪卫星方式产生的不利区域,可以提供更为有效的伪卫星选址方案。     

热效应布局下的缓冲器插入时序优化方法

随着集成电路的集成度越来越高,芯片的发热量越来越大且其内部温度呈不均匀分布,这会影响关键路径的传播延时,进而影响基于缓冲器插入的关键路径性能.提出了一种考虑芯片热效应布局优化的缓冲器插入时序优化方法,在版图设计的早期估计芯片的热分布和温度分布并且把其应用到版图布局优化和RC延时模型中.同时利用模拟退火算法基于热分布调整并优化布局,最后在最优布局下利用提出的缓冲器插入模型和快速插入算法进行时序优化.仿真结果表明相对于不考虑温度效应布局优化的缓冲器插入方法,缓冲器插入延时优化方法能有效降低最坏延时和缓冲器插入数目,最坏延时比传统方法降低9%~18%,比文献已经提出的最好方法降低5%~7%,缓冲器插入数比其少10~20个.      

一种星间设备系统偏差的标定方法

针对Ka波段测距体制中星间测距设备系统偏差标定困难从而影响自主导航精度的问题,提出用星地无线电双向时间比对的方法标定星间设备系统偏差。通过两条星地双向链路并在这两颗卫星间建立一条星间双向链路进行标定。结果表明：该方法能够标定星间设备系统偏差,其RMS优于1ns,从而起到提高星间时间同步精度的目的。     

激波引燃冲压发动机一体化流场数值模拟

激波引燃冲压发动机是一种采用爆轰形式组织燃烧的吸气式高超声速飞行器动力系统。采用AUSMPW+迎风格式、氢氧7组分8步基于反应模型,在非结构网格离散域上求解二维多组分化学非平衡流Euler方程。采用发展的数值方法求解了激波引燃冲压发动机内外一体化流场,研究了台阶长度、斜劈尖角度对发动机流场结构和发动机性能参数的影响规律。计算结果表明,所发展的数值方法能用于激波引燃冲压发动机的一体化流场和性能预示计算;台阶长度和斜劈尖角度影响发动机流场结构和预混气体能量释放程度。推力和燃料比冲均随台阶长度的增大而增大,随斜劈尖角度的增大而减少。     

美国一体化导弹防御系统研究

从美国一体化导弹防御系统的内涵入手,系统地研究了美国导弹防御系统的结构、作战指挥、试验,以及国际合作的情况,最后总结其未来发展趋势。     

船载测控设备远程测试标校系统设计与实现

远洋航天测控事业的不断发展,对测控设备的远程测试标校和故障诊断提出更高的要求。目前。船载测控设备配备了大量的智能测试仪器,为建立船载测控设备自动化测试标校系统提供了有利条件。此外基于PXI总线的虚拟仪器技术的广泛应用,也为未来航天测控设备的自动化测试提供了新途径。本文主要探讨了船载测控设备远程测试标校系统的主要设计思想和实现方式。     

DDN状态监控系统的设计实现

设计实现了一个用于解决DDN（Digital Data Net）网络管理不足之处的新系统——DDN状态监控系统．详细论述了该系统的设寸思路和软件结构,采用了数据库、网络轮询等一系列有效的技术手段来解决DDN网络管理的不足,指出了该系统的技术创新点。     

简化的混合估计算法及其在GPS／SINS深组合中的应用

为解决GPS/SINS深组合导航系统滤波的非线性和噪声的不确定性的问题,针对深组合模型特点,设计了一种简化的基于U滤波的多模型混合估计滤波器。根据系统模型中状态方程是线性方程、观测方程是非线性方程的特点,提出了一种简化的U滤波算法(Ultra tight coupling unscented Kalman filter,UTCUKF),然后针对噪声变化建立了非线性模型,多模型混合估计滤波器的输出为各滤波器的概率加权融合,因此模型概率是根据噪声变化而调整的,从而也使系统输出对噪声变化具有一定自适应能力。最后进行了仿真,并与基于普通U滤波的多模型混合估计算法进行了比较。结果表明,本文算法的解算时间短,模型切换速度更快,而估计的精确度与同条件下的基于普通U滤波的多模型混合估计算法相当,更符合深组合系统高动态的要求。     

小型辐射定标光学系统的光机热集成分析

卫星遥感器辐射定标光机系统在模拟空间环境下的热学光学特性会影响辐射定标试验的精度。文章针对离轴抛物镜和辅助平面反射镜组成的小型定标光学系统,利用光机热集成分析技术建立其有限元模型,在模拟空间环境下进行热变形分析;选用在单位圆内正交的Zernike多项式作为基底函数,采用最小二乘法完成了离轴抛物镜面形的拟合;将相关数据读入光学软件,分析了该系统在模拟空间环境下的像质变化。结果表明:温度梯度对定标光机系统的影响主要表现在光学平台的刚性位移,对抛物镜面形影响非常小,光学系统像质变化量约为λ/37。最后,通过与刀口仪法的像质原位测量结果对比,证明了光机热集成分析结果的准确性。