计算机应用研究
計算機應用研究
계산궤응용연구
APPLICATION RESEARCH OF COMPUTERS
2011年
5期
1780-1782
,共3页
时问约束%计划执行过程%时间冲突检测与消解
時問約束%計劃執行過程%時間遲突檢測與消解
시문약속%계화집행과정%시간충돌검측여소해
计划执行过程中,各种不确定因素常常引起时间约束的违背.为维护计划的时间一致性,利用STN表示时间约束,分析了由于活动的提前或延迟导致的两种时间冲突,给出了冲突判定定理,在此基础上通过松弛冲突路径上某些约束来消解冲突;最后通过一个计划案例的仿真验证了本方法能够有效检测和消解执行过程中的时间冲突.
計劃執行過程中,各種不確定因素常常引起時間約束的違揹.為維護計劃的時間一緻性,利用STN錶示時間約束,分析瞭由于活動的提前或延遲導緻的兩種時間遲突,給齣瞭遲突判定定理,在此基礎上通過鬆弛遲突路徑上某些約束來消解遲突;最後通過一箇計劃案例的倣真驗證瞭本方法能夠有效檢測和消解執行過程中的時間遲突.
계화집행과정중,각충불학정인소상상인기시간약속적위배.위유호계화적시간일치성,이용STN표시시간약속,분석료유우활동적제전혹연지도치적량충시간충돌,급출료충돌판정정리,재차기출상통과송이충돌로경상모사약속래소해충돌;최후통과일개계화안례적방진험증료본방법능구유효검측화소해집행과정중적시간충돌.
