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

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

基于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日就开通这项服务共同签署了合作协议,     

试论检验规程的标准化

介绍了检验规程的分类,分析了生产管理中检验规程的现状及存在的问题,阐明了检验规程的属性及其编制的归属,以及检验规程的书写格式、内容和技术管理的标准化。     

置信度检验法在新测量船船姿故障诊断中的应用

为解决惯导设备数据异常而状态码未及时更新所导致的设备状态无法判断的问题展开研究。基于新测量船分布式惯导的安装设计,分析了如何通过坐标转换的方式,计算得到冗余的船姿数据。根据冗余船姿数据的特性,采用置信度检验法对各姿态测量设备进行检测,建立了设备可信任度矩阵,并将矩阵元素与对应设备进行标志,可以通过分析矩阵元素有针对性地进行船姿故障诊断,并对检测过程中可能会产生的矩阵特性做了分析说明。最后,在某次任务惯导实测数据的基础上,仿真了横摇数据的漂移,并通过置信度检验法对其进行检验,实验结果验证了方法的正确性。