Barcelona Supercomputing Center (BSC), Barcelona, Spain.
ELEM biotech, Barcelona, Spain.
PLoS Comput Biol. 2022 Jun 13;18(6):e1010141. doi: 10.1371/journal.pcbi.1010141. eCollection 2022 Jun.
Left ventricular assist devices (LVADs) are implantable pumps that act as a life support therapy for patients with severe heart failure. Despite improving the survival rate, LVAD therapy can carry major complications. Particularly, the flow distortion introduced by the LVAD in the left ventricle (LV) may induce thrombus formation. While previous works have used numerical models to study the impact of multiple variables in the intra-LV stagnation regions, a comprehensive validation analysis has never been executed. The main goal of this work is to present a model of the LV-LVAD system and to design and follow a verification, validation and uncertainty quantification (VVUQ) plan based on the ASME V&V40 and V&V20 standards to ensure credible predictions.
The experiment used to validate the simulation is the SDSU cardiac simulator, a bench mock-up of the cardiovascular system that allows mimicking multiple operation conditions for the heart-LVAD system. The numerical model is based on Alya, the BSC's in-house platform for numerical modelling. Alya solves the Navier-Stokes equation with an Arbitrary Lagrangian-Eulerian (ALE) formulation in a deformable ventricle and includes pressure-driven valves, a 0D Windkessel model for the arterial output and a LVAD boundary condition modeled through a dynamic pressure-flow performance curve. The designed VVUQ plan involves: (a) a risk analysis and the associated credibility goals; (b) a verification stage to ensure correctness in the numerical solution procedure; (c) a sensitivity analysis to quantify the impact of the inputs on the four quantities of interest (QoIs) (average aortic root flow [Formula: see text], maximum aortic root flow [Formula: see text], average LVAD flow [Formula: see text], and maximum LVAD flow [Formula: see text]); (d) an uncertainty quantification using six validation experiments that include extreme operating conditions.
Numerical code verification tests ensured correctness of the solution procedure and numerical calculation verification showed a grid convergence index (GCI)95% <3.3%. The total Sobol indices obtained during the sensitivity analysis demonstrated that the ejection fraction, the heart rate, and the pump performance curve coefficients are the most impactful inputs for the analysed QoIs. The Minkowski norm is used as validation metric for the uncertainty quantification. It shows that the midpoint cases have more accurate results when compared to the extreme cases. The total computational cost of the simulations was above 100 [core-years] executed in around three weeks time span in Marenostrum IV supercomputer.
This work details a novel numerical model for the LV-LVAD system, that is supported by the design and execution of a VVUQ plan created following recognised international standards. We present a methodology demonstrating that stringent VVUQ according to ASME standards is feasible but computationally expensive.
左心室辅助装置(LVAD)是一种可植入的泵,可作为严重心力衰竭患者的生命支持治疗。尽管提高了生存率,但 LVAD 治疗可能会带来重大并发症。特别是,LVAD 在左心室(LV)中引入的流量扭曲可能会导致血栓形成。虽然以前的工作已经使用数值模型研究了 LV 中多个变量在停滞区域的影响,但从未执行过全面的验证分析。这项工作的主要目标是提出一个 LV-LVAD 系统模型,并根据 ASME V&V40 和 V&V20 标准设计和遵循验证、确认和不确定性量化(VVUQ)计划,以确保可信的预测。
用于验证模拟的实验是 SDSU 心脏模拟器,这是心血管系统的 bench mock-up,可以模拟心脏-LVAD 系统的多种操作条件。数值模型基于 Alya,这是 BSC 的内部数值建模平台。Alya 在可变形心室中使用任意拉格朗日-欧拉(ALE)公式求解纳维-斯托克斯方程,并包括压力驱动阀、用于动脉输出的 0D 脉管模型以及通过动态压力-流量性能曲线建模的 LVAD 边界条件。设计的 VVUQ 计划包括:(a)风险分析和相关可信度目标;(b)验证阶段,以确保数值求解过程的正确性;(c)敏感性分析,以量化输入对四个感兴趣量(QoIs)(平均主动脉根部流量[公式:见文本]、最大主动脉根部流量[公式:见文本]、平均 LVAD 流量[公式:见文本]和最大 LVAD 流量[公式:见文本])的影响;(d)使用包括极端操作条件在内的六个验证实验进行不确定性量化。
数值代码验证测试确保了求解过程的正确性,数值计算验证表明网格收敛指数(GCI)95%<3.3%。敏感性分析得到的总 Sobol 指数表明,射血分数、心率和泵性能曲线系数是对分析的 QoIs 影响最大的输入。Minkowski 范数用作不确定性量化的验证指标。结果表明,与极端情况相比,中点情况的结果更准确。在 Marenostrum IV 超级计算机上执行的模拟的总计算成本超过 100[核年],用时约三周。
这项工作详细介绍了一种用于 LV-LVAD 系统的新型数值模型,并通过设计和执行根据公认的国际标准创建的 VVUQ 计划提供了支持。我们提出了一种方法,证明了根据 ASME 标准进行严格的 VVUQ 是可行的,但计算成本很高。