论集团统一代码在企业中的贯彻

从集团统一代码的意义、集团代码相关政策标准、企业与集团代码工作对接、集团统一代码的申请及应用等方面分析阐述了集团统一编码在企业信息化建设中的重要作用.开展集团统一编码工作不仅会在全集团范围内有效共享编码工作成果,为企业提供全集团统一的、规范的数据,而且从一定程度上能减少企业信息编码工作量、提高编码工作效率,有效推动企业信息化建设的进程.     

NH90航空电子系统演进

NH90是一种法、德、意、荷、葡联合研制的先进中型多用途直升机,未来将成为法、德、意等国的主力作战运输、突击、反潜、搜救机型。介绍了 NH90的航空电子系统,其中包括核心航空电子,任务航空电子及飞控系统。跟踪了 NH90航空电子软件开发团队使用软件产品线（SPL）技术对航空电子架构进一步升级的方向。     

基于Object-FMA的软件代码审查方法

针对传统代码审查方法中使用的检查单具有的两个不足:缺少从代码到检查单缺陷记录的映射方式,检查单记录的代码缺陷类型不全而导致审查时代码缺陷的遗漏,提出了一种将代码进行层次划分,并使用对不同层次代码对象进行失效模式分析来代替使用传统检查单的代码审查方法.此外,提出了一种对象失效模式分析方法(Object-FMA,Object Fail-ure Modes Analysis),用于系统地分析代码对象的失效模式,为不同层次的代码对象建立失效模式库.在某型号软件的代码审查中对该方法进行了实例应用,结果表明此方法提供了一种从审查代码对象到失效模式库的映射方式,提高了代码审查的效率,审查时不仅能发现传统检查单中记录的代码词法、语法和常见语义的缺陷,还能有效地发现代码中人为疏忽或算法设计错误而引入的代码缺陷.     

基于三维场路协同方法的静电损伤仿真测试平台

静电放电已经逐渐成为导致各类电子设备故障的主要原因之一,在电子产品研制过程中通常采用实物测试方式检验产品抗静电能力,但该方式耗费资金过大、可重复性差同时易损伤受试设备。在这种情况下,建立基于三维场路协同方法的静电损伤仿真测试平台有效地解决了上述问题。该平台以电脑仿真技术（CST）软件为基础,通过构建静电放电枪模块,结合受试设备模块和仿真参数设置模块,以时域有限积分法求解器进行仿真,并利用数据输出和处理模块得出结果。利用建立好的仿真测试平台对一台数据传输设备进行8 kV接触放电,观察其表面电流和磁场分布,并对其造成的传导干扰和辐射干扰进行分析。通过建立静电损伤仿真测试平台,实现了静电放电测试的可重复以及无损伤的目的,具有较强的工程指导意义。      

人工智能技术在嵌入式代码审查中的应用与展望

代码审查是航天嵌入式软件开发中的重要环节.近年来,随着嵌入式软件开发需求的增多,传统以人工为主的代码审查方法逐渐不能满足快节奏的软件开发流程.为了减轻审查人员的压力,提升审查效率,研究者们逐渐将目光转向以深度学习技术为首人工智能领域,尝试寻求技术上得突破,以开发更智能的审查系统.本文对近年来人工智能技术在代码审查及程序理解中应用的相关工作进行了归纳总结.首先简要介绍了嵌入式代码审查工作目前面临的困境及解决方案.然后引出了代码审查中的一项重要活动,即程序理解.并详细阐述了目前基于人工智能的程序理解在代码审查中的应用情况.最后根据相关领域的发展情况,对未来代码审查的发展方向作了进一步的探讨.     

面向安全属性的软件组件可信依赖关系度量模型

随着软件的应用规模越来越大,软件系统一旦出现故障,很可能会造成人员伤亡或财产等重大损失,因此对软件可信性进行评估尤为重要.在安全攸关如航空航天等领域,作为可信关键属性之一的安全性影响着整个软件系统的可信评估.特别当一个组件受到安全攻击或缺陷出现时,可信性会下降,会影响到与它可信关联的组件可信性,从而影响到整个系统的可信...     

Platform LSF软件在高性能计算集群中的实施与应用

随着信息处理技术的精度、可靠度等要求的进一步提高,采用高性能计算集群系统已经成为数字化制造中的关键技术之一.本文结合高性能计算应用现状的不足,阐述了Platform LSF软件设计思想和目标,介绍了该软件的实施与应用情况.     

国际要闻(2010年12月1日-31日)

12月1日,空中客车公司宣布为A320系列推出新型发动机选装方案,有两款新型发动机供客户选择——CFM国际公司生产的LEAP-X发动机和普惠公司生产的静洁动力(PurePower)PW1100G发动机。12月3日,国际航协宣布理事会一     

I-DEAS软件在单相流体回路辐射器热分析中的应用

以神舟飞船单相流体回路辐射器为例,介绍了采用I-DEAS软件进行辐射器热分析研究的方法,包括建模、划分网格、计算及后处理等,并将仿真分析结果与热试验结果进行了对比。结果表明：采用I-DEAS软件对单相流体回路辐射器热分析具有很好的实用性和计算精度,显著降低了辐射器热分析的难度,并在一定程度上简化了前期设计中热试验验证的需求。