航天器运输包装箱仿真验证平台技术研究

针对数量有限的物理跑车试验无法满足减振与保温性能测试需求的问题，提出一套航天器运输包装箱动力学与热学仿真验证方法，包括：建立适用于包装箱系统的刚柔耦合多体动力学系统，通过结合线路条件测试生成的动力学系统外部激励，实现减振性能虚拟跑车测试；建立基于计算流体力学的包装箱热学模型，通过模拟自然对流和空调控制，实现包装箱保温性能虚拟跑车测试；基于C/S架构和导航式流程设计思想，建立航天器运输包装箱仿真验证平台，通过实际案例证明该平台仿真结果与实际跑车测试数据具有较高的一致性。     

高准确度直流电阻仪整体检定方法探讨及不确定度评定

介绍了几种整体检定直流电阻仪器的检定方法 ,着重分析了用数字多用表整体检定高准确度直流电阻仪器的工作原理和检定方法 ,并进行了不确定度的计算。     

数字多用表自动检定校准系统

本文介绍了一种数字多用表的自动检定校准系统的构成及软件设计 ,并对系统软件的设计方法 ,主要功能及主要特色进行了讨论。     

用两端安装法检定热电偶

利用一种设计好的专用检具 ,使两束被检热电偶分别从检定炉的两端安装均可保证符合检定规程的要求 ,从而在不添置新设备的情况下 ,使检定热电偶效率大大提高。     

全天球实时恒星模拟器技术

阐述了研制全天球实时恒星模拟器的意义以及国内外发展趋势,介绍第二代恒星模拟器的系统组成、特点、技术指标以及解决的技术问题。     

气动力星座保持的闭环控制研究

本文研究了利用气动力进行星座保持的闭环控制问题。提出了一种改进的半全局指数收敛闭环控制律，对于指定的任意大的有界域，利用不变集定理论上证明了该控制律的稳定性和抗干扰性，又提出了双ε法以提高响应速度。     

气象卫星数字基带信号解码的两种方法

论述利用计算机对气象卫星数字基带信号解码的两种方法。方法一是在开环条件下对基带采样跟踪与智能判决。方法二是基于最优检测原理 ,在分相码 (Manchester码 )的解码中简化了正交积分锁相环 ,采用单积分器辅助计算机智能判断 ,对基带实现最优检测     

基于断言的形式验证方法应用研究

针对模型检验算法在工程应用中面临的形式语言局限性和状态空间爆炸的危机,提出了基于断言的形式验证解决方案。通过对DW8051_timer模块的实际验证,说明了该方法可以简化模型检验算法在工程实践中的应用,并且与传统仿真方法相比,它能在一定程度上缓解航天领域数字系统设计中的验证困境。     

大型捆绑运载火箭姿态控制系统

本文介绍了大型捆绑运载火箭姿态控制系统方案、工作原理和首发飞行试验结果,并将部分参数同美国航天飞机进行比较。     

弹道式导弹的中段制导与控制

本文提出了一种中段制导的方案——“闭环路导引的中段制导方案”。该方案具有收敛快、节省推进剂能量、精度高等优点。文章较系统地进行了方案的推导,估计了其方法误差,提出了计算程序框图及计算结果,并与其他制导方案进行了比较。