基于进程代数的DSS模型系统建模与实现

发布时间：2018-04-20 21:03

  本文选题：决策支持系统 + 模型　； 参考：《管理科学学报》2003年02期

【摘要】：把进程代数(processalgebra,PA)引入DSS模型系统建模,提出一种新的DSS模型建模理论体系———DSS模型代数,它可以描述模型之间激发、选择、重复、同步和并发等行为.建立了基于DSS模型代数的模型系统与组件模型的对应关系,提出了基于组件技术的模型系统实现方法,并通过一个实例给出实现方法的具体应用.
[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.
【作者单位】： 北方工业大学信息工程学院 北方工业大学信息工程学院
【分类号】：C931

【参考文献】

相关期刊论文 前1条

1 陈世福，潘金贵，徐殿祥;智能决策支持系统NUIDSS的设计与实现[J];软件学报;1994年06期

【共引文献】

相关期刊论文 前10条

1 耿正;;基于数据挖掘的智能决策支持系统[J];鸡西大学学报;2006年04期

2 陈氢;几种新型决策支持系统的比较研究[J];情报科学;2005年01期

3 李雪峰,刘鲁,王晓云;基于XML决策支持系统决策模型共享机制的研究[J];计算机集成制造系统-CIMS;2004年08期

4 韩祥兰,吴慧中,陈圣磊;基于多Agent的分布式模型管理与组合方法[J];计算机集成制造系统-CIMS;2004年S1期

5 徐冬芳,刘小辉,邓飞其;互联网上的智能lz策支持系统[J];电脑与电信;2004年Z2期

6 王君,樊治平;一种基于组件技术的专家系统构建框架[J];东北大学学报(自然科学版);2003年05期

7 付成伟,李红宇;防汛会商决策支持系统实现方法[J];测绘科学;2004年03期

8 杨驰;;GIS空间分析建模构想[J];测绘通报;2006年11期

9 李凡生;决策支持系统新方向-智能决策支持系统[J];东北电力学院学报;2001年04期

10 李晖,唐新蓬,汤庸;工资管理与计算机智能决策支持系统[J];广东工业大学学报(社会科学版);2002年03期

相关会议论文 前1条

1 王贯中;王少平;蒋大和;;基于GIS的决策支持系统在生态市规划中的应用及设计[A];2005中国可持续发展论坛——中国可持续发展研究会2005年学术年会论文集（下册）[C];2005年

相关博士学位论文 前10条

1 王勇;基于MIS和GIS的船岸信息系统研究[D];上海海事大学;2006年

2 阮景奎;汽车覆盖件模具高速切削加工过程的数值模拟与关键工艺技术研究[D];浙江大学;2007年

3 史志富;基于贝叶斯网络的UCAV编队对地攻击智能决策研究[D];西北工业大学;2007年

4 王征;车辆路径问题的知识表示及智能建模方法研究[D];大连理工大学;2007年

5 陆能枝;核应急决策支持系统的框架结构及模糊决策方法在评估子系统的应用[D];中国原子能科学研究院;2001年

6 章牧;东南沿海地区特色农业评价与信息技术示范[D];福建师范大学;2002年

7 薄涛;格斗空战行为建模技术研究[D];国防科学技术大学;2002年

8 高长元;基于Internet高新技术产品评价群决策支持系统研究[D];哈尔滨工程大学;2002年

9 孟军;农业生产宏观决策支持系统的研究及实证分析[D];东北农业大学;2002年

10 李琪;集成化钻井智能决策支持系统的理论与应用研究[D];西南石油学院;2002年

相关硕士学位论文 前10条

1 赫永霞;海上搜救决策支持系统的研究与开发[D];大连海事大学;2008年

2 张可新;基于数据仓库的企业运营决策支持系统[D];吉林大学;2007年

3 王涛;基于DFL的财务决策支持系统设计与研究[D];苏州大学;2006年

4 周鹏;商业银行信用风险预警模型及支持系统研究[D];华中科技大学;2006年

5 刘博;保险数据仓库系统的构建及其应用[D];大庆石油学院;2007年

6 魏倩倩;网格环境下基于移动Agent的开放式DSS分析与设计[D];华中科技大学;2006年

7 吕尽轩;基于MULTI-AGENT的电子商务自动谈判[D];北京工业大学;2007年

8 刘敏;车辆装备保障辅助决策支持系统研究[D];南京理工大学;2007年

9 方国斌;基于VB的上海农场水稻标准化生产管理信息系统研究与开发[D];扬州大学;2006年

10 杨芳;连锁经营企业物流配送网络优化决策[D];扬州大学;2007年

【相似文献】

相关期刊论文 前2条

1 ;勇攀计算机科学理论新高峰——记“并发进程的代数理论及验证工具”项目主要完成人林惠民研究员[J];中国科技奖励;2000年02期

2 孙晶,赵会群;基于进程代数的DSS模型系统建模与实现[J];管理科学学报;2003年02期

相关会议论文 前4条

1 金岩;杨孝宗;;移动计算的发展及形式化表示[A];第11届全国计算机在现代科学技术领域应用学术会议论文集[C];2003年

2 董笑菊;傅育熙;徐贤;;系统生物形式化模型研究综述[A];2005年全国理论计算机科学学术年会论文集[C];2005年

3 董笑菊;倪佳华;傅育熙;;用进程演算建模生物化学反应过程[A];2006年全国理论计算机科学学术年会论文集[C];2006年

4 黄银强;钟发荣;;非对称X-演算的符号互模拟验证算法[A];2006年全国开放式分布与并行计算学术会议论文集（一）[C];2006年

相关博士学位论文 前4条

1 刘剑;传值进程与移动进程的模型检测方法[D];中国科学院研究生院（软件研究所）;2005年

2 蒋建民;对称与动作细化[D];中国科学院研究生院（成都计算机应用研究所）;2006年

3 许雪琦;分布式智能化状态监测与故障诊断系统的设计与研究[D];天津大学;2004年

4 余万涛;基于Agent的移动计算及其安全性研究[D];上海交通大学;2007年

相关硕士学位论文 前10条

1 李益昌;形式描述技术LOTOS及其在实时系统的扩展和应用[D];广东工业大学;2004年

2 曲扬;基于Petri网的工作流建模和分析方法研究[D];清华大学;2004年

3 邓维佳;一种扩展的并发传值进程抽象模型[D];中国科学院研究生院（软件研究所）;2005年

4 杨琛;基于进程代数并发系统的建模与验证研究[D];西北大学;2006年

5 张晋津;λ-互模拟的研究[D];南京航空航天大学;2005年

6 刘同波;基于可信计算平台的安全协议关键技术的研究与实现[D];国防科学技术大学;2005年

7 黄银强;非对称X～≠-演算符号互模拟验证[D];浙江师范大学;2006年

8 安靖;基于扩展CSP模型的安全协议分析技术研究[D];解放军信息工程大学;2006年

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

10 浦洁;基于Pi演算的Web服务组合模型与WSDL转换[D];吉林大学;2007年

，

本文编号：1779420