基于STN的计划执行过程时间冲突检测与消解  

Temporal conflict detection and resolution in process of plan execution based on STN

作　　者：汤罗浩[1] 朱承[1] 张维明[1] 

机构地区：[1]国防科学技术大学信息系统工程实验室,长沙410073

出　　处：《计算机应用研究》2011年第5期1780-1782,共3页Application Research of Computers

基　　金：国家自然科学基金资助项目(71001105)

摘　　要：计划执行过程中,各种不确定因素常常引起时间约束的违背。为维护计划的时间一致性,利用STN表示时间约束,分析了由于活动的提前或延迟导致的两种时间冲突,给出了冲突判定定理,在此基础上通过松弛冲突路径上某些约束来消解冲突;最后通过一个计划案例的仿真验证了本方法能够有效检测和消解执行过程中的时间冲突。In the process of plan execution,temporal constraints aould always violated because of external uncertain factors.To guarantee all the temporal constraints could be satisfied,this paper used STN to represent temporal constraints,and analyzed two kinds of temporal conflicts induced by activities ahead or lag of schedule in the process of plan execution,gave the theorem of conflict identification,and proposed a method of conflict resolution based on constraints relaxation.In the last part,an illustrative plan is provided to validate that this method of temporal conflict detection and resolution is effective.

关 键 词：时间约束 计划执行过程 时间冲突检测与消解 

分 类 号：TP309[自动化与计算机技术—计算机系统结构]