论文部分内容阅读
计划执行过程中,各种不确定因素常常引起时间约束的违背。为维护计划的时间一致性,利用STN表示时间约束,分析了由于活动的提前或延迟导致的两种时间冲突,给出了冲突判定定理,在此基础上通过松弛冲突路径上某些约束来消解冲突;最后通过一个计划案例的仿真验证了本方法能够有效检测和消解执行过程中的时间冲突。
基于STN的计划执行过程时间冲突检测与消解
【摘 要】
：
计划执行过程中,各种不确定因素常常引起时间约束的违背。为维护计划的时间一致性,利用STN表示时间约束,分析了由于活动的提前或延迟导致的两种时间冲突,给出了冲突判定定理,
【机 构】
：
国防科学技术大学信息系统工程实验室
【出 处】
：
计算机应用研究
【发表日期】
：
2011年05期
【基金项目】
：
国家自然科学基金资助项目(71001105)
其他文献
介绍了测距机(DME)的特点和工作原理,以及在航空领域的主要应用。结合其应用的各个环节中的计量需求,提出了航空领域中的测距机在计量体系中的测量方法,并且在小信号计量方法
在东亚,没有正式的英美式陪审团,但存在建议性陪审团,包括:日本历史上的"参考性"陪审团、韩国的咨询性陪审团以及我国台湾地区的人民观审团,建议性陪审团是学习英美式陪审团
新时代的社会保障改革必须适应党的十九大提出的新目标、新任务与新要求,如何直面社会保障领域存在的问题与挑战,消除阻碍新型社会保障体系建设的体制机制性障碍,纠偏以往改
目的观察自制中药洗液在产妇产后会阴冲洗中的应用效果。方法2007年1月至2008年12月经阴道自然分娩且行会阴侧切的产妇400例,观察组和对照组各200例,分别采用自制中药洗液和0
西晋司马越幕佐现可考知79人,加上辟而未就者12人,则为91人。他们分布在15州近50郡,绝大多数为士族和低等士族,沾染玄风之士的比儒学之士多出一半以上。越府是中朝权臣幕府中
巴列维上台伊始为平衡大国在伊朗的竞争,选择美国作为抗衡英苏的第三国力量,其后对美国实行"一边倒"的外交政策。随着现代化的开启,伊朗外交逐渐向全方位外交转型。巴列维运
关于敦煌P.2555以"落蕃汉人"为题材的60首诗作,已有研究多为原型考辨,"原型"研究对解读作品的文学内涵确有帮助,但并不等同作品的文学意蕴分析。本文基于作品,站在唐代边塞诗
大学生职业价值观的转变,不仅关系到大学生顺利实现择业就业,而且关系到我国社会经济的发展,关系到社会的和谐、稳定问题,对实现人才竞争和全面建设小康社会都具有重要的意义
<正> 由冯增昭、鲍志东等所著,地质出版社1998年出版。主要内容有:鄂尔多斯奥陶系中东部地层分区和西南部地层分区的地层划分对比;鄂尔多斯奥陶系各种岩石类型的特征和成因,