浙江大學趙成成獲國家專利權
買專利賣專利找龍圖騰，真高效！ 查專利查商標用IPTOP,全免費！專利年費監控用IP管家,真方便！
龍圖騰網獲悉浙江大學申請的專利基于MonoSAT的云網絡配置分析方法及系統獲國家發明授權專利權，本發明授權專利權由國家知識產權局授予，授權公告號為：CN116614355B 。
龍圖騰網通過國家知識產權局官網在2025-08-29發布的發明授權授權公告中獲悉：該發明授權的專利申請號/專利號為：202310366544.9，技術領域涉及：H04L41/0803；該發明授權基于MonoSAT的云網絡配置分析方法及系統是由趙成成;石宜平;王坤;程鵬;陳積明;祝順民;盧建元;呂彪設計研發完成，并于2023-04-07向國家知識產權局提交的專利申請。
本基于MonoSAT的云網絡配置分析方法及系統在說明書摘要公布了：本發明公開了一種基于MonoSAT的云網絡配置分析方法及系統，用于在云網絡用戶對云網絡進行配置時，通過形式化驗證的方法分析根據配置文件信息構建的云網絡中節點間的可達性等屬性。用戶通過輸入云網絡的配置文件信息和需要驗證可達性的節點信息即可獲得在該配置文件信息下是否可達的形式化驗證結果，以此幫助實現判斷用戶的配置文件是否與用戶的配置意圖相符等進一步分析。
本發明授權基于MonoSAT的云網絡配置分析方法及系統在權利要求書中公布了：1.一種基于MonoSAT的云網絡配置分析方法，其特征在于，包括： 接收用戶提供的配置文件信息，從所述配置文件信息中獲取云網絡中的網元組件信息，并推測網元組件之間的拓撲信息； 根據所述網元組件信息創建相應的組件模擬節點，作為MonoSAT圖節點； 根據所述拓撲信息，結合數據包在每個節點的可達性判斷邏輯表達式，構建MonoSAT圖節點間的可達性邏輯邊連接； 通過MonoSAT求解器計算源節點和目的節點之間的路徑上所有邊的可達性邏輯，并將可達性結果反饋給用戶。
如需購買、轉讓、實施、許可或投資類似專利技術，可聯系本專利的申請人或專利權人浙江大學，其通訊地址為：310058 浙江省杭州市西湖區余杭塘路866號；或者聯系龍圖騰網官方客服，聯系龍圖騰網可撥打電話0551-65771310或微信搜索“龍圖騰網”。
免責聲明
1、本報告根據公開、合法渠道獲得相關數據和信息，力求客觀、公正，但并不保證數據的最終完整性和準確性。
2、報告中的分析和結論僅反映本公司于發布本報告當日的職業理解，僅供參考使用，不能作為本公司承擔任何法律責任的依據或者憑證。
1、本報告根據公開、合法渠道獲得相關數據和信息，力求客觀、公正，但并不保證數據的最終完整性和準確性。
2、報告中的分析和結論僅反映本公司于發布本報告當日的職業理解，僅供參考使用，不能作為本公司承擔任何法律責任的依據或者憑證。
開放平臺
擔保交易
惠及多方
會員特惠
專屬平臺
適合多方
數據共享
功能齊全
皖公網安備 34010402703815號