浙江大学赵成成获国家专利权
买专利卖专利找龙图腾，真高效！ 查专利查商标用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或微信搜索“龙图腾网”。
以上内容由AI智能生成
免责声明
1、本报告根据公开、合法渠道获得相关数据和信息，力求客观、公正，但并不保证数据的最终完整性和准确性。
2、报告中的分析和结论仅反映本公司于发布本报告当日的职业理解，仅供参考使用，不能作为本公司承担任何法律责任的依据或者凭证。
1、本报告根据公开、合法渠道获得相关数据和信息，力求客观、公正，但并不保证数据的最终完整性和准确性。
2、报告中的分析和结论仅反映本公司于发布本报告当日的职业理解，仅供参考使用，不能作为本公司承担任何法律责任的依据或者凭证。
开放平台
担保交易
惠及多方
会员特惠
专属平台
适合多方
数据共享
功能齐全
皖公网安备 34010402703815号