基于约束的多面体抽象域的弱接合

基于约束的多面体抽象域的处理能力主要受限于其高代价的(强)接合操作,即两多面体的凸闭包计算.针对基于约束的多面体抽象域提出了一系列低代价的弱接合操作,以作为凸闭包计算的可靠替代候选.为了能够在分析效率和精度之间取得合理权衡,还提出了一种启发式策略,以把强、弱接合动态地、有机地结合起来进行程序分析.实验结果表明,弱接合能够极大地提升基于约束的多面体抽象域的效率、可扩展性和鲁棒性.

利用数字信号处理方法检测摩擦焊接头中弱接合缺陷

通过超声波信号数字化，方便地在超声波无损检测中引入了小波变换方法及奇异性分析技术，从大的背景噪声中提取出了微弱的伤波信号，有效而准确地对在石油、天然气行业中大量使用的摩擦焊接头进行无损检测与评价。尤其适合对弱结合焊接缺陷进行无损检测，并具有很高的准确率。同时．本文还研究了弱接合缺陷对焊接接头冲击韧性的影响。

摩擦焊接头常见缺陷及其超声检测

论述了摩擦焊接头中容易出现的未熔合、弱接合等缺陷及其成因,以及目前用于摩擦焊接头无损评价的超声检测方法.