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