本文關(guān)鍵詞：基于擴(kuò)展進(jìn)程代數(shù)的云制造服務(wù)組合建模與QoS評(píng)價(jià)

  更多相關(guān)文章： 進(jìn)程代數(shù) 云制造 服務(wù)組合 服務(wù)質(zhì)量 形式化驗(yàn)證

【摘要】：為解決云制造服務(wù)組合建模與形式化驗(yàn)證問題,在Web服務(wù)編制演算的基礎(chǔ)上提出一種擴(kuò)展了服務(wù)質(zhì)量信息的進(jìn)程代數(shù)XPC4CMSC,給出了XPC4CMSC的語法、操作語義,建立了順序組合、并發(fā)組合、選擇組合的活動(dòng)圖與XPC4CMSC描述模型,計(jì)算了三種服務(wù)組合執(zhí)行的響應(yīng)時(shí)間、執(zhí)行費(fèi)用、可靠性、可用性、物流時(shí)間和物流費(fèi)用。給出了服務(wù)質(zhì)量評(píng)價(jià)算法與服務(wù)組合的形式化驗(yàn)證方案,通過一個(gè)柔性多車間調(diào)度問題展示了該方案的執(zhí)行過程。示例研究表明,基于XPC4CMSC的云制造服務(wù)組合建模及形式化驗(yàn)證方案是可行的。
【作者單位】： 華南理工大學(xué)機(jī)械與汽車工程學(xué)院;吉林大學(xué)汽車仿真與控制國(guó)家重點(diǎn)實(shí)驗(yàn)室;
【基金】：國(guó)家自然科學(xué)基金資助項(xiàng)目(51175187) 國(guó)家863計(jì)劃資助項(xiàng)目(2007AA04Z111) 汽車仿真與控制國(guó)家重點(diǎn)實(shí)驗(yàn)室資助項(xiàng)目(20121112)~~
【分類號(hào)】：TP393.09
【正文快照】： 0引言近年來,制造業(yè)與高新技術(shù)的融合變得愈加迅速和緊密。為提高企業(yè)的核心競(jìng)爭(zhēng)力,加強(qiáng)企業(yè)對(duì)市場(chǎng)需求的快速響應(yīng)能力,國(guó)內(nèi)外學(xué)者對(duì)面向服務(wù)的制造進(jìn)行了探索研究,形成了不同稱謂的制造模式,如英國(guó)的產(chǎn)品服務(wù)系統(tǒng)(product service sys-tem)[1]、美國(guó)的基于服務(wù)制造(service-b

【參考文獻(xiàn)】

中國(guó)期刊全文數(shù)據(jù)庫 前5條

1 李伯虎;張霖;王時(shí)龍;陶飛;曹軍威;姜曉丹;宋曉;柴旭東;;云制造——面向服務(wù)的網(wǎng)絡(luò)化制造新模式[J];計(jì)算機(jī)集成制造系統(tǒng);2010年01期

2 陶飛;張霖;郭華;羅永亮;任磊;;云制造特征及云服務(wù)組合關(guān)鍵問題研究[J];計(jì)算機(jī)集成制造系統(tǒng);2011年03期

3 劉衛(wèi)寧;李一鳴;劉波;;基于自適應(yīng)粒子群算法的制造云服務(wù)組合研究[J];計(jì)算機(jī)應(yīng)用;2012年10期

4 羅軍舟;金嘉暉;宋愛波;東方;;云計(jì)算:體系架構(gòu)與關(guān)鍵技術(shù)[J];通信學(xué)報(bào);2011年07期

5 孫林巖;李剛;江志斌;鄭力;何哲;;21世紀(jì)的先進(jìn)制造模式——服務(wù)型制造[J];中國(guó)機(jī)械工程;2007年19期

【共引文獻(xiàn)】

中國(guó)期刊全文數(shù)據(jù)庫 前10條

1 王凌;孫林巖;馮泰文;;服務(wù)型制造企業(yè)供應(yīng)商選擇研究[J];商業(yè)研究;2010年02期

2 顧新建;陳芨熙;紀(jì)楊建;祁國(guó)寧;彭維;;云制造中的成組技術(shù)[J];成組技術(shù)與生產(chǎn)現(xiàn)代化;2010年03期

3 佘再玲;;論中國(guó)裝備制造企業(yè)的服務(wù)化轉(zhuǎn)型[J];當(dāng)代經(jīng)濟(jì);2011年21期

4 孫傳明;路紅;廖龍龍;;基于云操作系統(tǒng)的網(wǎng)絡(luò)互動(dòng)學(xué)習(xí)平臺(tái)開發(fā)研究[J];中國(guó)遠(yuǎn)程教育;2012年06期

5 申超群;李東方;;面向中小企業(yè)的云制造應(yīng)用[J];電腦知識(shí)與技術(shù);2011年15期

6 王杰;;基于云計(jì)算的實(shí)驗(yàn)機(jī)房解決方案[J];電腦知識(shí)與技術(shù);2011年31期

7 張德存;;中國(guó)發(fā)展服務(wù)型制造業(yè)面臨的問題與對(duì)策[J];對(duì)外經(jīng)貿(mào)實(shí)務(wù);2010年04期

8 許知博;劉釗;;基于云計(jì)算的工廠信息監(jiān)測(cè)系統(tǒng)設(shè)計(jì)[J];電子科技;2012年05期

9 齊二石;石學(xué)剛;李曉梅;;現(xiàn)代制造服務(wù)業(yè)研究綜述[J];工業(yè)工程;2010年05期

10 張霖;任磊;陶飛;;復(fù)雜產(chǎn)品制造數(shù)字化集成平臺(tái)技術(shù)[J];國(guó)防制造技術(shù);2010年04期

中國(guó)重要會(huì)議論文全文數(shù)據(jù)庫 前10條

1 汪云鳳;李心科;;云服務(wù)環(huán)境下的服務(wù)聚合方法研究[A];2011中國(guó)儀器儀表與測(cè)控技術(shù)大會(huì)論文集[C];2011年

2 何博;田寧;;云計(jì)算技術(shù)專利初步分析及建議——基于專利統(tǒng)計(jì)分析的申請(qǐng)策略建議和基于實(shí)例評(píng)析的撰寫注意事項(xiàng)[A];發(fā)展知識(shí)產(chǎn)權(quán)服務(wù)業(yè)，支撐創(chuàng)新型國(guó)家建設(shè)-2012年中華全國(guó)專利代理人協(xié)會(huì)年會(huì)第三屆知識(shí)產(chǎn)權(quán)論壇論文選編(第二部分)[C];2011年

3 程勖;孫福權(quán);劉超;張達(dá)偉;;基于云計(jì)算的校企合作平臺(tái)設(shè)計(jì)與研究[A];2011年全國(guó)電子信息技術(shù)與應(yīng)用學(xué)術(shù)會(huì)議論文集[C];2011年

4 ;Typical Cloud Computing System Design[A];Information Technology and Computer Science—Proceedings of 2012 National Conference on Information Technology and Computer Science[C];2012年

5 關(guān)亞東;;財(cái)經(jīng)傳媒數(shù)據(jù)中心的發(fā)展趨勢(shì)[A];中國(guó)新聞技術(shù)工作者聯(lián)合會(huì)2013年學(xué)術(shù)年會(huì)、五屆五次理事會(huì)暨第六屆“王選新聞科學(xué)技術(shù)獎(jiǎng)”和優(yōu)秀論文獎(jiǎng)?lì)C獎(jiǎng)大會(huì)論文集（廣電篇）[C];2013年

6 LI Yongxiang;YAO Xifan;ZHANG Jie;LI Bin;;Cloud Manufacturing Service Composition Modeling and Formal Verification Based on Calculus for Orchestration of Web Service[A];第25屆中國(guó)控制與決策會(huì)議論文集[C];2013年

7 王慶龍;王智學(xué);朱衛(wèi)星;陳彬;朱宗科;;一種模糊擴(kuò)展的C~4ISR系統(tǒng)效能需求建模與分析方法[A];2013第一屆中國(guó)指揮控制大會(huì)論文集[C];2013年

8 劉海光;潘毅;李立新;;基于云計(jì)算的智能電網(wǎng)經(jīng)濟(jì)調(diào)度研究[A];2013年中國(guó)電機(jī)工程學(xué)會(huì)年會(huì)論文集[C];2013年

9 趙天然;劉陳榮;;基于云計(jì)算技術(shù)的企業(yè)門戶[A];2013電力行業(yè)信息化年會(huì)論文集[C];2013年

10 司煒;;IT支撐系統(tǒng)云計(jì)算資源池實(shí)現(xiàn)研究[A];2013年中國(guó)通信學(xué)會(huì)信息通信網(wǎng)絡(luò)技術(shù)委員會(huì)年會(huì)論文集[C];2013年

中國(guó)博士學(xué)位論文全文數(shù)據(jù)庫 前10條

1 徐文君;面向制造的網(wǎng)絡(luò)服務(wù)質(zhì)量相關(guān)理論和關(guān)鍵技術(shù)研究[D];武漢理工大學(xué);2010年

2 李曉;企業(yè)產(chǎn)品服務(wù)系統(tǒng)價(jià)值流理論與方法研究[D];浙江大學(xué);2010年

3 魯付俊;供需鏈環(huán)境下轎車制造模式與物流系統(tǒng)研究[D];合肥工業(yè)大學(xué);2011年

4 沈鐵松;制造企業(yè)產(chǎn)品延伸服務(wù)的投資與定價(jià)策略[D];重慶大學(xué);2010年

5 龍躍;基于服務(wù)型制造的汽車零部件供應(yīng)商服務(wù)博弈及優(yōu)化研究[D];重慶大學(xué);2010年

6 李文川;汽車制造企業(yè)RFID采納過程模型及應(yīng)用問題研究[D];重慶大學(xué);2011年

7 林云;汽車物流服務(wù)供應(yīng)鏈體系構(gòu)建與應(yīng)用研究[D];重慶大學(xué);2011年

8 陳國(guó)榮;面向服務(wù)的滾齒機(jī)故障診斷模式及關(guān)鍵支撐技術(shù)研究[D];重慶大學(xué);2011年

9 張?jiān)诜?顧客需求驅(qū)動(dòng)的產(chǎn)品服務(wù)系統(tǒng)方案設(shè)計(jì)技術(shù)研究[D];上海交通大學(xué);2011年

10 代伊博;生產(chǎn)者服務(wù)業(yè)對(duì)制造業(yè)發(fā)展的作用及機(jī)制研究[D];武漢大學(xué);2011年

中國(guó)碩士學(xué)位論文全文數(shù)據(jù)庫 前10條

1 張?chǎng)斡?基于服務(wù)型制造理念的傳統(tǒng)制造業(yè)轉(zhuǎn)型研究[D];北京交通大學(xué);2011年

2 張曉蘭;虛擬組織視角下的制造企業(yè)服務(wù)價(jià)值創(chuàng)造研究[D];蘭州大學(xué);2011年

3 郭雷風(fēng);農(nóng)業(yè)科研云原型系統(tǒng)設(shè)計(jì)與應(yīng)用理論研究[D];中國(guó)農(nóng)業(yè)科學(xué)院;2011年

4 覃丹;網(wǎng)格技術(shù)在校園網(wǎng)中的設(shè)計(jì)與實(shí)現(xiàn)[D];電子科技大學(xué);2011年

5 杜博;基于價(jià)值鏈的制造業(yè)企業(yè)服務(wù)化實(shí)現(xiàn)路徑研究[D];哈爾濱工業(yè)大學(xué);2010年

6 吳斌;制造企業(yè)服務(wù)化轉(zhuǎn)型及其影響因素研究[D];哈爾濱工業(yè)大學(xué);2010年

7 王帥;服務(wù)型制造模式下混合供應(yīng)鏈重新配置問題的研究[D];上海交通大學(xué);2011年

8 王凱甲;基于解決方案的裝備制造企業(yè)服務(wù)轉(zhuǎn)型過程研究[D];河北大學(xué);2011年

9 李瑞;面向ICES-SSP的服務(wù)流程運(yùn)行管理與監(jiān)控系統(tǒng)的設(shè)計(jì)與實(shí)現(xiàn)[D];哈爾濱工業(yè)大學(xué);2011年

10 O@妲;基于顧客價(jià)值理論的個(gè)人電腦產(chǎn)品服務(wù)質(zhì)量研究[D];哈爾濱工業(yè)大學(xué);2011年

【二級(jí)參考文獻(xiàn)】

中國(guó)期刊全文數(shù)據(jù)庫 前10條

1 呂振肅,侯志榮;自適應(yīng)變異的粒子群優(yōu)化算法[J];電子學(xué)報(bào);2004年03期

2 顧乃華;畢斗斗;任旺兵;;中國(guó)轉(zhuǎn)型期生產(chǎn)性服務(wù)業(yè)發(fā)展與制造業(yè)競(jìng)爭(zhēng)力關(guān)系研究——基于面板數(shù)據(jù)的實(shí)證分析[J];中國(guó)工業(yè)經(jīng)濟(jì);2006年09期

3 李禎;楊放春;蘇森;;一種QoS感知的語義Web服務(wù)組合群決策算法[J];高技術(shù)通訊;2009年07期

4 孟祥中;楊玉中;鄧葉飛;;安全質(zhì)量標(biāo)準(zhǔn)化綜合評(píng)價(jià)的基于熵權(quán)的灰色關(guān)聯(lián)模型[J];河南科學(xué);2009年07期

5 沈根榮;;產(chǎn)業(yè)轉(zhuǎn)型:上海裝備制造業(yè)發(fā)展戰(zhàn)略探討[J];上海經(jīng)濟(jì)研究;2006年11期

6 顧乃華;畢斗斗;任旺兵;;生產(chǎn)性服務(wù)業(yè)與制造業(yè)互動(dòng)發(fā)展:文獻(xiàn)綜述[J];經(jīng)濟(jì)學(xué)家;2006年06期

7 李伯虎;張霖;王時(shí)龍;陶飛;曹軍威;姜曉丹;宋曉;柴旭東;;云制造——面向服務(wù)的網(wǎng)絡(luò)化制造新模式[J];計(jì)算機(jī)集成制造系統(tǒng);2010年01期

8 陶飛;張霖;郭華;羅永亮;任磊;;云制造特征及云服務(wù)組合關(guān)鍵問題研究[J];計(jì)算機(jī)集成制造系統(tǒng);2011年03期

9 鄭湃;崔立真;王海洋;徐猛;;云計(jì)算環(huán)境下面向數(shù)據(jù)密集型應(yīng)用的數(shù)據(jù)布局策略與方法[J];計(jì)算機(jī)學(xué)報(bào);2010年08期

10 鄭吉昌,夏晴;論生產(chǎn)性服務(wù)業(yè)的發(fā)展與分工的深化[J];科技進(jìn)步與對(duì)策;2005年02期

【相似文獻(xiàn)】

中國(guó)期刊全文數(shù)據(jù)庫 前10條

1 夏虹;李增智;;粒子群算法求解Web服務(wù)組合中基于QoS的服務(wù)選擇[J];北京郵電大學(xué)學(xué)報(bào);2009年04期

2 張繼東;余凡;李力;;語義動(dòng)態(tài)服務(wù)組合模型研究[J];湖北工業(yè)大學(xué)學(xué)報(bào);2009年02期

3 李勇軍;劉敏娟;;基于Pi-演算的服務(wù)組合正確性驗(yàn)證[J];軟件導(dǎo)刊;2009年07期

4 牛永潔;張成;;基于改進(jìn)蟻群算法的服務(wù)組合研究[J];計(jì)算技術(shù)與自動(dòng)化;2011年02期

5 陳彥萍;李增智;夏虹;朱海萍;;服務(wù)質(zhì)量驅(qū)動(dòng)的Web服務(wù)組合框架的設(shè)計(jì)與實(shí)現(xiàn)[J];北京郵電大學(xué)學(xué)報(bào);2006年S1期

6 鄭向宏;李院春;李增智;;支持語境約束的語用Web服務(wù)組合模型研究[J];電子科技大學(xué)學(xué)報(bào);2007年S3期

7 王雷;侯立佩;;具有QoS保證的分布式服務(wù)組合策略[J];電子技術(shù);2011年08期

8 王創(chuàng)偉;錢雪忠;;蟻群算法在Web服務(wù)組合問題中的應(yīng)用研究[J];計(jì)算機(jī)工程與設(shè)計(jì);2007年24期

9 張立敏;陳偉安;高春鳴;;基于QoS的自適應(yīng)控制中間件研究與應(yīng)用[J];電腦知識(shí)與技術(shù);2008年36期

10 肖芳雄;黃志球;曹子寧;袁敏;張君華;;基于價(jià)格進(jìn)程代數(shù)的Web服務(wù)組合描述和成本分析[J];計(jì)算機(jī)研究與發(fā)展;2009年05期

中國(guó)重要會(huì)議論文全文數(shù)據(jù)庫 前10條

1 張艷梅;;基于Petri網(wǎng)的web服務(wù)動(dòng)態(tài)組合方法[A];2006北京地區(qū)高校研究生學(xué)術(shù)交流會(huì)——通信與信息技術(shù)會(huì)議論文集（下）[C];2006年

2 陳彥萍;李增智;夏虹;朱海萍;;服務(wù)質(zhì)量驅(qū)動(dòng)的Web服務(wù)組合框架的設(shè)計(jì)與實(shí)現(xiàn)[A];2006年全國(guó)通信軟件學(xué)術(shù)會(huì)議論文集[C];2006年

3 張艷;王月輝;;基于SERVQUAL模型的中國(guó)工商銀行服務(wù)質(zhì)量實(shí)證研究[A];中國(guó)高等院校市場(chǎng)學(xué)研究會(huì)2009年年會(huì)論文集[C];2009年

4 李丹荔;毛玉明;馬立香;;在MPLS VPN中支持QoS的分析[A];2006中國(guó)西部青年通信學(xué)術(shù)會(huì)議論文集[C];2006年

5 文煒;;民辦高校圖書館讀者服務(wù)層次定位的思考[A];拓展與深化——全國(guó)民辦高校圖書館與圖書館地方文獻(xiàn)工作研討會(huì)論文集[C];2005年

6 衛(wèi)雙囤;;關(guān)于病案信息為新型農(nóng)村合作醫(yī)療服務(wù)的思考[A];中國(guó)醫(yī)院協(xié)會(huì)病案管理專業(yè)委員會(huì)第15屆全國(guó)病案管理學(xué)術(shù)會(huì)議論文集[C];2006年

7 戴弘;柴玉忠;;樹立動(dòng)車良好形象 打造一流服務(wù)水平——關(guān)于提高動(dòng)車組服務(wù)質(zhì)量的調(diào)研報(bào)告[A];河南省鐵道學(xué)會(huì)2007年學(xué)術(shù)活動(dòng)月優(yōu)秀論文選集[C];2007年

8 戴弘;柴玉忠;;樹立動(dòng)車良好形象 打造一流服務(wù)水平——關(guān)于提高動(dòng)車組服務(wù)質(zhì)量的調(diào)研報(bào)告[A];河南省鐵道學(xué)會(huì)2007年學(xué)術(shù)活動(dòng)月優(yōu)秀論文集[C];2007年

9 劉武;劉德明;朱光喜;胡保民;;以太無源光網(wǎng)絡(luò)動(dòng)態(tài)帶寬分配算法研究[A];2006年全國(guó)光電技術(shù)學(xué)術(shù)交流會(huì)會(huì)議文集（D 光電信息處理技術(shù)專題）[C];2006年

10 謝燕霞;;淺析如何以服務(wù)塑造電信品牌[A];2007中國(guó)科協(xié)年會(huì)——通信與信息發(fā)展高層論壇論文集[C];2007年

中國(guó)重要報(bào)紙全文數(shù)據(jù)庫 前10條

1 特約記者 陳才銀 劉德茂 記者 王愛華;拓寬服務(wù)范圍 提高服務(wù)質(zhì)量[N];中國(guó)老年報(bào);2004年

2 本報(bào)記者 李智勇;“我們的優(yōu)勢(shì)就是服務(wù)質(zhì)量”[N];華東旅游報(bào);2000年

3 ;中國(guó)電信今年上半年服務(wù)質(zhì)量狀況報(bào)告[N];人民郵電;2001年

4 記者　鵬玉;優(yōu)化市場(chǎng)環(huán)境 提高服務(wù)質(zhì)量 建設(shè)誠信體系[N];承德日?qǐng)?bào);2006年

5 記者 劉葆華邋通訊員 孫紅良 葉晶;服務(wù)好不好 旅客說了算[N];中國(guó)民航報(bào);2007年

6 陳萍;提高服務(wù)質(zhì)量 沒有標(biāo)準(zhǔn)不行[N];中國(guó)質(zhì)量報(bào);2006年

7 林靖;市長(zhǎng)暗訪公交挑“毛病”想對(duì)策[N];福州日?qǐng)?bào);2007年

8 李廣厚;黑河殯儀館強(qiáng)硬件建設(shè) 升服務(wù)質(zhì)量[N];黑河日?qǐng)?bào);2007年

9 記者　 蘇中宇;哈爾濱城市服務(wù)質(zhì)量得75分[N];黑龍江日?qǐng)?bào);2006年

10 章偉勝;他們視服務(wù)質(zhì)量為第一生命[N];中國(guó)紀(jì)檢監(jiān)察報(bào);2006年

中國(guó)博士學(xué)位論文全文數(shù)據(jù)庫 前10條

1 龔小勇;基于QoS的Web服務(wù)發(fā)現(xiàn)與組合方法研究[D];重慶大學(xué);2008年

2 向峰;云制造系統(tǒng)中基于能耗的服務(wù)組合關(guān)鍵技術(shù)研究[D];武漢理工大學(xué);2013年

3 劉波;云制造環(huán)境中面向多任務(wù)的服務(wù)組合與優(yōu)化技術(shù)研究[D];重慶大學(xué);2012年

4 龍軍;基于信任感知與演化的服務(wù)組合關(guān)鍵技術(shù)研究[D];中南大學(xué);2011年

5 朱銳;可信服務(wù)組合若干關(guān)鍵技術(shù)研究[D];國(guó)防科學(xué)技術(shù)大學(xué);2009年

6 史立;空間數(shù)據(jù)通信與組網(wǎng)技術(shù)研究[D];中國(guó)科學(xué)院研究生院（計(jì)算技術(shù)研究所）;2006年

7 茍定勇;無線多媒體網(wǎng)絡(luò)服務(wù)質(zhì)量關(guān)鍵技術(shù)研究[D];電子科技大學(xué);2004年

8 劉安豐;基于QoS的分布式Web服務(wù)結(jié)構(gòu)模型及其關(guān)鍵技術(shù)研究[D];中南大學(xué);2005年

9 胡子祥;高等教育顧客感知服務(wù)質(zhì)量的實(shí)證研究[D];西南交通大學(xué);2007年

10 吳釗;保證服務(wù)質(zhì)量的動(dòng)態(tài)Web服務(wù)組合及其性能分析研究[D];武漢大學(xué);2007年

中國(guó)碩士學(xué)位論文全文數(shù)據(jù)庫 前10條

1 魯琳;面向服務(wù)質(zhì)量的服務(wù)組合方法研究[D];浙江大學(xué);2006年

2 單寶寧;Web服務(wù)組合的研究與應(yīng)用—服務(wù)組合中的QoS管理模型[D];江南大學(xué);2008年

3 李延紅;基于Pi演算的Web服務(wù)組合技術(shù)研究[D];山東經(jīng)濟(jì)學(xué)院;2011年

4 丁衛(wèi)東;基于QoS的Web服務(wù)組合優(yōu)化選取問題研究[D];曲阜師范大學(xué);2011年

5 宮雪強(qiáng);基于行為的Web服務(wù)相容性與可替換性研究[D];華東師范大學(xué);2010年

6 秦佳;服務(wù)組合中基于混合QoS模型的服務(wù)選擇研究[D];重慶大學(xué);2010年

7 袁東維;基于SLA的語義Web服務(wù)組合[D];陜西師范大學(xué);2010年

8 杜志文;基于動(dòng)態(tài)工作流的面向服務(wù)企業(yè)應(yīng)用集成研究[D];廈門大學(xué);2007年

9 劉許偉;基于動(dòng)態(tài)工作流的自適應(yīng)Web服務(wù)組合[D];河北大學(xué);2011年

10 武海峰;基于OWL-S的動(dòng)態(tài)服務(wù)組合的改進(jìn)的研究[D];江南大學(xué);2007年

，

本文編號(hào)：1238982