Evaluation Test Research of DR Inspection System for Circumferential Welds in Long Distance Pipeline

Digital radiographic(DR)testing equipment has been widely promoted and applied in the inspection of circumferential welds in oil and gas pipelines.In order to establish a comprehensive quality control system for digital radiographic testing and fully evaluate the integrated system inspection ability of equipment,personnel,and processes,a scientific and standardized evaluation method to the system is very necessary.Here investigates the precedents of relevant non-destructive testing evaluation methods at home and abroad,considers the testing characteristics of DR equipment,develops a complete set of DR testing system evaluation procedures.It deeply studies the adaptability methods of program processes from defect production to slicing processing and data statistical calculation for digital radiographic testing evaluation.To check the repeatability and reliability of the detectable system,five process welds with 200 real metallographic defects were fabricated in the laboratory.From the detected results,the DR system has good repeatability in image quality,and the detectable defect size reaches 0.85 mm under achieving 90%detection probability at a confidence level of 95%,the error of detected defect length is±2 mm,and the error of detected defect localization is±5 mm.The qualitative and quantitative detection of defects are accurate and reliable.The test further confirmed the reliable detection ability of the DR detection system,and fully validated the scientific and practical evaluation method designed.The research on the evaluation test method can serve as an important link in the quality control system for the on-site application of digital ray equipment in long-distance pipelines.The designed program,test,and evaluation content can serve as an important basis for the formulation of relevant specifications or standards.

Formal verification with projection temporal logic

Projection temporal logic(PTL) is an extension of interval temporal logic(ITL) with a new projection operator prj and infinite intervals which has been well investigated in the past ten years.In this paper,we review the work on PTL in four aspects:(1) decidability,complexity and expressiveness of propositional PTL(PPTL);(2) modeling,simulation and verification language(MSVL);(3) formal verification approaches with MSVL and PPTL;and(4) supporting toolkit MSV.