基于Richardson插值法的CFD验证和确认方法的研究

针对典型高超声速流动问题(T2-97模型),利用Richardson插值法,研究了多套连续变化网格下数值解的空间离散误差、收敛性。通过网格收敛性研究,完成了CFD的验证过程。利用不确定度分析方法,结合实验数据,开展了该问题的确认。研究表明:针对所选问题,在现有实验数据及计算条件下,该问题的CFD得到了验证与确认。     

应用限制编程的信息模型内在检查方法

提出了一种基于限制编程(Constraint programmmg)的信息模型内在一致性检查方法,重点描述了EXPRESS信息模型的一致性及其检查。EXPRESS语言,作为标准制造数据交换的一个重要部分,广泛地应用于制造与信息业。中提到的一致性检查包括三个步骤：EXPRESS模型形式化,限制满足性问题(CSP)从形式化模型中的抽取和CSP的可满足性测试。本同时揭示了限制编程的一个新的应用领域：模型验证。     

1553B总线接口SoC验证平台的实现

随着半导体技术的发展,验证已经成为SoC设计的瓶颈.分析了SoC验证面临的困难,结合1553B总线接口SoC芯片的具体实践,重点研究了SoC验证平台的一种构建实现方法.该方法提高了验证效率,缩短了整个设计验证周期.     

不同运行模式下跑道容量评估技术研究

跑道容量的大小是机场能否进行高效率运行的一个关键因素,准确评估出跑道的理论容量对机场的实际运行有着至关重要的作用.对单跑道的理论容量进行建模,在单跑道的基础上研究了近距跑道与远距跑道的不同运行模式下的跑道容量数学模型,根据相关机场具体的数据对模型进行验证,并用SIMMOD PLUS仿真软件对机场的场面实际运行情况进行仿真,通过计算出的跑道理论容量与仿真出的空侧容量对比,结果表明机场跑道理论容量计算模型具有较好的实用性.     

关于设计保证系统适航独立核查的思考

民用飞机主制造商建立设计保证系统,旨在民机研制过程中充分发挥自主适航的能力,通过组织机构、职责、程序和资源落实设计、适航以及独立监督三大职能,以保证航空产品的设计或者设计更改满足适航当局的要求。其中,设计保证系统适航职能的适航独立核查功能正是这一保证的关键。基于对设计保证系统适航独立核查功能的具体分析基础上,从设计保证系统的规划与设计层面提出了实现适航独立核查功能的机制,给出了机制中需明确的责任主体、职责与资质要求、工作流程与支撑工具以及管理程序等方面的建议,并从大数据知识的技术支撑和阶梯式递进的人才培训保障两方面以不断优化改进的方法工具与人力配置来深化适航独立核查的功能与效果,进而增强设计保证系统对飞机型号研制的保证作用。     

基于约束优化的舰艇区域防空作战能力需求生成

作战能力需求生成是在满足多约束条件下完成的,寻求约束集是能力需求生成的重点;以舰空导弹区域防空为背景,通过对作战需求约束、能力需求约束、技术发展约束以及其他因素约束进行综合分析,提取制约能力指标生成的约束集,建立舰艇防空作战效能目标函数,采用基于罚函数法的快速粒子群算法进行能力指标的约束优化求解;以最大预警距离为变量,对其他作战能力指标优化前后的曲线图进行仿真验证,定量生成舰艇区域防空作战所需的能力指标值,验证了模型算法的可行性,为舰艇区域防空作战能力需求生成提供了定量化依据。      

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

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

热试验中红外热像仪低温测量能力分析及试验验证

文章分析了红外热像仪在航天器热试验中对低温目标的测温能力不足问题,采用红外干扰消减以及分段辐射定标/分段线性函数拟合的方式,初步解决了红外热像仪在真空低温环境下对低温目标的测量受限的问题。文章的研究结果有助于改进红外热像仪在真空低温环境下的非接触温度测量工作。     

论航天器环境工程在航天产品验证中的作用

论述了航天器环境工程对航天产品验证工作的重要性,介绍了国外的实践与有关标准,着重介绍了美军标 MIL-STD-1540D 中对航天产品的验证要求.     

国外多模式霍尔电推进发展概况及启示

多模式霍尔电推进具有多个工作模式,调节能力强,相对于20世纪80年代以来广泛应用的只有一个工作模式的霍尔电推进器,其优势明显,能很好地适应诸如GEO卫星轨道转移和在轨位置保持,以及深空探测器和空间运输平台的主推进等多种任务,因此得到了广泛研究和应用.国外多模式霍尔电推进发展现状和趋势对我国多模式霍尔电推进的发展具有重要的启示作用.针对我国航天器对电推进的迫切任务需求,定量分析应用多模式霍尔电推进的收益,提出我国多模式霍尔电推进发展的建议.