新方法评估外科机器人程序
机器人可以使某些类型的外科手术更加安全和有效，但是目前还没有明确的方法可以证明控制这些机器的软件是否按照预期进行工作。日前，卡耐基梅隆大学与约翰霍普金斯大学应用物理学实验室的科研人员，已经证明一些能够可靠地识别程序错误并最终对程序安全性做出鉴别的方法，可以成功地用来评估此类机器人的程序安全性。针对帮助外科医生进行颅骨底部手术的机器人，研究人员使用定理证明技术对机器人的控制算法进行了分析。
他们的方法鉴别出了一套安全的流程，可以使手术刀或者其他外科工具在诸如眼眶、耳道、主动脉以及神经等极易损伤的区域进行危险的操作。他们还引导研发了一种新的算法，证实新控制器的安全可靠性。, http://www.100md.com
他们的方法鉴别出了一套安全的流程，可以使手术刀或者其他外科工具在诸如眼眶、耳道、主动脉以及神经等极易损伤的区域进行危险的操作。他们还引导研发了一种新的算法，证实新控制器的安全可靠性。, http://www.100md.com