埋地泡沫夹克钢质管道需要搞阴极保护吗?

针对埋地泡沫夹克钢质管道几年来的腐蚀情况,加以理论分析,提出埋地泡沫夹克钢质管道不宜搞阴极保护。延长埋地泡沫夹克钢质管道寿命的根本措施是提高泡沫夹克的制造质量和施工质量,防止泡沫夹克进水。     

车载式节能型电磁感应管口预热设备

为满足大直径高强度钢管管口预热的需要 ,研制出DGRF风冷式节能型中频电磁感应管口预热设备 ,该设备实现了中频电源 (KGPF)风冷化 ,具有加热器加热迅速、节能、无断点开合等优点。在此基础上 ,又把KGPF中频电源改进成IPF中频电源 ,使电源的体积、质量减小 ,可与电焊机安装在同一焊接车上 ,既省掉了专用运输设备 ,又可与电焊机共享一个工频发电机 ,简化了施工设备 ,节约了投资。文章重点介绍了车载式节能型电磁感应管口预热设备的中频电源、中频电磁感应加热器的性能和特点 ,并展望了该设备的应用前景。     

薄涂层检漏

本文介绍了当前已有的检漏方法;薄涂层检漏电压的确定;环氧粉末涂层检漏电压的确定;检漏电压波形的选择;以及检漏电压的标定方法。     

管道的电热解凝

本文对目前管道电热解凝技术状况进行了介绍,对交、直流电热解凝进行了比较,并提出在长输管道解凝时,应首先考虑应用直流电热解凝的建议。     

螺线管电感的计算与测量

本文导出空心单层螺线管、空心多层螺线管以及带磁芯多层螺线管的电感的计算公式。为了验证公式的正确性,介绍了对带磁芯多层螺线管电感的不同测量方法,最后列表比较了计算与实测结果的数据。     

BACH:线性混成系统有界可达性模型检验工具

混成自动机的模型检验问题非常困难,即使是其中相对简单的一个子类--线性混成自动机,它的可达性问题仍然是不可判定的.现有的相关工具大都使用多面体计算来判定线性混成自动机状态空间的可达集,复杂度高、效率低,无法解决实际应用规模的问题.描述了一个面向线性混成系统有界可达性模型检验工具--BACH(bounded reacha...     

几种异型电磁感应加热器

笔者在多年从事管体中频电磁感应加热研究与应用工作的基础上,从管道和储罐工程的实际需要出发,提出加热器的几种新型结构,以满足现场施工需要和提高现有设备技术水平,并拓宽电磁感应加热器的应用领域。     

高精度的大规模程序数据竞争检测方法

随着技术的不断发展,软件系统的非确定性（Uncertainty）不断增强,数据竞争是并发系统这一类典型的非确定性软件系统中常见的缺陷.尽管数据竞争静态检测近年来取得了巨大进展,但其面临的重要问题仍然存在.先前的静态技术要么以分析精度为代价达到高扩展性,要么由于高精度分析而导致可扩展性问题.本文提出一种解决上述矛盾的分段分析方法——GUARD.它首先基于程序值流进行轻量级上下文敏感的数据访问分析,以识别出候选的数据竞争子路径而非完整的程序路径.接下来,进行可能并行执行（May-Happen-in-Parallel,即MHP）分析来确定程序中的两个数据访问操作是否可能会同时执行.MHP分析基于线程流图（TFG）将线程信息进行编码以便于高效地查询各个子路径之间的并发关系.最后,对于每条存在MHP数据访问的子路径,进行重量级路径敏感分析以确定数据竞争路径的可行性.针对12个开源项目的实验评估显示GUARD能够在1870秒内完成对130万行代码的工业规模项目的检测,且平均误报率为16.0%.此外GUARD的分析速度更快,比现有的前沿技术平均快了6.08倍并且显著降低误报率.除此之外,GUARD在其中还发现了12个数据竞争漏洞.我们将它们全部报告给了开发者,其中8个已得到了确认.     

中断驱动的嵌入式系统数据竞争检测工具

中断驱动的嵌入式系统广泛应用于对安全和稳定性要求极高的领域,但因系统设计复杂,运行环境多样等原因,中断不确定性导致的严重故障时有发生,数据竞争是较为棘手的问题之一。已有工作对中断导致的数据竞争检测做了许多尝试,但目前还没有比较易用的解决方案。为了解决这类问题,提出了一种基于控制流图的静态检测方法。该方法通过对源程序进行预处理分析,检测出程序中使用的共享资源和中断使能操作;根据预处理的结果,构建出源程序对应的简要控制流图;通过对简要控制流图的抢占关系分析,得到可能会导致竞争关系的执行序列。实验结果表明,该方法能有效检测出程序中潜在的竞争关系,并指明该潜在竞争的发生路径,帮助软件测试人员对故障进行确认和修复。