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

浙江工商大学 本科毕业设计（论文）任务书 题目： 基于补库所法设计死锁预防控制器__ 学院专 业 班 级 学 号 学生姓名 指导教师 SPR网，运用补库所法设计死锁预防控制器，并用C语言实现其中部分算法。 二、主要内容与基本要求 1.熟悉和掌握Petri网以及SPR网的基本理论知识。 2.了解Petri网信标有关知识。 3.掌握补库所法设计死锁预防控制器的相关知识。 3.掌握C语言编程。 三、计划进度 第一周 调研、收集Petri网和离散事件资料、写出开题报告。 第二周 提交开题报告，撰写文献综述、外文资料翻译等。 第三周~第五周 研究Petri为工具的离散事件系统控制器问题。 第六周 写出中期自查报告。 第七、八周 对前期的设计进行完善。 第九、十周 项目调试，准备写论文。 第十一周 审阅论文，根据老师意见修改论文、调试项目。 第十二周 毕设管理小组验收设计成果、收缴论文，对论文进行格式、形式审查，组织评阅，学生准备论文答辩。 第十三周 组织设计、论文答辩；答辩委员会评定成绩。 四、主要参考文献 [1] 曹希仁(1985). 离散事件动态系统.自动化学报, vol.11, pp. 438-447. [2] 董利达.基于序状Petri网的离散事件系统监控理论[D].浙江.浙江大学.2004. [3] 顾启泰.离散事件系统建模与仿真[M].北京.清华大学出版社.1999. [4] 罗继亮（2006）吴哲辉Petri网导论机械工业出版社?2006. [7] 郑大钟.赵千川.离散事件动态系统[M].清华大学出版社.2001. [8] Iordache, M.V. and Antsaklis, P.J. (2003).Synthesis of supervisors enforcing general linear constraints in Petri nets.TAC, 48(11), pp.2036– 2039. [9] Moody J.O. and Antsaklis. Petri Net Supervisors for DES with Uncontrollable and Unobservable Transitions[J].IEEE TRANSACTIONS ON AUTOMATIC CONTROL.2000(45(3)). 462-475. 指导教师签名： 年 月 日 系室主任签名： 年 月 日  浙江工商大学 本科毕业设计（论文）开题报告 题目： 基于补库所法设计死锁预防控制器__ 学院专 业 班 级 学 号 学生姓名 指导教师 毕业设计（论文）课题研究的意义： 随着经济的不断发展， 产品多样化的需求增加， 产品更新换代速度加快， 传统的批量制造系统己远远不能满足时代发展的需要、难以应对激烈的市场竞争和快速的需求变化，柔性自动制造系统（FMS）应运而生。与传统批量制造系统相比，FMS具有更大的柔性， 进一步提高了设备利用率， 缩短了生产周期， 降低了制造成本。FMS 的出现改变了传统生产方式。使得生产设备在时间上和空间上是兼容的。 FMS为了适应市场的需要变得日益复杂， 从单一的串行系统到多进程的并行系统， 从基于单机环境下的操作到网络并行环境下的机群操作等等。而具备并发、异步、离散、并行、时变和随机特征的复杂 FMS 给设计者带来了更为严峻的挑战。死锁是FMS 设计者们不可回避的问题。 如何采用科学的数学、图形模型来动态地描述实际的 FMS， 实现优化无死锁的高生产效率的 FMS 是工程设计者们所面临的主要题。 Petri 网是 1962 年由德国人 Carl Adam Petri 先生在他的博士论文《用自动机通信》中首次提出的网状结构的信息流模型。这一工作引起了美国和欧洲一些科学家的重视， 之后的 40 年里， Petri 网的应用范围也扩展到通信以外的许多领域。 Petri 网是一种系统的数学和图形的描述与分析工具。 对于具有并发、异步、分布、并行、不确定性或随机性的信息处理系统， 都可以利用这种工具构造出要开发的 Petri 网模型， 然后对其进行分析， 即可得到有关系统结构和动态行为方面的信息，