Research on The Location Planning and Optimization of Express Delivery Service based on Probabilistic Model Checking: A Computing and Improvement Perspective

臺灣期刊 學校系所學協會民間出版

大陸/海外期刊 政府機關學校系所學協會民間出版

DOI查詢服務 DOI註冊服務


篇名	Research on The Location Planning and Optimization of Express Delivery Service based on Probabilistic Model Checking: A Computing and Improvement Perspective
並列篇名	Research on The Location Planning and Optimization of Express Delivery Service based on Probabilistic Model Checking: A Computing and Improvement Perspective
作者	Yonghua Zhu、Xiaoyi Xue、Kai Zhang、Shunyi Mao
起訖頁	143-161
關鍵詞	DTMC、location planning and optimization、PCTL、PRISM、probabilistic model checking
刊名	電腦學刊
期數	201906 (30:3期)
DOI	10.3966/199115992019063003011 複製DOI
QR Code
該期刊上一篇	An optimized Speculative Execution Strategy Based on Local Data Prediction in Heterogeneous Hadoop Environment
該期刊下一篇	A Novel Fuzzy Clustering Approach Based on Breadth-first Search Algorithm