基于Event-B形式化分析UML模型一致性

软件工程实践中广泛采用UML作为建模语言,UML模型在演进过程中会引入UML模型一致性问题.采用Event-B形式化技术可以协助分析UML模型的一致性,提出UML模型向Event-B模型转换的方法和规范性要求,设计具体的转换算法,证明这些算法的规范性以及采用这些算法转换得到的Event-B模型和原UML模型的等价性.文中提出了基于EventB形式化分析UML模型一致性的方法,并通过具体的案例说明了方法的具体执行过程.结果证明:基于Event-B形式化分析UML模型一致性的方法是有效的,可帮助改进UML模型质量.

低合金耐热钢预处理工艺的正交试验和回归分析

低合金耐热钢广泛应用于大功率汽轮机等发电设备中。但该钢在热加工过程中极易产生粗晶,从而影响性能。因此在长期的生产中,低合金耐热钢粗晶问题已成为该材料热处理返修的主要原因之一。在分析产生粗晶根源的前提下,本文通过6SIGMA管理方法,采用正交试验设计及回归分析工具,找出了该钢的最佳热处理工艺参数并制定了控制标准,使该钢因粗晶造成的热处理返工率显著下降,经济效益明显提高。

15Cr1Mo1V锻件套管热处理生产中常见问题的处理方法

主要针对汽轮机中１５Ｃｒ１ Ｍｏ１Ｖ锻件套管在热处理生产中出现的各种机械性能不合格现象进行了分析，提出了解决这些问题的具体措施，并应用于生产中，实践证明这些措施是正确、有效的。

基于嵌入零树小波编码的图像压缩参数的研究

基于小波变换的多分辨率分析技术,是基于EZW的图像压缩、传输、解压缩工作的基础之一。在多分辨率分析的产物中提取出内嵌的零树,并进行可变长度的量化、编码,则是该工作的另一基础。渐进的、可变长度的编、解码是EZW技术的关键特征,编码长度越长,传输的源图像的信息越多,则解码后的目标图像越接近源图像。在基于EZW的图像压缩、传输、解压缩的过程中,如何在编码量(即编码长度)和人的视觉要求间取得一个平衡,就是一个问题。下面通过一系列实验,结合客观指标和人眼直观判断,尝试找到基于嵌入零树小波编码的图像压缩参数Steps的经验数据,从而平衡编码长度和人的视觉要求。

汽轮机叶片用1Cr12Mo钢成分与热处理工艺对冲击韧度的影响

1Cr12Mo钢属于马氏体不锈钢,被广泛用于汽轮机亚临界机组的低压叶片。该钢在生产过程中由于冶炼方法的不同其化学成分会在一定范围内变化。对大量生产和试验数据进行分析的结果表明,成分的波动和热处理工艺参数的变化对钢的冲击韧度都有重要的影响。

汽轮机用12Cr2Mo钢锻件热处理工艺的研究

汽轮机用12Cr2Mo钢锻件经正火、回火后,其力学性能(主要是屈服强度)偏低,一次热处理后的合格率仅为50%,既造成该钢锻件大量热处理返修,又严重影响了生产周期。对12Cr2Mo钢锻件的加热处理工艺进行了正交试验研究,进行了金相分析和生产实践,并对该钢锻件正火、回火后力学性能不合格的原因进行了探索,找出了该钢适合厂情的最佳热处理工艺参数,使该钢锻件一次性热处理合格率达到100%,经济效益十分显著。

浅谈现代信息技术在田径训练中的应用

在竞技体育蓬勃发展的今天,现代信息技术被广泛的应用到体育专业训练中,运用现代信息技术进行专业训练,构建起了新型的专业训练模式,有利于提高运动员的训练水平和比赛成绩。从而在一定程度上优化体育训练手段,提高专业训练的效率。

雪花灯芯绒新工艺的研制

论述了“雪花”形成机理，着重讨论了“雪花”形成的工艺条件及“雪花”均匀分布的要点，进行“雪花”处理的助剂选择，研制过程中遇到的问题及解决方法。

新型IC卡模块化出租汽车计价器的设计

本文针对传统计价器存在的功能单一、硬件更换维修困难,软件难以实现计量参数的便捷下载及软件的升级等问题,提出一款新型IC卡模块化出租汽车计价器的设计解决方案。

汽轮机叶片用X20Cr13钢的热处理工艺研究

采用正交试验对汽轮机叶片用X20Cr13钢进行了热处理工艺研究,以获得该钢的最佳热处理工艺,并在回火后以不同的速度冷却,以揭示冷却速度对钢的回火脆性的影响。结果,X20Cr13钢的最佳热处理工艺为900℃油淬或风冷,670℃回火,风冷。

劣质工业冷凝水的回收应用探讨

本文主要介绍了中铝山东分公司冷凝水的回收分离系统及采取的劣质工业冷凝水回收优化改造措施。将劣质冷凝水进行深度处理达到优质水标准后,作为锅炉系统的给水补水使用,取得了较好的节能效益和经济效益。

自动驾驶软件测试技术研究综述

自动驾驶系统(autonomous driving system,ADS)是一种集成高精度传感器、人工智能和地图导航系统等模块的信息—物理融合系统。该类系统中的自动驾驶软件完成了从高级辅助驾驶到无人驾驶任务中关键的感知、定位、预测、规划和控制任务。随着深度学习和强化学习等人工智能技术的发展和车载硬件设备的不断升级,高级别的自动驾驶软件已经逐渐应用于多种安全攸关的场景中,保障其运行稳定性与可靠性的测试技术逐渐成为学术界和产业界的研究重点。本文在广泛调研国内外文献基础上,对自动驾驶软件测试技术进行了深入分析与梳理。结合自动驾驶软件的架构特点及系统特征,讨论了面向自动驾驶系统的仿真测试和实景测试,以及面向组件的测试技术。其中,在仿真方法方面,分析了软件仿真、半实体仿真和在环仿真等技术;在仿真对象方面,讨论了静态环境仿真、动态场景仿真、传感器仿真和车辆动力学仿真等。同时,本文介绍了当前实景测试的进展与情况,重点分析了实景测试案例中的得失优劣。在面向自动驾驶软件组件的测试技术方面,重点讨论了当前数据驱动技术在感知组件、决策规划组件,以及控制组件测试方面的进展。最后,本文总结分析了自动驾驶软件测试当前面临的挑战,并对未来自动驾驶软件测试技术的研究方向和研究重点进行了展望。