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

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

插装式液控能源选择阀的设计与分析

针对液压系统油源的安全性及可靠性问题，提出油源冗余设计方法，即多油源供给多负载，当某一油源发生故障时能源选择阀切断故障油源，由其他油源给负载提供基本液压能源，系统能完成必须的服役性能。针对液压系统能源选择阀存在的频繁换向与振动问题，提出一种插装式液控能源选择阀，其先导阀采用锥阀和可变阻尼形式，主阀采用三台肩且终端有缓冲功能的滑阀。建立了插装式液控能源选择阀的数学模型，分析了能源选择阀在两种模拟故障下的切换压力及切换时间、油源压力脉动等特性。理论分析结果表明，油源压力阶跃和线性变化时，某能源选择阀切换时间分别为5 ms和7 ms。当压力发生波动时，主阀不会发生振动，还可通过液控先导阀结构设计来控制切换压力和回复压力大小。     

低成本高可靠综合电子系统集成技术

我国现有的卫星电子产品的传统研制模式已很难适应卫星快速增长,型号对于平台的管理控制核心的电子系统提出低成本、高可靠、快速响应、快速研制的迫切需求。通过构建低成本、高可靠计算机系统体系架构,设计基于COTS器件的星载计算机,并采取包括系统、模块、器件的多级可靠性冗余设计及验证技术,为实现低成本、高可靠、长寿命的产品研制,满足型号长期在轨任务要求奠定基础。     

星载高速数字电路电源芯片选型及电源完整性设计

优化电源完整性及可靠性设计可以有效提高高速数字电路在高速、高负载及极端环境下工作的性能及可靠性。通过对开关式点电源及LDO (低压差线型稳压器)两种供电方式在星载高速数字电路中的应用特点进行分析,总结出针对两种电源在电源完整性上的设计准则,量化相应测试指标,通过对开关类电源LTM4644及LDO型电源对信号完整性设计及电源芯片选型进行研究优化,为星载高速数字电路电源完整性设计及测试提供部分参考及依据。     

激光捷联惯导量化热设计指标控制方法

随着机载激光捷联惯导向小型化方向发展,惯导结构的热设计正面临着更加严峻的挑战.针对设计中经常出现因无法在设计前期进行热设计指标控制而导致后期设计返工的问题,提出了一种热设计量化控制方法,即根据估算的整机功率计算箱体外表面积,再对箱体外表面积可达性进行判断,如可达则以该参数作为控制指标进行设计,如不可达则采用可达的最大表面积作为输入反算整机功耗,再根据计算结果对各电路功耗进行重新分配.经有限元仿真计算和试验一致证明该方法有效,可以实现惯导设计前期定量化的热设计控制,在很大程度上避免了后期因热可靠性及热试验问题的设计返工.     

小尺寸Schmidt-Boelter热流传感器的研制

为满足常规高超声速风洞试验的热流测量需求，研制了一种小尺寸Schmidt-Boelter热流传感器。建立了传感器仿真模型并基于该模型对其结构尺寸开展了优化设计。根据优化结果，制作了尺寸为Φ 3×10 mm的传感器样件。在弧光灯热流标定系统上进行了性能测试，试验结果表明:该传感器灵敏度系数大于30 μV·m2/kW，响应时间约50 ms。     

基于CFD高精度算法的雷电电磁场研究

雷电空间电磁场一直是电磁领域研究的热门，成熟的算法例如有限时域差分法（FDTD），传输线矩阵法（TLM）以及频域的矩量法（MoM）在计算雷电问题方面都有广泛的应用。由于计算流体力学（CFD）中的Euler方程与电磁学中的Maxwell方程有着相同的守恒形式，而且采用间断伽辽金方法（DG）已经在流场问题上得到广泛的尝试，因此引入了基于计算流体力学的DG方法来离散时域Maxwell方程，并采用网格分区并行技术加速计算，使用基于DG的圆球雷达散射截面积（RCS）算例进行测试，数值结果一致表明DG算法在求解电磁场问题上的可行性，之后通过计算一段近场雷电通道的电场分布并与解析解、某算法仿真解对比，数据基本吻合，说明该方法适合于雷电电磁场的计算。     

一种基于VPL 的元器件快速建模方法

为了更好地落实航空电子模块的可制造性设计审查工作,结合航空电子模块产品特点和技术要求,建设了基于Valor软件的PCB/PCBA设计与检测自动化分析系统.元器件模型库作为该系统的必要组成部分,其覆盖范围和数据精度对审查结果至关重要.本文将从元器件模型库建设必要性、建设过程和建模工艺要求三个方面进行阐述,并提出一种基于Valor VPL的元器件快速建模方法,应用结果表明,该方法能够高效构建满足系统审查精度的元器件模型,使大规模元器件模型库的建设成为可能.     

航天嵌入式软件数组越界缺陷特征研究

根据统计,数组越界是航天嵌入式软件开发过程中出现最多且最容易被遗漏的缺陷类型之一.目前自动化检测数组越界多基于抽象解释、符号执行、程序模型检验等方法,这些方法在误报、漏报、可扩展性等方面的表现依赖于软件及缺陷特征.分析了近三年航天嵌入式软件第三方测试中发现的94个数组越界问题,从缺陷模式和缺陷表现形式两方面分析得出10项航天嵌入式软件数组越界缺陷特征,并提出对设计具体检测方法关键的若干启示.进一步基于这些特征和启示探讨了数组越界检测算法针对中断驱动型程序的改进方向.