航天器测试需求描述及其自动生成

航天器作为一个典型的安全苛刻系统,其可信性研究需求迫切,支持可信性评估的数据来自于航天器测试用例的执行,而航天器测试需求是测试用例生成的重要依据.在实际应用中,对航天器这类复杂系统,面临测试需求庞杂、测试需求编制周期长、人工经验编制方式难以保证测试需求的充分性、完备性及可复用性等问题.针对这些问题,通过分析航天器组织结构特点,建立航天器形式化模型,基于航天器测试任务流程,给出了航天器静态测试需求和动态测试需求形式化描述规范,并给出航天器测试需求自动生成方法,保证了测试需求的充分性和完备性,提高了测试需求复用性,与人工编制方式相比,缩短了测试需求编制周期.最后设计并实现航天器测试需求生成应用系统,验证所提出方法的有效性.      

"韩国卫星"系列发展现状

卫星通信以其通信范围大、可靠性高、可多址等特点,日益成为世界各国重点发展的目标,并对国家战略安全构成重要影响。作为亚洲“四小龙”之一和综合科技水平号称世界排名第6的韩国,也很重视发展通信卫星。目前,韩国电子通信研究院（ETRI）与韩国电信公司（KT）合作发展卫星通信技术,以支持“韩国卫星”（KORESAT,又叫木槿花,是韩国的国花）,并承担星上有效载荷的研制和通信卫星地面站的建设。2010年12月29日,韩国第5颗通信卫星韩国卫星-6升空。该卫星发射质量为2850kg,装备了30台Ku频段转发器,将以增强的能力接替韩国卫星-3任务,并从116°（E）的地球静止轨道位置为朝鲜半岛提供广播和通信业务,卫星设计寿命超过15年。     

电脉冲除冰系统参数的合理选择

目前,尽管可采用各种防(除)冰方法,但它们在需用能量及除冰性能上尚有不足之处。电脉冲除冰所需能量少、维护方便(无运动部件)、可靠性高、重量小及经济性好等方面大大优于现有的其他防(除)冰系统。本文介绍了电脉冲除冰系统的基本工作原理,分析了能量,电容和电压等电气参数、线圈的几何参数及蒙皮的材料等对除冰性能的影响。根据分析和实验室、冰风洞及飞行实验的资料,提出了有效除冰时各种參数的选择范围,以及提高性能的措施。     

概率安全评定方法的计算程序及其工程应用

考虑四种主要随机因素：载荷（作用应力）、缺陷尺寸、断裂韧性、流变应力等参数的不确定性,针对较为常见的焊接结构型式,如平板、球罐、圆柱形容器等结构上可能存在的不同缺陷类型,基于双判据失效准则,编制了较为通用的含缺陷焊接结构概率安全评定程序。对国产ＣＦ－６２钢制容积为１５３１ｍ３的球罐可能存在的缺陷进行了概率安全评定,通过对评定参数的敏感性分析,指出了影响其可靠性的关键因素。     

民航运输管理专业建设的探索及效果

南京航空航天大学民航学院民航运输管理专业自1993年创办以来,坚持党在新时期"面向现代化、面向世界、面向未来"的教育思想,经过数年的探索和发展,克服了全新专业在建设过程中必然经历的诸多困难,逐步建立起具有鲜明民航特色和一定规模的民航运输管理专业。本文旨在通过总结专业建设过程中在人才培养目标、培养模式、教学方法、师资队伍建设等方面的经验体会,为本专业及相关专业的建设与发展提供借鉴和启示,并对新时期专业建设如何适应21世纪和中国民航发展需要等问题进行探讨。一、确立人才培养目标,坚持专业建设与社会需求相结合在…     

霍尼韦尔EVS/SVS技术赐飞行员一双"透视眼"

该公司的新技术能为飞行员提供增强型视觉效果,减少因恶劣天气造成航班延误而导致的成本和安全问题。据霍尼韦尔航空航天集团高新技术研发部副总裁BobWitter介绍,该公司的新技术能为飞行员提供增强型视觉效果,减少因恶劣天气造成航班延误而导致的成本和安全问题。     

“2011中航工业总质量师论坛”在浙江举办

2011年8月15～16日,中国航空工业集团公司质量安全部主办,中航工业综合技术研究所承办的"2011中航工业总质量师论坛"在浙江举办。本次论坛是"2011中航工业质量年活动"的一项重要内容。论坛的主题是"一代装备、一代技术、一代管理、一代质量"。来自中航工业装备、中航工业飞机、中航工业直升机和     

新疆民航第一轮航空保安审计

航空保安审计是对民航安全保卫工作的全面评估和检测,是系统检测航空保安管理系统,提升航空保安质量控制,强化航空保安管理水平的重要契机。中国民航局于2005年起在全国范围内推行航空保安审计,目的是履行国际公约的需要,加快完善民航机场安全保卫体系建设,有效提升机场的航空保安运行和管理水平。