基于LDRA Testbed的主机/目标机 测试方法研究

DO-178B要求验证机载软件在目标机环境中正确运行,所以必须在受控的真实测试环境中运行插桩代码,提出基于LDRA Testbed的主机/目标机测试方法。介绍该方法的提出背景、原理、通信方式、面临的问题和测试环境的构建,构建方法减小因插桩引起的源代码膨胀和干扰时序的影响,并在测试环境中创建延时取回的算法以获取累积的历史记录文件,最终得到有效的动态覆盖率测试报告。从软件的健壮性和可靠性层面上有效提高机载软件的质量。     

面向重用的MBD模型本体知识库构建技术研究

航空领域产生的大量历史MBD模型数据,具有很高的重用价值。构建规范化的模型存储数据结构是模型重用中需要解决的首要问题,研究了MBD模型数据的组织形式,以本体技术作为模型类型划分和属性信息的知识表示方法,设计了一种集合几何信息与非几何信息的本体数据结构。基于该数据形式将历史模型数据存储为结构化的本体知识库,通过模型关键信息检索试验验证了该技术的可行性,为海量模型数据重用奠定基础。     

李萨如图在磁记忆二维定量检测中的应用

依据磁记忆二维检测原理,将磁信号法向分量存在过零点,切向分量存在最大值联合起来检测,并引入李萨如图分析法,对用法向分量和切向分量合成的类李萨如图以及将法向分量和切向分量微分后合成的李萨如图进行比较分析,得出可以利用微分后合成的李萨如图封闭区域面积的大小来判断应力集中程度及用在不同的应力集中程度下李萨如图面积数量级作为阈值的结论.从而可为利用李萨如图分析法对磁记忆二维检测进行定量分析的进一步研究提供试验分析依据.     

高周疲劳损伤的磁记忆二维检测研究

 对40Cr钢缺口试件在三级应力水平下进行了高周疲劳试验和磁记忆二维检测(2-D MMMT),并引入李萨如图分析方法,研究应力集中、疲劳损伤及疲劳应力对二维磁信号的影响规律,分析李萨如图特征值与疲劳损伤程度之间的关系。结果表明:在应力集中部位会出现磁记忆法向分量过零点及切向分量峰值的现象,并且该现象的位置随着疲劳损伤程度的增加产生漂移,逐渐向缺口根部靠拢;可利用磁记忆信号切向分量梯度K曲线异变峰特征来表征构件损伤位置;磁记忆信号切向分量梯度最大值随疲劳损伤程度的增大而增加;磁记忆信号梯度K曲线形成的李萨如图闭合区域面积与疲劳损伤程度有较好的对应关系。梯度最大值可作为反映构件损伤程度的特征量,根据李萨如图面积可以判断构件疲劳损伤状态。     

基于DO-178C的机载软件质量保证与管理

DO-178C 作为机载软件适航可接受的符合性标准,明确要求机载软件综合过程中必须包含软件质量保证（SQA）过程。以机载软件的软件生命周期定义、过程和数据为基础,从目标、活动和符合性评审三个方面分析基于DO-178C 的软件质量保证过程的实施;结合软件项目质量管理技术和工具,从规划软件质量管理、管理软件质量和控制软件质量三个过程研究基于DO-178C 的软件质量管理方法并给出工程实践建议。结果表明：本文将软件质量保证与质量管理紧密结合,形成了适航要求的相关证据,提供了符合需求的民用机载软件,有效保证了机载软件的质量和持续改进措施。