英国国防开支大调整

去年10月19日,英国首相戴维·卡梅伦正式向议会递交了"战略防御和安全审查"(SDSR)报告.报告提出,英国要在今后4年内通过大幅度削减武器库存和采购计划,减少8%的国防开支,使之保持在国内生产总值的2%以内,被削减的经费将用于弥补国防部10年380亿英镑(约600亿美元)的预算亏空.     

提高企业标准审查效果的几点思考

概述本企业标准审查现状,对制约审查效果的共性问题进行系统分析,从审查的程序、人员素质和制度规范等方面探讨提高本企业标准审查质量的措施以及实施后的效果。     

飞机结构设计工艺性审查

简要介绍了飞机设计工艺审查的目的及重要性,阐述了飞机设计各阶段应注意的工艺要求。     

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

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

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

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

ARJ21-700飞机自然结冰验证试飞影子审查活动圆满完成

3月7日至15日,美国联邦航空周（FAA）和中国民用航空局（CAAC）在乌鲁木齐共同进行了ARJ21-700飞机自然结冰验证试飞影子审查,这是ARJ21-700飞机获得TIA进入验证试飞后的第一个FAA参与的局方验证试飞项目。对于ARJ21项目而言意义重大、影响深远。通过研制团队的辛勤工作,审查结果获得了FAA和CAAC的充分肯定。     

基于KBE的飞机板金件工艺性审查系统

由于板金零件的可成形性取决于多方面的因素,板金零件成形的工艺性审查也就显得十分复杂,工艺审查的合理性和准确性往往成为飞机设计和制造的矛盾焦点.通过分析当前我国飞机板金零件工艺性审查的现状,提出了在工艺性审查中利用基于知识的(KBE,Knowledge Based Engineering)技术的必要性.分析了利用后台数据库及知识库创建工艺性审查系统的总体结构和实现方案,并对系统创建中的关键技术及解决方法进行了研究.通过实例验证了该系统的功能及可靠性.      

一种双方不可否认的密码协议及应用

在数据通信中,数字签名技术保证了数据发送不可否认性和数据完整性,而接收数据的不可否认性在安全通信中也是极为重要的.近年来,实现这类型的密码协议主要是通过可信第三方参与数据的加密与传送,因而可信第三方的可靠性和安全性是系统性能的瓶颈.文中提出了一个双方不可否认的密码协议,这个协议解决了可信第三方的性能瓶颈问题,是一个更有效率的密码协议,最后探讨了它在电子邮件中的应用.      

IPSec设计及实现

IP安全协议IPSec是一种可无缝为IP引入安全机制的协议套件,是目前唯一一种适用于所有Internet通信的安全技术,它除适用于目前的IP版本(IPv4)之外,也适用于下一代IP(IPv6).分析了IP安全协议的体系结构,对IP安全协议的实现方式、各个组成部分进行了讨论,给出了IP安全协议的实现机制及其应用方式,最后简单地探讨了IP安全协议的局限性和未来发展的方向.      

试论有效控制建设工程造价的途径

建设工程造价控制是基本建设的重要内容，建设工程造价控制贯穿着整个工程的投资决策、设计、招标、施工阶段。本文从这几个方面探讨有效控制建设工程造价的途径。