恭喜浙江大學王子琛獲國家專利權
買專利賣專利找龍圖騰，真高效！ 查專利查商標用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號