电极数量在唯一性与凸优化中的逆问题系数

我们提出了一种针对逆Robin传递问题所需电极数量的计算机辅助证明，用于唯一性和全局重construction，其中需从电极电压-电流测量中确定内对象边界上的腐蚀函数。我们考虑 shunt 电极模型，其中与标准Neumann边界条件不同，仅部分已知所施加的电流。目标是以有限数量的测量确定腐蚀系数。在本文中，我们提出了一个数值可验证的准则，确保给定分辨率下的逆问题唯一可解性。这使我们能够显式确定所需的电极数量和位置。此外，我们将呈现对噪声数据的误差估计。通过将问题重写为凸优化问题，我们的目标是开发一个全局收敛的重construction算法。