买专利卖专利找龙图腾，真高效！ 查专利查商标用IPTOP,全免费！专利年费监控用IP管家,真方便！

龙图腾网获悉成都飞机工业(集团)有限责任公司申请的专利一种基于图论算法的时序图校验方法获国家发明授权专利权，本发明授权专利权由国家知识产权局授予，授权公告号为：CN116523283B 。

龙图腾网通过国家知识产权局官网在2025-09-09发布的发明授权授权公告中获悉：该发明授权的专利申请号/专利号为：202310433324.3，技术领域涉及：G06Q10/0633；该发明授权一种基于图论算法的时序图校验方法是由王平;郭喜锋;梁文馨;汪迢迪;孔德帅设计研发完成，并于2023-04-21向国家知识产权局提交的专利申请。

本一种基于图论算法的时序图校验方法在说明书摘要公布了：本发明涉及时序图处理技术领域，公开了一种基于图论算法的时序图校验方法，所述方法包括以下步骤：步骤S1.获取工艺流程的工序集合；步骤S2.获取时序图的工序集合；步骤S3.采用集合差集运算，校验时序图是否存在游离节点；步骤S4.将时序图转换为有向图数据结构；步骤S5.采用有向图深度优先遍历算法，校验时序图是否存在多个入口和多个出口；步骤S6.采用有向图拓扑排序计算时序图，校验时序图是否存在环；步骤S7.若步骤S3、步骤S5和步骤S6均通过校验，则表示时序图不存在问题，否则时序图存在问题。本方法在AO和FO编制过程中完成时序图的合理性校验，避免在装配和制造过程中发现问题，而花费大量的时间来协调、修改和处理问题。

本发明授权一种基于图论算法的时序图校验方法在权利要求书中公布了：1.一种基于图论算法的时序图校验方法，其特征在于，具体包括以下步骤： 步骤S1.获取工艺流程的工序集合； 步骤S2.获取时序图的工序集合； 步骤S3.采用集合差集运算，校验时序图是否存在游离节点； 步骤S4.将时序图转换为有向图数据结构； 步骤S5.采用有向图深度优先遍历算法，校验时序图是否存在多个入口和多个出口； 步骤S6.采用有向图拓扑排序计算时序图，校验时序图是否存在环； 步骤S7.若步骤S3、步骤S5和步骤S6均通过校验，则表示时序图不存在问题，否则时序图存在问题； 所述步骤S3包括：所述集合差集运算的计算表达式如下 ； 其中，表示工艺流程的工序集合；表示时序图非空顶点集合； 若集合，则表示时序图不存在游离节点，校验通过； 若集合，则表示时序图存在游离节点，校验不通过； 所述步骤S4包括：构造时序图集合，通过该集合将时序图转换为有向图数据结构；其中，为时序图的非空顶点集合，为时序图的非空边集合，为时序图的关联函数，，进一步，可以简写为； 所述步骤S5包括： 对于时序图集合的起始节点，若,则表示时序图存在多个入口，校验不通过；其中，表示入度； 对于时序图集合的终止节点，若，则表示时序图存在多个出口，校验不通过；其中，表示出度； 所述步骤S6包括：对于时序图集合，采用深度优先遍历算法遍历时序图集合，计算集合中每个点的入度，若，将该点记为顶点，删除时序图集合中该顶点及其对应的边，操作记为和；重新计算顶点相邻顶点的入度，记为，其中，表示顶点相邻顶点的入度；循环执行上述步骤，直至遍历完集合中所有的点，若，则表示时序图存在环，校验不通过。

如需购买、转让、实施、许可或投资类似专利技术，可联系本专利的申请人或专利权人成都飞机工业(集团)有限责任公司，其通讯地址为：610092 四川省成都市青羊区黄田坝纬一路88号；或者联系龙图腾网官方客服，联系龙图腾网可拨打电话0551-65771310或微信搜索“龙图腾网”。