第05讲Witness仿真系统建模基础第05讲Witness仿真系统建模基础一、Witness软件用户界面一、Witness软件用户界面第05讲Witness仿真系统建模基础二、WITNESS建模元素二、WITNESS建模元素-离散型元素二、WITNESS建模元素-离散型元素二、WITNESS建模元素-离散型元素二、WITNESS建模元素-离散型元素二、WITNESS建模元素-离散型元素二、WITNESS建模元素-离散型元素二、WITNESS建模元素-离散型元素二、WITNESS建模元素-离散型元素二、WITNESS建模元素-离散型元素二、WITNESS建模元素-离散型元素二、WITNESS建模元素-离散型元素二、WITNESS建模元素-离散型元素二、WITNESS建模元素-离散型元素二、WITNESS建模元素-离散型元素二、WITNESS建模元素-离散型元素二、WITNESS建模元素二、WITNESS建模元素-连续型元素Witness介绍：建模元素二、WITNESS建模元素-图形元素Witness软件：输入/输出规则Witness软件：输入/输出规则Witness软件：复杂流程控制witness提供了四种类型的变量，用来进行数据处理：整型、实型、名型、字符型。整型（integer）变量：用来存储不包含小数点部分的数字。在witness中，可以是-2147483648到＋2147483647之间的整数。实型（real）变量：可以存储由数字（0～9）、小数点和正负号组成的数据。范围为（3.4E-38，3.4E38）；名型（name）变量：用来存储witness仿真系统组成元素的名称。例如：Widgetmiller（3）字符型（string）变量：用来存储不具有计算能力的字符型数据。字符型数据是由汉字和ASCII字符集中可打印字符（英文字符、数字字符、空格以及其他专用字符）组成，长度范围是0～4095个字符。（1）BETAβ分布；（2）NORMAL正态分布；（3）BINOMIAL二项分布；（4）POISSON泊松分布；（5）ERLANG爱尔朗分布；（6）RANDOM0-1均匀分布；（7）GAMMAγ分布；（8）TNORMAL截断正态分布；（9）IUNIFORM整数均匀分布；（10）TRIANGLE三角分布；（11）LOGNORML对数正态分布；（12）UNIFORM均匀分布；（13）NEGEXP负指数分布；（14）WEIBULL威伯分布练习题练习题