基于多状态机复合petri网多资源协同优化与动态调度

《基于多状态机复合petri网多资源协同优化与动态调度》由会员上传分享，免费在线阅读，更多相关内容在学术论文-天天文库。

1、万方数据沈阳大学硕士学位论文基于多状态机复合Petri网多资源协同优化与动态调度丁林指导教师：李彦平教授单位：沈阳大学协助指导教师：递遨副塾握单位：—垫阳大学论史提交日期：2013年12月16日学位授予单位：沈阳大学万方数据lIIIIIIIIIIIIIIIIIIIIMIqllllllllIIIIIIIllIJO121718基于多状态机复合Petri网多资i2J；i协Ⅲ优化与动态调度CollaborativeOptimizationandDynamicSchedulingforManyKindsofR

2、esourceswithMultipleFiniteStateMachinesBasedPetriNet研究生姓名：丁林指导教师姓名：李彦平、谢谢沈阳大学沈阳，110044，中国Candidate：DingLinSupervisor：LiYanpingShenyangUniversity21SouthWan对mStreet，DadongDistrictShenyang，110044，P．R．CHINA万方数据独创性说明本人郑重声明：所呈交的论文是我个人在导师指导下进行的研究：1：作及取得的研究成果。

3、尽我所知，除了文t{J特别加以标注和致谢的地方外，论文中不包含其他人已经发表或撰写的研究成果，也不包含为获得沈阳大学或其他教育机构的学位或证书所使用过的材料。与我一同：iIfl-的同志对本研究所做的任何贡献均已在论文中做了明确的说明并表示了谢意。签名：期：小7夕，J)’，占本人完全了解沈阳大学有关保留、使用学位论文的规定，即：学校有权保留送交论文的复印件，允许论文被查阅和借阅；学校可以公布论文的全部或部分内容，可以采用影印、缩印或其他复制手段保存论文。签名：—刍-军争导师签一日期：小7了．12,，名

4、万方数据沈阳大学硕士学位论文摘要多资源协同优化与动态调度是离散事件动态系统研究的一个重要方向，而Petfi网以直观的图形提出一种形象的建模方法，以研究模型系统中的组织结构和动态行为目标，着眼于系统中可能发生的各种状态和状态转换间的关系，是研究多资源协同优化与动态调度问题的一个理想工具。但是，基本Petri网只能从宏观上对资源的数量分布进行描述，大部分研究都是通过添加许多新的集合或映射来增强其建模能力，而对于具备连续消息的多类资源的DEDS，传统Petri网则无法清楚的刻画。为此，我们结合具有逻辑属性

5、的二元标识，提出二元标识多状态机复合Pelfi网，并用其研究多资源协同优化与动态调度问题。(1)在基于Token离散标识多状态机复合PeRi网基础上，引入具有逻辑属性的二元标识，分别提出基于二元离散标识和混杂标识多状态机复合Petri网模型。并具体研究模型的变迁使能机制、事件使能机制、Token迁移机制以及Token连续信息演化机制。(2)在基于二元混杂Petri网模型中引入时空等连续信息，结合一般微积分方程，建立基于时间的二元混杂标识复合Pelri网和基于空间的二元混杂标识复合Petri网模型，并

6、提出基于二元混杂多状态机复合Petfi网的最优事件的调度规则。(3)利用以上所提出的Pelri网模型并对举出一个柔性制造例子进行协同优化与动态调度，以验证基于时间属性的二元混杂标识复合Petri网的正确性和有效性。然后以罩式退火过程生产调度为例，先在没有资源冲突的特殊条件下，对罩式退火过程进行调度。然后结合实际，针对具有资源冲突的罩式退火过程，在等待时间最少的条件的约束下，从时间和空间位置上对其进行协同优化，结果表明，可以得到满意解。从而证明基于二元混杂标识多状态机复合Petfi网，可以有效地解决多

7、资源系统的建模、分析和协同调度问题，为今后研究多资源协同优化与动态调度提供了一个新的途径。关键词：多资源系统，二元标识，复厶Petri网，协同优化，动态调度万方数据沈阳大学硕士学位论文万方数据沈阳大学硕士学位论文CollaborativeOptimizationandDynamicSchedulingofManyKindsofResourceswithMu博StateMachinesbasedPetriNetAbstractCollaborativeoptimizationanddynamicsch

8、edulingofsystemsofmanykindsofresourcesisanimportantaspectofresearchconcerningDynamicEventDiscreteSystem．PelriNet,anidealmodelingmethodtocollaborativeoptimizationanddynamicschedulingofresources，iscomposedofvisualizedgraphsandmathematics，