買專利賣專利找龍圖騰，真高效！ 查專利查商標用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或微信搜索“龍圖騰網”。