面向充电机通信协议一致性测试的用例自动生成方法

现有的充电机和新能源汽车电源管理系统(BMS)之间的通信协议一致性测试方法主要由专家经验设计测试用例,这种方法缺乏理论支撑,导致测试覆盖性弱,测试结果缺乏说服力,较难形成行业标准.为了解决上述问题,提出一种基于有限状态机(FSM)的充电机与BMS通信协议一致性测试方法.首先,通过对GB/T 27930—2015协议的详细解读,分析充电机和BMS之间的通信过程,使用FSM形式化语言描述充电机和BMS之间的充电过程,保证协议的不同实体之间的通信一致性.其次,在FSM的基础上利用唯一输入输出(UIO)序列计算测试序列,进而得到最终的测试用例.在生成测试用例时,采用递归算法考虑前置用例,让每一个测试用例都有完整的输入输出.最后,生成的用例结果表明,基于FSM的一致性测试方法不仅使得充电机与BMS间的通信协议一致性测试过程有了理论支撑,而且相较于基于专家经验的手工设计测试用例方法具有更强的复用能力.     

ADS80数码影像与RC30框幅式影像在基础测绘中的应用研究

ADS80是当今最先进的数码航空摄影测量系统之一,由于它采用推扫式三线阵获取影像,可以同时获取高分辨率多光谱和全色数码影像,并能满足数字摄影测量与各种遥感应用的需求。近年来甘肃省地图院基础测绘生产中,ADS80航空数码影像得到了全面的应用,已经取代了传统的框幅式航空影像数据。就ADS80数码影像从航空摄影、外业控制、空三加密以及数据处理等方面与传统的框幅式影像进行了比较,分析了其优越性。     

浅谈常压金属储罐的长周期运行管理

近年来,由常压金属储罐引发的安全事故逐年攀升,给高危行业的石化生产企业的安全生产带来了严重的挑战。常压金属储罐的管理提升迫在眉睫。深入分析了国内大型石化企业常压金属储罐运行现状及危险产生原因,总结了在常压储罐管理方面长期积累的经验,提供了行之有效的管理方法。希望能给常压金属储罐的管理提供借鉴和帮助。     

化工装置基层安全环保实践与探索

依据40万t/a芳烃装置6年安全环保管理实践,通过对班组安全环保建设、安全教育、安全监督管理、现场安全管理、强化有感领导、营造良好的安全环保氛围等方面的论述,提出了多管齐下,多种措施并用,夯实HSE体系管理基础工作,实现安全环保目标。