CAJ | 학술논문

智能规划和调度中的许多时态(或时序)问题可以表达为析取时态问题(DTP).目前,多数析取时态问题求解器将析取时态问题看作约束可满足问题(CSP)或可满足问题(SAT),并使用标准的CSP(或SAT)技术来求解DTP.虽然这些技术在求解DTP时已经可以达到较好的效率,然而,文献中极少研究者关注利用DTP本身特殊的结构中隐含的信息来帮助DTP求解.尝试从DTP的拓扑结构中提取出一种启发式策略.这种启发式策略试图从DTP的结构中提取出定性和定量的标准(TVS)来选择优先赋给当前变量的值,同时基于这种定量值选择标准设计了一个动态变量选择策略(TVO).这种技术基于定义的一种DTP的图模型--析取时态网络(DTN).实验结果显示TVS和TVO策略均可以有效减小搜索中节点访问次数;同时它与已有的RSV值选择策略效果相当,而TVO优于最少剩余值(MRV)方法(节省一个数量级以上的访问节点数);此外,配合其他CSP启发技术,可以得到一个高效的DTP求解算法DTN-DTP.
지능규화화조도중적허다시태(혹시서)문제가이표체위석취시태문제(DTP).목전,다수석취시태문제구해기장석취시태문제간작약속가만족문제(CSP)혹가만족문제(SAT),병사용표준적CSP(혹SAT)기술래구해DTP.수연저사기술재구해DTP시이경가이체도교호적효솔,연이,문헌중겁소연구자관주이용DTP본신특수적결구중은함적신식래방조DTP구해.상시종DTP적탁복결구중제취출일충계발식책략.저충계발식책략시도종DTP적결구중제취출정성화정량적표준(TVS)래선택우선부급당전변량적치,동시기우저충정량치선택표준설계료일개동태변량선택책략(TVO).저충기술기우정의적일충DTP적도모형--석취시태망락(DTN).실험결과현시TVS화TVO책략균가이유효감소수색중절점방문차수;동시타여이유적RSV치선택책략효과상당,이TVO우우최소잉여치(MRV)방법(절성일개수량급이상적방문절점수);차외,배합기타CSP계발기술,가이득도일개고효적DTP구해산법DTN-DTP.