AADL2ECPN模型转换方法及其在IMA上的应用

在综合模块化航空电子（IMA）系统应用集成的过程中,对IMA系统的资源配置建模和安全性分析至关重要。首先利用模型转换的方法,提出一套从架构分析和设计语言（AADL）模型到扩展着色Petri 网（ECPN）模型的转换规则,将AADL模型转换为ECPN模型,并且确保在模型转换过程中不丢失任何关键资源建模元素;然后基于目标模型进行后续的安全性分析研究;最后用一个简单例子演示如何应用提出的模型转换方法。结果表明,AADL2ECPN模型转换方法分析IMA系统安全性的可行性。      

改进的多处理器混合关键性系统可调度性分析

针对混合关键性系统的多重认证需求,研究多核处理器平台中全局调度算法fixed-priority and Earliest Deadline First by Virtual Deadline（fpEDF-VD）的可调度性分析问题。fpEDF-VD结合处理器利用率和虚拟截止期两个方面来计算任务优先级,系统可调度性取决于是否存在可行的虚拟截止期调整参数。考虑到现有可调度分析方法仅测试有限数量的调整参数候选值,不能有效地判定系统可调度性,故提出了一种改进的判定方法。该方法基于传统（非混合关键）任务调度算法fpEDF的可调度利用率约束条件,利用函数图像分析研究不同关键性级别的系统可调度性需求,并在此基础上给出有效虚拟截止期调整参数的确切范围。通过实例分析及与现有判定方法的比较,验证了该方法的正确性和高效性。与理论分析一致,基于随机生成任务集的仿真实验结果表明改进后的方法具有更优越的可调度性能,能显著地提高任务集的可调度接受率。      

基于故障行为模型的产品寿命分析方法

针对传统可靠性工程方法无法满足高可靠长寿命需求产品设计与分析要求的现状。本文充分考虑引起产品寿命分散性的内因和外因的不确定性,在产品功能模型或数字样机模型的基础上,结合产品的故障行为模型,建立了一种基于产品故障行为模型的产品寿命分析方法。在该方法中,内因参数与外因参数的分散性分别可以用相应的概率密度函数来表示,都是通过对实际使用情况和生产条件的估计得到的,因此,按照这种方法评估得到的产品寿命特征,能够弥补基于故障物理的可靠性预计方法无法体现产品正常使用条件的不足。      

火星着陆探测任务关键环节技术途径分析

火星进入、下降与着陆技术(entry,descent and landing,EDL)是火星着陆探测最为关键的环节。火星与地球再入返回过程相比,由于火星大气成分、物理性质与地球大气存在较大差别,且具有较大不确定性,使火星EDL过程历经时间短、状态变化快,对减速性能要求高,时序紧张。从工程实现角度分阶段开展了任务分析,识别了火星EDL环节面临的问题和挑战,提出了关键环节技术途径选择。     

面向设计的纤维缠绕复合材料压力容器结构分析方法

基于薄膜理论和经典层合板理论，导出了纤维缠绕轴对称壳的薄膜内力、应力、应变和位移等计算公式，旨在探讨一种面向纤维缠绕复合材料压力容器设计的结构分析方法。最后，通过两个算例评估了方法的有效性。     

2.4m跨声速风洞带TPS测力试验数据精度要求分析

成功建立带TPS风洞测力试验技术的一个关键问题是确保试验数据具有足够的精度,必须精细地分配误差。为获得满足工程需要的高精度测力试验数据,给出一种基于计算机符号运算的子程序,完成不确定度计算过程中公式自动推导、计算。最后通过对TPS风洞试验数据精度的敏度分析,给出了某运输机在2.4m跨声速风洞TPS试验中各环节的误差分配要求。     

铁磁构件应力集中的计算机模拟和磁记忆检测

本文应用ANSYS有限元软件模拟典型构件圆孔板应力场的分布，通过有限元解与解析解对比分析，说明ANSYS软件计算的可靠性和准确性。为进一步研究典型构件的应力分布与漏磁场强度之间的关系，完善磁记忆检测的理论基础提供了一种重要的手段。     

板料应力成形极限判据的有限元分析程序

为了解决在板料成形有限元数值模拟中以依赖于加载路径的应变成形极限为判据所存在的问题,以板料塑性变形时所遵循的应力应变转换关系、H ill二次厚向异性准则为计算模型,基于有限元商用分析软件DYNAFORM,开发了用于板料塑性成形工艺的以应力成形极限为判据的有限元分析程序。利用该程序分析了两种拉深件的有限元数值模拟结果,实现了用应力成形极限图作为判据对板料成形极限的预测分析。所开发的以应力成形极限作为判据的有限元分析程序为分析多道次板成形的成形极限提供了新的手段。     

固溶时效处理对高强高韧钛合金显微组织与力学性能的影响

对固溶时效处理后的高强高韧钛合金初生α相的体积分数、尺寸,次生α相的体积分数和α_s/β相界面密度等显微组织特征进行了定量表征和统计分析,探讨了随着固溶温度的变化,高强高韧钛合金显微组织与其力学性能间的相关性.结果表明:在α+β两相区固溶时效处理,随着固溶温度的升高,合金初生α相的体积分数降低,相尺寸先降低后略有升高,次生α相的体积分数升高,α_s/β相界面密度先升高后降低.初生α相的体积分数与伸长率、静力韧度和裂纹形成功正相关,α_s/β相界面密度与合金屈服强度成正相关.      

飞机发动机叶片缺陷的差激励涡流传感器检测

针对某型号飞机发动机涡轮叶片上预制的微裂纹缺陷进行了检测研究.基于涡流检测技术设计并研制了一种尺寸小、灵敏度高的差激励探头,应用有限元分析软件开展了叶片微裂纹缺陷仿真分析.为了实现叶片的自动高效检测,设计并采用数控多自由度扫查台来控制采集过程,实现了对叶片表面裂纹缺陷的快速扫查检测.采集信号经过信号调理电路,A/D转换后输入计算机,完成信号的保存、处理和输出.通过对比实验结果与仿真结果发现,研制的差激励式涡流传感器可以有效地实现对叶片类零件表面微裂纹位置的判定,对涡轮叶片类零件微缺陷早期诊断评估具有一定的现实和借鉴意义.