摘要：应力强度因子(SIF)分析是含多部位损伤(MSD)结构的裂纹扩展分析及寿命预测的基础,对于连接结构采用简化模型难以考虑次弯曲、铆钉变形等因素影响。本文建立了含MSD对接板的三维有限元模型,研究了不同损伤模式、设计构型和约束条件下的裂纹尖端SIF分布特性以及随裂纹长度的变化规律。结果表明,孔边裂纹Ⅰ型SIF起主导作用,Ⅱ型和Ⅲ型SIF可忽略不计;由于次弯曲效应,SIF从外表面到内表面近似呈线性关系逐渐增加;MSD裂纹之间存在较强的干涉作用,且裂纹间距离越短数量越多,干涉作用越强;SIF随拼接板厚度增加呈先增加后降低的趋势,原因是拼接板刚度和铆钉柔度对铆钉载荷传递有一定影响;采用埋头铆钉会使SIF值增加,且内外表面差异变得更大;反翘曲约束对裂纹尖端SIF均值影响很小,但能显著降低SIF沿厚度方向的变化。

摘要：由于易于设计、制造以及承载效率高,C型柱作为一种典型的垂向支撑结构,大量应用于大型运输类飞机货舱地板下部。以复合材料C型柱结构为对象,并结合复合材料C型柱轴向压缩试验,旨在发展其在轴向压缩载荷下失效分析的有限元方法。首先,对材料模型的应力-应变曲线进行参数化研究,明确Lavadèze材料单层模型、Puck IFF基体失效准则和Yamada Sun纤维失效准则中参数的物理意义并给出取值建议。其次,建立"层合壳"模型,模拟轴向压缩载荷下破坏失效的力学行为,并与试验结果进行对比分析。研究结果表明,该建模方法能够较好地模拟渐进压缩破坏过程,平均压缩载荷、比吸能的预测值与试验结果具有较好的一致性。

摘要：在DIMA平台开放性体系架构的背景下,飞机航电与机电等系统功能逐渐渗透融合,面向DIMA架构的全电刹车系统是未来飞机刹车系统的主流设计趋势,但目前尚未形成针对DIMA架构下全电刹车系统的故障传播行为分析与评估方法。针对上述问题,首先结合DIMA架构特征和全电刹车相关标准,分析面向DIMA架构下的全电刹车系统分层架构,在此基础上构建全电刹车系统任务-功能-资源层次模型。其次,考虑到DIMA平台资源共享的特点,结合系统层次模型开展系统耦合关联分析,引入Floyd算法计算间接耦合矩阵以及路由矩阵,通过构造失效严重程度矩阵量化系统关联耦合度,建立系统故障传播结构模型,综合考虑故障路径传播概率和系统边缘介数,构建DIMA架构下全电刹车系统故障传播强度模型,以识别系统故障传播关键路径,完成故障传播行为分析与评估。最后通过实例分析,以验证所提方法的正确性与合理性。

摘要：在航空器的机载设备中存在大量的多时钟域电路,数据在进行跨时钟域传输时可能会产生亚稳态,导致数据传输错误,电路可靠性降低。但亚稳态导致的故障具有偶发性、不易重现,且现有的跨时钟域专用验证软件使用成本高昂,不支持三模冗余场景下的跨时钟域电路验证。针对此问题,提出了一种基于传统工具的寄存器传输级(RTL)验证、板级加速测试和计算评估相结合的方法。该方法能够在设计早期使用通用仿真工具发现三模应用场景或正常场景下的跨时钟域传输问题,并评估潜在跨时钟域传输风险,降低了高安全等级机载复杂电子验证经济成本和时间成本,提高电路可靠性。

摘要：分布式任务决策是提高单一飞行员驾驶(SPO)模式分布式协同飞行组织架构多智能体系统自主性的关键。以多智能体协作执行复杂任务为背景,首先构建了一种考虑任务载荷资源需求、智能体资源空间限制以及执行窗口等多约束条件的SPO模式分布式多智能体联盟任务分配决策模型;其次,对Q-估值网络函数逼近器进行了设计,提出了基于深度Q网络(DQN)的联盟任务分配方法,选择有效智能体生成最优联盟任务分配结果的最佳执行路径,使联盟中各智能体能够以更加自适应的方式实现调度优化;最后通过数值仿真,验证了DQN方法求解复杂约束条件下SPO模式多智能体联盟任务分配问题的有效性和快速性。

摘要：针对可重构分布式综合模块化航空电子(distributed integrated modular avionics,DIMA)系统在设计初期缺少仿真与验证手段的问题,首先分析了可重构DIMA软件体系的架构特征以及支持动态重构的层次化通用系统管理(generic system management,GSM)的组件功能划分。然后,使用架构分析与设计语言(architecture analysis and design language,AADL)及其相关附件对DIMA动态重构的架构基础、行为细节等要素进行建模。在此基础上,设计了一种基于形式化定义的模型转换规则,该规则将AADL动态重构模型转换成可执行的时间自动机模型。最后,利用模型验证工具UPPAAL验证了可重构DIMA系统逻辑及时序的正确性和不安全控制行为的可达性。结果表明,所提方法具有可行性和有效性,并且能够为后续DIMA动态重构的形式化安全性评估提供模型基础。

摘要：针对民机安全关键系统在正向研发过程中,系统级需求的正确性难以在设计早期全部完成确认的问题,提出一种基于有限谓词追踪的功能需求一致性检查体系。首先,引入一阶逻辑中的谓词追踪,建立系统内部功能需求与交互功能需求形式化规约方法。其次,针对单条、多条需求内容正确性以及需求关系一致性,构建需求一致性检查形式化规约,开展需求自冲突、集冲突与需求关系一致性检验,并生成可解释的检查反例进行需求迭代。最后,以机载平视显示(head-up display,HUD)系统飞行信息符号生成与显示功能为例,验证该方法的正确性与有效性。研究结果表明,基于有限谓词追踪的功能需求一致性检查方法能够提高需求一致性检查效率、降低研发成本,为民机系统级需求确认提供支持。

摘要：针对小型简易爆炸装置,设计了芳纶和超高分子量聚乙烯(UHMWPE)纤维织物防爆袋,开展了织物袋内爆试验,同时建立了织物袋内爆数值分析模型。从外部超压和临界厚度两个角度对比了两种材料织物袋的抗爆能力,分析了初始内爆距离和织物袋厚度对织物袋抗爆性能的影响。结果表明:内爆载荷下织物袋的主要失效模式为中心区域破孔和封口拉链失效。在20~100 g药量范围内,织物袋的临界厚度与药量近似呈线性增长关系。同一药量下,芳纶织物袋的临界厚度明显大于UHMWPE织物袋,在不考虑爆炸火球对织物烧蚀的影响时,UHMWPE织物袋具有更好的抗爆效果。厚度相同时,芳纶织物袋外部的超压峰值更小,表明芳纶织物袋的超压衰减能力更强。随着织物袋初始内爆距离的增大,织物袋的临界厚度减小。织物袋外部一定范围内存在高于人体能够承受的超压,以30 g TNT、3 mm厚芳纶织物袋为例,在距织物袋中心665 mm处的超压为34.2 kPa,超过鼓膜损伤阈值。

摘要：Virtex-5系列芯片没有官方提供的专用软错误缓解(Soft Error Mitigation,SEM)IP核,需自行设计故障注入系统.本文选用XC5VFX130T型现场可编程门阵列(Field Programmable Gate Array,FPGA)芯片利用单帧部分重构功能达到等同于SEM IP故障注入效果,实现对FPGA电路系统的抗单粒子翻转能力评估测试.利用逐位注入故障模式对XC5VFX130T型FPGA的配置位逐个注入故障,获得待评估电路的敏感配置位信息;对待测电路进行三模冗余防护加固,利用累积故障注入模式连续随机注入模拟单粒子辐照试验环境,得到待评估电路的功能中断截面,进而实现对基于XC5VFX130T型FPGA系统的抗单粒子翻转加固效果的评估.研究表明,基准电路(移位寄存器链等)评估得到的功能中断截面与实际辐照试验中的功能中断截面曲线变化一致,为机载电子的单粒子效应适航评估提供了支持.

摘要：为研究水平冲击下不同参数对于头排乘员损伤的影响及不同保护姿势的保护效果。首先进行水平16g动态冲击试验,建立相应的数值模型,验证模型有效性;其次通过正交试验设计进行参数研究,揭示头排座椅间距、安全带刚度、隔板刚度、安全带固定点位置对于乘员损伤的影响;最后研究直立式、抱脚式、手顶式3种姿势对于头排乘员的保护效果。结果表明头排座椅间距以及隔板刚度对乘员头部损伤影响显著;头排乘员头部、颈部、股骨、胫骨损伤对安全带材料特性及安全带固定点位置不敏感;抱脚式、手顶式保护姿势均对头排乘员头部有较好的保护效果。在水平冲击下采用头部前倾的抱脚式保护姿势可使头排乘员头部、颈部、股骨及胫骨损伤均小于限定值。