收藏本站
收藏 | 手机打开
二维码
手机客户端打开本文

交互式马尔可夫链:理论与应用

覃广平  
【摘要】:交互式马尔可夫链(IMC)是一种功能与性能混合的并发系统模型,通过正交结合经典的进程代数模型和连续时间马尔可夫链(CTMC)模型,IMC提供了一个完美的可组合化的性能评价框架。本文主要研究了IMC的理论及其在性能评价与层次化分析方面的应用,主要包括以下三方面的内容: 1. IMC上的分支时间等价和前序关系。本文将经典的并发系统功能模型上的强(互)模拟和弱(互)模拟与性能模型上的强(互)模拟和弱(互)模拟概念在一个统一的框架下进行了定义,同时以基于动作的连续随机逻辑aCSL为基础研究了这些分支时间等价和前序关系的逻辑特征,即它们与逻辑等价性之间的联系。通过研究这些等价关系之间的相互联系,我们得到了一个IMC上的分支时间等价关系谱,它基本上包含了功能模型和性能模型上相关研究的结果。 2.基于IMC的模型检验。IMC的主要目的是提供一个可组合化的性能评价模型,因此本文研究了IMC上的模型检验算法,以提供一种大规模复杂系统的自动高效的性能评价手段。本文采用aCSL作为性质描述语言,提出了一个完全基于动作的模型检验算法,从而可以充分利用IMC强大的组合建模能力,达到对复杂系统进行自动性能评价的目的。本文提出的算法是纯性能模型CTMC上的模型检验算法的一个推广,并且与原有的算法相一致,当IMC退化成为一个CTMC时,我们的算法也退化成CTMC上的模型检验算法。作为试验,我们同时将该算法用C语言实现了一个原型,并演示了如何应用IMC上的模型检验来对基于动作的系统进行自动性能评价。


知网文化
【相似文献】
中国期刊全文数据库 前20条
1 许丹柯;;流水线向量计算机的性能评价[J];计算机研究与发展;1992年01期
2 王仁华,倪晋富;汉语语音识别系统评估[J];自动化学报;1994年04期
3 忻展红,梁雄健;随机模拟在电信网性能评价中的应用[J];通信学报;1995年01期
4 熊晓菲;李宏光;;基于自适应滤波器的最小方差性能评价方法[J];仪器仪表用户;2007年05期
5 刘怀玲;陈青;;基于排队论的进程调度算法分析[J];微计算机应用;2009年02期
6 王绪宜;陈华生;沈振群;;计算机局域网性能评价工具LANPET设计与实现[J];南京大学学报(自然科学版);1991年03期
7 刘锦德;;工程工作站及其国外发展动向(上)[J];微型机与应用;1992年09期
8 刘德才,王鼎兴,沈美明,郑纬民;SPEEDUP指标的适用性分析[J];计算机研究与发展;1995年05期
9 陈辰;熊聪聪;冯亚军;;开发C++网格服务的各种可行方案与性能评价[J];微型机与应用;2005年12期
10 崔吉业;田学民;;模型预测控制性能评价的一种改进方法[J];鞍山科技大学学报;2007年04期
11 严迪群;王让定;;基于MSE下限的LSB隐藏算法的分析与性能评价[J];宁波大学学报(理工版);2007年04期
12 陈华础;;军用红外探测系统的基本要素分析[J];现代雷达;2008年09期
13 邹木春;;图像融合技术的研究进展[J];科技信息;2008年35期
14 王伟平;;国外CBIR性能评价研究述评[J];情报科学;2009年06期
15 于霖;冯昌林;;基于模糊物元的舰炮自动机性能评价[J];舰船电子工程;2009年07期
16 袁培燕;刘萍;高宏卿;;蚁群算法迭代次数的一种优化策略[J];河南师范大学学报(自然科学版);2010年04期
17 李博;李宁;费中华;;校园网WEB服务器的性能测评及优化方案研究[J];电脑知识与技术;2010年34期
18 袁培燕;;一种基于格的蚁群算法[J];计算机工程与应用;2011年11期
19 李益民;解成俊;韩志宏;;IPv6协议栈性能分析[J];北华大学学报(自然科学版);2006年04期
20 王建新;李健;朱贤曼;;MANET中节点的运动模型和性能分析[J];计算机工程;2006年19期
中国重要会议论文全文数据库 前10条
1 史学增;刘艳玲;由世俊;;自力式散流器的性能评价[A];全国暖通空调制冷2000年学术年会论文集[C];2000年
2 包亦望;;陶瓷及玻璃力学性能评价的一些非常规技术[A];《硅酸盐学报》创刊50周年暨中国硅酸盐学会2007年学术年会论文摘要集[C];2007年
3 杨文庆;任晓平;赵洪;吴艳;;SP202磨削液的研制和性能评价[A];第七届全国摩擦学大会会议论文集(一)[C];2002年
4 郭文松;;功能性纺织品性能评价与纺织品认证[A];第七届功能性纺织品及纳米技术应用研讨会论文集[C];2007年
5 李宏愿;尹伟民;魏渝伟;庞玲玲;王玉峰;何连清;;高效空分制氧吸附剂LiLSX的组成和性能评价[A];第十五届全国分子筛学术大会论文集[C];2009年
6 曹阳;;应用单位综合功耗制冷、制热量系数评价非标风机盘管机组性能[A];全国暖通空调制冷2006年学术年会论文集[C];2006年
7 苏薇;邱玲;;D-Dimer PLUS测定血浆D-二聚体浓度性能评价[A];中华医学会第七次全国检验医学学术会议资料汇编[C];2008年
8 杜民慧;孙大勇;赵长生;张小华;;聚醚砜中空纤维膜透析滤过性能评价[A];21世纪医学工程学术研讨会论文摘要汇编[C];2001年
9 郭健;姚军;赵有璋;杨博辉;冯涛;程胜利;梁春年;;无角陶赛特羊和波德代羊在肉羊育种生产中的种质性能评价[A];中国畜牧兽医学会养羊学分会全国养羊生产与学术研讨会议论文集[C];2005年
10 马国庆;;国产MEMS检波器的研制与性能评价[A];油气地球物理实用新技术——中国石化石油勘探开发研究院南京石油物探研究所2005年学术交流会论文集[C];2005年
中国博士学位论文全文数据库 前10条
1 覃广平;交互式马尔可夫链:理论与应用[D];中国科学院研究生院(成都计算机应用研究所);2006年
2 李彦艳;壳聚糖油酸复合物纳米微球的制备及性能[D];中国海洋大学;2008年
3 唐渊;大规模集群系统的性能评价与通信优化研究[D];中国科学院研究生院(软件研究所);2004年
4 赵化廷;新型抗盐抗温泡沫复合体系的研究与性能评价[D];西南石油学院;2005年
5 杨仕;摩托车动态设计及其性能评价方法研究[D];重庆大学;2009年
6 胡佩;新型高温高粘酸液胶凝剂的合成及酸液体系的研究[D];西南石油学院;2005年
7 王中明;基于XML/BACnet的家庭网络系统研究[D];华中科技大学;2006年
8 孙灵芳;新型污垢热阻在线监测装置的研发与应用研究[D];华北电力大学(河北);2004年
9 吴旭凡;系统芯片中片上总线结构的性能评价研究[D];东南大学;2006年
10 陆丽萍;中低压电力线通讯网络的性能及服务质量研究[D];武汉理工大学;2006年
中国硕士学位论文全文数据库 前10条
1 晏爱琴;新型光致聚合物的全息存储性能评价及存储机理研究[D];北京工业大学;2005年
2 杨剑;电动汽车的安全性分析[D];湖南大学;2005年
3 李纯;微泡沫钻井液的研制及其性能的研究[D];中国地质大学(北京);2006年
4 高华;利用克拉玛依稠油沥青制备SBS改性沥青[D];青岛科技大学;2007年
5 吴祖义;科尔沁油田包14块深部调剖剂研究[D];中国地质大学(北京);2006年
6 李孝兵;基于遗传神经网络的路面使用性能评价及预测[D];武汉理工大学;2006年
7 韩琳;集群服务器系统建模研究及性能评价[D];华中科技大学;2007年
8 夏俊召;汽车变速系统性能分析研究[D];武汉理工大学;2009年
9 董军;阳离子聚合物和双季铵盐粘土稳定剂的合成及性能研究[D];中国海洋大学;2009年
10 张建朝;扩展类型Petri网应用系统的研究[D];北京化工大学;2004年
中国重要报纸全文数据库 前10条
1 清华大学计算机系智能技术与系统国家重点实验室 刘奕群 张敏 金奕江;孰优孰劣 如何评断?[N];计算机世界;2003年
2 中国建筑材料科学研究总院 中国建筑材料检验认证中心 包亦望;脆性材料及其构件的安全可靠性与性能评价技术[N];中国建材报;2009年
3 王诺;比亚迪电动汽车研发取得实质性突破[N];中国电子报;2003年
4 本报记者 张鹏;安全操控性能成最大购买诱因[N];中国消费者报;2009年
5 孟凡江;科技创新产品占领市场制高点[N];中国石油报;2009年
6 本报记者 沈峥嵘;江苏女性议政视野里的“关键词”[N];新华日报;2010年
7 左佳齐 秦冰;“金钥匙”开启超“愁”油宝藏[N];中国石化报;2009年
8 ;养只好“猫”喜迎数字生活[N];中国计算机报;2001年
9 记者 窦涛 段金平;地质工作要服务于三大理念[N];中国矿业报;2009年
10 ;Caw 4~7层测试方案[N];网络世界;2002年
中国知网广告投放
 快捷付款方式  订购知网充值卡  订购热线  帮助中心
  • 400-819-9993
  • 010-62982499
  • 010-62783978