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

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

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

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

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

倾转四旋翼飞行器直升机模式操纵策略研究

由于倾转四旋翼飞行器具有特殊的构型,针对直升机模式下的操纵策略,建立了样机的非线性飞行动力学模型并结合试验数据进行了验证,提出了适用于直升机模式的四种操纵方式,对比了不同操纵方式相应的配平值、操纵功效及操纵耦合,随后确定了一组相对合理的操纵方式,解决了倾转四旋翼飞行器在直升机模式下操纵冗余的问题。分析了重心位置对所确定操纵方式的配平特性和操纵功效的影响。结果表明:纵横向通道下总距差动引起的操纵功效比周期变距联动大得多;偏航通道下周期变距差动引起的操纵功效大于总距差动,横向周期变距差动引起的交叉耦合小于纵向周期变距差动;正常重心位置所得到的配平量和交叉耦合最小。