计算机工程 ›› 2011, Vol. 37 ›› Issue (3): 251-253,256.doi: 10.3969/j.issn.1000-3428.2011.03.088

• 开发研究与设计技术 • 上一篇    下一篇

基于STN的时间冲突检测与消解

汤罗浩,朱 承,罗江锋,张维明,黄金才   

  1. (国防科技大学信息系统与管理学院,长沙 410073)
  • 出版日期:2011-02-05 发布日期:2011-01-28
  • 作者简介:汤罗浩(1987-),男,硕士研究生,主研方向:作战计划技术,时间推理;朱 承,副教授;罗江锋,博士研究生;张维明,教授、博士生导师;黄金才,副教授
  • 基金项目:
    国家自然科学基金资助项目(70701038)

Temporal Conflict Detection and Resolution Based on STN

TANG Luo-hao, ZHU Cheng, LUO Jiang-feng, ZHANG Wei-ming, HUANG Jin-cai   

  1. (College of Information System and Management, National University of Defence Technology, Changsha 410073, China)
  • Online:2011-02-05 Published:2011-01-28

摘要: 针对已有的STN一致性检验算法只能检测时间冲突而不能消解冲突的问题,以负环检测算法为基础,提出一种结合冲突检测和冲突消解的迭代算法。设计基于调整代价的冲突消解方法,对负环检测进行增量处理,可提高冲突消解的合理性和速度,减轻计划者处理冲突的负担。实验结果证明该算法具有较高的效率。

关键词: 简单时间网络, 时间冲突, 冲突检测与消解

Abstract: To solve the problem that the existing consistency checking algorithm of STN can only detect temporal conflicts but can’t resolve them, this paper proposes an iterative algorithm of conflict detection and resolution based on negative cycle detection algorithm. A conflict resolution method based on the cost of modifying constraints is designed, and the negative cycle detection algorithm work is made incrementally. It improves reasonability and speed of conflict resolution, reduces the burdens of planners. Experimental results prove the efficiency of this algorithm.

Key words: Simple Temporal Network(STN), temporal conflict, conflict detection and resolution

中图分类号: