第三章 理论模型建模方法.ppt

第三章 理论模型建模方法 本章内容要求： 1、掌握实体流图法、活动周期法、Petri网法、Euler网法建模的基本原理。 2、能够应用所学建模方法建立并分析实际系统模型 重点：实体流图法、Petri网法 (2)属性(Attribute) 属性是实体特征的描述．一般是实体所拥有的全部特征的一个子集，用特征参数或变量表示。选用哪些特征参数作为实体的属性与建模目的有关,可参照下述原则选取： ①便于实体的分类： 例如将理发店顾客的性别(“男”或“女”）作为属性考虑，可将“顾客”实体分为二类．每类顾客占用不同的服务台。 ②便于实体行为的描述 例如将飞机的飞行速度作为届性考虑．便于对“飞机”实体的行为(如两地间的飞行时间)进行描述。 ③便于排队规则的确定 例如生产线上待处理工件的优先级水平有时需考虑为便于“按优先级排队”规则的建立和实现。 (6)进程(Process) 一组按发生时间排列的事件／活动序列称为一个进程。 (7)队列(Queue) 处于等待状态的实体序列。一般按新到的实体排在队后的次序组成队列。离散事件建模中，队列可作为一种状态或特殊实体对待。 3．2 实体流图法 3．2．1 实体流图 在离散事件系统中，实体可以分为两大类：临时实体和永久实体。 临时实体按一定规律由系统外部到达系统，在系统中接受永久实体的作用，按照一定的流程通过系统，最后离开系统。 例如进入商店购物的顾客、交通路口的车辆、生产线上的电视机、进人防空火力网的战斗机，驶入地下停车场的汽车等。 与临时实体相反、那些永久驻留在系统中的实体称为永久实体。系统要对临时实体产生作用，就必须有永久实体的活动，临时实体和永久实体协同完成某项活动．如理发店的理发员，生产线上的加工、装配机械，交通路口的红绿灯等，都是永久实体的例子。 实体流图法（entity flow chart ,EFC) 采用与计算机程序 流程图相类似的图示符号和原理，建立表示临时实体产生、在系统中流动、接受永久实体“服务”以及消失等过程的流程图。借助实体流程图、可以表示事件、状态变化及实体间相互作用的逻辑关系。 建立实际系统的实体流图模型一是要对实际系统的工作过程有深刻的理解和认识，二是要将事件、状态变化、活动和队列等概念贯穿于建模过程中。 常用的图示符号只有菱形框(表示判断)、矩形框(表示事件、状态、活动等中间过程)、圆端矩形框(表示开始和结束)及箭头线(表示逻辑关系)等。 建模时可按照以下思路进行： (1)辨识组成系统的实体及属性。将队列作为一种特殊的实体来考虑。 (2)分析各种实体的状态和活动，及其相互间影响，队列实体的状态是 队列的长度。 (3)考察有哪些事件导致了活动的开始或结束，或者可以作为活动开始或结束的标志，以确定引起实体状态变化的事件，并合并条件事件。 (4)分析各种事件发生时，实体状态的变化规律。 (5)在一定的服务流程下，分析与队列实体有关的特殊操作(如换队等)。 (6)通过以上分析，以临时实体的流动为主线，用约定的图示符号画出镇仿真系统的实体流程图。 (7)给出模型参数的取值、参变量的计算方法及属性描述变量的取值方法。属性描述变量，例如顾客到达时间、服务时间等，可以取一组固定值，可以由某一计算公式取值．还可以是一个随机变量。属性描述变量是随机变量时，应给出其分布函数。 (8)给出队列的排队规则。有多个队列存在时，还应给出其服务规则．包括队列的优先序、换队规则等。 （5）画出系统实体流程图 (6)确定模型参变量 需给出的模型属性变量有：顾客的到达时间（随机变量）、理发员为一个顾客理发所需的服务时间（随机变量）等，它们的值可分别从不同的分布函数中抽取。 例3.2 分时计算机系统 分时计算机系统由一个CPU和多台计算机输入终端组成(图3.3）。用户从终端输入作业，请求CPU为其服务。所有终端输入的作业由一个CPU执行，因而形成单一队列。CPU按FIFO(先进先出)的服务规则分时轮流为各终端的作业服务。如果一个作业的CPU执行时间大于一个时间片te，则该任务执行一段时间te后退出CPU，并重新参加排队。只有当某一终端发出的服务请求执行完毕退出CPU后，才允许该终端重新输入一个新的作业，建模的目的是研究用户的等待时间。 假定作业“输入完毕”到CPU“接到执行请求”之间无时间延迟。则可将二者看成同一事件。根据与例3．1同样的理由，“开始输入”和“作业结柬排队”均为条件事件，且均可并入“执行完毕”事件处理。另外，“作业执行了一个时间片”与“执行完毕”