高强度螺栓应力腐蚀断裂过程的建模与仿真

为研究某产品轴承基座高强度联结螺栓使用中发生的延迟断裂失效问题,应用断裂力学的理论和方法建立了相关的数学模型,以描述和推测其断裂失效的真正原因,并在此模型的基础上应用Matlab/Simulink软件进行了仿真.仿真结果表明:控制螺栓内部的残余内应力和螺栓的初始裂纹长度对于提高螺栓抗应力腐蚀能力有非常重要的影响,但螺栓内部的残余内应力对于应力腐蚀裂纹扩展寿命的影响更为显著.     

基于软件关键技术元素的技术成熟度评价

本文介绍了技术成熟度评价的方法、标准及工作流程,对某型电子飞行仪表系统开展了技术成熟度评价工作,并对识别出的软件关键技术元素进行了技术成熟度评价.     

基于Turbo码研究的无人机信道分析与建模

针对无人机通信信道的特点和要求,提出了一种无人机信道模型.通过分析无人机通信信道的组成,将信道按照无人机的飞行状态划分为3种主要状态,最后通过实验给出了无人机在不同飞行状态下误码率性能和的仿真结果,并将此结果与计算机模拟该无人机信道下的仿真结果相比较,得出在进行无人机信道编码的仿真研究中应用该信道模型的具有可行性和重要意义.     

基于灰色系统理论的软件可靠性综合评价框架

从系统工程的角度出发,提出一套完整的基于灰色系统理论的软件可靠性综合评价框架.首先,在ISO/IEC 9126软件质量模型的基础上,建立起软件可靠性综合评价体系,并利用灰关联分析方法计算每个度量元与软件可靠性之间的相关程度,由此确定度量元在评价体系中的权重值.在此基础上,提出基于灰色聚类的软件可靠性综合评价方法.初步的实验结果表明,基于灰色系统理论的软件可靠性综合评价框架具有方便实用、全寿命周期评价、数据来源广泛、且可准确反映当前软件可靠性指标水平等优点,适合于软件可靠性工程决策活动.      

基于ACIS几何造型平台的固体火箭发动机装药设计

以三维几何造型内核软件ACIS为平台,采用实体造型法进行装药设计,提出了偏移操作复杂燃面和分段控制燃面退移过程的方法,从而解决了装药燃面退移时商业软件无法克服的自相交和特征形体消失等问题。同时,总结了在该平台上进行装药设计的基本原则和方法,即消除几何尖锐点,确保几何形体间相对独立和间接构造复杂结构的装药等。另外,还提出了一个以图形系统为核心,综合装药药形设计、内弹道计算、结构完整性分析和报表输出功能的装药集成设计方案。最后,给出了一个星槽管形装药算例。     

防错技术在自动校准软件中的应用

为提高自动校准软件的质量和可靠性,在自动校准软件开发中应用了防错技术。经实践表明,采用防错技术后,开发的数字多用表自动校准软件的质量和可靠性有较大提高,工作效率提高10％以上。     

软件复用在航空嵌入式软件测试中的应用研究

伴随航空嵌入式软件市场近些年不断动荡与激烈竞争的局面,商业化的第三方软件测试正面临质量、进度、开发效率等急待解决的问题,而软件复用技术是解决这些问题的有效手段。首先对软件复用的概念、理论和方法进行了论述,而后对航空嵌入式软件测试领域进行了深入分析,指出了其中复用的可行性。在此基础上,提出了面向航空嵌入式软件测试的过程复用、产品复用、测试程序产品线方法。最后,结合具体工程实践指出所提出方法在使用中的剪裁及推广。     

基于直接配点法的绳系卫星系统变轨控制

讨论了不必回收子星的二体绳系卫星系统(TSS)的变轨方案。假设TSS质心运动满足经典的二脉冲Hohmann变轨,用未变形绳长加速率控制两次脉冲期间的TSS运动。利用直接配点法中的Hermite-Simpson方法将控制消耗最小的最优问题离散为大型非线性规划问题,然后用MATLAB的SNOPT软件包求解;针对初始偏差较大的实际情况,又结合直接配点法和滚动时域控制得到了解析的反馈控制律。仿真算例表明,得到的TSS变轨过程状态变化平滑,控制消耗较小,而且变轨之后TSS接近平衡状态;此外,反馈控制律对最优路径的跟踪效果较好,能够消除初始偏差的影响。     

实时嵌入式软件测试执行引擎的设计与实现

自动化的实时嵌入式软件测试中,测试描述执行系统的设计与实现是需要解决的关键问题之一.基于面向对象的思想,设计和实现了实时嵌入式软件测试描述语言的执行引擎.介绍了测试描述驱动的实时嵌入式软件自动化测试过程,并在此基础上提出了测试描述执行引擎的总体设计方案,阐述了编译过程和执行过程的实现方法,给出了符号表管理中哈希函数及其冲突的解决方法和基于SBRMS(Segment-Based Rate Monotonic Scheduling)调度策略的测试描述执行过程.对引擎的执行效率进行了评估和分析,结果表明,通过合理控制测试描述的规模和并发执行个数,测试描述执行引擎能够满足实时嵌入式软件自动化测试对实时、并发特性的要求,并具有良好的可移植性.     

RTCA/DO 331标准研究

为推动基于模型的开发和验证技术的发展,同时为了给机载软件基于模型的开发和验证活动提供合格审定指南,美国航空无线电委员会于2011年发布了DO-331《基于模型的开发和验证》标准,作为对DO-178C《机载系统和设备合格审定中的软件考虑》标准的补充。该文主要从DO-331文档的组织架构编排,模型的使用和分类,基于模型研制相关的软件生命周期过程、数据和符合性验证目标几个方面对其进行了提炼和解读,可帮助应用该标准的人员快速理解文档的核心内容,并把握基于模型的开发和验证相关的合格审定关注点,从而在项目实施过程中更好地表明适航符合性。