一种机载软件安全性需求获取方法

通过对国内外软件安全性分析方法的研究,结合国内软件开发技术和管理方法,探索并提出了一种机载软件安全性需求获取方法。并以某环控防冰系统监测软件为例,给出了软件安全性需求获取方法的应用实例。     

从DO-178C的新变化透视软件适航关注点

深刻理解DO-178C标准对于提升机载软件开发能力具有重要意义。分别从软件生存周期过程活动和过程目标两个维度对比和分析DO-178C与DO-178B的差异,按照计划过程、开发过程、验证过程、配置管理过程、质量保证过程和合格审定联络过程分类,列举了每个过程新增的或变更的考虑内容,并详细分析了过程目标的变化。根据差异分析,从强调以目标为中心、源代码到目标码的映射、参数数据、双向追踪、基于需求的鲁棒性测试和耦合性验证6个方面解析了DO-178C强调的思想,并总结了一些可行的实践。     

基于BP神经网络的软件项目成本估测方法

为进一步提高软件项目成本估测的准确度,减少在使用传统估测方法时产生的较大误差,提出了一种基于BP神经网络算法的软件项目成本估测模型。利用BP神经网络对软件项目成本进行估计,采用梯度下降自适应Ir的BP算法训练,仿真结果表明,基于算法的软件项目成本估测值与实际成本的偏差较小。     

Design and implementation of five-axis transformation function in CNC system

To implement five-axis functions in CNC system, based on domestic system Lan Tian series, an improved design method for the system software structure is proposed in this paper. The numerical control kernel of CNC system is divided into the task layer and the motion layer. A five-axis transformation unit is integrated into the motion layer. After classifying five-axis machines into different types and analyzing their geometry information, the five-axis kinematic library is designed according to the abstract factory pattern. Furthermore, by taking CA spindle- tilting machine as an example, the forward and the inverse kinematic transformations are deduced. Based on the new software architecture and the five-axis kinematic library, algorithms of RTCP （rotation tool center point control） and 3D radius compensation for end-milling are designed and realized. The milling results show that, with five-axis functions based on such software struc- ture, the instructions with respect to the cutter＇s position and orientation can be directly carried out in the CNC system.     

基于多信道软件无线电通用平台的测试及故障诊断技术研究

研究多功能可重构软件无线电开发、测试与评估通用平台技术,验证多信道软件无线电技术可实现性,突破平台设备实现级关键技术,通过论证,证明了基于通用平台的测试及故障诊断技术的可行性,及多信道软件无线电在不同应用领域通信系统的适应性和可重构性。     

飞行管理系统性能计算策略分析

根据飞行管理系统机载软件对于性能计算的需求,提出了理论公式计算方法和插值计算方法,对于传统的理论公式计算方法进行了延迟时间数据分析.对以上两种计算方法分别从计算过程、软件工程、系统工程三个方面进行了分析和比较后得出,插值计算方法在机载飞行管理系统软件中是比较合理的方法.针对大型客机先进的航空电子系统,描述了以上两种计算方法分别在电子飞行包软件和飞行管理机载软件中的不同应用和联系.     

FPGA内嵌处理器的SoPC系统设计与分析

SoPC技术是在片上系统SoC技术的基础上发展起的,二者的共同点为将处理器、存储器、IYO接口等系统设计需要的功能模块集成到一个芯片上实现。相比SoC系统,SoPC系统还具有可编程性强、产品问世周期短等优点,在保证系统性能与灵活性、提高系统执行速度的同时又可显著地降低系统成本。在对SoPC技术进行概述的基础上．较为详细地介绍了一个基于FPGA内嵌PowerPC处理器的可编程片上系统的设计,利用软硬件协同设计技术．完成软硬件划分、软硬件设计、硬件综合、软件编译以及软硬件协同验证等工作,并结合SoPC技术的特点对其优势进行了分析,对其应用前景进行了探讨。     

基于IRIG-B码的运载火箭测发流程同步的软件设计方法

为保证运载火箭在零窗口发射,提出了一种基于IRIG-B码(以下简称B码) 的运载火箭测发流程自动执行的软件设计方法,以确保点火前10min至点火之间的各系统流程的同步。本方案通过UDP网络接收B码的时间,并通过五取三冗余算法,以更新本地的B码时间。随后,再根据预设的点火时间及冗余后的B码时间,计算倒计时,以控制口令流程自动执行。     

基于CUDA的GPS信号快速捕获

为实现基于PC平台的GPS软件接收机C/A码信号快速搜索,提出了一种由GPU完成信号搜索计算的快速实现方法。该方法以基于FFT的码相位并行搜索算法为基础,通过CUDA编程,由GPU完成主要的计算任务,实现了信号搜索在GPU上的并行计算。最后,将该方法与在CPU上实现的捕获方法进行了比较测试,结果表明：新方法的捕获速度显著提高,冷启动条件下,搜索全部32颗卫星只需1.653秒,为GPS软件接收机的实时化提供了重要保证。
     

基于签名的控制流错误检测算法检测能力的验证模型

目前主要采用实验测试的方法对基于签名的控制流错误检测算法进行评价,但由于控制流错误模型的不确定性,而导致测试结果存在一定的偏差,本文尝试采用模型验证的方法评价控制流检测算法的错误检测能力。本文首先简述了基于签名的控制流错误检测算法的基本原理,其次,提出了控制流错误跳转关系表示方法和指出了传统的控制流错误检测能力分析方法中未考虑的影响检测能力的因素,接下来,结合这些因素提出了基于签名的控制流错误检测能力验证模型,最后给出实例,通过验证模型分析了目前典型的基于签名的控制流错误检测能力。