单位文秘网 2021-07-25 08:13:11 点击: 次
机器人可以使某些类型的外科手术更加安全和有效,但是目前还没有明确的方法可以证明控制这些机器的软件是否按照预期进行工作。日前,卡耐基梅隆大学与约翰霍普金斯大学应用物理学实验室的科研人员,已经证明一些能够可靠地识别程序错误并最终对程序安全性做出鉴别的方法,可以成功地用来评估此类机器人的程序安全性。针对帮助外科医生进行颅骨底部手术的机器人,研究人员使用定理证明技术对机器人的控制算法进行了分析。
他们的方法鉴别出了一套安全的流程,可以使手术刀或者其他外科工具在诸如眼眶、耳道、主动脉以及神经等极易损伤的区域进行危险的操作。他们还引导研发了一种新的算法,证实新控制器的安全可靠性。
(责任编辑:单位文秘网) )地址:https://www.kgf8887.com/show-117-72334-1.html
上一篇:思维是物理学习的“引擎”
下一篇:无机和金属纳米管材料
版权声明:
本站由单位文秘网原创策划制作,欢迎订阅或转载,但请注明出处。违者必究。单位文秘网独家运营 版权所有 未经许可不得转载使用