本文選題：決策支持系統(tǒng) + 模型��； 參考：《管理科學學報》2003年02期

【摘要】：把進程代數(processalgebra,PA)引入DSS模型系統(tǒng)建模,提出一種新的DSS模型建模理論體系———DSS模型代數,它可以描述模型之間激發(fā)、選擇、重復、同步和并發(fā)等行為.建立了基于DSS模型代數的模型系統(tǒng)與組件模型的對應關系,提出了基于組件技術的模型系統(tǒng)實現(xiàn)方法,并通過一個實例給出實現(xiàn)方法的具體應用.
[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è)大學信息工程學院 北方工業(yè)大學信息工程學院
【分類號】：C931

【參考文獻】

相關期刊論文 前1條

1 陳世福，潘金貴，徐殿祥;智能決策支持系統(tǒng)NUIDSS的設計與實現(xiàn)[J];軟件學報;1994年06期

【共引文獻】

相關期刊論文 前10條

1 耿正;;基于數據挖掘的智能決策支持系統(tǒng)[J];雞西大學學報;2006年04期

2 陳氫;幾種新型決策支持系統(tǒng)的比較研究[J];情報科學;2005年01期

3 李雪峰,劉魯,王曉云;基于XML決策支持系統(tǒng)決策模型共享機制的研究[J];計算機集成制造系統(tǒng)-CIMS;2004年08期

4 韓祥蘭,吳慧中,陳圣磊;基于多Agent的分布式模型管理與組合方法[J];計算機集成制造系統(tǒng)-CIMS;2004年S1期

5 徐冬芳,劉小輝,鄧飛其;互聯(lián)網上的智能lz策支持系統(tǒng)[J];電腦與電信;2004年Z2期

6 王君,樊治平;一種基于組件技術的專家系統(tǒng)構建框架[J];東北大學學報(自然科學版);2003年05期

7 付成偉,李紅宇;防汛會商決策支持系統(tǒng)實現(xiàn)方法[J];測繪科學;2004年03期

8 楊馳;;GIS空間分析建模構想[J];測繪通報;2006年11期

9 李凡生;決策支持系統(tǒng)新方向-智能決策支持系統(tǒng)[J];東北電力學院學報;2001年04期

10 李暉,唐新蓬,湯庸;工資管理與計算機智能決策支持系統(tǒng)[J];廣東工業(yè)大學學報(社會科學版);2002年03期

相關會議論文 前1條

1 王貫中;王少平;蔣大和;;基于GIS的決策支持系統(tǒng)在生態(tài)市規(guī)劃中的應用及設計[A];2005中國可持續(xù)發(fā)展論壇——中國可持續(xù)發(fā)展研究會2005年學術年會論文集（下冊）[C];2005年

相關博士學位論文 前10條

1 王勇;基于MIS和GIS的船岸信息系統(tǒng)研究[D];上海海事大學;2006年

2 阮景奎;汽車覆蓋件模具高速切削加工過程的數值模擬與關鍵工藝技術研究[D];浙江大學;2007年

3 史志富;基于貝葉斯網絡的UCAV編隊對地攻擊智能決策研究[D];西北工業(yè)大學;2007年

4 王征;車輛路徑問題的知識表示及智能建模方法研究[D];大連理工大學;2007年

5 陸能枝;核應急決策支持系統(tǒng)的框架結構及模糊決策方法在評估子系統(tǒng)的應用[D];中國原子能科學研究院;2001年

6 章牧;東南沿海地區(qū)特色農業(yè)評價與信息技術示范[D];福建師范大學;2002年

7 薄濤;格斗空戰(zhàn)行為建模技術研究[D];國防科學技術大學;2002年

8 高長元;基于Internet高新技術產品評價群決策支持系統(tǒng)研究[D];哈爾濱工程大學;2002年

9 孟軍;農業(yè)生產宏觀決策支持系統(tǒng)的研究及實證分析[D];東北農業(yè)大學;2002年

10 李琪;集成化鉆井智能決策支持系統(tǒng)的理論與應用研究[D];西南石油學院;2002年

相關碩士學位論文 前10條

1 赫永霞;海上搜救決策支持系統(tǒng)的研究與開發(fā)[D];大連海事大學;2008年

2 張可新;基于數據倉庫的企業(yè)運營決策支持系統(tǒng)[D];吉林大學;2007年

3 王濤;基于DFL的財務決策支持系統(tǒng)設計與研究[D];蘇州大學;2006年

4 周鵬;商業(yè)銀行信用風險預警模型及支持系統(tǒng)研究[D];華中科技大學;2006年

5 劉博;保險數據倉庫系統(tǒng)的構建及其應用[D];大慶石油學院;2007年

6 魏倩倩;網格環(huán)境下基于移動Agent的開放式DSS分析與設計[D];華中科技大學;2006年

7 呂盡軒;基于MULTI-AGENT的電子商務自動談判[D];北京工業(yè)大學;2007年

8 劉敏;車輛裝備保障輔助決策支持系統(tǒng)研究[D];南京理工大學;2007年

9 方國斌;基于VB的上海農場水稻標準化生產管理信息系統(tǒng)研究與開發(fā)[D];揚州大學;2006年

10 楊芳;連鎖經營企業(yè)物流配送網絡優(yōu)化決策[D];揚州大學;2007年

【相似文獻】

相關期刊論文 前2條

1 ;勇攀計算機科學理論新高峰——記“并發(fā)進程的代數理論及驗證工具”項目主要完成人林惠民研究員[J];中國科技獎勵;2000年02期

2 孫晶,趙會群;基于進程代數的DSS模型系統(tǒng)建模與實現(xiàn)[J];管理科學學報;2003年02期

相關會議論文 前4條

1 金巖;楊孝宗;;移動計算的發(fā)展及形式化表示[A];第11屆全國計算機在現(xiàn)代科學技術領域應用學術會議論文集[C];2003年

2 董笑菊;傅育熙;徐賢;;系統(tǒng)生物形式化模型研究綜述[A];2005年全國理論計算機科學學術年會論文集[C];2005年

3 董笑菊;倪佳華;傅育熙;;用進程演算建模生物化學反應過程[A];2006年全國理論計算機科學學術年會論文集[C];2006年

4 黃銀強;鐘發(fā)榮;;非對稱X-演算的符號互模擬驗證算法[A];2006年全國開放式分布與并行計算學術會議論文集（一）[C];2006年

相關博士學位論文 前4條

1 劉劍;傳值進程與移動進程的模型檢測方法[D];中國科學院研究生院（軟件研究所）;2005年

2 蔣建民;對稱與動作細化[D];中國科學院研究生院（成都計算機應用研究所）;2006年

3 許雪琦;分布式智能化狀態(tài)監(jiān)測與故障診斷系統(tǒng)的設計與研究[D];天津大學;2004年

4 余萬濤;基于Agent的移動計算及其安全性研究[D];上海交通大學;2007年

相關碩士學位論文 前10條

1 李益昌;形式描述技術LOTOS及其在實時系統(tǒng)的擴展和應用[D];廣東工業(yè)大學;2004年

2 曲揚;基于Petri網的工作流建模和分析方法研究[D];清華大學;2004年

3 鄧維佳;一種擴展的并發(fā)傳值進程抽象模型[D];中國科學院研究生院（軟件研究所）;2005年

4 楊琛;基于進程代數并發(fā)系統(tǒng)的建模與驗證研究[D];西北大學;2006年

5 張晉津;λ-互模擬的研究[D];南京航空航天大學;2005年

6 劉同波;基于可信計算平臺的安全協(xié)議關鍵技術的研究與實現(xiàn)[D];國防科學技術大學;2005年

7 黃銀強;非對稱X～≠-演算符號互模擬驗證[D];浙江師范大學;2006年

8 安靖;基于擴展CSP模型的安全協(xié)議分析技術研究[D];解放軍信息工程大學;2006年

9 濮陽;生物過程的形式化建模及仿真[D];上海交通大學;2007年

10 浦潔;基于Pi演算的Web服務組合模型與WSDL轉換[D];吉林大學;2007年

，

本文編號：1779420