基于Klocwork的C/C++软件静态检查

为了保证基于Linux与VxWorks操作系统的C/C++软件代码的质量,需要对软件源代码进行Klocwork检查。分别以SVN与ClearCase作为配置管理工具,将Klocwork工具分别在不同的操作系统下完成安装与配置之后,对C/C++源代码进行Klocwork检查。介绍了Linux环境下配置管理工具SVN客户端安装、SVN版本库的代码更新、Klocwork工具的安装与配置、ClearCase版本库的代码更新、以及Klocwork分别在Linux与VxWorks操作系统下进行Klocwork检查的步骤。给出了Klocwork检查分别在Linux与VxWorks操作系统中的详细检查步骤与检查脚本,以及对已经被检查出来的缺陷的处理。典型案例表明,Klocwork检查有助于及时发现并解决C/C++软件源代码的各种缺陷,从而提高软件质量和安全性。     

基于归一化光变函数的空间目标识别研究

为解决空间目标光度识别中模板建立、姿态分析、相关度量等关键问题,需要建立空间目标光度标准化描述。从空间目标识别问题的三元关系模型入手,分析了传统描述方法的局限性,提出了一种目标本体坐标系下的归一化光变函数描述方法。基于2类不同平台地球同步轨道卫星过去2年的实测光度数据,给出了各变量分布、各曲线对比的图形及统计结果。试验结果表明,归一化光变函数能有效分离观测条件,反映目标固有特征,适合作为空间目标光度特性的标准化描述。     

基于GJB5000A三级的软件配置管理技术研究

软件配置管理是软件工程的一个重要领域.配置管理的目的是利用配置标识、配置控制、配置状态纪实和配置审核建立和维护工作产品的完整性.有效的软件配置管理活动有助于软件质量的提高.对在GJB5000A研发过程的配置管理技术进行充分研究后,经大量实践,提出一种基于GJB5000A三级标准的软件配置管理解决方案,并将其与GJB5000A进行对比,提供符合性说明.     

军机研制中的需求管理、接口管理与技术状态管理研究

为提高军机研制系统工程管理能力,从需求管理、接口管理与技术状态管理的内涵和关联入手,提出了三者一体规划、实施的理念,构建了以技术状态项为核心的综合管理架构和逻辑,有助于军机研制技术管理工作的效率和质量提升。     

机载设备软件需求获取过程研究

DO-178B机载设备软件的开发指南,规定了软件生存周期中各个过程的目标以及完成目标的活动和证据;但是DO-178B标准中没有给出软件需求获取的具体过程.针对机载设备软件AE653/Cert的认证过程进行研究,诠释需求获取过程中的建模方法和原则,给出需求获取过程的具体描述及其变更控制和配置管理.最后通过分析验证软件需求获取过程生成的需求和工作产品可以符合DO-178B的目标,为机载软件开发过程的需求获取提供了参考依据.     

军用飞机使用阶段技术状态管理研究

借鉴研制阶段技术状态管理的有效方法,对军用飞机使用阶段技术状态的管理机制进行了研究,提出了相应的管理信息系统方案,为作战部门准确掌握飞机技术状态,进行正确指挥决策提供了必要支持.     

机载适航标准DO-178B/C软件开发过程研究

介绍了DO-178B/C标准的发展历程,结合对DO-178B/C标准机载软件生命周期过程的研究,分析了机载软件开发过程需求、设计、编码和集成子过程的关系及输入输出数据,在分析机载软件需求、设计、编码及集成子过程的目标、活动和转换准则的基础上,给出了各子过程的过程模型.展望了DO-178B/C标准的未来研究方向.     

云服务技术在航电软件研发中的应用研究

航空电子系统硬件的发展,为云服务技术在航空领域的应用提供了可能。借助虚拟化及容器管理技术,将机载计算资源进行池化管理,并借助服务化技术,将复杂航电软件拆分为可协作的独立模块,能够实现航电软件的快速构建、灵活部署,并提高航电软件之间的互操作能力。本文讨论了云服务技术在航空领域的应用现状,研究并提出了一种应用于航电软件研发的云服务架构,给出了服务化和容器管理平台的实现方案,并构建了应用原型验证环境。     

基于C/S架构的ERP中物流系统研制

介绍的是ERP系统中的物流子系统的开发过程，本系统前端采用Microsoft Visual Basic．net开发，后端利用SQL Server2000开发。系统采用了一种基于局域网的C／S为主体架构模式，以．NET与SQL SERVER2000中的．基于．NET数据库开发的DATASET思想，在具体实现中运用OLEDB控件与DATAGRID控件及T_SQL语句，用DataRelation对象来描述数据集中表问的关系。利用Toolbar控件与imagelist控件来实现主界面的设计。该系统是以一个合资企业为模型设计开发的物流信息管理系统。     

空域网格化方法及其在空管中的应用研究

传统的空域理论方法面临交通密度快速增长、空域管制对象复杂多类异构等一系列问题,研究空域数字化建模,发展出新的空中交通四维时空框架,在此基础上开展全新的空域与空中交通流量协同管理是当前的迫切需要。本文聚焦包括平面格网模型以及空域空间格网模型的空域网格化方法的总结,并对空域网格化方法的空管应用研究进行综述,在此基础上,对空域网格化及数字化研究重点及发展趋势进行综合分析。本文研究能够为空域网格化及数字化理论与应用的可持续发展提供科学指引。     

Low C/N_0 Carrier Tracking Loop Based on Optimal Estimation Algorithm in GPS Software Receivers

Suppressing jitter noises in a phase locked loop(PLL) is of great importance in order to keep precise and continuous track of global positioning system(GPS) signals characterized by low carrier-to-noise ratio(C/N0).This article proposes and analyzes an improved Kalman-filter-based PLL to process weak carrier signals in GPS software receivers.After reviewing the optimal-bandwidth-based traditional second-order PLL,a Kalman-filter-based estimation algorithm is implemented for the new PLL by decorrelating the model error noises and the measurement noises.Finally,the efficiency of this new Kalman-filter-based PLL is verified by experimental data.Compared to the traditional second-order PLL,this new PLL is in position to make correct estimation of the carrier phase differences and Doppler shifts with less overshoots and noise disturbances and keeps an effective check on the disturbances out of jitter noises in PLL.The results show that during processing normal signals,this improved PLL reduces the standard deviation from 0.010 69 cycle to 0.007 63 cycle,and for weak signal processing,the phase jitter range and the Doppler shifts can be controlled within ±17° and ±5Hz as against ±25° and ±15 Hz by the traditional PLL.