基于Pi演算的SCM系統(tǒng)建模與驗(yàn)證研究
發(fā)布時(shí)間:2023-01-01 16:23
供應(yīng)鏈管理(SCM)的目的是通過對(duì)供應(yīng)鏈各個(gè)環(huán)節(jié)活動(dòng)的協(xié)調(diào),將物流、資金流、信息流的有效整合,從而實(shí)現(xiàn)庫(kù)存降低、快速響應(yīng)顧客需求、柔性和敏捷性增加,縮短生產(chǎn)周期、降低企業(yè)運(yùn)營(yíng)成本的目的,為用戶提供優(yōu)質(zhì)高效的服務(wù)。本文對(duì)某農(nóng)產(chǎn)品公司的業(yè)務(wù)流程進(jìn)行重新梳理,重點(diǎn)對(duì)整體業(yè)務(wù)流程及采購(gòu)、庫(kù)存管理進(jìn)行深入研究。本文結(jié)合SCM的相關(guān)特點(diǎn),對(duì)農(nóng)產(chǎn)品供應(yīng)鏈進(jìn)行了信息化改造,實(shí)現(xiàn)了農(nóng)產(chǎn)品供應(yīng)商、農(nóng)戶與企業(yè)內(nèi)部管理的信息化統(tǒng)一管理,有效的提高了整個(gè)供應(yīng)鏈上信息流、物流、資金流的有效流動(dòng),提高了企業(yè)應(yīng)對(duì)市場(chǎng)的能力。同時(shí)提出了一種基于Pi演算的方法來(lái)形式化并且驗(yàn)證MWB編碼,該方法可以保證SCM系統(tǒng)研究開發(fā)的正確性以降低后期開發(fā)過程中不必要的開銷。介紹了農(nóng)產(chǎn)品SCM系統(tǒng)的整體設(shè)計(jì),包括系統(tǒng)業(yè)務(wù)的基本功能描述及設(shè)計(jì)方案。應(yīng)用SSH框架實(shí)現(xiàn)了軟件基本功能,同時(shí)進(jìn)行了系統(tǒng)測(cè)試,驗(yàn)證了系統(tǒng)的穩(wěn)定性、安全性。本文的研究對(duì)解決某農(nóng)產(chǎn)品公司當(dāng)前運(yùn)營(yíng)成本高、流通效率低下等諸多問題具有重要的參考價(jià)值,同時(shí)可以提高農(nóng)產(chǎn)品供應(yīng)鏈的管理水平,在一定程度上能夠提高某公司適應(yīng)市場(chǎng)的能力,增加在行業(yè)中的競(jìng)爭(zhēng)力。
【文章頁(yè)數(shù)】:58 頁(yè)
【學(xué)位級(jí)別】:碩士
【部分圖文】:
MWB環(huán)境圖例
加載MWB文件第二步:在MWB中輸入env,可以看到所有的代理對(duì)象
顯示所有代理對(duì)象第三步:驗(yàn)證死鎖,輸入deadlocksCONS、EXPR、SUPP等步驟,驗(yàn)證流程中是否有死鎖現(xiàn)象發(fā)生
【參考文獻(xiàn)】:
期刊論文
[1]農(nóng)產(chǎn)品綠色供應(yīng)鏈流通模式構(gòu)建[J]. 楊浩軍. 商業(yè)經(jīng)濟(jì)研究. 2018(03)
[2]我國(guó)農(nóng)產(chǎn)品供應(yīng)鏈信息管理創(chuàng)新與應(yīng)用[J]. 謝曉芳. 改革與戰(zhàn)略. 2017(06)
[3]企業(yè)物流供應(yīng)鏈管理系統(tǒng)的結(jié)構(gòu)思考[J]. 馮雨桐. 物流工程與管理. 2014(12)
[4]供應(yīng)鏈管理中的運(yùn)籌學(xué)方法統(tǒng)述[J]. 黎晨,劉燁. 物流工程與管理. 2014(02)
[5]k-選擇網(wǎng)和Pi演算的表達(dá)能力[J]. 李向?qū)?郝克剛,郭小群. 計(jì)算機(jī)學(xué)報(bào). 2013(06)
[6]基于Pi-演算的供應(yīng)鏈節(jié)點(diǎn)企業(yè)行為的隨機(jī)分析[J]. 黃永濤,王剛,任秉銀,張浩云. 計(jì)算機(jī)集成制造系統(tǒng). 2013(01)
[7]UML建模技術(shù)的研究與應(yīng)用[J]. 翟亞紅,楊艷霞. 科技創(chuàng)業(yè)月刊. 2010(04)
[8]我國(guó)農(nóng)產(chǎn)品供應(yīng)鏈管理的研究進(jìn)展及趨勢(shì)[J]. 劉召云,孫世民,王繼勇. 商業(yè)研究. 2009(03)
[9]基于Pi演算的工作控制流模式研究[J]. 傅琴,潘孝銘. 福建電腦. 2008(10)
[10]借鑒國(guó)外成功經(jīng)驗(yàn) 提升我國(guó)農(nóng)產(chǎn)品供應(yīng)鏈的管理能力[J]. 李軍民,朱有志,曾福生. 江蘇農(nóng)業(yè)科學(xué). 2007(02)
博士論文
[1]考慮損耗控制的生鮮農(nóng)產(chǎn)品存儲(chǔ)問題及供應(yīng)鏈優(yōu)化研究[D]. 施浩然.西南交通大學(xué) 2016
[2]鮮活農(nóng)產(chǎn)品供應(yīng)鏈價(jià)格風(fēng)險(xiǎn)生成機(jī)理與管理機(jī)制研究[D]. 趙辛.西南大學(xué) 2013
[3]核心企業(yè)的供應(yīng)鏈融資運(yùn)作機(jī)制研究[D]. 張睿.武漢理工大學(xué) 2013
[4]基于供應(yīng)鏈協(xié)同的電信運(yùn)營(yíng)商庫(kù)存模型研究[D]. 張小軍.北京郵電大學(xué) 2013
[5]多式聯(lián)運(yùn)供應(yīng)鏈的協(xié)調(diào)與協(xié)同優(yōu)化研究[D]. 孫彬.南開大學(xué) 2013
[6]供應(yīng)鏈整合對(duì)企業(yè)績(jī)效影響的實(shí)證研究[D]. 馬文聰.華南理工大學(xué) 2012
[7]基于供應(yīng)鏈戰(zhàn)略協(xié)同的農(nóng)產(chǎn)品物流運(yùn)行機(jī)制研究[D]. 許金立.北京交通大學(xué) 2012
碩士論文
[1]農(nóng)產(chǎn)品供應(yīng)鏈成本控制方案研究[D]. 孫齊.安徽財(cái)經(jīng)大學(xué) 2017
[2]基于電商的生鮮農(nóng)產(chǎn)品供應(yīng)鏈運(yùn)作協(xié)調(diào)機(jī)制研究[D]. 聶改改.江南大學(xué) 2017
[3]基于Pi演算的靜態(tài)異構(gòu)調(diào)度算法研究與實(shí)現(xiàn)[D]. 費(fèi)慧萍.吉林大學(xué) 2017
[4]基于SSH架構(gòu)的辦公管理系統(tǒng)設(shè)計(jì)與實(shí)現(xiàn)[D]. 伍楚君.江西財(cái)經(jīng)大學(xué) 2016
[5]服務(wù)交互模式的形式化建模與應(yīng)用研究[D]. 劉亞亞.北方民族大學(xué) 2016
[6]基于Pi演算的新型分布式通信模型[D]. 劉思圻.吉林大學(xué) 2015
[7]基于IDEF的通信產(chǎn)品并行開發(fā)過程建模及應(yīng)用[D]. 汪繼征.上海交通大學(xué) 2012
[8]電子商務(wù)環(huán)境下新疆番茄供應(yīng)鏈信息共享模式研究[D]. 高揚(yáng).石河子大學(xué) 2010
[9]基于Pi演算的Web服務(wù)組合的驗(yàn)證[D]. 靖紅葉.太原理工大學(xué) 2008
本文編號(hào):3727183
【文章頁(yè)數(shù)】:58 頁(yè)
【學(xué)位級(jí)別】:碩士
【部分圖文】:
MWB環(huán)境圖例
加載MWB文件第二步:在MWB中輸入env,可以看到所有的代理對(duì)象
顯示所有代理對(duì)象第三步:驗(yàn)證死鎖,輸入deadlocksCONS、EXPR、SUPP等步驟,驗(yàn)證流程中是否有死鎖現(xiàn)象發(fā)生
【參考文獻(xiàn)】:
期刊論文
[1]農(nóng)產(chǎn)品綠色供應(yīng)鏈流通模式構(gòu)建[J]. 楊浩軍. 商業(yè)經(jīng)濟(jì)研究. 2018(03)
[2]我國(guó)農(nóng)產(chǎn)品供應(yīng)鏈信息管理創(chuàng)新與應(yīng)用[J]. 謝曉芳. 改革與戰(zhàn)略. 2017(06)
[3]企業(yè)物流供應(yīng)鏈管理系統(tǒng)的結(jié)構(gòu)思考[J]. 馮雨桐. 物流工程與管理. 2014(12)
[4]供應(yīng)鏈管理中的運(yùn)籌學(xué)方法統(tǒng)述[J]. 黎晨,劉燁. 物流工程與管理. 2014(02)
[5]k-選擇網(wǎng)和Pi演算的表達(dá)能力[J]. 李向?qū)?郝克剛,郭小群. 計(jì)算機(jī)學(xué)報(bào). 2013(06)
[6]基于Pi-演算的供應(yīng)鏈節(jié)點(diǎn)企業(yè)行為的隨機(jī)分析[J]. 黃永濤,王剛,任秉銀,張浩云. 計(jì)算機(jī)集成制造系統(tǒng). 2013(01)
[7]UML建模技術(shù)的研究與應(yīng)用[J]. 翟亞紅,楊艷霞. 科技創(chuàng)業(yè)月刊. 2010(04)
[8]我國(guó)農(nóng)產(chǎn)品供應(yīng)鏈管理的研究進(jìn)展及趨勢(shì)[J]. 劉召云,孫世民,王繼勇. 商業(yè)研究. 2009(03)
[9]基于Pi演算的工作控制流模式研究[J]. 傅琴,潘孝銘. 福建電腦. 2008(10)
[10]借鑒國(guó)外成功經(jīng)驗(yàn) 提升我國(guó)農(nóng)產(chǎn)品供應(yīng)鏈的管理能力[J]. 李軍民,朱有志,曾福生. 江蘇農(nóng)業(yè)科學(xué). 2007(02)
博士論文
[1]考慮損耗控制的生鮮農(nóng)產(chǎn)品存儲(chǔ)問題及供應(yīng)鏈優(yōu)化研究[D]. 施浩然.西南交通大學(xué) 2016
[2]鮮活農(nóng)產(chǎn)品供應(yīng)鏈價(jià)格風(fēng)險(xiǎn)生成機(jī)理與管理機(jī)制研究[D]. 趙辛.西南大學(xué) 2013
[3]核心企業(yè)的供應(yīng)鏈融資運(yùn)作機(jī)制研究[D]. 張睿.武漢理工大學(xué) 2013
[4]基于供應(yīng)鏈協(xié)同的電信運(yùn)營(yíng)商庫(kù)存模型研究[D]. 張小軍.北京郵電大學(xué) 2013
[5]多式聯(lián)運(yùn)供應(yīng)鏈的協(xié)調(diào)與協(xié)同優(yōu)化研究[D]. 孫彬.南開大學(xué) 2013
[6]供應(yīng)鏈整合對(duì)企業(yè)績(jī)效影響的實(shí)證研究[D]. 馬文聰.華南理工大學(xué) 2012
[7]基于供應(yīng)鏈戰(zhàn)略協(xié)同的農(nóng)產(chǎn)品物流運(yùn)行機(jī)制研究[D]. 許金立.北京交通大學(xué) 2012
碩士論文
[1]農(nóng)產(chǎn)品供應(yīng)鏈成本控制方案研究[D]. 孫齊.安徽財(cái)經(jīng)大學(xué) 2017
[2]基于電商的生鮮農(nóng)產(chǎn)品供應(yīng)鏈運(yùn)作協(xié)調(diào)機(jī)制研究[D]. 聶改改.江南大學(xué) 2017
[3]基于Pi演算的靜態(tài)異構(gòu)調(diào)度算法研究與實(shí)現(xiàn)[D]. 費(fèi)慧萍.吉林大學(xué) 2017
[4]基于SSH架構(gòu)的辦公管理系統(tǒng)設(shè)計(jì)與實(shí)現(xiàn)[D]. 伍楚君.江西財(cái)經(jīng)大學(xué) 2016
[5]服務(wù)交互模式的形式化建模與應(yīng)用研究[D]. 劉亞亞.北方民族大學(xué) 2016
[6]基于Pi演算的新型分布式通信模型[D]. 劉思圻.吉林大學(xué) 2015
[7]基于IDEF的通信產(chǎn)品并行開發(fā)過程建模及應(yīng)用[D]. 汪繼征.上海交通大學(xué) 2012
[8]電子商務(wù)環(huán)境下新疆番茄供應(yīng)鏈信息共享模式研究[D]. 高揚(yáng).石河子大學(xué) 2010
[9]基于Pi演算的Web服務(wù)組合的驗(yàn)證[D]. 靖紅葉.太原理工大學(xué) 2008
本文編號(hào):3727183
本文鏈接:http://sikaile.net/projectlw/xtxlw/3727183.html
最近更新
教材專著