航天器测试需求描述及其自动生成

航天器作为一个典型的安全苛刻系统,其可信性研究需求迫切,支持可信性评估的数据来自于航天器测试用例的执行,而航天器测试需求是测试用例生成的重要依据.在实际应用中,对航天器这类复杂系统,面临测试需求庞杂、测试需求编制周期长、人工经验编制方式难以保证测试需求的充分性、完备性及可复用性等问题.针对这些问题,通过分析航天器组织结构特点,建立航天器形式化模型,基于航天器测试任务流程,给出了航天器静态测试需求和动态测试需求形式化描述规范,并给出航天器测试需求自动生成方法,保证了测试需求的充分性和完备性,提高了测试需求复用性,与人工编制方式相比,缩短了测试需求编制周期.最后设计并实现航天器测试需求生成应用系统,验证所提出方法的有效性.      

共面变相位星座多目标交汇序列优化方法

针对空间多目标交汇时空约束繁杂、轨道能量影响变量多的特点,从空间几何解析法入手,提出基于穿越点的共面变相位交汇方法,在Lambert椭圆轨道机动的基础上,给出了机动装置共面变轨相位快速确定方法,总结了变轨速度需求以及运载段分离条件已知情况下相位角和转移时间的包络区,并基于覆盖效能对目标发射序列进行了优化,仿真验证了相关结论,得到的结果符合预期。     

海洋定位卫星性能分析

编队卫星是重要的空间设施,为保证编队卫星在空间复杂环境中的工作效率,需对编队卫星的工作原理、状态进行分析。以三星编队的海洋定位卫星为例,由于该编队卫星工作状态常受到星间基线、目标源位置、卫星高度等多种因素的制约,易造成定位模糊等问题。在评价海洋定位卫星性能方面,传统的方法主要着眼于定位精度,而忽略了定位迭代解算时间这一指标,而在特定的场景下(海上搜救、抢险救灾),较短的解算时间可以迅速找出目标源的概略位置。通过分析海洋定位卫星的时差测量定位原理,对定位误差精度进行了分析,提出水平精度因子(HDOP)和最小二乘迭代结合的评价方法,分析了影响卫星性能的因素,包括目标源相对几何位置、卫星高度及卫星几何构型等方面的影响。仿真结果表明:本文的设计可以提高卫星的定位效果,为定位卫星的参数设定提供参考。     

导弹拦截H_∞鲁棒制导律设计

针对导弹在目标拦截过程中的特点,以H∞控制理论为基础,应用Lya-punov函数稳定性的分析方法设计了寻的导弹鲁棒制导律.该制导律中将目标机动看作系统的有界外部扰动,导弹的法向加速度作为控制输入,通过参数设置导弹的弹道性能,不需要对目标机动信息进行估计并且避免了复杂的Hamilton-Jacobi不等式的求解.仿真结果表明此制导律具有较好的鲁棒性和拦截效果,对外部扰动起到了很好的抑制作用.     

Development of a coupled supersonic inlet-fan Navier–Stokes simulation method

A coupled supersonic inlet-fan Navier–Stokes simulation method was developed by using COMSOL-CFD code. The flow turning, pressure rise and loss effects across blade rows of the fan and the inlet-fan interactions were taken into account as source terms of the governing equations without a blade geometry by a body force model. In this model, viscous effects in blade passages can also be calculated directly, which include the exchange of momentum between fluids and detailed viscous flow close to walls. NASA Rotor 37 compressor test rig was used to validate the ability of the body force model to estimate the real performance of blade rows. Calculated pressure ratio characteristics and the distribution of the total pressure, total temperature, and swirl angle in the span direction agreed well with experimental and numerical data. It is shown that the body force model is a promising approach for predicting the flow field of the turbomachinery. Then, coupled axisymmetric mixed compression supersonic inlet-fan simulations were conducted at Mach number 2.8 operating conditions. The analysis includes coupled steady-state performance, and effects of the fan on the inlet. The results indicate that the coupled simulation method is capable of simulating behavior of the supersonic inlet-fan system.     

航电系统并行检测过程与检测设备解耦方法

航电系统在使用或升级改造过程中进行可靠性检测是必不可少的。特别是在当前批量航电系统大量投入使用的背景下，迫切需要能高效、快速、准确地对系统进行可靠性检测。由于航电系统安全性要求高，内置检测软件受限，需要外置检测设备通过航电系统指定接口进行检测，检测过程也不允许出现任何泄露等行为。检测设备与具体航电系统耦合，检测过程与具体检测设备耦合，难以实现批量航电系统并行检测。为此，通过引入逻辑检测设备，给出了一种航电系统并行检测分层框架，解决检测设备与被测系统耦合的问题，同时也保证了检测的安全性。通过逻辑检测设备、检测跳转机和被测主机上检测行为的描述，给出了一种面向通用航电系统并行检测的检测设备协同机制，解决检测过程与检测设备耦合的问题，从而支持多个航电系统并行检测。最后，实现了一个通用航电系统并行检测系统，并通过实际应用和实验对比验证所提方法的有效性。     

适应拓扑变化的拥塞最小化网络更新策略

软件定义网络的出现推动了航空集群机载网络的发展，同时也为机载网络的一致性更新带来了挑战。针对拓扑变化导致的网络更新期间可用路径失效问题，提出适应拓扑变化的拥塞最小化网络更新策略。首先，为减少可用路径失效带来的数据包丢失，在更新之前采用重路由机制进行处理；然后，针对重路由机制可能引起的网络拥塞，设计了贪婪流迁移算法缓解拥塞；最后，通过瞬时拥塞最小化更新算法完成整个网络更新。仿真结果表明：与传统的拥塞一致性更新算法相比，所提更新策略用规则开销、瞬时网络拥塞方面的少量提高换取了网络更新期间数据包丢失的显著降低。     

位错对形变304亚稳态不锈钢中奥氏体的电化学性能的影响

AISI 304亚稳态奥氏体不锈钢形变时容易发生相变,为避免产生相变马氏体而专注于研究位错的影响,采用局部电化学技术研究了拉伸应变分别为0%、10%、20%、30%和40%时的AISI 304不锈钢中奥氏体晶粒的电化学性能的变化规律,并分析了位错密度及位错组态对阻抗谱和动电位极化曲线等电化学性能的影响机理。研究结果表明:奥氏体的阻抗随位错密度的增大而降低,在低应变水平下位错密度的增大对阳极电流密度的降低有着重要作用;阳极电流密度随应变水平增加而增加,达到一个最大值后显著下降。通过扫描开尔文探针(SKP)的测量结果,计算得知位错堆积数比位错密度对阳极电流密度的影响更为显著,尤其是对于高应变水平不锈钢。     

A mesh optimization method using machine learning technique and variational mesh adaptation

Computational mesh is an important ingredient that affects the accuracy and efficiency of CFD numerical simulation. In light of the introduced large amount of computational costs for many adaptive mesh methods, moving mesh methods keep the number of nodes and topology of a mesh unchanged and do not increase CFD computational expense. As the state-of-the-art moving mesh method, the variational mesh adaptation approach has been introduced to CFD calculation. However, quickly estimating the flow fi...     

PBGA封装芯片热环境适应性仿真分析

针对多数塑料焊球阵列（PBGA）封装芯片仅依据美军MIL标准进行高低温交变测试致使预测服役寿命偏差较大的情况，将微控制芯片任务状态时间谱转化为环境温度载荷谱，在综合考虑热传导、热对流的情形下，利用icepak完成芯片热电耦合仿真分析，并借助于Transient Thermal及Transient Structural完成芯片结温的获取及焊点应力、应变的计算求解。同时，依据Arrhenius模型及修正Coffin-Manson热疲劳模型分别预测芯片本身及焊点的寿命，从而实现对其热环境适应能力的定量分析。仿真结果表明:芯片的预测寿命约为6.26年，寿命预测偏差约为13.4%，符合GJB 4239-2001中单个关键环境因素预测寿命偏差标准，能够较为精确地反映其热环境适应性。