Ada程序的验证测试

本文简述了Ａｄａ程序验证的一些经验，着重讨论了静态代码审查和模块测试。     

某型空空导弹设计定型标准化工作探讨

结合某型空空导弹设计定型标准化工作实践,对型号中所开展的设计定型标准化工作策划、GJB/Z 170系列标准的贯彻实施工作、标准宣贯培训工作、定型资料的审查要求及审查程序要求等方面进行了重点介绍,以作其它型号设计定型标准化工作的参考.     

美国航空航天局公布外国人访问管理制度独立审查报告

2014年2月，美国航空航天局（NASA）在其官方网站上公布了一份有关外国人访问管理制度独立审查（An Independent Review of Foreign National Access Management）的报告摘要；同时公布的还有两封相关信函，一封为针对独立审查报告的反馈信函，另一封为NASA局长给美国众议院商业、司法、科学和相关机构拨款小组委员会主席弗兰克．沃尔夫的信函。     

机载设备CTSOA合格审定流程及工作要点

整理了某型复杂系统级产品中国技术标准规定项目批准书的取证流程,从标准、文件、审查、安全等方面剖析了民机机载设备的适航工作要点,并提出了可能遇到的问题和需要注意的事项.     

A Review of Density Holes Upstream of Earth's Bow Shock

Larmor size transient structures with density depletions as large as 99% of ambient solar wind density levels occur commonly upstream of Earth＇s collisionless bow shock. These ＂density holes＂ have a me...     

国际航空联盟中的反垄断执法—欧委会对英航／美航联盟的反垄断审查评析

随着经济全球化的不断深入，越来越多的企业开始实施全球战略。这种理念也逐步渗透到国际航空运输业，航空公司之间结成联盟成为国际航空运输业的一种新趋势。航空联盟主要通过代码共享、联合经营、共享市场等措施加强联盟的共同运营，尽管肮空联盟可以提高航空公司的经营效率和服务质量，但也可能削弱甚至消除特定市场的竞争，这就不可避免地引发了是否限制竞争、是否滥用市场支配地位的问题。     

型号研制综合标准化经济效果分析初探(续前)

概述了型号研制开展综合标准化的意义、实施措施、分析经济效果的原则和约定参数,从型号研制的设计方法,产品“三化”设计,原材料、标准件、元器件统一化,CAD图形库和标准化审查等方面探讨和分析了开展综合标准化产生的经济效果,并以具体型号为例进行了量化计算和说明。     

如何审查租赁发动机修理资料

本文根据有关适航规章的要求，结合GAMECO历年来飞机/发动机退租经验，提出了国内航空公司在审查租赁发动机修理资料时应把握的几点要求，以保证飞机发动机持续适航性要求和满足租赁合同要求，最大限度地保障航空公司的经济利益。     

搞好图样标准化审查 提高型号产品图样设计水平

明确了型号产品图样标准化审查的目的、范围、依据和工作程序,界定了其标准化审查的主要内容,并通过审查差错的分析,提出了搞好此项工作标准化审查人员和图样设计人员应做好的几项工作。