薄壁精密罐多道次缩口过程及其机理

基于薄壁精密罐的多道次缩口工艺,分析了各道次缩口材料的变形行为,对首道次缩口与后续道次缩口进行区分,给出在不同道次缩口中缩口入模角的定义,探讨了各道次间缩口行程的控制规律,并利用有限元数值模拟进行了验证,采用专用实验设备所获得的实验结果也证实了该规律,决定了不同道次解析分析的基础不同;基于主应力法推导出了不同道次缩口载荷计算公式,证实各道次缩口工艺中最佳入模角的存在,载荷计算结果与实验结果较为吻合,并计算得出缩口载荷随凹模入模角的变化规律.      

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

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

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

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

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

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

试论检验规程的标准化

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

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

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

纳米力学测试系统位移传感器校准装置

介绍了用激光干涉方法对纳米力学测试系统位移传感器进行校准的方法,并建立了校准装置;采用平衡式光学系统设计,干涉系统的抗干扰能力得到了显著提高,通过零位移测量实验对装置的稳定性进行了验证;用校准装置对TriboIndenter纳米力学测试系统的位移传感器进行了校准实验,测量不确定度分析结果表明该系统测量压头位移的准确度可以达到纳米量级。