新机纵横

首架升级型KC-130T即将开始试飞首架升级后的KC-130“T大力士”空中加油机即将开展几个月的飞行试验,并将在2007年初返回沃斯堡的海军陆战队234空中加油中队。美海军航空兵武器系统司令部官员9月18日宣布,首架升级型KC-130T已由洛克希德·马丁公司交付给了海军陆战队。该机花了近5个月时间完成升级,剩余飞机将用3至4个月时间完成升级。美国动力公司首次公“开战斗猪”垂直起降无人机美国动力公司(A m erican D ynam ics)至少已试飞了两种型号的“战斗猪(BattleH og)”近距空中支援垂直起飞和降落无人机。“战斗猪”基本型去年1月进行…     

ISO9000:中国工业国际化的“引擎”

通过列举大量数据资料全面细致地阐述了当前全球开展ISO90 0 0认证工作的现状 ;用事实说明在我国开展ISO90 0 0认证 ,对我国工业国际化具有重大的推动作用和现实意义 ;以正反两方面的事例 ,阐明企业只要通过认真细致的工作 ,是能够通过ISO90 0 0认证的     

嵌入式多核操作系统的形式化建模与验证

在安全关键系统中,核心基础软件的正确性尤其重要。任何的错误都可能导致整体系统失效,带来严重的后果,同时,安全关键软件要通过高等级国际安全认证标准,则必须使用形式化方法进行设计、建模和验证。调研嵌入式操作系统、编译器、文件系统、机载网络/总线的形式化验证案例,在此基础之上引出嵌入式多核操作系统形式化的问题;对嵌入式多核操作系统的时间确定性和功能正确性属性进行形式化建模和验证;并对全文进行总结。     

基于切比雪夫混沌映射和生物识别的身份认证方案

云计算中访问控制和安全性是两大问题,且与传统的身份认证存在一定区别。利用切比雪夫多项式的半群特性、混沌特性,提出了一种基于切比雪夫混沌映射和生物识别的口令认证密钥协商方案。用户和服务器首先在云服务提供商（CSP）处进行注册,随后无需CSP的参与即可完成认证,建立会话密钥。安全性分析和性能比较表明,方案满足许多安全因素,如双向认证、用户隐私保护、多因素安全、前向安全性,即使CSP的主密钥被泄露,前向安全性也能确保用户会话密钥的机密性;此外,方案还能抵抗中间人攻击、离线口令猜测攻击和仿冒攻击等,并且支持多服务器环境中用户口令和生物特征的高效变更。      

社会责任标准(SA8000)的影响与发展现状分析

阐述SA8000的含义及主要内容,从多个方面分析SA8000标准产生的积极与消极影响,并从SA8000认证的企业数量、企业规模、所属行业等方面对国际上的SA8000认证现状与我国的认证现状进行了分析.     

波音747-8货机通过适航认证

近日,波音收到了由美国联邦航空局（FAA）和欧洲航空安全局（EASA）为波音747—8货机分别签发的适航证书，完成了该款机型投入运营之前的两个重要步骤。     

基于工作过程的航空维修工程实习的改革*

在定位分析航空维修工程专业所面向的岗位、工作任务以及完成任务所要求具备的职业能力的基础上,研究运用基于工作过程的实践教学方法进行教学内容和方法设计的改革,构建并优化了案例库。实践表明,该教学改革可充分发挥学生的主体作用,提高了学生实践技能,增强了学生的工程意识。     

天空之城

<正>Grappa's餐厅亮相浦东机场近日,风靡香港20余年的Grappa's歌柏丝意式餐厅于浦东机场T 2出发公众区挑高平台闪亮开业。店内装饰色彩明快,气氛轻松休闲,店内出品各类意式美食,从意面、色拉到披萨、千层面等意式经典。Grappa's坚持使用新鲜优质的食材,烹调制作出独特口味,为进入店内的每一位旅客,带来味觉上的非凡享受。(谢心安潘怡)     

航天新兴产业标准规范建设与达标认证

<正>进入新世纪以来,随着航天技术的飞速发展和广泛应用,太空经济时代已经悄然来临。航天新兴产业作为国家战略性新兴产业的重要组成部分,已成为国家提高技术水平、改造传统产业、实现社会效益和经济效益的重要手段,并正在成为国民经济和社会发展新的增长