witness实验报告1

一、实验目的：

1、掌握经验分布样本生成函数的定义方法

2、掌握理论分布样本生成函数的使用

3、掌握实体元素的详细设置

4、掌握元素显示设置

5、掌握初始化方法

6、掌握结果统计方法

二、实验内容：

预备：双击witness 2008 educational manufacturing performance edition

1、调查系统实体，添加如下元素如图1所示

图1 系统元素图

注：该模型为一需求拉动型生产系统，产品由1个配件1和2个配件2组装而成。其中：

（1）part001、part002代表供应商1（P1）、供应商2 （P2）；part003代表客户（P3）

（2）machine001代表客户订单处理系统（M1）；machine002、machine003代表订货系统（M2、M3）

（3）buffers001、buffers002代表配件1、配件2的仓库（B1、B2），安全库存均为10；buffers003用于存储客户订单（B3）

2、调查系统流程，并建立系统模型如图2、图3所示

图2 客户订单处理流程

图3 订货流程

3、建立仿真模型如图4所示

图4 仿真模型

注：为了实现高级功能，引入4个变量batch1，batch2，levelofb1，levelofb2（创建方法：right click-define-element type:variable,type:integer,name:batch1-create）

（1）M1类型（type）为assembly，输入数量（input quantity）为3。双击可进行设置。

（2）M1根据订单进行生产，input from…中输入：

SEQUENCE /Wait Buffers003#(1),

Buffers001#(1),

Buffers002#(2) //#(*)表示数量，即顺序输入1个订单，1个P1，2个P2，如果某个缺少，则等待（wait）

（3）M2M3交货期设置：cycle time=1440

（4）M2M3订货批量设置：type为batch，M2:input quantity=batch1,M3:input quantity=batch2

（5）要实现订货规则，必须进行以下几个步骤，以M2为例

M2中input from:

    IF levelofb1 < 10 //levelofb1为库存变量

          PULL from Part001 out of WORLD

ENDIF     //检查b1库存量是否小于安全库存

M2的action on start：

     LEVELOFB1 = LEVELOFB1 + BATCH1   //库存变量为：仓库中实际存量+已订货数量

Buffers002中的action of output:

LEVELOFB1 = LEVELOFB1 – 1    //buffers002中每输出一个配件，则库存变量减1

4、还需要的输入数据有：

（1）客户（part003）订单到达间隔时间：均值为720分钟的负指数分布，批量1。

（2）客户订单处理时间cycle time为30分钟。

（3）配件1的订货批量为90，配件2的订货批量为120（变量的初始化：菜单-model-initialize action中输入:batch1=90,batch2=120）

5、运行仿真

运行10000分钟。

6、显示设置

通过运行发现当排队个数太多，当前设置影响美观，这时需进行显示设置

（1）B1B2的队列显示设置

Right click（B1B2）-display-update/part queue--count/display size=3-update-

（2）M2M3的队列显示设置

同（1）

（3）配件和订单的风格设置

Right click（P1）-display-update/style--25（或其它图片）-update-

Right click（P3）-display-update/style--160，scale lenth,scale width-update-

7、运行模型

运行180天

8、数据统计

（1）统计M1M2M3的利用率

（2）统计订单处理数量

三、实验结果

                            图  5

图  6

                            图  7

四、实验心得

在机房里，在老师的指导之下，我们初步了解到了witness的初步应用。在学习和掌握当中，由于不太了解，以至于在学习当中遇到了不少的困难和障碍，不过还好有老师和同学们的帮助，让我们顺利的完成了学习任务。