从计算机诞生至今,其应用已经遍布人类生活的方方面面,从原始的科学计算到如今的日常娱乐都有计算机的影子。计算机的发展加速了不同学科交流融合,如今数学、物理、生物、医学等都与计算机科学有着密切联系,而医学领域中的虚拟手术模拟系统更是将这些学科全部有机地结合在一起。近几年来,随着计算机技术的发展,医学领域迫切需要开发出能够模拟手术进行的虚拟手术系统,以应用于教学、培训、诊断、术前计划等多个领域。一个完整的虚拟手术系统,涉及计算机图形学、数字图像处理、计算机人机交互、软组织形变计算等多方面的技术。虚拟手术系统作为虚拟现实技术的一种,与人体软组织的三维建模都已经成为是计算机图形学的重要研究课题。而其中结构复杂的软组织形变计算研究也是实时虚拟手术系统和人机交互系统中最具挑战性的内容。本文讨论了虚拟脊柱手术系统的需求分析及模块设计,并对其中的软组织形变仿真及其在脊柱手术系统中的应用展开详细分析和实验。考虑到人体脊柱软组织(椎间盘)的环-核结构及其强接触非线性特性,为了兼顾计算的准确性和计算效率,重点研究讨论了接触有限元模型的实现及其改进方案。本研究在传统有限元计算的基础上,根据研究对象在结构和材料上的特点,提出创新性的混合与简化计算方案,结合非线性的准确性和简化模型的效率计算软组织形变,并实验验证其可行性和效率;同时介绍了特殊结构的三维网格重建算法、图形处理单元的并行计算加速、人机交互技术等相关内容。本文的主要工作和创新点如下:1.详细讨论了有限元方法、相关的力学概念以及对应的数值解法,并重点针对接触碰撞中的强非线性问题对有限元求解算法进行整理简化和优化。2.讨论了有限元分析中特殊结构网格模型的建立与选取,以及不同网格划分方法在具体使用中的区别和注意事项。3.本文对传统碰撞接触状态下强非线性有限元的计算进行了简化和改进,满足了人体脊柱软组织的特点,提升了算法的计算效率。4.利用图形显示卡的并行计算特性进行计算加速。5.建立验证手术形变模拟结果的较合理的机制,通过在真实医疗数据上进行实验来验证该形变模拟的真实性和有效性。6.根据实际实验的结果和结论,选取并结合使用不同合适的网格模型生成算法,对算法中的参数和材料参数的设定进行调整优化,以达到计算效率和模拟真实性的最优平衡。7.本论文的新型算法成功地将碰撞接触非线性有限元分析应用于脊柱手术模拟中,并对软组织不同部位的形变模拟结果进行应力分析。