中国第二重型机械集团德阳万航模锻有限责任公司

万众一心航空报国中国第二重型机械集团德阳万航模锻有限责任公司是中国重要的专业化航空锻件生产基地,拥有800MN、200MN大型模锻压机、1MJ对击锤、45MN、16MN快锻机等航空模锻件装备。具有完善的航空锻件设计制造能力,在产品锻造设计、技术工艺、热处理、理化检验及模具加工制造等方面,处于国内领先优势。优秀的研发团队、完善的质量保证体系以及40多年的航空锻件专业化制造经验,能够为航空、航天、能源、舰     

仿真结果检验和状态分析方法

提出了一种仿真结果检验和状态分析方法,不仅可以有效地判断仿真结果正确与否,而且当仿真结果不正确时,可以进一步对仿真结果进行状态分析,确定哪些状态的仿真结果正确,哪些状态的仿真结果错误,从而指导仿真软件系统的编制和修改.此外,还给出了仿真结果检验表和状态分析表,便于工程应用.      

复合材料制造自动化技术发展

复合材料自动化制造的大规模实施,可以显著降低复合材料结构件的制造成本,采用一体化模压成型以及铺带、自动化检验尚有大的发展空间。因此采用自动化批量生产工艺,是促进复合材料产品降低成本、得到更广泛应用的必由之路。     

基于MBD的航空产品首件检验关键技术研究

提出了基于MBD的航空产品首件检验方法,以实现三维数字化产品检验,在分析MBD技术应用体系的基础上,对航空首件检验标准进行研究,给出了在MBD环境下实现首件检验的关键技术,以探讨实现首件检验过程信息化、数字化的难点和关键点,为基于MBD的航空产品首件检验系统的开发与实施提供了技术支撑和方法指导。     

基于IRI背景场的单站电离层TEC地图重构技术

为了有效解决电离层TEC观测数据稀疏时重构问题, 引入IRI-2007作为背景场, 利用反距离加权法和克里格方法重构了电离层TEC地图, 使用交叉检验方法检验了引入背景场前后的重构精度. 结果表明, 引入背景场后, 一方面有效地控制了边缘地区的发散现象, 另一方面重构网格点上绝对误差在 -0.25~0.25 TECU之间的比例分别提高了约70 %和100 %, 误差统计基本呈正态分布. 可以通过引入更加精确的背景场或使用逐步订正方法进一步提高重构精度.      

基于扩展Petri网的除冰软件安全需求建模和验证

Petri网是形式化的系统建模方法,以严格的数学基础来保证系统的正确构建,但在支持复杂软件建模和自动化验证方面存在不足.扩展了Petri网的形式语义,区别定义了状态型和数值型库所,区别定义了变迁的激发和抑制状态,引入了无前置、一元和组合判断规则,同时根据形式化定义将模型自动转换为检验程序实施安全性验证.最后给出了以上方法在典型安全关键软件-除冰系统上的应用,过程和结果表明扩展的模型和方法增强了Petri网对复杂软件系统的建模能力,提高了软件的安全性,从模型到验证代码的自动转换解决了完善模型时人工修改相应代码的工作量和因此而引入人为错误的重复工作量的问题.     

法、意、瑞经北京转国内可行李直挂

9月15日,国航推出从德国法兰克福、意大利米兰、瑞典斯德哥尔摩三个城市经北京首都国际机场中转行李直挂服务开始试运行,此举将大大方便中外旅客。北京出入境检验检疫局、北京首都国际机场股份公司和国航9月14日就开通这项服务共同签署了合作协议,