离散事件系统课程考核与学习资源

"离散事件系统课件-上海交通大学，由赵群飞教授授课，主要涉及离散事件系统的理论和应用，包括Automata与Petri Net、Queueing Network及其在DES中的应用、混合系统的建模与控制等内容。课程评估方式为平时表现（60%）与论文阅读轮讲考核（40%），轮讲内容需基于‘Application of Discrete Event Systems to my Research’的英文文献，同时需提交书面报告作为最终考核。参考教材包括《离散事件系统建模与仿真》（王维平）、《离散事件系统建模与仿真》（张燕云）以及一本Springer出版的关于Petri Nets的书籍。学生需要遵守严格的课堂纪律，如违反将受到扣分。" 离散事件系统是一门深入研究离散时间、离散状态变化的系统学科，它广泛应用于计算机科学、制造系统、物流管理、通信网络等领域。在赵群飞教授的课程中，学生将学习到离散事件系统的基础知识，例如Automata（自动机）和Petri Net（皮尔里网），这两者是离散事件系统的重要模型，用于描述和分析系统的行为。Automata是一种抽象计算模型，用于表示各种形式的自动机，而Petri Net则是一种图形化的建模工具，特别适合于表示并发和同步现象。 Queueing Network（队列网络）是离散事件系统的一个重要组成部分，它在描述和服务于多个客户流的复杂系统时非常有用，如在计算机系统中处理任务请求或在物流中处理货物运输。课程还会探讨如何将这些理论应用于实际问题，如混合系统的建模与控制，这涉及到离散事件系统与连续变量系统的交互。 课程的评估方式注重实践与参与，不仅包括课堂上的表现和纪律，还有对专业文献的深入阅读和理解。学生需要选择一篇关于离散事件系统在研究中的应用的英文论文，提炼关键内容制作PPT并在课堂上进行30分钟的讲解，同时提交书面报告，这部分占总成绩的40%。此外，良好的课堂行为也是评分标准，如违反课堂纪律将会受到扣分。 为了辅助学习，学生可以参考提供的几本教材，以及通过访问IEEE Technical Committee on Discrete Event Systems的网站获取更多相关资源。这样的教学模式旨在培养学生的独立研究能力，深化他们对离散事件系统的理解和应用。