系统可靠性预测方法

概述了系统可靠性预测的主要方法，对它们各自的优缺点和适用范围进行了系统的介绍了评论。在此基础上，提出一些新的可靠性预测方法，并对新方法的合理性进行了论证。     

周期结构和太阳电池翼的模态分析

基于周期结构的振动理论,把折叠状态太阳电池翼当作拟周期结构处理,解释了太阳电池翼在进行模态分析时所出现的“主模态局部化”现象,了解该现象对于在实验模态分析中确定阻尼系数具有重要意义。同时从理论上说明了,简单的基板模型的第1阶特征值是整翼模型的第1阶特征值的近似值。两个算例计算的结果支持了这个观点。     

随机疲劳裂纹扩展及动态可靠性分析

在确定性袭纹扩展模型的基础上，建立了疲劳裂纹扩展的随机模型。考虑裂纹扩展引起的强度衰减，建立了实用的动态可靠性分析模型。     

基于FMECA信息的测试性验证试验样本分配方法

针对目前国内外测试性验证试验中普遍采用的基于故障率的分层抽样方法考虑因素单一,可能导致样本分配不尽合理,而现有考虑多因素的样本分配方法代表性不足,难以实现工程上的应用的问题,对影响样本分配的因素与故障模式影响及危害性分析(FMECA)信息的关系进行了详细分析,提出了基于FMECA信息的样本分配方法。首先定义了单元影响系数和影响因子向量,提出了向量各元素赋值规则,解决了影响因素选取的问题;其次通过基于逼近理想解排序法(TOPSIS)优化的层次分析法确定了权值矩阵,实现了样本分配。最后通过实例验证表明该方法考虑因素全面,运用灵活,更具代表性和工程应用价值。     

矩形截面高超声速进气道气动设计及实验验证

首先对矩形截面高超声速进气道设计方法进行了研究,给出了设计流程,并据此设计了矩形截面高超声速进气道.接着对其进行了三维数值仿真研究,给出了进气道性能参数随来流马赫数、飞行迎角及飞行高度的变化规律.最后设计了实验模型,并进行了高焓风洞实验验证.数值模拟及高焓风洞实验验证均表明:本文采用的设计方法可达到预期的设计效果,设计的进气道达到了相应的设计要求,本文采用的数值仿真方法可以较为准确地模拟高超声速进气道内的流动,数值模拟结果可信.     

A novel strategy for fine-grained semantic verification of civil aviation radiotelephony read-backs

During the flight of the aircraft, the pilot must repeat the instruction sent by the controller, and the controller must further confirm these read-backs, in this way to further ensure the safety of air transportation. However, fatigue, tension, negligence and other human factors may prevent the controller from realizing read-back errors in time, which is a huge hidden danger for the safety of civil aviation transportation. This paper proposes a novel strategy to implement fine-grained semantic ...     

捕风一号卫星总体设计与技术特点

捕风一号卫星是中国首次实现基于星载导航卫星反射信号测量(global navigation satellite system-reflection,GNSS-R)技术的气象卫星,采用新型L波段海面风场信息探测技术,在风场测量、海面飓风风速反演等方面为国家气象、防灾减灾等行业提供服务.从系统设计角度介绍了捕风一号卫星的总...     

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

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

Winkler弹性地基上自由矩形板问题

在经典薄板理论中,弹性地基上自由矩形板弯曲问题的精确解,长期以来被认为是一个相当困难的课题。根据对矩形板精确解的研究,构造了一个包括三角函数和多项式组成的近似挠度函数。它满足四个自由边上的全部边界条件和自由角点条件,利用伽辽金方法得到Winkler弹性地基上自由边矩形板弯曲、自由振动和稳定问题的解。还给出了数值算例。     

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

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