一种BPEL流程数据竞争检测方法

对使用业务流程执行语言(BPEL)组织流程中存在的数据竞争问题进行了研究,根据BPEL特性提出了一个静态分析和动态监控相结合的有效检测方法.实验结果表明,该方法能够准确检测出流程中存在的数据竞争,提高了流程的可靠性.     

高温球床壁面区域有效导热系数模型优化

有效导热系数用来表征高温气冷球床堆堆芯综合传热能力,提高球床有效导热系数的预测精度对于高温气冷球床堆的热工设计和安全分析十分重要。为了优化球床壁面区域有效导热系数模型,本文针对无序石墨球床有效导热系数开展数值研究,分析了无序堆积球床主体区域、近壁面区域以及壁面区域有效导热系数的分布特性。结果表明：壁面区域有效导热系数相对于主体区域和近壁面区域显著降低,其平均降幅约为22%。因此引入了修正系数C_w对ZBS模型在壁面区域进行优化,对于球床主体区域及近壁面区域修正系数C_w=1,对于壁面区域,修正系数C_w=0.78。通过与前期无序球床实验数据和南非HTTU实验数据的对比,验证了优化后的ZBS模型能较好地预测球床壁面区域有效导热系数。