×

具有软期限的合同算法的最优调度。 (英语) Zbl 1376.90021号

摘要:契约算法是一种算法,作为其输入的一部分,给定了指定的允许计算时间,如果在此时间之前中断,可能不会返回有用的结果。相反,可中断的算法总是会输出一些有意义的(尽管不是最优的)解决方案,即使在执行过程中被中断。通过在并行处理器中执行契约算法的时间表来模拟可中断算法是一个研究得很好的问题,在人工智能中有着重要的应用。在标准模型中,中断是一个严格的截止日期,必须在中断发生时立即报告解决方案。在本文中,我们研究了存在软截止期的调度契约算法的更一般的设置。特别地,我们讨论了这样一种设置,即如果中断发生在时间\(t),那么系统将被赋予一个额外的时间窗口\(w(t)\leq c\cdot t),用于常数\(c),在该时间窗口内必须完成模拟。在这种情况下,我们对调度的性能度量进行了扩展,并导出了所有凹函数(w)的最优性能调度。

MSC公司:

90B35型 运筹学中的确定性调度理论
68平方米 计算机系统环境下的性能评估、排队和调度
PDF格式BibTeX公司 XML格式引用
全文: 内政部

参考文献:

[1] Angelopulos,S.(2015)。合同调度和射线搜索问题之间的进一步联系。第24届国际人工智能联合会议(JCAI)会议记录(第1516-1522页)。
[2] Angelopulos,S.和López-Ortiz,A.(2009年)。多问题求解的可中断算法。《第21届国际人工智能联合会议论文集》(IJCAI)(第380-386页)·Zbl 1045.68129号
[3] Angelopulos,S.、López-Ortiz,A.和Hamel,A.(2008)。具有软期限的合同算法的最优调度。第23届全国人工智能会议记录(第868-873页)·Zbl 1376.90021号
[4] Bernstein,D.S.、Finkelstein,L.和Zilberstein,S.(2003)。合同算法和射线机器人:统一两个调度问题。第18届国际人工智能联合会议(IJCAI)会议记录(第1211-1217页)。
[5] Bernstein,D.S.、Perkins,T.J.、Zilberstein,S.和Finkelstein,L.(2002)。在多处理器上调度契约算法。《第十八届全国人工智能会议记录》(第702-706页)·Zbl 1045.68129号
[6] Dean,T.和Boddy,M.S.(1998年)。时间相关规划分析。第15届全国人工智能会议记录(第49-54页)·Zbl 0976.68160号
[7] Gal,S.(1980)。搜索游戏。纽约:学术出版社·Zbl 0439.90102号
[8] Horvitz,E.(1987)。计算资源约束下的信念和行为推理。《第三届人工智能不确定性年会论文集》(第301-324页)·Zbl 1367.68021号
[9] Horvitz,E.(1998)。在变化和不确定的资源约束下进行推理。第15届全国人工智能会议记录(第111-116页)。
[10] López-Ortiz,A.、Angelopulos,S.和Hamel,A.M.(2014)。任意时间问题契约算法的最优调度。《人工智能研究杂志》,51,533-554·兹比尔1367.68021
[11] Manolache,S.n,Eles,P.,&Peng,Z.(2004)。具有截止期未命中率约束的软实时系统优化。第十届IEEE实时和嵌入式技术与应用研讨会(RTAS’04)论文集(第562页)。
[12] Russell,S.J.和Zilberstein,S.(1991)。组成实时系统。第十二届国际人工智能联合会议(IJCAI)会议记录(第212-217页)·Zbl 0746.68085号
[13] Schuierer,S.(2001)。在线几何搜索的下限。计算几何:理论与应用,18(1),37-53·Zbl 0976.68160号 ·doi:10.1016/S0925-7721(00)00030-4
[14] Zilberstein,S.(1996)。在智能系统中使用任意时间算法。AI杂志,17(3),73-83。
[15] Zilberstein,S.、Charpillet,F.和Chassaing,P.(2003)。使用契约算法实时解决问题。数学与人工智能年鉴,39(1-2),1-18·Zbl 1045.68129号 ·doi:10.1023/A:1024412831598
[16] Zilberstein,S.、Charpillet,F.和Chassaing,P.(2003)。合同算法的最优排序。数学与人工智能年鉴,39(1-2),1-18·Zbl 1045.68129号 ·doi:10.1023/A:1024412831598
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配,可能包含数据转换错误。在某些情况下,zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献,而不要求完整或完全匹配。