基于核心零部件聚类的飞机现场可更换单元划分

为研究军用飞机测试性设计过程中现场可更换单元（LRU）划分工作，以功能独立性和结构独立性为基本原则，以降低飞机维修保障成本和时间为主要目标，设计了一种军用飞机LRU划分方案。方案在首先实现了飞机从整机到零部件的功能结构分层划分基础上，从设备零部件层级出发，以综合重要度作为各零部件的定量化指标，运用帕累托（Pareto）原则筛选出核心零部件。然后基于核心零部件开发了一种LRU划分聚类算法，该算法以军用飞机设计研制阶段、使用保障阶段、退役处置阶段全寿命周期内成本和时间为优化目标构造综合评判因子，实现了非核心零部件与LRU模块之间的聚类组合，得到最优的LRU划分结果。最后以某型军用飞机上蒸发循环制冷装置为例，运用本文设计的方案实现了该装置LRU的划分，并将划分结果与该装置的实际LRU清单进行对比，通过维修保障成本和时间综合评判因子对两种划分结果的优劣性进行分析，得出本文设计方案得到的LRU划分结果对飞机维修保障成本和时间的优化效果较为均衡的结论。     

基于协议变换的图像采集系统设计

介绍了一个基于高速协议变换的实时图像采集系统,该系统实现了从IEEE1394协议到千兆以太网协议的实时变换,将基于IEEE 1394协议的数字相机发出的图像数据转发到以太网上.系统设计使用了SOPC(System On a Programmable Chip)技术,通过Avalon总线将Nios Ⅱ处理器,千兆网MAC核和自定义的1394芯片接口逻辑等IP组件连接在一起形成主要的硬件电路,结合系统软件设计实现了对高速图像数据的实时转发.系统达到了较好的性能,同时具有集成度高,结构简单和扩展性好的特点,展示了利用SOPC技术解决此类问题的优势.     

嵌入式系统驱动程序研究及应用

介绍嵌入式驱动程序及其基本工作原理,并通过实例阐述linux下嵌入式系统字符设备驱动程序开发的基本流程。     

ARINC 653分区实时系统的主时间框架设计

综合模块化航空电子系统中的ARINC 653标准规定系统采用分区内调度和分区间调度双层调度机制。根据标准,分区内的调度由分区设计者指定,分区之间则按照静态的主时间框架进行调度。如何基于多个分区应用设计用于分区间调度的主时间框架是系统集成阶段需要解决的问题。首先利用可调度分析导出了分区的有界延迟模型参数,进一步将该参数转化为分区的调度参数用于分区间调度。然后进行分区间调度生成主时间框架,提出了最少窗口数目匹配-最佳匹配（MFBF）算法用于减少分区窗口的切换次数。提出的从分区参数推导到分区间调度流程能够基于若干分区应用生成ARINC 653系统的主时间框架。实验结果表明:时间窗口优化算法能有效减少分区窗口切换次数。      

飞机结构件轮廓特征加工自动分区算法

作为飞机结构件重要组成部分,轮廓特征包含大量复杂曲面,且与工艺凸台等干涉物相连接,使得轮廓特征编程需综合考虑复杂曲面及干涉物信息,在自动编程模式下,轮廓特征编程仍严重依赖人工经验,其编程周期占结构件编程周期的40%以上,严重影响了结构件编程效率。针对该问题,提出了一种综合考虑复杂曲面及干涉物信息的轮廓特征加工自动分区方法,基于相邻轮廓面连接边属性及凸边约束原则对轮廓面进行初分区,依据干涉物信息构建虚拟边界,并基于虚拟边界对轮廓面初分区结果进行横向和纵向加工区域划分,通过对划分区域进行合并得到轮廓特征加工分区结果。根据提出的方法开发了飞机结构件轮廓特征加工自动分区系统,经过多项典型飞机结构件测试,该方法稳定可靠,可为轮廓特征加工程序编制提供支撑。     

航天嵌入式软件浮点运算误差分析与控制

针对当前航天型号控制软件浮点运算中存在精度损失和误差传播的问题,从浮点数据结构、浮点精度损失、误差来源和度量几个方面进行了详细阐述,并结合具体案例,通过分析航天型号软件中常见浮点运算误差,为有效解决型号软件误差控制问题提供参考.     

航天嵌入式软件数据访问冲突基准测试集研究

针对数据访问冲突问题的检测方法及工具的研究很多,但缺少对其进行评估的基准测试集。文章基于大量真实航天嵌入式软件中断数据访问冲突案例研究的结果,总结出影响数据访问冲突检测的6类要素,设计开发了嵌入式软件中断数据访问冲突基准测试集程序RaceBench,对SpaceDRC工具进行了指标评估。结果表明,RaceBench能够有效评估工具的适用性。     

航天嵌入式软件动力学仿真环境的通用软件架构

针对航天嵌入式软件测试环境通用化需求,提出动力学软件的通用化设计方法.基于航天动力学仿真的特点,设计灵活、通用和易于扩展的软件框架、接口数据结构和接口函数,适用于在研型号的所有接口处理方式.该方法在实际型号工作中完成应用,显著提高了动力学软件的研制速度,动力学软件运行稳定,精度满足测试要求.     

黑盒测试技术方法在大气数据计算机软件测试中的应用

软件测试是保证软件产品质量的一个重要手段,其中测试用例的设计是软件测试的关键。以大气数据计算机软件测试为例,详细介绍了软件黑盒测试的几种方法,用黑盒测试技术来设计切实可行的测试用例。实践证明,应用黑盒测试技术在大气数据计算机软件测试中设计测试用例,提高了测试效率,发现了软件问题,取得了较好的效果。     

基于交叉熵和空间分割的全局可靠性灵敏度分析

基于失效概率的全局灵敏度分析可以度量各个基本随机变量的不确定性对失效概率的影响程度,对如何降低结构的失效概率具有指导意义。基于交叉熵方法和空间分割提出一种新全局可靠性灵敏度分析方法。该方法采用交叉熵法自适应的确定重要抽样密度函数,有效地回避了传统重要抽样中设计点位置和个数求解的困难。基于评估失效概率所使用的样本,利用空间分割方法计算各个输入随机变量的全局可靠性灵敏度指标,能够提高样本的利用率和计算效率。文中利用一个数值算例和两个工程算例验证了所提方法的计算效率和精度。