删除或更新信息,请邮件至freekaoyan#163.com(#换成@)

上海交通大学电子信息与电气工程学院硕士课程内容介绍《离散事件系统》

上海交通大学 免费考研网/2012-12-28


《离散事件系统》

课程代码F032513学分/学时2.0/36开课时间
课程名称离散事件系统
开课学院电子信息与电气工程学院
任课教师赵群飞
面向专业自控,工业自动化,管理工程
预修课程Automatic Control
课程讨论时数0 (小时)课程实验数0 (小时)
课程内容简介

一、课程基本信息课程代码:F032513 课程名称(中文):离散事件系统课程名称(英文):Modeling, Evaluation and Optimization of Discrete Event Dynamic Systems学分/学时: 2/36 课程讨论时数(小时):32课程实验数(小时):4 开课时间:(春;秋;或春,秋)春课程类别:(硕士生学位课;硕士生非学位课;博士生专业课;研究生公共课)开课院系:自动化系任课教师(姓名/工号):7993预修课程:Probability Theory, Operational Research, Automatic Control Principle面向专业:控制科学与工程二、课程内容简介(宋体小四,加粗)(简要介绍本课程讲授内容,分中、英文对照两部分。宋体小四,1.5倍行距)中 文:Abstract:Over the past few decades, the rapid evolution of computing, communication, and sensor technologies has brought about the proliferation of "new" dynamic systems, mostly technological and often highly complex. Examples are all around us: computer and communication networks; automated manufacturing system; air traffic control systems; highly integrated command, control and communication and information(C3I) systems; advanced monitoring and control systems in automobiles or large buildings; intelligent transportation systems; distributed software systems; and so forth. A significant portion of the activities in these systems, sometime all of it, is governed by operational rules designed by humans; their dynamic therefore characterized by asynchronous occurrences of discrete events, some controlled (like hitting a keyboard key, turn a piece of equipment "on", or send a massage packet), some not (like a spontaneous equipment failure or a packet loss), some observed by sensors and some not. These features lend themselves to the term discrete event system for this class of dynamic systems.The mathematical arsenal centered around differential and difference equipment that has been employed in systems and control engineering to model and study the time-driven processes governed by law of nature is inadequate or simply inappropriate for discrete event systems. The challenge is to develop new modeling frameworks, analysis techniques, design tools, testing methods, and systematic control and optimization procedures for this new generation of highly complex systems. In order to face this challenge we need a multidisciplinary science. First, we need to build on the concepts and techniques of system and control theory (for performance optimization via feedback control), and computer science (for modeling and verification of event-driven processes), and operational research (for analysis and simulation of stochastic model of discrete event systems). Second we need to develop new modeling frameworks, analysis technique, and control procedures that are suited for discrete event systems. The study of discrete event dynamic systems (DEDS) has become rapidly popular among researchers in system and control, in communication networks, in manufacturing, and in distributed computing. This development has also created problems for researchers and especially potential researchers. The first problem is the employed language, formalisms, and approaches, which makes it very difficult to determine the commonalities and distinctions among the competing approaches. The second problem, arises from the different traditional, values, and experience that scholar bring to their study of DEDS, depend on whether they come from control, communication, computer, mathematical logic. In fact, DEDS is conception come from control discipline.The purpose of this course was to provide a few fundamental methods and tools, and some applications that arise from different disciplines, in order to be able to analyze, study and/or practise actual DEDS instances among Ms and PhD level students.

课程内容简介(英文)

Over the past few decades, the rapid evolution of computing, communication, and sensor technologies has brought about the proliferation of "new" dynamic systems, mostly technological and often highly complex. Examples are all around us: computer and communication networks; automated manufacturing system; air traffic control systems; highly integrated command, control and communication and information(C3I) systems; advanced monitoring and control systems in automobiles or large buildings; intelligent transportation systems; distributed software systems; and so forth. A significant portion of the activities in these systems, sometime all of it, is governed by operational rules designed by humans; their dynamic therefore characterized by asynchronous occurrences of discrete events, some controlled (like hitting a keyboard key, turn a piece of equipment "on", or send a massage packet), some not (like a spontaneous equipment failure or a packet loss), some observed by sensors and some not. These features lend themselves to the term discrete event system for this class of dynamic systems.The mathematical arsenal centered around differential and difference equipment that has been employed in systems and control engineering to model and study the time-driven processes governed by law of nature is inadequate or simply inappropriate for discrete event systems. The challenge is to develop new modeling frameworks, analysis techniques, design tools, testing methods, and systematic control and optimization procedures for this new generation of highly complex systems. In order to face this challenge we need a multidisciplinary science. First, we need to build on the concepts and techniques of system and control theory (for performance optimization via feedback control), and computer science (for modeling and verification of event-driven processes), and operational research (for analysis and simulation of stochastic model of discrete event systems). Second we need to develop new modeling frameworks, analysis technique, and control procedures that are suited for discrete event systems. The study of discrete event dynamic systems (DEDS) has become rapidly popular among researchers in system and control, in communication networks, in manufacturing, and in distributed computing. This development has also created problems for researchers and especially potential researchers. The first problem is the employed language, formalisms, and approaches, which makes it very difficult to determine the commonalities and distinctions among the competing approaches. The second problem, arises from the different traditional, values, and experience that scholar bring to their study of DEDS, depend on whether they come from control, communication, computer, mathematical logic. In fact, DEDS is conception come from control discipline.The purpose of this course was to provide a few fundamental methods and tools, and some applications that arise from different disciplines, in order to be able to analyze, study and/or practise actual DEDS instances among Ms and PhD level students.

教学大纲

Chapter 1 Introduction: Modeling, Analysis and Optimization of DEDS Section 1 Analysis of DEDS: Queuing Network Approach Chapter 2 Introduction to Queueing TheoryChapter 3 Markov Processes and Birth DeathProcesses1 Markov Processes2 Continuous Time Markov Chain3 Discrete-Time Markov Chains4 Birth-Death Processes5 Little's ResultChapter 4 Basic Queueing Theory: M/M/-/- Type Queues1 M/M/1/∞ Queue2 M/M/1/ ∞ Queue with Discouraged Arrivals3 M/M/m/¥ Queue4 M/M/m/m Queue5 M/M/1/K Queue6 M/M/1/-/K Queue7 Delay Analysis for a FCFS M/M/1/¥ QueueChapter 5 M/M/n/K Queue With Multiple Priorities1 M/M/-/- Queue with Preemptive Priority2 M/M/-/- Queue with Non-preemptive PriorityChapter 6 Queueing Networks1 Classification 2 Open and Closed Networks of M/M/m Type Queues3 AlgorithmSection 2 Modeling and analysis of DEDS: Petri Net approach Chapter 7 Introduction to Petri Net 1 Introduction2 Marking, Enabling and Firing3 Modeling Patterns4 Extension of Modeling Features5 Reachability Graph (Equal to Input/output model ) 6 Properties of Petri Nets7 Other Classes of Petri Nets Chapter 8 Timed Petri Net 1 Time in Petri Nets2 Some Classes of Timed Petri Nets3 Definition of GSPNs4 Analysis of GSPNs5 Definition of DSPNs6 Analysis of DSPNs7 DSPN Modeling Example8 Software Tools for AnalysisChapter 9 Application1 Communication in Production and Manufacturing 1-502 Design of Reliable Systems 1-50Section 3 Optimal Method of DEDSChapter 10 Schedule Theory1 α | β | γ Deterministic Models2 NP Problem3 Optimal Algorithms4 Heuristic Algorithm and AnalysisChapter 11 Modern Optimal Methods 1Tabu Search2Simulated Annealing3Genetic Algorithm四、课程考核要求Grading Policy: Homework: 15% Research Project: 50% Programming Project: 15% Test: 20%五、参考教材与文献1.郑大钟,赵千川, 离散事件动态系统,清华大学出版社,20022.English or Chinese Books, Relate to Discrete Event Dynamic System Additional references will be provided among this lecture. 3.Lecturer: Dr. Yang Genke4.Office: Building Electrics-information, Num.2, Room 4115.e-mail address: gkyang@sjtu.edu.cn 6.Course web site URL: http:// www.lecture.sjtu.edu.cn/SEEE/ Automation/au3000.html or ftp://portal.sjtu.edu.cn/ username: lecygk//password:1234//content: deds

课程进度计划

(无)

课程考核要求

要求学生从以下三个方面掌握课程内容:1. 掌握排队论基本内容,含单服务器、多服务器、开网络和闭网络的统计特性;2. 掌握离散事件建模典型方法,如自动机模型、PETRI网模型;3. 掌握离散事件系统的典型调度问题、典型算法和GA、HA、TA等智能启发算法。4. 了解离散事件系统的调度问题建模、分析和优化研究内容。课程的考核以综合大作业为主,要求学生阅读一定的文献,写出其对一些问题的理解和想法,包含问题描述、建模过程、分析方法、仿真算法及其结论。

参 考 文 献
  • 1. 郑大钟,赵千川, 离散事件动态系统,清华大学出版社,20022. 袁崇义;Petri网原理;电子工业出版社;19983. 陆传赉;排队论;北京邮电学院出版社;19984. Y.C. Ho;DEDS Analyzing Performance and Complexity in the Modern World;IEEE Press;19925. C. Cassandras & S Lafortune;Discrete Event Systems;Kluwer ;1999
相关话题/课程