-
公开(公告)号:CN116822812A
公开(公告)日:2023-09-29
申请号:CN202211067304.0
申请日:2022-09-01
Applicant: 华中科技大学
IPC: G06Q10/0631 , G06Q50/26 , G06N5/01
Abstract: 本发明公开了一种基于执行信息的资源调度方案有效性验证方法及系统,属于资源调度领域。包括:构建先验可知时态网络,用先验可知偶然链接和观察链接表示持续时间不确定的行动以及执行过程中可以获得执行信息的观察过程,通过应用传播约束得出所有受控时间点需要满足的时态约束,实现利用执行信息应对时态不确定性,通过动态可控性检测算法验证资源调度方案面临时态不确定性时是否满足动态可控的条件,进而判断资源调度方案在利用执行过程中获得的执行信息降低不确定性后是否能够被顺利执行。本发明的方法在验证过程中已考虑了在执行过程中可能获取的执行信息,提升了验证的准确性和高效性。