Transient tomography for defect detection

能够定位、估计隐藏在外壳中的隐藏缺陷的大小和形状以及隐藏缺陷的性质对于安全(地雷探测或检测静止或运动的车辆中的爆炸物或非法物质)、能源(检测地下管道堵塞或监测反应堆的结构完整性，同时减少人类在有害和恶劣环境中的暴露)、健康(检测异常/肿瘤/病毒)等部门非常重要。与类似的断层扫描技术，例如，电阻抗/电阻/电容断层扫描是固定的方法不同，依赖时间的断层扫描使用瞬时数据信息来检测隐藏的缺陷，这些缺陷可能是静态的，也可能是实时移动的。与其静态边界势+电流通量公式相比，瞬时边界温度+热流公式提供了更多的时间信息来恢复成像缺陷的未知物理性质。因此，拟议的研究增强了对结构完整性的非破坏性监测，实际上它可以用于检测隐藏在其他物体中的外来障碍物。任何层析成像技术的核心都有一个需要解决的困难逆问题，因此必须对模型的适定性或不适定性进行数学分析，以便进行科学证明，并能够改进它。困难是由于解的不存在、不唯一性或不稳定性而产生的，而确定需要求逆的算子的不适定程度并不是平凡的。此外，对于实际的反演，基于瞬变方法检测埋藏/隐藏的物体必须解决一个困难的非线性和不适定的移动边界问题，这导致了一个非凸多维优化问题，需要进一步正则化以获得稳定的结果。当我们动态加热或冷却物体时测量表面温度的热像原理提供了一个有趣的变革性的想法，但该方法还有待于在不可控的环境中进行测试，并且目前对该技术在工业场景中的适用性的理解还有待于理解。因此，这个使用热波的数学建模项目将提供一个坚实的平台，在此平台上可以建立改进的成像仪器。这项研究的冒险之处在于通过反演数值模拟和实验数据来验证和验证新模型的合理性，以便最终可用于实际应用。

The ability to locate, estimate the size and shape, along with the properties of a hidden defect concealed in an exterior enclosure is of importance to the sectors of Security (landmine detection or detecting explosive material or illicit substances in vehicles stationary or in motion), Energy (detecting underground pipe blockages or, monitoring the structural integrity of a reactor while reducing human exposure in harmful and hostile environments), Health (detecting anomalies/ tumours/viruses), etc. Unlike similar tomographic techniques, e.g., electrical impedance/ resistive/capacitance tomography, which are stationary methods, time-dependent tomography uses transient data information to detect hidden defects which may be static or moving in time. In comparison with its stationary boundary potential + current flux formulation, the transient boundary temperature + heat flux formulation provides more temporal information to retrieve the unknown physical properties of the defect that is imaged. As such, the proposed research enhances non-destructively monitoring the integrity of structures, and practically it can be used to detect foreign obstacles concealed inside other objects.Any tomography technique has at its heart a difficult inverse problem that needs to be solved, hence the mathematical analysis on the well- or ill-posedness of the model is necessary to be undertaken for scientific justification, as well as to be able to improve it. Difficulties arise due to the non-existence, non-uniqueness or the instability of solution, and establishing the degree of ill-posedness of the operator that needs inverting, is non-trivial. Moreover, concerning the actual inversion, to detect buried/hidden objects based on the transient approach one has to solve a difficult nonlinear and ill-posed moving boundary problem, which leads to a non-convex multi-dimensional optimization that needs to be further regularized to achieve stable results.The thermographic principle of taking surface temperature measurements as we dynamically heat or cool an object offers an interesting transformative idea, but the approach is yet to be tested in an uncontrolled environment, and current understanding of the applicability of the technique to industrial scenarios is yet to be apprehended. Therefore, this mathematical modelling project using thermal-waves will provide a solid platform on which improved instrumentation for imaging can be built. The adventure of the research is to verify and validate the appropriateness of the new model by inverting both numerically simulated and experimental data in order to ultimately become available for real life application.