基于合同网的协同生产任务调度软件模型研究-计算机软件与理论专业论文.docxVIP

Nanjing University of Aeronautics and Astronautics The Graduate School College of Computer Science and Technology Research on Cooperative Productive Task Scheduling Software Model Base on Contract Net A Thesis in Software and Theory of Computer by Liyuan Advised by Prof. Wan Linrui Submitted in Partial Fulfillment of the Requirements for the Degree of Master of Engineering December, 2011 承诺书 本人声明所呈交的硕士学位论文是本人在导师指导下进 行的研究工作及取得的研究成果。除了文中特别加以标注和致 谢的地方外，论文中不包含其他人已经发表或撰写过的研究成 果，也不包含为获得南京航空航天大学或其他教育机构的学位 或证书而使用过的材料。 本人授权南京航空航天大学可以将学位论文的全部或部 分内容编入有关数据库进行检索，可以采用影印、缩印或扫描 等复制手段保存、汇编学位论文。 （保密的学位论文在解密后适用本承诺书） 作者签名： 日 期： 南京航空航天大学硕士学位论文 南京航空航天大学硕士学位论文 基于合同网的协同生产任务调度软件模型研究 基于合同网的协同生产任务调度软件模型研究 I I PAGE PAGE IV 摘 要 课题以车间作业管理中协同生产任务调度系统的研究开发为应用背景，通过引入 WSRF 框架 设计理念、多 Agent 技术、合同网协商机制以及协同计算方法，并结合遗传/退火算法，试图构 建一个能够对车间任务进行快速有效调度控制的协同生产任务调度软件模型。 首先，通过对 WSRF 框架设计理念、角色协同方法以及合同网协商机制的研究，并对协同生 产任务调度的领域需求分析，分别构建了协同生产任务调度的角色模型、基于角色协同的合同 网模型、协同生产任务调度的功能模型以及基于多 agent 的协同任务调度控制模型。 其次，为解决协同任务调度问题，对调度算法进行研究，提出遗传/退火算法模型，并对 其过程给出模板化描述。在调度控制的实现过程中，将合同网协商模型与遗传/退火算法相结合, 并对染色体解码过程进行优化，增强了任务调度控制的效率，提高了系统的性能。 接着，采用面向对象的软件设计方法并结合 UML 建模工具，分别给出了系统的用例模型、 活动模型、初始类模型、交互模型以及状态模型。并使用 BPEL 对协同任务调度控制的业务流程 进行形式化描述。 最后，给出软件的开发平台和运行环境配置，并使用面向构件的软件建模方法构建了协同 任务调度控制的构件图，对部分构件使用 ACME 进行可实现性描述，对遗传/退火算法使用 Java 进行编码实现。 综上所述，将软件模型框架、模型优化方法以及调度算法等应用到协同生产任务调度系统 的开发中，提高了协同任务调度的执行效率和资源利用率，具有一定的理论意义和实用价值。 关键词：协同生产任务调度，调度控制优化，合同网，多 agent，角色协同，遗传退火算法， BPEL 表示，ACME 描述 ABSTRACT This article makes the development of the cooperative productive task scheduling software model in the shop floor control as the background. Combine with WSRF, Agent, contract net, role collaboration and Genetic-annealing algorithm to discuss the design of the cooperative productive task scheduling software architecture. Try to build up a cooperative productive task scheduling software model which can make rapid and effective control of task scheduling. First, through the analysis for WSRF, Agent, contract net, role collaboration and domain of the produc