Numerical prediction of freezing fronts in cryosurgery: Comparison with experimental results

References

• Ait Ali Yahia , D. , Baruzzi , G. , Habashi , W.G. , Fortin , M. , Dompierre , J. and Vallet , M.-G. 2002 . Anisotropic mesh adaptation: towards user-independent, mesh-independent and solver-independent CFD. Part II: structured grids . Int. J. Numer. Meth. Fluids , 39 : 657 – 673 .
   Web of Science ®Google Scholar
• S. Balay, K. Buschelman, V. Eijkhout, W. Gropp, D. Kaushik, M. Knepley, L.C. McInnes, B. Smith and H. Zhang, PETSc Users Manual. Technical Report ANL-95/11-Revision 2.1.6, Argonne National Laboratory, 2003, Argonne, Illinois, http://www.mcs.anl.gov/petsc/
   Google Scholar
• Beckett , G. , Mackenzie , J.A. and Robertson , M.L. 2001 . A moving mesh finite element method for the solution of two-dimensional Stefan problems . J. Comp. Phys. , 168 : 500 – 518 .
   Web of Science ®Google Scholar
• Belhamadia , Y. , Fortin , A. and Chamberland , É . 2004a . Anisotropic mesh adaptation for the solution of the Stefan problem . J. Comp. Phys. , 194 ( 1 ) : 233 – 255 .
   Web of Science ®Google Scholar
• Belhamadia , Y. , Fortin , A. and Chamberland , É. 2004b . Three-dimensional anisotropic mesh adaptation for phase change problems . J. Comp. Phys. , 201 ( 2 ) : 753 – 770 .
   Web of Science ®Google Scholar
• Bishoff , J.C. , Smith , D. , Pazhayannur , P.V. , Manivel , C. , Hulbert , J. and Roberts , P. 1997 . Cryosurgery of dunning AT-1 rat prostate tumor: thermal, biophysical, and viability response at cellular and tissue level . Cryobiology , 34 : 42 – 69 .
   PubMedGoogle Scholar
• Dompierre , J. , Vallet , M.-G. , Bourgault , Y. , Fortin , M. and Habashi , G. 2002 . Anisotropic mesh adaptation: towards user-independent, mesh-independent and solver-independent CFD. Part III: unstructured meshes . Int. J. Numer. Meth. Fluids , 39 : 675 – 702 .
   Web of Science ®Google Scholar
• Fortin , A. , Fortin , M. and Boulanger-Nadeau , P.E. 2004 . An anisotropic adaptive remeshing strategy for two-dimensional laminar Navier-Stokes equations . Int. J. Numer. meth. Fluids , To appear
   Google Scholar
• Habashi , W.G. , Dompierre , J. , Bourgault , Y. , Ait Ali Yahia , D. , Fortin , M. and Vallet , M.-G. 2000 . Anisotropic mesh adaptation: towards user-independent, mesh-independent and solver-independent CFD. Part I: general principles . Int. J. Numer. Meth. Fluids , 32 : 725 – 744 .
   Web of Science ®Google Scholar
• Hoffmann , N.E. and Bischof , C. 2001 . Cryosurgery of normal and tumor tissue in the dorsal skin flap chamber: part I—thermal response . J. Biomech. Engng. , 123 : 301 – 309 .
   PubMed Web of Science ®Google Scholar
• Keanini , R.G. and Rubinski , B. 1992 . Optimization of multiprobe cryosurgery . ASME J. Heat Transfer , 114 : 796 – 801 .
   Web of Science ®Google Scholar
• Mackenzie , J.A. and Robertson , L. 2000 . The numerical solution of one-dimensional phase change problems using an adaptive moving mesh method . J. Comp. Phys. , 161 : 537 – 557 .
   Web of Science ®Google Scholar
• Mackenzie , J.A. and Robertson , L. 2002 . A moving mesh method for the solution of the one-dimensional phase-field equations . J. Comp. Phys. , 181 : 526 – 544 .
   Web of Science ®Google Scholar
• Nochetto , R.H. , Paolini , M. and Verdi , C. 1991 . An adaptive finite element method for two-phase stefan problems in two space dimensions. Part II: implementation and numerical experiments . SIAM J. Sci. Stat. Comp. , 12 ( 5 ) : 1207 – 1244 .
   Google Scholar
• Nochetto , R.H. , Schmidt , A. and Verdi , C. 1997 . Adaptive solution of phase change problems over unstructured tetrahedral meshes . IMA Ser. ,
   Google Scholar
• Rewcastle , J.C. , Sandison , G.A. , Hahn , L.J. , Saliken , J.C. , McKinnon , J.G. and Donnelly , B.J. 1998 . A model for the time-dependent thermal distribution within an iceball surrounding a cryoprobe . Phys. Med. Biol. , 43 : 3519 – 3534 .
   PubMedGoogle Scholar
• Rupp , C.C. , Hoffman , N.E. , Schmidlin , F.R. , Swanlund , D.J. , Bishof , J.C. and Coad , J.E. 2002 . Cryosurgical changes in porcine kidney: histologic analysis with thermal history correlation . Cryobiology , 45 : 167 – 182 .
   PubMedGoogle Scholar
• Saad , Y . 1996 . Iterative Methods for Sparse Linear Systems , PWS Publishing Company .
   Google Scholar
• Udaykumar , H.S. , Mittal , R. and Shyy , W. 1999 . Computation of solid–liquid phase fronts in the sharp interface limit on fixed Cartesian grids . J. Comp. Phys. , 148 : 265 – 290 .
   Google Scholar
• R. Wan, Personal Communication.
   Google Scholar
• Wan , R. , Liu , Z. , Muldrew , K. and Rewcastle , J. 2003 . A finite element model for ice ball evolution in a multi-probe cryosurgery . Comp. Methods Biomech. Biomed. Engng. , 6 ( 3 ) : 197 – 208 .
   PubMedGoogle Scholar
• Zhao , P.H. and Heinrich , C. 2002 . Approximation to the interface velocity in phase change front-tracking . Comm. Numer. Meth. Engng. , 18 ( 2 ) : 77 – 88 .
   Google Scholar