买专利卖专利找龙图腾,真高效! 查专利查商标用IPTOP,全免费!专利年费监控用IP管家,真方便!
申请/专利权人:北京开源芯片研究院
申请日:2024-12-31
公开(公告)日:2025-02-07
公开(公告)号:CN119397205A
专利技术分类:.分析[2023.01]
专利摘要:本发明实施例提供一种状态图生成方法、装置、电子设备及存储介质,涉及计算机技术领域,该方法中,获取目标状态集合对应的目标网络图;将目标状态集合对应的节点坐标约束规则,以及目标网络图输入可满足性模型理论求解器,得到可满足性模型理论求解器输出的目标网络图中各节点对应的节点坐标值;基于节点坐标值和边生成目标状态集合对应的状态图。这样,实现了对大量状态集合的可视化操作,能够通过可满足性模理论求解状态位置,使得用户可以灵活便利对求解过程进行复杂约束设置,通过可满足性模理论精确处理复杂约束,自动生成符合用户需求的状态图布局,有助于提升生成海量状态对应的状态图的效率。
专利权项:1.一种状态图生成方法,其特征在于,所述方法包括:获取目标状态集合对应的目标网络图;其中,所述目标网络图中的节点表示所述目标状态集合中的目标状态,所述目标网络图中的边表示所述目标状态之间的状态迁移关系;将所述目标状态集合对应的节点坐标约束规则,以及所述目标网络图输入可满足性模型理论求解器,得到所述可满足性模型理论求解器输出的所述目标网络图中各节点对应的节点坐标值;其中,所述节点坐标值满足所述节点坐标约束规则;基于所述节点坐标值和所述边生成所述目标状态集合对应的状态图。
百度查询: 北京开源芯片研究院 一种状态图生成方法、装置、电子设备及存储介质
免责声明
1、本报告根据公开、合法渠道获得相关数据和信息,力求客观、公正,但并不保证数据的最终完整性和准确性。
2、报告中的分析和结论仅反映本公司于发布本报告当日的职业理解,仅供参考使用,不能作为本公司承担任何法律责任的依据或者凭证。