×
安德烈亚斯·博克;科林·科特。;罗伯特·C·柯比。

使用贝叶斯反演进行平面曲线配准。 （英语） Zbl 07824627号

计算。数学。申请。 159, 155-172 (2024).
摘要：我们将参数无关的闭合平面曲线匹配作为贝叶斯反问题进行研究。曲线的运动是通过作用于周围空间的微分同构群上的曲线来建模的，导致大变形微分度量映射（LDDMM）函数惩罚变形动能。我们使用Wu-Xu元素求解曲线匹配问题的Hamilton方程[吴圣美（S.Wu）和J.Xu先生，数学。计算。88，第316号，531–551（2019年；兹比尔1407.65304)]它为曲线的向前运动提供了与网格无关的Lipschitz常数，并使用贝叶斯反演解决了动量的逆问题。由于这个元素不是仿射等价的，我们提供了一个拉回理论这加快了前向映射的实现和效率。我们采用集合卡尔曼反演（EKI），使用负Sobolev范数失配惩罚来测量目标和集合平均形状之间的差异。我们提供了几个数值例子来验证该方法。

MSC公司：

65-XX岁 数值分析
74-XX岁 可变形固体力学

关键词：

闭合曲线匹配;非协调有限元法;贝叶斯反问题

引文：

Zbl 1407.65304号

软件：

Firedrake公司;算法884;Gms小时;法定货币;磁粉探伤;LDDMM公司
PDF格式BibTeX公司 XML格式引用
\textit{A.Bock}等人，《计算》。数学。申请。159155-172（2024年；兹bl 07824627）
全文： 内政部 arXiv公司
OA许可证

参考文献：

[1] Younes，L.，《形状和微分》，第171卷，2010年，Springer·Zbl 1205.68355号
[2] 德莱顿，I.L。；Mardia，K.V.，《统计形状分析：在R中的应用》，第995卷，2016年，John Wiley&Sons·Zbl 1381.62003年
[3] 佩内克，X。；Sommer，S。；Fletcher，T.，《医学图像分析中的黎曼几何统计》，2019，学术出版社
[4] Srivastava，A。；Klassen，E.P.，《功能和形状数据分析》，2016年第1卷，施普林格出版社·Zbl 1376.62003年
[5] Rohde，G.K。；里贝罗，A.J。；Dahl，K.N。；Murphy，R.F.，《基于变形的核形态计量学：捕获HeLa细胞中的核形态变化》，《细胞计量学A》，《国际社会杂志》。细胞。，73, 4, 341-350, 2008
[6] Salili-James，A。；麦凯，A。；罗德里格斯-阿尔瓦雷斯，E。；罗德里格斯-佩雷斯，D。；Mannack，T。；罗林斯，T.A。；Palmer，A.R。；托德·J。；Riutta，T.E。；Macinnis-Ng，C.，《根据轮廓形状对生物和文物进行分类》，J.R.Soc.Interface，19，195，第20220493页，2022年
[7] Michor，P.W。；Mumford，D.，《使用哈密顿方法对曲线空间上的黎曼度量的概述》，应用。计算。哈蒙。分析。，23, 1, 74-113, 2007 ·Zbl 1116.58007号
[8] Bauer，M。；布鲁弗斯，M。；Michor，P.W.，形状空间和微分同胚群的几何概述，J.Math。成像视觉。，50, 1-2, 60-97, 2014 ·Zbl 1310.58005号
[9] 科特，C.J。；Holm，D.D.，对称性测地边值问题，2009年，arXiv预印本
[10] Bauer，M。；Bruveris，M.，《表面注册的新黎曼设置》，2011年，arXiv预印本
[11] Glaunès，J。；邱，A。；密歇根州米勒。；Younes，L.，《大变形微分度量曲线映射》，《国际计算杂志》。视觉。，80, 3, 317, 2008 ·Zbl 1477.68471号
[12] 吴，S。；Xu，J.，当（m=n+1）时，单纯形网格上（2 m^{text{th}}）阶偏微分方程的非协调有限元空间，数学。计算。，88, 316, 531-551, 2019 ·Zbl 1407.65304号
[13] Rathgeber，F。；Ham，D.A。；米切尔，L。；兰格，M。；卢波里尼，F。；麦克雷，A.T。；Bercea，G.-T。；Markall，G.R。；Kelly，P.H.，Firedrake：通过组合抽象实现有限元方法自动化，ACM Trans。数学。柔和。（TOMS），2016年3月43日至27日·Zbl 1396.65144号
[14] Kirby，R.C.，有限元变换的一般方法，SMAI J.Compute。数学。，4, 197-224, 2018 ·Zbl 1416.65456号
[15] 柯比，R.C。；Mitchell，L.，通用映射有限元的代码生成，ACM Trans。数学。柔和。（TOMS），2019年4月45日至23日·Zbl 1486.65251号
[16] Iglesias，医学硕士。；法律，K.J。；Stuart，A.M.，反问题的集合卡尔曼方法，反问题。，第29、4条，第45001页，2013年·Zbl 1311.65064号
[17] Iglesias，M.A.，PDE约束反问题的正则化迭代集合Kalman方法，反问题。，第32、2条，第25002页，2016年·Zbl 1334.65110号
[18] 博克，A。；Cotter，C.J.，使用集合卡尔曼滤波器学习地标测地线，Found。数据科学。，3, 4, 701, 2021 ·Zbl 1478.68281号
[19] 美国格伦纳德。；Miller，M.I.，《计算解剖学：一门新兴学科》，Q.Appl。数学。，56, 4, 617-694, 1998 ·Zbl 0952.92016号
[20] Dupuis，P。；美国格伦纳德。；Miller，M.I.，图像匹配微分同态流的变分问题，Q.Appl。数学。，587-600, 1998 ·Zbl 0949.49002号
[21] Glaunes，J。；特鲁韦，A。；Younes，L.，《分布的微分匹配：未标记点集和子流形匹配的新方法》（2004年IEEE计算机学会计算机视觉和模式识别会议论文集，第2卷）。2004年IEEE计算机学会计算机视觉和模式识别会议记录，第2卷，CVPR 2004，2004，2004年，IEEE），II
[22] Vaillant先生。；Glaunès，J.，通过电流进行表面匹配，（医学成像信息处理两年期国际会议，2005年，施普林格），381-392
[23] Bauer，M。；布鲁弗斯，M。；查龙，N。；Möller-Andersen，J.，《使用弹性度量进行曲线匹配的宽松方法》，ESAIM Control Optim。计算变量，2019年25月72日·Zbl 07194611号
[24] Bauer，M。；布鲁弗斯，M。；危害，P。；Möller-Andersen，J.，《曲线匹配与医学成像应用》，2015年，arXiv预印本
[25] Bauer，M。；布鲁弗斯，M。；危害，P。；Möller-Andersen，J.，曲线空间上Sobolev度量的数值框架，SIAM J.Imaging Sci。，10, 1, 47-73, 2017 ·Zbl 1367.49021号
[26] 哈特曼，E。；Sukurdeep，Y。；克拉森，E。；查龙，N。；Bauer，M.，二阶Sobolev度量的表面弹性形状分析：一个综合的数值框架，2022，arXiv预印本
[27] Bharath，K。；Kurtek，S.，《形状数据分析：从地标到弹性曲线》，Wiley Interdiscip。版本：计算。Stat.，12，3，第1495条pp.，2020
[28] Cotter，C.J.，《用于匹配曲线的变分颗粒网格法》，J.Phys。A、 数学。理论。，第41、34条，第344003页，2008年·Zbl 1153.37010号
[29] 科特，C.J。；A.克拉克。；Peiró，J.，《基于重参数化的曲线匹配测地线约束解算器方法》，《国际计算杂志》。视觉。，99, 1, 103-121, 2012 ·兹比尔1254.65024
[30] Günther，A。；Lamecker，H。；Weiser，M.，《基于有限元的LDDMM的柔性形状匹配》，《国际计算杂志》。视觉。，105, 2, 128-143, 2013 ·Zbl 1304.92075号
[31] Höllig，K.，《B样条有限元方法》，第26卷，2003年，SIAM·Zbl 1020.65085号
[32] Paganini，A。；Wechsung，F。；Farrell，P.E.，PDE约束形状优化的高阶移动网格方法，SIAM J.Sci。计算。，2018年A2356-A2382第40、4页·Zbl 1397.49059号
[33] Paganini，A。；Wechsung，F.，Fireshape：Firedrake的形状优化工具箱，Struct。多磁盘。最佳。，2021年3月63日，2553-2569
[34] 维亚拉德，F.X。；Risser，L。；Rueckert，D。；Cotter，C.J.，《利用有效伴随计算通过测地线拍摄进行差分3D图像配准》，国际计算杂志。视觉。，97, 2, 229-241, 2012 ·Zbl 1235.68295号
[35] 博克，A。；Arnaudon，A。；Cotter，C.，《生长模型的选择性变形与地标应用》，（2019年信息几何科学国际会议，施普林格），39-48·Zbl 1458.94015号
[36] 米勒，M.I。；特鲁韦，A。；Younes，L.，《计算解剖学测地摄影》，J.Math。成像视觉。，24, 2, 209-228, 2006 ·Zbl 1478.92084号
[37] 科特，C.J。；科特，S.L。；维亚拉德，F.-X.，形状配准中的贝叶斯数据同化，逆问题。，第29、4条，第045011页，2013年·Zbl 1273.65013号
[38] Glaunès，J。；特鲁韦，A。；Younes，L.，通过曲线的哈密顿流建模平面形状变化，（形状统计与分析，2006，Springer），335-361·兹比尔1165.53364
[39] 俄亥俄州拉基斯。；Pryer，T.，无限拉普拉斯的自适应有限元方法，（数值数学和高级应用-ENUMATH 2013，2015，Springer），283-291·Zbl 1328.65246号
[40] Barron，E。；埃文斯，L。；Jensen，R.，无限拉普拉斯方程，Aronsson方程及其推广，Trans。美国数学。Soc.，360，1，77-1012008年·Zbl 1125.35019号
[41] Ziemer，W.P.，《弱可微函数：Sobolev空间和有界变分函数》，第120卷，2012年，Springer科学与商业媒体
[42] Ern，A。；Guermond，J.L.，《有限元理论与实践》，第159卷，2013年，Springer Science&Business Media
[43] 亚当斯，R.A。；Fournier，J.J.，Sobolev Spaces，2003年，Elsevier·Zbl 1098.46001号
[44] 南卡罗来纳州布伦纳。；斯科特，L.R。；Scott，L.R.，《有限元方法的数学理论》，第3卷，2008年，Springer·Zbl 1135.65042号
[45] Kirby，R.C.，算法839:FIAT，计算有限元基函数的新范式，ACM Trans。数学。软质。，30, 4, 502-516, 2004 ·Zbl 1070.65571号
[46] Argyris，J.H。；油炸，I。；Scharpf，D.W.，矩阵位移法的TUBA板单元系列，航空航天。J.，721701-7091968年
[47] Domínguez，V。；Sayas，F.-J.，《884算法：Argyris元素ACM Trans的简单Matlab实现》。数学。软质。，35, 2, 16, 2008
[48] 罗杰斯，M.E。；柯比，R.C。；Logg，A.，（H（\operatorname{div}）和（H（\ operatorname{curl}）协调有限元的有效组装，SIAM J.Sci。计算。，31, 6, 4130-4151, 2010 ·Zbl 1206.65248号
[49] Allaire，G。；Schoenauer，M.，《结构优化概念》，第58卷，2007年，施普林格出版社·Zbl 1132.49033号
[50] 格扎因，C。；Remacle，J.F.，Gmsh：一个具有内置预处理和后处理设施的三维有限元网格生成器，国际期刊Numer。方法工程，79，11，1309-13312009·Zbl 1176.74181号
[51] 中华人民共和国埃姆斯泰。；达夫，I.S。；L'Excellent，J.-Y。；Koster，J.，MUMPS:通用分布式内存稀疏解算器，（应用并行计算国际研讨会，2000年，Springer），121-130
[52] Bock，A.，《形状分析中的反问题和有限元》，2020年，伦敦帝国理工学院博士论文
[53] 2020年，用于“形状分析中的反问题和有限元”的软件
[54] Petrie，R.，《集成卡尔曼滤波器中的本地化》，2008年，雷丁大学，硕士论文
[55] 格罗普，W。；Lusk，E。；Skjellum，A.，《使用MPI：具有消息传递接口的可移植并行编程》，第1卷，1999年，麻省理工学院出版社
[56] Mandel，J.，《集成卡尔曼滤波器的有效实现》，2006年，科罗拉多大学丹佛分校和健康科学中心，计算数学中心
[57] 科特，S.L。；达什蒂，M。；Stuart，A.M.，PDE贝叶斯反问题近似，SIAM J.Numer。分析。，48, 1, 322-345, 2010 ·Zbl 1210.35284号
[58] 博克，A。；Cotter，C.，关于具有奇异数据的tri-Helmholtz方程非协调离散化的误差分析的注释，2021，arXiv预印本
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。