資源描述：
《平價(jià)蔬菜自選超市Witness建模與仿真.doc》由會(huì)員上傳分享，免費(fèi)在線閱讀，更多相關(guān)內(nèi)容在行業(yè)資料-天天文庫(kù)。
1、平價(jià)蔬菜自選市場(chǎng)Witness建模、仿真與優(yōu)化梁標(biāo)0805060107彭磊0805060108劉文博0805060115李興寶0805060116曹創(chuàng)賓0805060117閆旭東0805060118平價(jià)蔬菜自選市場(chǎng)Witness建模、仿真與優(yōu)化（一）市場(chǎng)調(diào)查現(xiàn)狀及總體描述根據(jù)對(duì)附近幾個(gè)經(jīng)營(yíng)相對(duì)成熟的蔬菜市場(chǎng)進(jìn)行觀測(cè)，對(duì)其中比較典型的一個(gè)超市進(jìn)行了統(tǒng)計(jì)分析，由于時(shí)間及各方面的限制，只是進(jìn)行了初步的了解，具體情況如下：這是一個(gè)小型蔬菜自選市場(chǎng)，顧客到達(dá)的時(shí)間間隔服從負(fù)指數(shù)分布，平均50s來(lái)一個(gè)顧客，自選市場(chǎng)為顧客準(zhǔn)備了一
2、批購(gòu)物籃子。顧客到達(dá)市場(chǎng)時(shí)，如果發(fā)現(xiàn)有空籃子，就取一個(gè)籃子進(jìn)去；否則離去。顧客選購(gòu)商品的數(shù)量是隨機(jī)數(shù)。經(jīng)過(guò)一段時(shí)間觀察，有20%的顧客買3種蔬菜，30%的顧客買6種蔬菜，40%的顧客買9種蔬菜，10%的顧客買15種蔬菜。顧客購(gòu)貨時(shí)間的長(zhǎng)短取決于自選市場(chǎng)內(nèi)的顧客人數(shù)，選購(gòu)?fù)戤?，顧客?個(gè)柜臺(tái)中的一個(gè)柜臺(tái)前結(jié)賬。結(jié)賬時(shí)，每件商品需15s，裝袋需20s，結(jié)帳完畢放回購(gòu)物籃子，然后離去。蔬菜由供應(yīng)商供給到收貨中心，當(dāng)收貨中心內(nèi)的數(shù)量小于100的時(shí)候從供應(yīng)商處進(jìn)貨，然后由收貨中心通過(guò)收貨部供給蔬菜超市，超市的訂單直接由收貨部下
3、達(dá)到收貨中心。離開(kāi)（籃子數(shù)=0）顧客（二）市場(chǎng)工作流程描述離開(kāi)供應(yīng)商到銀臺(tái)結(jié)賬（4臺(tái)）收貨處自由選購(gòu)進(jìn)入超市選擇蔬菜（籃子數(shù)>0）購(gòu)物籃（一）witness元素定義元素名稱類型數(shù)量說(shuō)明customerPart1顧客leaveBuffer1顧客沒(méi)有拿到籃子離開(kāi)customernoBuffer1顧客排隊(duì)進(jìn)入市場(chǎng)basketnoBuffer1籃子的隊(duì)列GetBasketMachine1顧客取得籃子MarketBuffer1商場(chǎng)購(gòu)物CwaitBuffer1顧客排隊(duì)等待結(jié)賬CoutMachine4顧客結(jié)帳完畢離去BasketP
4、art1籃子(非可視化)goodnoAttribute1顧客購(gòu)買商品數(shù)量ZVariable1決定顧客購(gòu)買商品數(shù)量的隨機(jī)變量(非可視化)goodinMachine1超市收貨入庫(kù)Factory1Machine1供貨商1Convey1Conveyor1貨物運(yùn)輸鏈ShouhuozhongxinBuffer1收貨中心P1Part1商品V1Variable1供貨商供貨數(shù)量V2Variable1送入超市蔬菜數(shù)量PathPath1通向收貨中心路徑（一）witness各個(gè)元素細(xì)節(jié)的設(shè)計(jì)1、對(duì)Part元素Customer的細(xì)節(jié)設(shè)計(jì)Typ
5、e:ActiveInputtoModel.InterArrival:NEGEXP(50)InputtoModel(To…)：IFNPARTS(basketno)-NPARTS(customerno)>0PUSHtocustomernoELSEPUSHtoLeaveENDIF2、對(duì)Buffer元素Leave的詳細(xì)設(shè)計(jì)Capacity=10003、對(duì)Buffer元素customerno的詳細(xì)設(shè)計(jì)Capacity=10004、對(duì)Buffer元素basketno的詳細(xì)設(shè)計(jì)Capacity=10005、對(duì)Machine元素ge
6、tBasket的詳細(xì)設(shè)計(jì)Type:AssemblyInput.From…:SEQUENCE/Waitcustomerno#(1),basketno#(1)CycleTime=80.0ActiononFinish:!changealltocustomerOutput.TO…:PUSHtoMarket6、對(duì)Buffer元素Market的詳細(xì)設(shè)計(jì)Capacity=1000Option:MaxMaximumTime:600+NPARTS(ELEMENT)*2EXITRULEFORBUFFERMarket:PUSHtoCwai
7、tActionsonOutput:z=UNIFORM(0,1)IFz<0.2goodno=3ELSEIFz<0.5goodno=6ELSEIFz<0.9goodno=9ELSEgoodno=15ENDIF7、對(duì)Buffer元素Cwait的詳細(xì)設(shè)計(jì)Capacity=10008、對(duì)Machine元素Cout的詳細(xì)設(shè)計(jì)Quantity:4Type:ProductionPriority:LowestInput.From…:PULLfromCwaitCycleTime=15*goodno+20OutputProduction:
8、1PartType:BasketOutput.TO…:PUSHCustomertoSHIP，Baskettobasketno9、對(duì)Part元素Basket的細(xì)節(jié)設(shè)計(jì)Type:ActiveInputtoModel.InterArrival:1.0InputtoModel(To…)：PUSHtobasketnoMaximum:3010、對(duì)Attri
