10.3969/j.issn.1000-386x.2016.04.056
基于STN的业务流时间一致性消解方法
目前对业务流约束验证的研究着重于研究验证单路径的时间约束的满足情况,没有考虑多路径的情况,对时间一致性冲突消解的研究也很少.为验证业务流的时间一致性,从路径分支问题和单任务动态时间满足约束的情况出发,在原有约束一致性上提出路径一致性和强一致性,以及基于STN(Simple Temporal Network)方法的不一致性消解算法并分析其收敛性等性质.最后以医疗流程的业务流为例进行了分析验证.
业务流、时间约束、STN、一致性检验、冲突消解
33
TP311(计算技术、计算机技术)
国防科工局十二五重大基础科研项目c0420110005
2016-08-08(万方平台首次上网日期,不代表论文的发表时间)
共4页
239-241,291