Ada程序的验证测试

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

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

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

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

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

GAMECO新机库启用在即蓄势再高飞

过去一年，GAMECO在资格认证方面取得…些突破。2012年9月，GAMECO获得了由民航中南管理局颁发的零部件制造人批准书（PMA）证书。获得该证书后，GAMECO此前获得的重要改装设计批准书（MDA）的改装设计方案所涉及的改装件，便可根据市场需求开发原厂替代件并向局方申请设计批准，获批后可以进行批量生产。     

机载设备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历年来飞机/发动机退租经验，提出了国内航空公司在审查租赁发动机修理资料时应把握的几点要求，以保证飞机发动机持续适航性要求和满足租赁合同要求，最大限度地保障航空公司的经济利益。     

认真做好设计规范的编制与管理工作

结合编制设计规范的实践,论述了编制设计规范应遵守依据性强、适用性强、可操作性好和具有先进性的基本原则及编写人应具备的水平,提出了应做好的几项管理工作,同时指出了需要解决的问题。