米歇尔·伦巴第;米歇拉·米兰 条件任务图的分配和调度。 (英语) Zbl 1186.90054号 Artif公司。智力。 174,编号7-8,500-529(2010). 摘要:我们提出了一种新颖、完整和高效的条件任务图(CTG)分配和调度方法。在CTG中,节点表示活动,其中一些是分支并用条件标记,分支节点中的弧用条件结果和相应的概率标记。如果在计划执行时导致标记任务路径中的弧的条件保持不变,则在运行时执行任务;这可以通过采用随机模型离线捕获。任务的执行需要一元或累积资源,有些任务可以在替代资源上执行。该问题的解决方案是为每个任务分配一个资源和一个开始时间,以便在每个场景中分配和调度都是可行的,并优化给定目标函数的期望值。对于这个问题,我们需要在两个方向上扩展传统的基于约束的调度技术:(i)计算多项式时间内场景集的概率,以获得目标函数的期望值;(ii)定义条件约束,以确保在所有场景中的可行性。我们展示了该框架在目标函数问题上的应用,目标函数取决于任务的资源分配或调度部分。同时,我们给出了时间表全局约束的条件扩展。实验结果表明,基于嵌入式系统设计领域的一组基准测试,该方法是有效的。将我们的求解器与文献中提出的基于场景的求解器进行比较,我们展示了我们的方法在执行时间和求解质量方面的优势。 引用于2文件 MSC公司: 90B35型 运筹学中的确定性调度理论 90立方厘米 涉及图形或网络的编程 关键词:约束编程;概率推理;情节;条件任务图;条件约束;优化 软件:ILOG时间表;BL数据集;日本石油公司 PDF格式BibTeX公司 XML格式引用 \textit{M.Lombardi}和\textit{M.Milano},Artif。智力。174,编号7-8500-529(2010年;兹bl 1186.90054) 全文: 内政部 参考文献: [1] 范德阿尔斯特,W.M.P。;Schonenberg,M.H。;Song,M.,基于流程挖掘的时间预测,BPM中心报告BPM-09-04,BPMcenter.org,2009年 [3] 巴普蒂斯特,P。;Le Pape,C.,高度析取和高度累积项目调度问题的约束传播和分解技术,约束,5,1/2,119-139(2000)·Zbl 0941.90030号 [4] 巴普蒂斯特,P。;Le Pape,C。;Nuijten,W.,《基于约束的调度》(2003),Kluwer学术出版社 [7] 贝克,J.C。;Fox,M.S.,《安排替代活动的约束导向技术》,《人工智能杂志》,121,1/2,211-250(2000)·Zbl 0948.68009号 [8] Benders,J.F.,解决混合变量编程问题的分区程序,数值数学,4238-252(1962)·Zbl 0109.38302号 [10] 考克斯·D·R。;Smith,W.L.,《排队》(1961),查普曼和霍尔出版社 [11] Dechter,R.,《约束处理》(2003),摩根·考夫曼 [12] 埃利斯,P。;Peng,Z.,基于可调度性分析的分布式嵌入式系统总线访问优化,(欧洲设计与自动化国际会议,DATE2000(2000),IEEE计算机学会) [13] Faraboschi,P。;费希尔,J.A。;Young,C.,指令级并行处理器的指令调度,IEEE学报,89,11,1638-1659(2001) [14] Gittins,J.C。;Jones,D.M.,《实验顺序设计的动态分配指数》,《统计学进展》。统计学进展,公共数学。Janos Bolyai协会,9241-255(1974年)·兹伯利0303.62064 [15] 游击队,A。;伦巴第,M。;Milano,M.,在“任务图生成器”一节中,系统设计领域的挑战性调度问题 [16] 胡克,J.N。;Ottosson,G.,《基于逻辑的弯曲分解》,《数学规划》,96,33-60(2003)·Zbl 1023.90082号 [17] 肯尼迪,K。;Allen,R.,《为现代架构优化编译器:基于依赖的方法》(2001),Morgan Kaufmann [18] Kuchcinski,K.,约束驱动的调度和资源分配,ACM电子系统设计自动化汇刊,8(2003) [19] 库奇辛斯基,K。;Wolinski,C.,基于HCDG和约束编程的复杂行为分配和调度的全局方法,《系统体系结构杂志》,49,12-15,489-503(2003) [21] Laborie,P.,人工智能规划和调度中传播资源约束的算法:现有方法和新结果,《人工智能杂志》,143151-188(2003)·Zbl 1079.68622号 [22] 拉波特,G。;Louveaux,F.V.,《具有完全追索权的随机整数规划的整数l形方法》,《运筹学快报》,13(1993)·Zbl 0793.90043号 [23] Le Pape,C.,ILOG SCHEDULE:基于约束的调度系统开发库中资源约束的实现,智能系统工程,3,2,55-66(1994) [26] 诺金,V.I。;Pflug,G。;Ruszczynski,A.,随机全局优化的分支定界方法,数学规划,83(1998)·Zbl 0920.90111号 [27] 结构化信息标准促进组织(OASIS),Web服务业务流程执行语言2.0版,OASIS标准,2007年 [29] RothKopf,M.H.,随机服务时间的调度,管理科学,12707-713(1966)·Zbl 0199.23302号 [31] Shin,D。;Kim,J.,实时多处理器系统中条件任务图的Power-aware调度,(低功耗电子与设计国际研讨会(ISLPED)(2003),ACM),408-413 [32] Smith,W.E.,《单阶段生产的各种优化器》,《海军研究后勤季刊》,359-66(1956) [33] 塔里木,A。;马南达尔,S。;Walsh,T.,《随机约束编程:基于场景的方法》,约束,11,53-80(2006)·Zbl 1103.68828号 [34] Ter Hofstede,A.H.M。;Weske,M.,《业务流程管理:一项调查》,(第一届国际业务流程管理大会议事录,第一届国际商务流程管理大会,LNCS,第2678卷(2003)),第1-12页 [36] 沙马尔迪诺斯一世。;维达尔,T。;Pollack,M.E.,CTP:有条件时间规划的基于约束的新形式主义,约束,8,4,365-388(2003)·Zbl 1074.68616号 [37] 维达尔,T。;Fargier,H.,处理时间约束网络中的突发事件:从一致性到可控性,实验与理论人工智能杂志,11,23-45(1999)·Zbl 1054.68664号 [38] 维利姆,P。;Bartak,R。;Cepek,O.,一元资源约束对可选活动的过滤算法扩展,约束,10,403-425(2005)·Zbl 1122.90045号 [41] Weske,M.,《业务流程管理:概念、语言、架构》(2007),Springer:Springer Berlin [42] 吴博士。;Al-Hashimi,B。;Eles,P.,《低功耗嵌入式系统综合条件任务图的调度与映射》,计算机与数字技术,IEEE学报,150,5,262-273(2003) 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配,可能包含数据转换错误。在某些情况下,zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献,而不要求完整或完全匹配。