恭喜浙江大学王子琛获国家专利权
买专利卖专利找龙图腾，真高效！ 查专利查商标用IPTOP,全免费！专利年费监控用IP管家,真方便！
龙图腾网恭喜浙江大学申请的专利基于RAPID语言形式语义的机器人控制程序调试方法及装置获国家发明授权专利权，本发明授权专利权由国家知识产权局授予，授权公告号为：CN115357504B 。
龙图腾网通过国家知识产权局官网在2025-05-23发布的发明授权授权公告中获悉：该发明授权的专利申请号/专利号为：202211034504.6，技术领域涉及：G06F11/362；该发明授权基于RAPID语言形式语义的机器人控制程序调试方法及装置是由王子琛;王竟亦;王坤;浦宏艺;程鹏;陈积明设计研发完成，并于2022-08-26向国家知识产权局提交的专利申请。
本基于RAPID语言形式语义的机器人控制程序调试方法及装置在说明书摘要公布了：本发明公开了一种基于RAPID语言形式语义的机器人控制程序调试方法及装置，该方法包括：对RAPID语言官方提供的语法格式进行分析，并重构为符合K框架规定的传统巴克斯范式；根据RAPID语言的特性以及调试时待观察的程序状态，定义运行配置格式；基于RAPID语言的语法和运行配置，使用K框架定义RAPID语言形式语义RAPID‑FS；基于RAPID‑FS，使用K框架调试机器人控制程序。本发明改变了机器人编程语言缺少形式语义的现状，且为机器人控制程序开发者提供了一种方便、直观的调试功能。
本发明授权基于RAPID语言形式语义的机器人控制程序调试方法及装置在权利要求书中公布了：1.一种基于RAPID语言形式语义的机器人控制程序调试方法，其特征在于，包括：1重构语法：将RAPID语言官方文档中的语法格式——扩展巴克斯范式进行重构，表示为符合K框架规定的传统巴克斯范式；2定义运行配置格式：根据RAPID语言的特性以及调试时待观察的程序状态，定义运行配置格式，运行配置用于保存程序运行时的中间状态；3设计形式语义：基于RAPID语言的语法和运行配置参数，使用K框架定义RAPID语言形式语义RAPID-FS，RAPID-FS覆盖了RAPID语言中模块定义、变量声明与赋值、例程定义与调用、机器人移动、输入输出和用户交互这些特性；4调试程序：基于RAPID-FS，使用K框架调试机器人控制程序；在调试过程中，通过观察运行配置所存储的程序中间状态，从而对程序的正确性和安全性进行分析。
如需购买、转让、实施、许可或投资类似专利技术，可联系本专利的申请人或专利权人浙江大学，其通讯地址为：310058 浙江省杭州市西湖区余杭塘路866号；或者联系龙图腾网官方客服，联系龙图腾网可拨打电话0551-65771310或微信搜索“龙图腾网”。
免责声明
1、本报告根据公开、合法渠道获得相关数据和信息，力求客观、公正，但并不保证数据的最终完整性和准确性。
2、报告中的分析和结论仅反映本公司于发布本报告当日的职业理解，仅供参考使用，不能作为本公司承担任何法律责任的依据或者凭证。
1、本报告根据公开、合法渠道获得相关数据和信息，力求客观、公正，但并不保证数据的最终完整性和准确性。
2、报告中的分析和结论仅反映本公司于发布本报告当日的职业理解，仅供参考使用，不能作为本公司承担任何法律责任的依据或者凭证。
开放平台
担保交易
惠及多方
会员特惠
专属平台
适合多方
数据共享
功能齐全
皖公网安备 34010402703815号