利用卫星解决地球环境问题

今年6月3日～14日,在巴西召开了有146个国家领导人参加的“地球环境问题”会议,研讨如何解决目前地球出现的严重危及人类生存的环境问题,讨论各国有关限制排放破坏臭氧层的氯氟气体的方案,以及怎样抑制地球变暖问题。地球环境问题已引起各国的关注,臭氧层的破坏、地球变暖、酸雨等都在威胁着人类及其它生物的生存。臭氧层的破坏使人类患皮肤癌的可能性大大增加,并对生态环境产生极其严重的影响。地球变暖使气候出现异常,对农业生产极为不利。酸雨使农作物和森林受害枯死。另外,还有土壤沙化、海洋污染等问题。为此,已召开过多次国际会     

大年初一，巨型气球突然飘至南京禄口国际机场上空

猴年第一天，一无人驾驶的气球突然光临南京禄口机场上空，正在准备起飞的东航5331航班紧急避险。     

电子检查单的特点

驾驶舱自动化为今日的飞行带来了一些重要的益处，如减小了机组人为差错的可能性，但它也产生了一些负面影响，诸如使飞行训练富于挑战性、飞行模式变化的迷惑性及产生新的差错的可能性。正因为这诸多因素，电子检查单的设计者们者了特点的努力，力求保证使用这种自动化的加强舱工具不会产生新的差错。     

飞行软件测试用例设计方法及应用

飞行软件测试用例设计首先按等价类划分法的原理划分等价类，并结合边值分析和因果图等方法设计测试用例，能较好地达到软件功能覆盖准则要求，文中结合飞行软件的特点拓宽了等价类的内涵，使等价类划分法成为飞行软件测试用例设计的普遍适用的方法，从而为习行软件确认测试的充分必提供技术和方法的保证。     

运用LaSRS^ 框架进行的F／A—18E／F坠落模型的模拟

采用C^ (LaSRS^ )框架（一种C语言服务软件——译者注)在兰利标准模拟的情况下，22％动力相似的F／A—F坠落模型的模拟已经成功地进行了开发。采用LsSRS^ 框架的开发是利用面向对象的分析、设计以及编程技术进行的。同时还使用通用软件设计。运用LaSRS^ 框架的开发工作促进了本身具有的可维护、可扩展、可靠的以及计算效率高的模拟的开发。