期刊导航
期刊开放获取
vip
退出
期刊文献
+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
检索
高级检索
期刊导航
并发模型分析
被引量：
2
在线阅读
下载PDF
职称材料
导出
摘要
并发一直是计算机科学中矛盾的源泉和争论的焦点之一。本文分析和比较了三种并发模型:Petri网、CSP和CCS的发展历史、描述方法、处理并发与不确定性的方式等。
作者
刘海燕
陈火旺
机构地区
国防科技大学计算机系
出处
《计算机科学》
CSCD
北大核心
1995年第3期13-16,共4页
Computer Science
关键词
并发模型
形式语义
计算机语言
PETRI网
分类号
TP301.2 [自动化与计算机技术—计算机系统结构]
引文网络
相关文献
节点文献
二级参考文献
0
参考文献
0
共引文献
0
同被引文献
13
引证文献
2
二级引证文献
12
同被引文献
13
1
刘海燕,王献昌,王兵山.
多Agent系统的研究[J]
.计算机科学,1995,22(2):57-62.
被引量：54
2
沈达阳,林作铨.
Internet上的软件Agent[J]
.计算机科学,1997,24(4):14-19.
被引量：17
3
吴建林,姜丽红,薛华成.
多案例经验集成机制研究[J]
.计算机科学,1998,25(2):29-32.
被引量：5
4
王宁,陈滢,俞本权,徐宏炳,王能斌.
一个基于CORBA的异构数据源集成系统的设计[J]
.软件学报,1998,9(5):378-382.
被引量：48
5
马松,盛浩林.
Intranet上数据库中间件原型的研究与构造[J]
.软件学报,1999,10(1):86-91.
被引量：43
6
吴坪,徐时新,张信成.
应用层次化Agent构造网络安全辅助系统[J]
.计算机工程与应用,1999,35(6):89-92.
被引量：1
7
曹晓阳,刘锦德,唐雪飞.
基于CORBA的数据库访问构件[J]
.计算机应用,1999,19(5):4-7.
被引量：14
8
李毅,罗翊,石纯一.
多agent系统的一种交互策略模型[J]
.软件学报,1999,10(7):702-708.
被引量：17
9
陈建中,刘大有,唐海鹰.
智能Agent建模的一种模板结构[J]
.计算机研究与发展,1999,36(10):1164-1168.
被引量：38
10
张晔,刘玉莎.
防火墙技术的研究与探讨[J]
.计算机系统应用,1999,8(9):67-70.
被引量：20
引证文献
2
1
吕双双,刘培玉.
局域网环境中基于Agent的网络安全体系研究[J]
.计算机科学,2000,27(8):21-22.
被引量：4
2
张树鸿,何斌,林作铨.
基于Agent的数据库中间件[J]
.计算机工程与应用,2001,37(24):97-101.
被引量：8
二级引证文献
12
1
岳大为,熊家军.
一种基于多代理技术的入侵检测系统模型[J]
.空军雷达学院学报,2001,15(4):45-48.
2
陈张健,廖锋峰,董灵平,虞妍.
网格GIS数据信息发布关键技术分析[J]
.浙江工业大学学报,2005,33(2):195-198.
被引量：4
3
魏丕国,梁永全.
移动Agent在分布式数据访问中的应用[J]
.福建电脑,2006,22(9):181-182.
4
易宝林,谭支鹏,冯丹.
数据库访问柔性中间件的设计与实现[J]
.微电子学与计算机,2006,23(11):166-168.
被引量：5
5
瞿有甜,叶晓彤,袁利永,盛贤良.
基于软件Agent的异构数据库查询中间件[J]
.浙江师范大学学报（自然科学版）,2007,30(2):185-187.
被引量：1
6
倪凯,祝晓东.
多智能体在WebGIS中的应用研究[J]
.计算机工程,2007,33(3):183-185.
7
李春生,高笑颦.
分布式数据库中间管理平台的研究[J]
.长江大学学报（自科版）（上旬）,2007,4(4):58-61.
被引量：1
8
吕双双,刘培玉.
一种改进的防火墙技术[J]
.计算机应用研究,2001,18(5):59-60.
被引量：5
9
解争龙.
校园网安全体系建设初探[J]
.咸阳师范学院学报,2001,16(4):62-64.
10
杨洪万,刘培玉,曾广周.
一种基于Agent技术的网络安全系统模型[J]
.山东师范大学学报（自然科学版）,2002,17(4):20-24.
被引量：1
1
李文军,周晓聪,李师贤.
并发模型的分类与层次[J]
.计算机科学,2000,27(3):29-34.
被引量：2
2
第十四届全国Petri网理论与应用学术年会征文通知[J]
.计算机应用研究,2013,30(3).
3
第十四届全国Petri网理论与应用学术年会征文通知[J]
.计算机科学,2013,40(1).
4
瞿裕忠,王志坚,徐家福.
面向对象程序设计语言的形式语义研究[J]
.计算机科学,1995,22(2):6-10.
被引量：2
5
吴语.
创意的无穷源泉[J]
.大众摄影（上半月）,2000(10):66-67.
6
蔡雪娜.
刍议计算机网络安全的防范措施[J]
.黑龙江科技信息,2016(14):191-191.
7
张伟,徐晋晖,石纯一.
多Agent系统的模型和形式语义[J]
.计算机科学,2001,28(6):76-80.
被引量：6
8
邓楠.
Ready？Go！Go语言并发模型和工具链[J]
.程序员,2012(6):122-125.
9
叶晓波,支蕾.
用形式语义探讨局部变量的作用域[J]
.楚雄师范学院学报,2011,26(6):1-4.
10
黄嵘.
IBM软件开发工具性能分析[J]
.大连海运学院学报,1989,15(1):109-111.
计算机科学
1995年 第3期
职称评审材料打包下载
相关作者
内容加载中请稍等...
相关机构
内容加载中请稍等...
相关主题
内容加载中请稍等...
浏览历史
内容加载中请稍等...
;
用户登录
登录
IP登录
使用帮助
返回顶部
