基于進(jìn)程代數(shù)的DSS模型系統(tǒng)建模與實(shí)現(xiàn)
本文選題:決策支持系統(tǒng) + 模型 ; 參考:《管理科學(xué)學(xué)報(bào)》2003年02期
【摘要】:把進(jìn)程代數(shù)(processalgebra,PA)引入DSS模型系統(tǒng)建模,提出一種新的DSS模型建模理論體系———DSS模型代數(shù),它可以描述模型之間激發(fā)、選擇、重復(fù)、同步和并發(fā)等行為.建立了基于DSS模型代數(shù)的模型系統(tǒng)與組件模型的對(duì)應(yīng)關(guān)系,提出了基于組件技術(shù)的模型系統(tǒng)實(shí)現(xiàn)方法,并通過一個(gè)實(shí)例給出實(shí)現(xiàn)方法的具體應(yīng)用.
[Abstract]:This paper introduces process algebra into DSS model system modeling, and presents a new DSS model modeling theory system, which can describe the behaviors of excitation, selection, repetition, synchronization and concurrency among models. The corresponding relationship between the model system based on DSS model algebra and the component model is established, and the implementation method of the model system based on component technology is put forward, and the concrete application of the implementation method is given through an example.
【作者單位】: 北方工業(yè)大學(xué)信息工程學(xué)院 北方工業(yè)大學(xué)信息工程學(xué)院
【分類號(hào)】:C931
【參考文獻(xiàn)】
相關(guān)期刊論文 前1條
1 陳世福,潘金貴,徐殿祥;智能決策支持系統(tǒng)NUIDSS的設(shè)計(jì)與實(shí)現(xiàn)[J];軟件學(xué)報(bào);1994年06期
【共引文獻(xiàn)】
相關(guān)期刊論文 前10條
1 耿正;;基于數(shù)據(jù)挖掘的智能決策支持系統(tǒng)[J];雞西大學(xué)學(xué)報(bào);2006年04期
2 陳氫;幾種新型決策支持系統(tǒng)的比較研究[J];情報(bào)科學(xué);2005年01期
3 李雪峰,劉魯,王曉云;基于XML決策支持系統(tǒng)決策模型共享機(jī)制的研究[J];計(jì)算機(jī)集成制造系統(tǒng)-CIMS;2004年08期
4 韓祥蘭,吳慧中,陳圣磊;基于多Agent的分布式模型管理與組合方法[J];計(jì)算機(jī)集成制造系統(tǒng)-CIMS;2004年S1期
5 徐冬芳,劉小輝,鄧飛其;互聯(lián)網(wǎng)上的智能lz策支持系統(tǒng)[J];電腦與電信;2004年Z2期
6 王君,樊治平;一種基于組件技術(shù)的專家系統(tǒng)構(gòu)建框架[J];東北大學(xué)學(xué)報(bào)(自然科學(xué)版);2003年05期
7 付成偉,李紅宇;防汛會(huì)商決策支持系統(tǒng)實(shí)現(xiàn)方法[J];測繪科學(xué);2004年03期
8 楊馳;;GIS空間分析建模構(gòu)想[J];測繪通報(bào);2006年11期
9 李凡生;決策支持系統(tǒng)新方向-智能決策支持系統(tǒng)[J];東北電力學(xué)院學(xué)報(bào);2001年04期
10 李暉,唐新蓬,湯庸;工資管理與計(jì)算機(jī)智能決策支持系統(tǒng)[J];廣東工業(yè)大學(xué)學(xué)報(bào)(社會(huì)科學(xué)版);2002年03期
相關(guān)會(huì)議論文 前1條
1 王貫中;王少平;蔣大和;;基于GIS的決策支持系統(tǒng)在生態(tài)市規(guī)劃中的應(yīng)用及設(shè)計(jì)[A];2005中國可持續(xù)發(fā)展論壇——中國可持續(xù)發(fā)展研究會(huì)2005年學(xué)術(shù)年會(huì)論文集(下冊(cè))[C];2005年
相關(guān)博士學(xué)位論文 前10條
1 王勇;基于MIS和GIS的船岸信息系統(tǒng)研究[D];上海海事大學(xué);2006年
2 阮景奎;汽車覆蓋件模具高速切削加工過程的數(shù)值模擬與關(guān)鍵工藝技術(shù)研究[D];浙江大學(xué);2007年
3 史志富;基于貝葉斯網(wǎng)絡(luò)的UCAV編隊(duì)對(duì)地攻擊智能決策研究[D];西北工業(yè)大學(xué);2007年
4 王征;車輛路徑問題的知識(shí)表示及智能建模方法研究[D];大連理工大學(xué);2007年
5 陸能枝;核應(yīng)急決策支持系統(tǒng)的框架結(jié)構(gòu)及模糊決策方法在評(píng)估子系統(tǒng)的應(yīng)用[D];中國原子能科學(xué)研究院;2001年
6 章牧;東南沿海地區(qū)特色農(nóng)業(yè)評(píng)價(jià)與信息技術(shù)示范[D];福建師范大學(xué);2002年
7 薄濤;格斗空戰(zhàn)行為建模技術(shù)研究[D];國防科學(xué)技術(shù)大學(xué);2002年
8 高長元;基于Internet高新技術(shù)產(chǎn)品評(píng)價(jià)群決策支持系統(tǒng)研究[D];哈爾濱工程大學(xué);2002年
9 孟軍;農(nóng)業(yè)生產(chǎn)宏觀決策支持系統(tǒng)的研究及實(shí)證分析[D];東北農(nóng)業(yè)大學(xué);2002年
10 李琪;集成化鉆井智能決策支持系統(tǒng)的理論與應(yīng)用研究[D];西南石油學(xué)院;2002年
相關(guān)碩士學(xué)位論文 前10條
1 赫永霞;海上搜救決策支持系統(tǒng)的研究與開發(fā)[D];大連海事大學(xué);2008年
2 張可新;基于數(shù)據(jù)倉庫的企業(yè)運(yùn)營決策支持系統(tǒng)[D];吉林大學(xué);2007年
3 王濤;基于DFL的財(cái)務(wù)決策支持系統(tǒng)設(shè)計(jì)與研究[D];蘇州大學(xué);2006年
4 周鵬;商業(yè)銀行信用風(fēng)險(xiǎn)預(yù)警模型及支持系統(tǒng)研究[D];華中科技大學(xué);2006年
5 劉博;保險(xiǎn)數(shù)據(jù)倉庫系統(tǒng)的構(gòu)建及其應(yīng)用[D];大慶石油學(xué)院;2007年
6 魏倩倩;網(wǎng)格環(huán)境下基于移動(dòng)Agent的開放式DSS分析與設(shè)計(jì)[D];華中科技大學(xué);2006年
7 呂盡軒;基于MULTI-AGENT的電子商務(wù)自動(dòng)談判[D];北京工業(yè)大學(xué);2007年
8 劉敏;車輛裝備保障輔助決策支持系統(tǒng)研究[D];南京理工大學(xué);2007年
9 方國斌;基于VB的上海農(nóng)場水稻標(biāo)準(zhǔn)化生產(chǎn)管理信息系統(tǒng)研究與開發(fā)[D];揚(yáng)州大學(xué);2006年
10 楊芳;連鎖經(jīng)營企業(yè)物流配送網(wǎng)絡(luò)優(yōu)化決策[D];揚(yáng)州大學(xué);2007年
【相似文獻(xiàn)】
相關(guān)期刊論文 前2條
1 ;勇攀計(jì)算機(jī)科學(xué)理論新高峰——記“并發(fā)進(jìn)程的代數(shù)理論及驗(yàn)證工具”項(xiàng)目主要完成人林惠民研究員[J];中國科技獎(jiǎng)勵(lì);2000年02期
2 孫晶,趙會(huì)群;基于進(jìn)程代數(shù)的DSS模型系統(tǒng)建模與實(shí)現(xiàn)[J];管理科學(xué)學(xué)報(bào);2003年02期
相關(guān)會(huì)議論文 前4條
1 金巖;楊孝宗;;移動(dòng)計(jì)算的發(fā)展及形式化表示[A];第11屆全國計(jì)算機(jī)在現(xiàn)代科學(xué)技術(shù)領(lǐng)域應(yīng)用學(xué)術(shù)會(huì)議論文集[C];2003年
2 董笑菊;傅育熙;徐賢;;系統(tǒng)生物形式化模型研究綜述[A];2005年全國理論計(jì)算機(jī)科學(xué)學(xué)術(shù)年會(huì)論文集[C];2005年
3 董笑菊;倪佳華;傅育熙;;用進(jìn)程演算建模生物化學(xué)反應(yīng)過程[A];2006年全國理論計(jì)算機(jī)科學(xué)學(xué)術(shù)年會(huì)論文集[C];2006年
4 黃銀強(qiáng);鐘發(fā)榮;;非對(duì)稱X-演算的符號(hào)互模擬驗(yàn)證算法[A];2006年全國開放式分布與并行計(jì)算學(xué)術(shù)會(huì)議論文集(一)[C];2006年
相關(guān)博士學(xué)位論文 前4條
1 劉劍;傳值進(jìn)程與移動(dòng)進(jìn)程的模型檢測方法[D];中國科學(xué)院研究生院(軟件研究所);2005年
2 蔣建民;對(duì)稱與動(dòng)作細(xì)化[D];中國科學(xué)院研究生院(成都計(jì)算機(jī)應(yīng)用研究所);2006年
3 許雪琦;分布式智能化狀態(tài)監(jiān)測與故障診斷系統(tǒng)的設(shè)計(jì)與研究[D];天津大學(xué);2004年
4 余萬濤;基于Agent的移動(dòng)計(jì)算及其安全性研究[D];上海交通大學(xué);2007年
相關(guān)碩士學(xué)位論文 前10條
1 李益昌;形式描述技術(shù)LOTOS及其在實(shí)時(shí)系統(tǒng)的擴(kuò)展和應(yīng)用[D];廣東工業(yè)大學(xué);2004年
2 曲揚(yáng);基于Petri網(wǎng)的工作流建模和分析方法研究[D];清華大學(xué);2004年
3 鄧維佳;一種擴(kuò)展的并發(fā)傳值進(jìn)程抽象模型[D];中國科學(xué)院研究生院(軟件研究所);2005年
4 楊琛;基于進(jìn)程代數(shù)并發(fā)系統(tǒng)的建模與驗(yàn)證研究[D];西北大學(xué);2006年
5 張晉津;λ-互模擬的研究[D];南京航空航天大學(xué);2005年
6 劉同波;基于可信計(jì)算平臺(tái)的安全協(xié)議關(guān)鍵技術(shù)的研究與實(shí)現(xiàn)[D];國防科學(xué)技術(shù)大學(xué);2005年
7 黃銀強(qiáng);非對(duì)稱X~≠-演算符號(hào)互模擬驗(yàn)證[D];浙江師范大學(xué);2006年
8 安靖;基于擴(kuò)展CSP模型的安全協(xié)議分析技術(shù)研究[D];解放軍信息工程大學(xué);2006年
9 濮陽;生物過程的形式化建模及仿真[D];上海交通大學(xué);2007年
10 浦潔;基于Pi演算的Web服務(wù)組合模型與WSDL轉(zhuǎn)換[D];吉林大學(xué);2007年
,本文編號(hào):1779420
本文鏈接:http://www.sikaile.net/guanlilunwen/yunyingzuzhiguanlilunwen/1779420.html