收藏本站
《重庆大学学报(自然科学版)》 1998年03期
收藏 | 投稿 | 手机打开
二维码
手机客户端打开本文

并发系统基本模型及其分析

张广泉  戎玫  沈一栋  
【摘要】:本文概述了目前用于并发系统形式描述的几个重要的基本模型:FSM、Petri网、FTS以及CSP、CCS、Statechart等,并分析了上述一些模型的特点和不足之处,指出FTS模型为时态逻辑用于并发系统形式描述提供了良好的基础。

【引证文献】
中国期刊全文数据库 前3条
1 张广泉;并发程序模型的可信性研究[J];重庆师范学院学报(自然科学版);2000年01期
2 张广泉,沈一栋;混合系统的形式化模型[J];重庆大学学报(自然科学版);1999年06期
3 张广泉,黄正宝,戎玫;网络协议形式化模型的分析与应用[J];计算机工程与应用;2005年23期
中国硕士学位论文全文数据库 前4条
1 张国庆;智能网业务逻辑验证技术的研究及其仿真实现[D];西安电子科技大学;2002年
2 李双权;一种Java多线程可达性测试框架系统的研究和实现[D];暨南大学;2003年
3 王友;基于Event-B的软件形式化需求获取方法研究[D];重庆师范大学;2007年
4 宋志敏;航班飞机排班算法及其实现技术[D];南京航空航天大学;2008年
【参考文献】
中国期刊全文数据库 前2条
1 张兴元,谢希仁;Livechart:一种用于活动性验证的Statechart[J];计算机学报;1996年01期
2 蒋昌俊,郑应平,疏松桂;基于Petri网语言的系统设计与分析[J];通信学报;1997年01期
【共引文献】
中国期刊全文数据库 前10条
1 郭祥昊,钟义信;计算机病毒传播的两种模型[J];北京邮电大学学报;1999年01期
2 李志武,贾建援,叶尚辉;一类制造系统Petri网模型的设计方法[J];电子机械工程;1994年05期
3 蒋昌俊,张鹏,叶志宝;控制软件设计与验证计算机辅助系统[J];高技术通讯;2001年03期
4 朱英,周伟;并发语言Csp和Ada的比较与分析[J];桂林电子工业学院学报;1996年02期
5 阳道善,韩世强;一个以指令流为参数的软件错误模型[J];华中理工大学学报;1995年06期
6 钱悦晨,严涛,赖蓉,宋方敏;并发语言OCCAM的指称语义[J];解放军理工大学学报(自然科学版);2002年06期
7 文志诚;缪淮扣;许庆国;;一种从Object-Z到CSP规格说明的转化方法[J];计算机科学;2006年11期
8 匡春临;潘孝铭;蒋胜利;;集成CCS和B语言的形式化方法[J];计算机工程与科学;2007年11期
9 王准,陈俊亮;消息日志方法中的不确定性问题[J];计算机学报;1998年08期
10 陈曙;毋国庆;肖晶;;一种基于BCCS的多视图一致性检测的元模型[J];计算机应用;2009年02期
中国博士学位论文全文数据库 前5条
1 蒋昌俊;并发系统综合的PN行为理论及其应用[D];中国科学院研究生院(计算技术研究所);1998年
2 高新闻;智能仪表软件开发的自动化技术研究[D];上海大学;2007年
3 文志诚;面向对象软件的形式验证技术[D];上海大学;2007年
4 陈洪辉;基于多视图的C~4ISR系统需求一致性验证方法研究[D];国防科学技术大学;2007年
5 杨娟;国内新一代电信业务支撑系统软件体系结构的研究[D];北京邮电大学;2008年
中国硕士学位论文全文数据库 前10条
1 高翔;IKE协议健壮性测试技术研究[D];解放军信息工程大学;2010年
2 马艳;IPSec协议测试优化技术研究[D];解放军信息工程大学;2010年
3 贾广余;Petri网运算及其性质研究[D];山东科技大学;2003年
4 徐小辉;基于有色Petri网理论的消息通信形式化建模研究[D];重庆大学;2005年
5 周子祥;局域网故障模糊诊断系统应用研究[D];广东工业大学;2007年
6 薛海丽;网络业务建模研究—SIP建模[D];中北大学;2007年
7 瞿新南;基于Agent的动态软件体系结构研究[D];南京航空航天大学;2007年
8 张卫;实时系统的形式化设计与辅助代码生成研究[D];华中科技大学;2006年
9 匡春临;并发系统的形式化技术研究[D];华侨大学;2008年
10 许家幸;基于免疫原理的下一代网络业务冲突在线检测方法的研究[D];华中科技大学;2007年
【同被引文献】
中国期刊全文数据库 前10条
1 熊伟,戴果,张巨,景宁;采用ECA介体实现数据库触发器功能[J];兵工自动化;2004年02期
2 郑彤,刘玉璋,杨放春;智能网中业务逻辑的一种验证方法[J];北京邮电大学学报;1996年01期
3 张广泉;关于软件形式化方法[J];重庆师范学院学报(自然科学版);2002年02期
4 张广泉,戎玫;并发系统性质描述的一种形式化方法[J];重庆师范学院学报(自然科学版);1998年01期
5 张广泉;反应式系统的并发模型(Ⅰ)——抽象数学模型[J];重庆师范学院学报(自然科学版);1998年02期
6 张广泉;反应式系统的并发模型(Ⅱ)——程序语言模型[J];重庆师范学院学报(自然科学版);1998年03期
7 张广泉;反应式系统的并发模型(Ⅳ)——时态逻辑模型[J];重庆师范学院学报(自然科学版);1998年04期
8 张广泉;反应式系统的并发模型(Ⅲ)——Petri网模型[J];重庆师范学院学报(自然科学版);1998年04期
9 陈俊亮;智能网技术及其展望[J];电信科学;1996年01期
10 陈俊亮;CIN智能网系统[J];电信科学;1997年01期
中国硕士学位论文全文数据库 前3条
1 祝义;基于UML和Z的软件体系结构求精方法及其应用[D];苏州大学;2005年
2 黄正宝;可视化与形式化相结合的软件体系结构描述研究[D];苏州大学;2006年
3 陈琳琳;软件体系结构描述语言XYZ/ADL与UML的转换机制研究[D];苏州大学;2006年
【二级引证文献】
中国期刊全文数据库 前3条
1 曾绍华;魏延;;共享存储器多处理机并行计算编译及调度机制[J];重庆师范大学学报(自然科学版);2006年01期
2 李菲;;基于着色Petri网的TCP协议的形式化描述及验证[J];现代计算机(专业版);2009年06期
3 田素贞;王应战;;基于.NET的线程池技术及其应用研究[J];中州大学学报;2012年03期
中国博士学位论文全文数据库 前3条
1 杨波;流媒体系统的关键技术研究[D];北京邮电大学;2006年
2 李连军;航天器功能行为虚拟原型建模方法及实现技术研究[D];国防科学技术大学;2006年
3 毛居全;有关产品质量可信性若干问题的研究及应用[D];东北大学;2009年
中国硕士学位论文全文数据库 前10条
1 刘基顺;混合系统C/E-PLC自动机形式验证及其应用[D];北京化工大学;2003年
2 王莉;供热混合系统的抽象及其形式化验证[D];华中科技大学;2004年
3 吴渝;基于.NET架构的多线程组件技术研究与应用[D];重庆大学;2005年
4 靳亚铭;基于Petri网的化工生产开停车过程研究[D];北京化工大学;2006年
5 朱凌峰;混杂系统的PID控制器研究[D];北京化工大学;2006年
6 张巍;生命信号随身监测协议的研究与实现[D];哈尔滨工业大学;2006年
7 折建峰;WAP事务层协议的有色PETRI网建模与分析[D];武汉科技大学;2007年
8 张斌;混合系统形式验证中的问题研究[D];合肥工业大学;2007年
9 郑超;移动IPv6在高性能路由器中的实现及安全机制研究[D];解放军信息工程大学;2007年
10 张彦龙;基于Petri网的TCP协议的研究[D];兰州理工大学;2008年
【二级参考文献】
中国期刊全文数据库 前5条
1 蒋昌俊;Petri网的叠加运算[J];计算机学报;1994年S1期
2 蒋昌俊;;Petri网的广义笛积运算[J];自动化学报;1993年06期
3 蒋昌俊,疏松桂,郑应平;随机Petri网同步并发行为的定量分析方法[J];通信学报;1995年01期
4 蒋昌俊;加权T图的几种化简运算[J];通信学报;1994年02期
5 蒋昌俊;基于Petri网运算的系统范例分析[J];系统工程学报;1994年02期
【相似文献】
中国期刊全文数据库 前10条
1 蒋昌俊;Petri网理论与方法研究综述[J];控制与决策;1997年06期
2 张剑,谭泽光;基于完备系统概念的CIMS[J];系统工程理论与实践;1998年09期
3 王银河,戴冠中;一类具有相似结构的模型输出跟随控制系统的鲁棒控制[J];电机与控制学报;2000年04期
4 李敏强,王琛,周静;CSCW系统中协同机制及协同活动模型[J];系统工程与电子技术;2000年04期
5 于金辉,徐晓刚,彭群生;用随机正弦波拟合卡通流水[J];计算机研究与发展;2001年05期
6 周勇,张海涛,李学垣;面向对象的土壤地形体数字化数据库管理系统分析与设计[J];遥感学报;2001年05期
7 常晋义;决策支持系统在生态环境监测与管理中的应用[J];微型电脑应用;2002年12期
8 赵小松,郭红旗,章青,刘又午;加工中心误差补偿方案技术研究[J];制造技术与机床;2003年06期
9 袁德成,樊立萍,于海斌;典型污水生化处理过程仿真平台的构造[J];系统仿真学报;2003年11期
10 龚跃;人口线性系统模型探讨[J];系统工程与电子技术;1992年05期
中国重要会议论文全文数据库 前10条
1 胡蓉蓉;高晓东;姚晶晶;蒋友进;;基于AMEsim和Simulink仿真平台对空气弹簧隔振效果的研究[A];四川省第九届(2009年)汽车学术交流年会论文集[C];2009年
2 李超;潘建明;张相年;蒋琳兰;;阿司匹林建立大鼠胚胎畸形模型的研究[A];2009年中国药学大会暨第九届中国药师周论文集[C];2009年
3 朱诗兵;;模糊优选评估系统[A];1995中国控制与决策学术年会论文集[C];1995年
4 周立佳;;船基方式气象导航模拟训练系统[A];中国航海学会海洋船舶驾驶专业委员会天气与航海安全论文集[C];1997年
5 刘汉奎;吕寿坤;徐殿国;;应用于电子镇流器的高强度气体放电灯建模方法综述[A];第12届全国电气自动化与电控系统学术年会论文集[C];2004年
6 付兴方;李宗植;;可修复性航材修理间隔期的确定策略[A];管理科学与系统科学研究新进展——第8届全国青年管理科学与系统科学学术会议论文集[C];2005年
7 马为民;胡维银;;论建立土壤侵蚀模型在水保方案编制中的作用[A];水土保持依法行政的理论与方法——中国水土保持学会预防监督专业委员会第六次会议暨学术研讨会论文集[C];2006年
8 王正中;;仿真学科的研究与思考[A];2007系统仿真技术及其应用学术会议论文集[C];2007年
9 陈龙伟;;基于运营成本的小汽车租赁出租率问题管理模型[A];第九届中国青年信息与管理学者大会论文集[C];2007年
10 吴清一;张伟;李苏剑;;企业生产物流系统中的库存策略[A];中国机械工程学会物料搬运分会第四届学术年会论文集[C];1992年
中国重要报纸全文数据库 前10条
1 记者 邵长春 特约记者 李玉峰 通讯员 青云;全国青少年航海模型总决赛在陵水举行[N];海南日报;2009年
2 潍坊中学 颜美平 毛韦清;巧思创新意,废物变模型[N];学知报;2011年
3 本报记者 傅莲英;第21届广州国际玩具及模型展集结鸣号[N];国际商报;2009年
4 范晓光 浙江省社会科学院社会学研究所;威斯康辛学派挑战“布劳-邓肯”的地位获得模型[N];中国社会科学报;2011年
5 本报记者 杨博;美证交会将审查标普评级模型[N];中国证券报;2011年
6 姜业庆;模型是关键:中国“宽客”启示录[N];中国经济时报;2011年
7 商务部国际贸易经济合作研究院欧洲所博士 朱一平;欧债危机有限解决方案长效机制初具模型[N];国际商报;2011年
8 CUBN 记者 孙先锋;用3i模型打动消费者[N];中国联合商报;2011年
9 宏飞 编译;Eqecat将公布三款调整后的灾难模型[N];中国保险报;2011年
10 记者 刘鹏;江西亿元打造“模型鄱阳湖”[N];人民长江报;2010年
中国博士学位论文全文数据库 前10条
1 贾长青;椎间盘退变,营养途径,形态及细胞凋亡的实验性研究[D];中国医科大学;2003年
2 李贵孚;基于特征价格理论的我国有线数字电视产品价格模型研究[D];吉林大学;2007年
3 袁宝招;水资源需求驱动因素及其调控研究[D];河海大学;2006年
4 赵世刚;中国商业银行企业文化测度研究[D];大连理工大学;2007年
5 廖亚立;生命价值的动态评估方法与实证研究[D];中国地质大学(北京);2008年
6 余明杨;变压器隔离全桥开关变换器的建模与应用技术研究[D];中南大学;2008年
7 赵海翔;风电引起的电压波动和闪变研究[D];中国电力科学研究院;2005年
8 王伯珉;预构皮瓣治疗四肢严重损伤的动物模型与实验研究[D];山东大学;2004年
9 刘燕;超临界流体制备超微颗粒的过程模拟与喷嘴设计[D];山东大学;2005年
10 关宏信;沥青混合料粘弹性疲劳损伤模型研究[D];中南大学;2005年
中国硕士学位论文全文数据库 前10条
1 朱军;大鼠胰腺移植模型的建立及趋化因子在移植排斥反应中作用的实验研究[D];南京医科大学;2005年
2 王素娟;公司金融——股利政策理论研究[D];西安电子科技大学;2005年
3 李富雄;基于INTERNET的统一支付平台[D];广东工业大学;2005年
4 黄涛;面向应用级QoS中间件平台的解决方案[D];广东工业大学;2005年
5 李亚军;拓扑指数在环境与制药领域模型化应用的研究[D];北京化工大学;2005年
6 郝晓玲;陕西地方人才资源与经济发展关系及对策研究[D];西安科技大学;2005年
7 毕建欣;数据挖掘技术在我国保险业中的应用研究[D];福州大学;2005年
8 柳红;基于J2EE和工作流技术的校园OA系统建模分析及研究[D];中国海洋大学;2005年
9 朱宁;多级IP管理模型的研究与实现[D];江苏大学;2005年
10 王文涛;库存模型与辅助订货决策支持系统[D];吉林大学;2005年
 快捷付款方式  订购知网充值卡  订购热线  帮助中心
  • 400-819-9993
  • 010-62791813
  • 010-62985026