基于执行信息的资源调度方案有效性验证方法及系统技术方案

本发明专利技术公开了一种基于执行信息的资源调度方案有效性验证方法及系统，属于资源调度领域。包括：构建先验可知时态网络，用先验可知偶然链接和观察链接表示持续时间不确定的行动以及执行过程中可以获得执行信息的观察过程，通过应用传播约束得出所有受控时间点需要满足的时态约束,实现利用执行信息应对时态不确定性，通过动态可控性检测算法验证资源调度方案面临时态不确定性时是否满足动态可控的条件，进而判断资源调度方案在利用执行过程中获得的执行信息降低不确定性后是否能够被顺利执行。本发明专利技术的方法在验证过程中已考虑了在执行过程中可能获取的执行信息，提升了验证的准确性和高效性。确性和高效性。确性和高效性。

【技术实现步骤摘要】
基于执行信息的资源调度方案有效性验证方法及系统


[0001]本专利技术属于资源调度领域，更具体地，涉及一种基于执行信息的资源调度方案有效性验证方法及系统。

技术介绍

[0002]在目标任务调度中，各项行动的开始和结束通常需要满足一系列的时态约束。例如目标任务执行人员在接到任务指令后要做到快速反应，在市区必须5分钟内到达现场，郊区必须10分钟内到达现场，其中，目标任务执行人员也叫行动人员。决策人员需要对资源调度方案进行验证，判断当前方案是否满足所有的时态约束。在实际行动中，某些行动的持续时间由于交通、案件态势演化等变得不确定，此时需要验证当前资源调度方案能否应对所有可能出现的时态不确定性而顺利执行。为了根据执行过程中可能获得的信息验证给定方案是否能够应对行动持续时间的不确定性，目前有以下两种方法实现资源调度方案的验证。
[0003]第一种为人工验证决策，第二种为借助带有不确定性的时态网络表示方案的时态约束并应用动态可控性检测算法完成方案有效性的验证。在第二种方法中，利用时态网络模型表示资源调度方案中的时态约束，使用动态可控性检测算法验证资源调度方案是否能够应对不确定性。在时态网络中使用偶然链接表示持续时间不确定的行动过程，持续时长可能的取值在某个给定的范围中，但是由于交通环境、案件态势演化等情况等未知，行动的持续时长无法由决策者控制，而是由环境非确定性选择的。动态可控性检测算法在时态约束下，将确保资源调度方案中受控制的时间点，可以在观察到过去发生的偶然时间点的发生时间后，动态被指派后续的受控制时间点。
[0004]在使用上述两种方法验证资源调度方案的有效性时，针对持续时间不确定的行动，都无法应用该持续时间不确定的行动执行过程中得知的能够降低该行动持续时间不确定性的信息。而应用这种能够降低行动持续时间不确定性的信息可能会使得原本无法应对不确定性的资源调度方案变得可以应对不确定性，因此，忽略这种能够降低行动持续时间不确定性的信息的判断方法无法准确的识别出所有有效的资源调度方案，影响执行效果和执行效率。

技术实现思路

[0005]针对现有技术的缺陷和改进需求，本专利技术提供了一种基于执行信息的资源调度方案有效性验证方法及系统，其目的在于减少现有资源调度方法中对人工以及非形式化知识的依赖程度，提升资源调度方案有效性验证的准确性。
[0006]为实现上述目的，按照本专利技术的一个方面，提供了一种基于执行信息的资源调度方案有效性验证方法，包括：构建先验可知时态网络，先验可知时态网络包括受控时间点、一般偶然时间点、先验可知偶然时间点、受控链接、一般偶然链接、先验可知偶然链接及观察链接；其中，受控链接指向受控时间点、一般偶然时间点或先验可知偶然时间点之一，一
般偶然链接指向一般偶然时间点或先验可知偶然时间点，先验可知偶然链接指向先验可知偶然时间点，观察链接包含观察节点，由观察节点指向先验可知偶然链接；
[0007]将资源调度方案中的目标任务执行行动的开始时间点以及持续时间确定的行动结束的时间点作为受控时间点；持续时间不确定的行动中能够获得执行信息的记为先验可知偶然行动，无法获得执行信息的记为偶然行动，先验可知偶然行动的结束时间点作为先验可知偶然时间点，偶然行动的结束时间点作为一般偶然时间点，获得执行信息的时间点作为观察节点；
[0008]持续时间确定的行动的起点和终点用受控链接连接，偶然行动的起点和终点用一般偶然链接连接，先验可知偶然行动的起点和终点用先验可知的偶然链接连接，任意两个行动之间使用受控链接连接；
[0009]根据获得的执行信息的类别，对先验可知时态网络添加执行信息所需满足的约束条件，以更新先验可知偶然行动的持续时间，并判断更新后的时态网络的动态可控性，若时态网络可控，则所述资源调度方案有效，否则所述资源调度方案无效；其中，所述执行信息为持续时间不确定的行动执行过程中得知的能够降低所述行动持续时间不确定性的信息。
[0010]进一步地，所述执行信息的类别包括：固定提前执行信息、可变提前执行信息、受控延迟执行信息及偶然延迟执行信息中的任意一种；
[0011]所述固定提前执行信息是指目标任务执行人员在先验可知偶然行动结束前的固定时间得知所述先验可知偶然行动的结束时间；
[0012]所述可变提前执行信息是指目标任务执行人员在先验可知偶然行动结束前的某个时间范围内得知所述先验可知偶然行动的持续时间；
[0013]所述受控延迟执行信息是指目标任务执行人员在先验可知偶然行动开始后的某个时间范围内得知所述先验可知偶然行动的持续时间，且得知所述执行信息的时间点是受控时间点；
[0014]所述偶然延迟执行信息是指目标任务执行人员在先验可知偶然行动开始后的某个时间范围内得知所述先验可知偶然行动的持续时间，且得知所述执行信息的时间点是偶然时间点。
[0015]进一步地，在所述先验可知时态网络中，
[0016]当获得可变提前执行信息时，所述观察节点为一般偶然时间点，所述观察节点与先验可知偶然时间点之间为一般偶然链接，且所述一般偶然链接的长度为固定值o
‑
；
[0017]当获得可变提前执行信息时，所述观察节点为一般偶然时间点，所述观察节点与先验可知偶然时间点之间为一般偶然链接，且所述一般偶然链接的长度变化范围为[o
‑
，o
+
]；
[0018]当获得受控延迟执行信息时，所述观察节点为受控时间点，所述观察节点与先验可知偶然行动开始的时间点之间为受控链接，且所述受控链接的长度变化范围为[o
‑
，o
+
]；
[0019]当获得偶然延迟执行信息时，所述观察节点为一般偶然时间点，所述观察节点与所述先验可知偶然行动开始的时间点之间为一般偶然链接，且所述一般偶然链接的长度变化范围为[o
‑
，o
+
]；
[0020]其中，o
‑
表示观察节点及与观察节点相连的时间点之差的最小取值，o
+
表示观察节点及与观察节点相连的时间点之差的最大取值。
[0021]进一步地，当获得可变提前执行信息时，对先验可知时态网络添加的约束条件为：
[0022]删除先验可知偶然行动起点和终点之间的先验可知偶然链接；
[0023]增加由先验可知偶然行动的起点指向观察节点的一般偶然链接，且所述一般偶然链接的长度变化范围为[a
‑
o
‑
，b
‑
o
‑
]，其中，a，b分别表示先验可知偶然行动的持续时间取值范围的最小值和最大值。
[0024]进一步地，当获得可变提前执行信息时，对先验可知时态网络添加的约束条件为：
[0025]删除先验可知偶然行动起点和终点之间的先验可知偶然链接；
[0026]增加由先验可知偶然行动的起点指向观察节点的一般偶然链接，且所述一般偶然链接的长度变化范围为[a
‑
o<本文档来自技高网...

【技术保护点】

【技术特征摘要】
1.一种基于执行信息的资源调度方案有效性验证方法，其特征在于，包括：构建先验可知时态网络，先验可知时态网络包括受控时间点、一般偶然时间点、先验可知偶然时间点、受控链接、一般偶然链接、先验可知偶然链接及观察链接；其中，受控链接指向受控时间点、一般偶然时间点或先验可知偶然时间点之一，一般偶然链接指向一般偶然时间点或先验可知偶然时间点，先验可知偶然链接指向先验可知偶然时间点，观察链接包含观察节点，由观察节点指向先验可知偶然链接；将资源调度方案中的目标任务执行行动的开始时间点以及持续时间确定的行动结束的时间点作为受控时间点；持续时间不确定的行动中能够获得执行信息的记为先验可知偶然行动，无法获得执行信息的记为偶然行动，先验可知偶然行动的结束时间点作为先验可知偶然时间点，偶然行动的结束时间点作为一般偶然时间点，获得执行信息的时间点作为观察节点；持续时间确定的行动的起点和终点用受控链接连接，偶然行动的起点和终点用一般偶然链接连接，先验可知偶然行动的起点和终点用先验可知的偶然链接连接，任意两个行动之间使用受控链接连接；根据获得的执行信息的类别，对先验可知时态网络添加执行信息所需满足的约束条件，以更新先验可知偶然行动的持续时间，并判断更新后的时态网络的动态可控性，若时态网络可控，则所述资源调度方案有效，否则所述资源调度方案无效；其中，所述执行信息为持续时间不确定的行动执行过程中得知的能够降低所述行动持续时间不确定性的信息。2.根据权利要求1所述的方法，其特征在于，所述执行信息的类别包括：固定提前执行信息、可变提前执行信息、受控延迟执行信息及偶然延迟执行信息中的任意一种；所述固定提前执行信息是指目标任务执行人员在先验可知偶然行动结束前的固定时间得知所述先验可知偶然行动的结束时间；所述可变提前执行信息是指目标任务执行人员在先验可知偶然行动结束前的某个时间范围内得知所述先验可知偶然行动的持续时间；所述受控延迟执行信息是指目标任务执行人员在先验可知偶然行动开始后的某个时间范围内得知所述先验可知偶然行动的持续时间，且得知所述执行信息的时间点是受控时间点；所述偶然延迟执行信息是指目标任务执行人员在先验可知偶然行动开始后的某个时间范围内得知所述先验可知偶然行动的持续时间，且得知所述执行信息的时间点是偶然时间点。3.根据权利要求2所述的方法，其特征在于，在所述先验可知时态网络中，当获得可变提前执行信息时，所述观察节点为一般偶然时间点，所述观察节点与先验可知偶然时间点之间为一般偶然链接，且所述一般偶然链接的长度为固定值o
‑
；当获得可变提前执行信息时，所述观察节点为一般偶然时间点，所述观察节点与先验可知偶然时间点之间为一般偶然链接，且所述一般偶然链接的长度变化范围为[o
‑
，o
+
]；当获得受控延迟执行信息时，所述观察节点为受控时间点，所述观察节点与先验可知偶然行动开始的时间点之间为受控链接，且所述受控链接的长度变化范围为[o
‑
，o
+
]；当获得偶然延迟执行信息时，所述观察节点为一般偶然时间点，所述观察节点与所述先验可知偶然行动开始的时间点之间为一般偶然链接，且所述一般偶然链接的长度变化范
围为[o
‑
，o
+
]；其中，o
‑
表示观察节点及与观察节点相连的时间点之差的最小取值，o
+
表示观察节点及与观察节点相连的时间点之差的最大取值。4.根据权利要求3所述的方法，其特征在于，当获得可变提前执行信息时，对先验可知时态网络添加的约束条件为：删除先验可知偶然行动起点和终点之间的先验可知偶然链接；增加由先验可知偶然行动的起点指向观察节点的一般偶然链接，且所述一般偶然链接的长度变化范围为[a
‑
o
‑
，b
‑
o
‑
]，其中，a，b分别表示先验可知偶然行动的持续时间取值范围的最小值和最大值。5.根据权利要求3所述的方法，其特征在于，当获得可变提前执行信息时，对先验可知时态网络添加的约束条件为：删除先验可知偶然行动起点和终点之间的先验可知偶然链接；增加由先验可知偶然行动的起点指向观察节点的一般偶然链接，且所述一般偶然链接的长度变化范围为[a
‑
o
‑
，b
‑
o
+
]，其中，a，b分别表示先验可知偶然行动的持续时间取值范围的最小值和最大值；将由观察节点指向先验可知偶然时间点的一般偶然链接更改为先验可知偶然链接，增加所述先验可知偶然链接对应的观察节点。6.根据权利要求3所述的方法，其特征在于，当获得受控延迟执行信息时，对先验可知时态网络添加的约束条件为：存在至少一个受控时间点，所述受控时间点在先验可知偶然时间点之前发生，且所述受控时间点最晚发生在观察节点之后，在观察节点和所述受控时间点之间增加观察受控链接；其中，所述观察受控链接是所述受控时间点需要满足的约束；删除所述先验可知偶然时间点与所述受控时间点之间的链接；将所述先验可知偶然行动开始时间点与所述先验可知偶然时间点间的先验可知偶然链接修改为一般偶然链接；将所述观察节点和所述先验可知偶然行动开始时间点之间的受控链接长度变...

【专利技术属性】
技术研发人员：王红卫，成贤樟，祁超，
申请(专利权)人：华中科技大学，
类型：发明
国别省市：