华东师范大学廖浩宇获国家专利权
买专利卖专利找龙图腾，真高效！ 查专利查商标用IPTOP,全免费！专利年费监控用IP管家,真方便！
龙图腾网获悉华东师范大学申请的专利一种基于形式化方法的云上调度器冲突检测方法、系统及应用获国家发明授权专利权，本发明授权专利权由国家知识产权局授予，授权公告号为：CN119603150B 。
龙图腾网通过国家知识产权局官网在2025-10-10发布的发明授权授权公告中获悉：该发明授权的专利申请号/专利号为：202410260684.2，技术领域涉及：H04L41/0873；该发明授权一种基于形式化方法的云上调度器冲突检测方法、系统及应用是由廖浩宇;韩宇捷;郭健美;黄波设计研发完成，并于2024-03-07向国家知识产权局提交的专利申请。
本一种基于形式化方法的云上调度器冲突检测方法、系统及应用在说明书摘要公布了：本发明公开了一种基于形式化方法的云上调度器冲突检测方法，所述方法包括如下步骤：步骤一、输入和或导入亲和性和或反亲和性规则，转化为统一的中间表示形式的约束，屏蔽不同调度器间对于亲和性和或反亲和性表达的语法和语义差异；步骤二、将步骤一中转化获得的中间表示形式再次转换为求解器可识别处理的格式，将亲和性和或反亲和性管理问题转换为形式化的可满足性问题；步骤三、通过求解器检查约束集合的可满足性，对于不满足的规则，根据元数据定位冲突规则的源文件及所述不满足的规则在源文件中的位置。本发明还公开了实现上述冲突检测方法的冲突检测系统，以及所述方法或系统的应用。
本发明授权一种基于形式化方法的云上调度器冲突检测方法、系统及应用在权利要求书中公布了：1.一种基于形式化方法的云上调度器冲突检测方法，其特征在于，所述方法包括如下步骤： 步骤一、输入和或导入亲和性和或反亲和性规则，转化为统一的中间表示形式的约束，屏蔽不同调度器间对于亲和性和或反亲和性表达的语法和语义差异； 步骤二、将步骤一中转化获得的中间表示形式再次转换为求解器可识别处理的格式，将亲和性和或反亲和性管理问题转换为形式化的可满足性问题； 步骤三、通过求解器检查约束集合的可满足性，对于不满足的规则，根据元数据定位冲突规则的源文件及所述不满足的规则在源文件中的位置。
如需购买、转让、实施、许可或投资类似专利技术，可联系本专利的申请人或专利权人华东师范大学，其通讯地址为：200241 上海市闵行区东川路500号；或者联系龙图腾网官方客服，联系龙图腾网可拨打电话0551-65771310或微信搜索“龙图腾网”。
以上内容由龙图腾AI智能生成。
免责声明
1、本报告根据公开、合法渠道获得相关数据和信息，力求客观、公正，但并不保证数据的最终完整性和准确性。
2、报告中的分析和结论仅反映本公司于发布本报告当日的职业理解，仅供参考使用，不能作为本公司承担任何法律责任的依据或者凭证。
1、本报告根据公开、合法渠道获得相关数据和信息，力求客观、公正，但并不保证数据的最终完整性和准确性。
2、报告中的分析和结论仅反映本公司于发布本报告当日的职业理解，仅供参考使用，不能作为本公司承担任何法律责任的依据或者凭证。
开放平台
担保交易
惠及多方
会员特惠
专属平台
适合多方
数据共享
功能齐全
皖公网安备 34010402703815号
请提出您的宝贵建议，有机会获取IP积分或其他奖励