資源描述:
《witness仿真系統(tǒng)方案.ppt》由會(huì)員上傳分享,免費(fèi)在線閱讀,更多相關(guān)內(nèi)容在教育資源-天天文庫(kù)。
1、三、Witness隨機(jī)分布函數(shù)WITNESS提供了14種整型或?qū)崝?shù)型的標(biāo)準(zhǔn)隨機(jī)分布函數(shù),它們能返回一系列理論分布的隨機(jī)樣本值。WITNESS提供了如下14種標(biāo)準(zhǔn)隨機(jī)分布函數(shù):(1)BETAβ分布;(2)NORMAL正態(tài)分布;(3)BINOMIAL二項(xiàng)分布;(4)POISSON泊松分布;(5)ERLANG愛(ài)爾朗分布(6)RANDOM0-1均勻分布;(7)GAMMAγ分布;(8)TNORMAL截?cái)嗾龖B(tài)分布(9)IUNIFORM整數(shù)均勻分布(10)TRIANGLE三角分布;(11)LOGNORML對(duì)數(shù)正態(tài)分布(12)UNIFORM均勻分布;(13)NEGEXP負(fù)指數(shù)分布;(
2、14)WEIBULL威伯爾分布Witness提供了四種類型的變量:整型、實(shí)型、名型、字符型。四、witness程序三種基本結(jié)構(gòu)1、順序結(jié)構(gòu)順序結(jié)構(gòu)是在程序執(zhí)行時(shí),根據(jù)程序中語(yǔ)句的書寫順序依次執(zhí)行的命令序列。2、分支結(jié)構(gòu)分支結(jié)構(gòu)是在程序執(zhí)行時(shí),根據(jù)不同的條件,選擇執(zhí)行不同的程序語(yǔ)句,用來(lái)解決有選擇、有轉(zhuǎn)移的諸多問(wèn)題。3、循環(huán)結(jié)構(gòu)允許有限次重復(fù)執(zhí)行某一特定的程序。分支結(jié)構(gòu)有單向分支和多向分支語(yǔ)法結(jié)構(gòu),分別如下:(1)單向分支,也叫簡(jiǎn)單分支結(jié)構(gòu)IF<條件表達(dá)式><命令行序列>ENDIF(2)多向分支,也叫復(fù)雜分支結(jié)構(gòu)IF<條件表達(dá)式1><命令行序列1>ELSE<命令行序列2
3、>ENDIF(3)使用分支語(yǔ)句應(yīng)注意的幾點(diǎn):aIF……ENDIF必須配對(duì)使用;b〈條件表達(dá)式〉可以是各種表達(dá)式或函數(shù)的組合,其值必須是邏輯值;c〈命令行序列〉可以由一個(gè)或多個(gè)命令組成,也可以是條件控制語(yǔ)句組成的嵌套結(jié)構(gòu)。示例IF(water_level>=0)AND(water_level<=5)PRINT"Thelevelinthewatertankislow"ELSEIF(water_level>5)AND(water_level<=10)PRINT"Thelevelinthewatertankisnormal"ELSEPRINT"Thelevelinthewat
4、ertankishigh"ENDIF循環(huán)結(jié)構(gòu)(1)計(jì)數(shù)型循環(huán)基本語(yǔ)法如下:FOR〈循環(huán)變量〉=〈循環(huán)變量初值〉TO〈循環(huán)變量終值〉[STEP〈循環(huán)變量步長(zhǎng)〉]〈命令行序列〉NEXT例:NUMBER_FOUND=0FORBUFFER_INDEX=1toNPARTS(STORE(1))IFSTORE(1)atBUFFER_INDEX:color=redNUMBER_FOUND=NUMBER_FOUND+1ENDIFNEXT這段程序用來(lái)統(tǒng)計(jì)緩沖區(qū)store(1)中顏色為紅色的部件的數(shù)量。BUFFER_INDEX是循環(huán)變量;NPARTS(STORE(1))函數(shù)計(jì)算緩沖區(qū)STO
5、RE(1)中的部件數(shù)量;IF分支用來(lái)判斷STORE(1)中排于第BUFFER_INDEX位置的部件的屬性color是否等于“red”(2)“當(dāng)”型循環(huán)語(yǔ)法結(jié)構(gòu):WHILE<條件表達(dá)式><命令行序列>ENDWHILE注:ENDWHILE可以縮寫為END。語(yǔ)句功能:當(dāng)<條件表達(dá)式>為真時(shí),一直執(zhí)行<命令行序列>,直到<條件表達(dá)式>為假時(shí),循環(huán)結(jié)束。示例:WHILENPARTS(STOCK)>90PRINT"Warning!TheSTOCKbufferisnearlyfull."ENDWHILE使用循環(huán)語(yǔ)句時(shí)應(yīng)注意的幾點(diǎn)WHILE和ENDWHILE、FOR和NEXT必須配對(duì)
6、使用?!疵钚行蛄小悼梢允侨魏蜽ITNESS的命令或語(yǔ)句,也可以是循環(huán)語(yǔ)句,即可以嵌套為多重循環(huán)。五、Witness常用系統(tǒng)函數(shù)1、數(shù)字函數(shù)Abs(R)Amax(R1,R2,R3…,Rn)2、轉(zhuǎn)換函數(shù)Chr(I)Float(I)Str(RorI)Strstr(Sa,Sb)Leftstr(S,N)3、模型交互對(duì)話函數(shù)Msgdlg(title,icon_id,dialog_text,button_text,default_button)用來(lái)產(chǎn)生一個(gè)消息框。title:字符串型,用來(lái)產(chǎn)生消息框的標(biāo)題;icon_id整數(shù)型,用來(lái)標(biāo)記消息框的類型。若icon_id=0,則消息框
7、無(wú)任何圖標(biāo);若icon_id=1,則消息框的圖標(biāo)為“Stop”型;若icon_id=2,則消息框的圖標(biāo)為“Question”型;若icon_id=3,則消息框的圖標(biāo)為“Warning”型;若icon_id=4,則消息框的圖標(biāo)為“Information”型;dialog_text字符串型,在消息框中要顯示的文本;button_text字符串型,消息框中按鈕的顯示文本。一個(gè)消息框中至多有4個(gè)按鈕,每個(gè)按鈕的文本用“
8、”分隔開(kāi);default_button整數(shù)型;default_button用來(lái)設(shè)置按鈕的默認(rèn)值,若default_button=1,則默認(rèn)第