仿真模型设计与实现.ppt

第四章 仿真模型设计与实现 将系统模型转换为一个可以在计算机上运行的仿真模型，一般需要完成三部分工作。 (1)设计仿真策略，具体地说就是确定仿真模型的控制逻辑和仿真时钟推进机制； (2)构造仿真模型，即确定模型的具体操作； (3)仿真程序设计与实现. 4.1 离散事件系统仿真策略 仿真策赂是仿真模型的核心，反映了仿真模型的本质，从根本上决定了仿真模型的结构。迄今为止，离散事件系统已形成三种基本的仿真策略．分别是事件调度(Event Scheduling，ES)、活动扫描(Activity Scanning，AS)和进程交互(Process Interaction，PI)。 4.1.1 事件调度法 基本思想：将事件例程作为仿真模型的基本模型单元，按照事件发生的先后顺序不断执行相应的事件例程。每一事先可预知其发生时间的确定事件都带有一个事件例程，用以处理事件发生后对实体状态所产生的影响，并安排后续事件；条件事件不具有事件例程，对它的处理隐含在某一确定事件的例程中。因此，事件调度法中所说的事件是指确定事件。对实体流程法建立的概念模型，一般可采用事件调度法建立其仿真模型。 事件调度法的仿真策略如下： (1)初始化 1)置仿真的开始时间t0和结束时间tf 2)置实体的初始状态； 3)置初始事件及其发生时间， (2)置仿真时钟TIME＝ts ． (3)确定在当前时钟TIME下发生的事件类型 (4)如果TIME＜tf，执行 Case Ei of E1:执行E1的事件例程：产生后续事件类型及发生时间； …… En:执行En的事件例程：产生后续事件类型及发生时间； endcase 否则，转（6） 将仿真时钟TIME推进到下一最早事件发生时刻；转（3）； （6）仿真结束 4．1．2活动扫描法 活动扫描法与活动周期模型有较好的对应关系。ACD中的任一活动都可以由开始和结束两个事件来表示，每一事件都有相应的活动例程。例程中的操作能否进行取决于一定的测试条件，该条件一般与时间和系统的状态有关，而且时间条件须优先考虑。确定事件的发生时间事先可以确定，因此其活动例程的测试条件只与时间有关；条件事件的例程测试条件与系统状态有关。一个实体可以有几个活动例程；协同活动的活动例程只归属于参与的一个实体(一般为水久实体)。在活动扫描法中，除设置系统仿真时钟外，每一实体都带有标志自身时钟值的时间元(time cell)。 活动扫描法的基本思想:用各实体时间元的最小值推进仿真时钟；将时钟推进到一个新的时刻点后．按优先序执行可激活实体的活动例程，使测试通过的事件得以发生并改变系统的状态和安排相关确定事件的发生时间。因此．与事件调度法中的事件例程相当，活动例程是活动扫描法的基本模型单元。 4．1．3 三段扫描法 同活动扫描法一样，三段扫描法的基本模型单元也是活动例程。但是在三段扫描法中，活动例程分为两类： B类活动例程——描述确定事件的活动例程，在某一诽定时刻必然会被执行。也称确定活动例程。 c类活动例程——描述条件事件的活动例程，在协同活动开始(满足状态条件)或满足其它特定条件时被执行。也称条件活动例程或合作活动例程。 显然，B类活动例程像事件调度法中的事件例程一样可以在排定时刻直接执行．只有c类活动例程才需扫描执行。基于这种思想，给出三段扫描法仿真策略如下： 4．1．4 进程交互法 事件调度法和活动扫描法的基本模型单元分别是事件例程和活动例程，这些例程都是针对事件而建立的；而且在ES和AS策略中，各个例程都是独立存在的。 进程交互法的基本模型单元是进程。进程与例程的概念有着本质的区别，它是针对某类实体的生命周期而建立的，因此一个进程中要处理实体流动中发生的所有事件(包括确定事件和条件事件)。 顾客的生命周期可用下列进程描述： 顾客到达； 排队等待，直到位于队首； 进入服务通道； 停留于服务通道之中，直到接受服务完毕离去； 进程交互法中，实体的进程需要不断推进．直到某些延迟发生后才会 暂时锁住。一般需要考虑两种延迟的作用： (1)无条件延迟：在无条件延迟期，实体停留在进程中的某一点上不再向前移动，直到顶先确定的延迟期满。例如，顾客停留在服务通道中直到服务完成。 (2)条件延迟；条件延迟期的长短与系统的状态有关，事先无法确定。条件延迟发生后，实体停留在进程中的某一点，直到某些条件得以满足后才能继续向前移动。例如，队列中的顾客一直在排队，等到服务台空闲而且自已处于队首时方能离开队列接受服务。 进程中的复活点表示延迟