基于模板匹配的BPEL程序故障修复及优化技术

BPEL (business process execution language)是一种可执行的Web服务组合语言. 与传统程序相比, BPEL程序在编程模型、执行方式等方面存在较大差异. 这些新特点使得如何定位并修改测试阶段发现的BPEL程序故障成为挑战, 面向传统软件的故障修复技术难以直接应用于BPEL程序. 从变异分析角度出发, 提出一种基于模板匹配的BPEL程序故障修复方法BPELRepair. 为了克服基于变异分析的故障修复技术计算开销高的缺点, 从补丁生成、测试用例选择以及终止条件3个角度提出多种优化策略. 开发一个BPEL故障修复支持工具, 提高故障修复的自动化程度与效率. 采用经验研究的方式, 评估所提故障修复技术及优化策略的有效性. 实验结果表明, 所提故障修复方法能够成功修复约53%的BPEL程序故障; 所提优化策略能够显著降低搜索匹配、补丁程序验证、测试用例执行与故障修复等方面的开销.     

超声速空地导弹作战分析

介绍了超声速空地导弹的概念和特点,阐述了超声速空地导弹的攻击目标、发射平台以及典型的攻击活动和作战过程,并在此基础上,重点研究分析了超声速空地导弹的攻防对抗过程.     

CYJ14-4.8-89HB型抽油机

<正> 由南阳二机厂和河南石油勘探局采油一厂共同研制的CYJ14-4.8—89HB型抽油机,是针对我国各油田需要长冲程、低冲次和大载荷的抽浦设备而设计制造的有杆抽油泵装置的地面动力设备。适用于泵径Φ56～Φ83mm、泵挂深1000～2000m、泵     

磁力耦合器在新钢焦化输送机的应用

针对液力耦合器在生产运行中存在介质油易喷出、振动大、能耗高等问题,采用磁力耦合器替代了原液力耦合器,实现了无机械连接,提高了系统的启停性能.