毕设任务书、开题报告、文献综述

《毕设任务书、开题报告、文献综述》由会员上传分享，免费在线阅读，更多相关内容在教育资源-天天文库。

1、浙江工商大学本科毕业设计（论文）任务书题目：基于补库所法设计死锁预防控制器__学院信息与电子工程学院__专业电子信息工程___班级电子0701___学号0711100105___学生姓名周文华____指导教师王寿光__一、主要任务与目标对于给定的SPR网，运用补库所法设计死锁预防控制器，并用C语言实现其中部分算法。二、主要内容与基本要求1.熟悉和掌握Petri网以及SPR网的基本理论知识。2.了解Petri网信标有关知识。3.掌握补库所法设计死锁预防控制器的相关知识。3.掌握C语言编程。三、计划进度第一周调研、收集Petri网和离散事件资料、写出开题报告。第二周提交开题报告，撰写文献综

2、述、外文资料翻译等。第三周~第五周研究Petri为工具的离散事件系统控制器问题。第六周写出中期自查报告。第七、八周对前期的设计进行完善。第九、十周项目调试，准备写论文。第十一周审阅论文，根据老师意见修改论文、调试项目。第十二周毕设管理小组验收设计成果、收缴论文，对论文进行格式、形式审查，组织评阅，学生准备论文答辩。第十三周组织设计、论文答辩；答辩委员会评定成绩。四、主要参考文献[1]曹希仁(1985).离散事件动态系统.自动化学报,vol.11,pp.438-447.[2]董利达.基于序状Petri网的离散事件系统监控理论[D].浙江.浙江大学.2004.[3]顾启泰.离散事件系统建模与仿

3、真[M].北京.清华大学出版社.1999.[4]罗继亮（2006）.离散事件系统的禁止状态监控器设计.博士论文,浙江大学.[5]王寿光.网简化技术在Petri网反馈控制器设计中的应用[J].软件学报.2003(14(6)).1037-1040.[6]吴哲辉.Petri网导论.[M].北京.机械工业出版社. 2006.[7]郑大钟.赵千川.离散事件动态系统[M].清华大学出版社.2001.[8]Iordache,M.V.andAntsaklis,P.J.(2003).SynthesisofsupervisorsenforcinggenerallinearconstraintsinPetrin

4、ets.TAC,48(11),pp.2036–2039.[9]MoodyJ.O.andAntsaklis.PetriNetSupervisorsforDESwithUncontrollableandUnobservableTransitions[J].IEEETRANSACTIONSONAUTOMATICCONTROL.2000(45(3)).462-475.指导教师签名：年月日系室主任签名：年月日浙江工商大学本科毕业设计（论文）开题报告题目：基于补库所法设计死锁预防控制器__学院信息与电子工程学院__专业电子信息工程____班级电子0701___学号0711100105___学生姓名

5、周文华____指导教师王寿光___10毕业设计（论文）题目：基于补库所法设计死锁预防控制器毕业设计（论文）课题研究的意义：随着经济的不断发展，产品多样化的需求增加，产品更新换代速度加快，传统的批量制造系统己远远不能满足时代发展的需要、难以应对激烈的市场竞争和快速的需求变化，柔性自动制造系统（FMS）应运而生。与传统批量制造系统相比，FMS具有更大的柔性，进一步提高了设备利用率，缩短了生产周期，降低了制造成本。FMS的出现改变了传统生产方式。使得生产设备在时间上和空间上是兼容的。FMS为了适应市场的需要变得日益复杂，从单一的串行系统到多进程的并行系统，从基于单机环境下的操作到网络并行环境下的

6、机群操作等等。而具备并发、异步、离散、并行、时变和随机特征的复杂FMS给设计者带来了更为严峻的挑战。死锁是FMS设计者们不可回避的问题。如何采用科学的数学、图形模型来动态地描述实际的FMS，实现优化无死锁的高生产效率的FMS是工程设计者们所面临的主要题。Petri网是1962年由德国人CarlAdamPetri先生在他的博士论文《用自动机通信》中首次提出的网状结构的信息流模型。这一工作引起了美国和欧洲一些科学家的重视，之后的40年里，Petri网的应用范围也扩展到通信以外的许多领域。Petri网是一种系统的数学和图形的描述与分析工具。对于具有并发、异步、分布、并行、不确定性或随机性的信息处

7、理系统，都可以利用这种工具构造出要开发的Petri网模型，然后对其进行分析，即可得到有关系统结构和动态行为方面的信息，根据些信息就可以对要开发的系统进行评价和改进。目前，Petri网建模己经广泛应用于许多领域，包括分布式软件系统、分布式数据库系统、并发/并行程序、柔性制造/工业控制系统、离散事件系统、多处理机存储系统、数据流计算系统、容错系统、可编程逻辑和VLSI阵列、异步电路和结构、编译器和操作系统、办公信息系统、形式