基于Pi演算的SCM系统建模与验证研究

发布时间：2023-01-01 16:23

　　供应链管理（SCM）的目的是通过对供应链各个环节活动的协调,将物流、资金流、信息流的有效整合,从而实现库存降低、快速响应顾客需求、柔性和敏捷性增加,缩短生产周期、降低企业运营成本的目的,为用户提供优质高效的服务。本文对某农产品公司的业务流程进行重新梳理,重点对整体业务流程及采购、库存管理进行深入研究。本文结合SCM的相关特点,对农产品供应链进行了信息化改造,实现了农产品供应商、农户与企业内部管理的信息化统一管理,有效的提高了整个供应链上信息流、物流、资金流的有效流动,提高了企业应对市场的能力。同时提出了一种基于Pi演算的方法来形式化并且验证MWB编码,该方法可以保证SCM系统研究开发的正确性以降低后期开发过程中不必要的开销。介绍了农产品SCM系统的整体设计,包括系统业务的基本功能描述及设计方案。应用SSH框架实现了软件基本功能,同时进行了系统测试,验证了系统的稳定性、安全性。本文的研究对解决某农产品公司当前运营成本高、流通效率低下等诸多问题具有重要的参考价值,同时可以提高农产品供应链的管理水平,在一定程度上能够提高某公司适应市场的能力,增加在行业中的竞争力。 

【文章页数】：58 页

【学位级别】：硕士

【部分图文】：

MWB环境图例

加载MWB文件第二步：在MWB中输入env，可以看到所有的代理对象

显示所有代理对象第三步：验证死锁，输入deadlocksCONS、EXPR、SUPP等步骤，验证流程中是否有死锁现象发生

【参考文献】：
期刊论文
[1]农产品绿色供应链流通模式构建[J]. 杨浩军.  商业经济研究. 2018(03)
[2]我国农产品供应链信息管理创新与应用[J]. 谢晓芳.  改革与战略. 2017(06)
[3]企业物流供应链管理系统的结构思考[J]. 冯雨桐.  物流工程与管理. 2014(12)
[4]供应链管理中的运筹学方法统述[J]. 黎晨,刘烨.  物流工程与管理. 2014(02)
[5]k-选择网和Pi演算的表达能力[J]. 李向宁,郝克刚,郭小群.  计算机学报. 2013(06)
[6]基于Pi-演算的供应链节点企业行为的随机分析[J]. 黄永涛,王刚,任秉银,张浩云.  计算机集成制造系统. 2013(01)
[7]UML建模技术的研究与应用[J]. 翟亚红,杨艳霞.  科技创业月刊. 2010(04)
[8]我国农产品供应链管理的研究进展及趋势[J]. 刘召云,孙世民,王继勇.  商业研究. 2009(03)
[9]基于Pi演算的工作控制流模式研究[J]. 傅琴,潘孝铭.  福建电脑. 2008(10)
[10]借鉴国外成功经验 提升我国农产品供应链的管理能力[J]. 李军民,朱有志,曾福生.  江苏农业科学. 2007(02)

博士论文
[1]考虑损耗控制的生鲜农产品存储问题及供应链优化研究[D]. 施浩然.西南交通大学 2016
[2]鲜活农产品供应链价格风险生成机理与管理机制研究[D]. 赵辛.西南大学 2013
[3]核心企业的供应链融资运作机制研究[D]. 张睿.武汉理工大学 2013
[4]基于供应链协同的电信运营商库存模型研究[D]. 张小军.北京邮电大学 2013
[5]多式联运供应链的协调与协同优化研究[D]. 孙彬.南开大学 2013
[6]供应链整合对企业绩效影响的实证研究[D]. 马文聪.华南理工大学 2012
[7]基于供应链战略协同的农产品物流运行机制研究[D]. 许金立.北京交通大学 2012

硕士论文
[1]农产品供应链成本控制方案研究[D]. 孙齐.安徽财经大学 2017
[2]基于电商的生鲜农产品供应链运作协调机制研究[D]. 聂改改.江南大学 2017
[3]基于Pi演算的静态异构调度算法研究与实现[D]. 费慧萍.吉林大学 2017
[4]基于SSH架构的办公管理系统设计与实现[D]. 伍楚君.江西财经大学 2016
[5]服务交互模式的形式化建模与应用研究[D]. 刘亚亚.北方民族大学 2016
[6]基于Pi演算的新型分布式通信模型[D]. 刘思圻.吉林大学 2015
[7]基于IDEF的通信产品并行开发过程建模及应用[D]. 汪继征.上海交通大学 2012
[8]电子商务环境下新疆番茄供应链信息共享模式研究[D]. 高扬.石河子大学 2010
[9]基于Pi演算的Web服务组合的验证[D]. 靖红叶.太原理工大学 2008



本文编号：3727183