论文摘要
交互式马尔可夫链(IMC)是一种功能与性能混合的并发系统模型,通过正交结合经典的进程代数模型和连续时间马尔可夫链(CTMC)模型,IMC提供了一个完美的可组合化的性能评价框架。本文主要研究了IMC的理论及其在性能评价与层次化分析方面的应用,主要包括以下三方面的内容:1. IMC上的分支时间等价和前序关系。本文将经典的并发系统功能模型上的强(互)模拟和弱(互)模拟与性能模型上的强(互)模拟和弱(互)模拟概念在一个统一的框架下进行了定义,同时以基于动作的连续随机逻辑aCSL为基础研究了这些分支时间等价和前序关系的逻辑特征,即它们与逻辑等价性之间的联系。通过研究这些等价关系之间的相互联系,我们得到了一个IMC上的分支时间等价关系谱,它基本上包含了功能模型和性能模型上相关研究的结果。2.基于IMC的模型检验。IMC的主要目的是提供一个可组合化的性能评价模型,因此本文研究了IMC上的模型检验算法,以提供一种大规模复杂系统的自动高效的性能评价手段。本文采用aCSL作为性质描述语言,提出了一个完全基于动作的模型检验算法,从而可以充分利用IMC强大的组合建模能力,达到对复杂系统进行自动性能评价的目的。本文提出的算法是纯性能模型CTMC上的模型检验算法的一个推广,并且与原有的算法相一致,当IMC退化成为一个CTMC时,我们的算法也退化成CTMC上的模型检验算法。作为试验,我们同时将该算法用C语言实现了一个原型,并演示了如何应用IMC上的模型检验来对基于动作的系统进行自动性能评价。
论文目录
相关论文文献
- [1].权马尔可夫链在降水量预测中的应用[J]. 水利信息化 2020(01)
- [2].基于马尔可夫链的水面舰艇作战减员评估[J]. 第二军医大学学报 2020(03)
- [3].仅运用一个特征向量计算可对角化转移矩阵的吸收马尔可夫链的平稳分布（英文）[J]. 应用概率统计 2020(02)
- [4].基于马尔可夫链的山西煤炭企业员工出路研究[J]. 煤炭技术 2018(02)
- [5].马尔可夫链蒙特卡罗算法在采样近似算法中的应用[J]. 电脑编程技巧与维护 2018(09)
- [6].多重随机环境中的马尔可夫链[J]. 华东师范大学学报(自然科学版) 2016(01)
- [7].马尔可夫链理论及其在经济管理领域的应用研究[J]. 中国市场 2016(11)
- [8].马尔科夫链简介及其在经济领域的应用[J]. 商 2015(32)
- [9].基于二阶马尔可夫链的不确定性轨迹预测[J]. 测绘与空间地理信息 2020(S1)
- [10].中国区域经济时空演变的加权空间马尔可夫链分析[J]. 中国工业经济 2013(05)
- [11].中国区域经济趋同:基于县级尺度的空间马尔可夫链分析[J]. 地理科学 2013(11)
- [12].高阶马尔可夫链平稳分布的存在唯一性[J]. 系统工程理论与实践 2013(08)
- [13].吸收态马尔可夫链及其在高校学生学业管理模型中的应用[J]. 北京印刷学院学报 2011(04)
- [14].基于灰色马尔可夫链的核设备退化趋势预测[J]. 原子能科学技术 2010(S1)
- [15].基于改进灰色-马尔可夫链方法的公路货运量预测[J]. 兰州交通大学学报 2009(04)
- [16].马尔可夫链在教学评价中的应用[J]. 河南师范大学学报(自然科学版) 2008(02)
- [17].基于灰色-马尔可夫链的城乡建设用地需求量预测研究[J]. 科技广场 2008(02)
- [18].基于交互式马尔可夫链的模型检验[J]. 计算机应用 2008(07)
- [19].应用马尔可夫链评价教学质量[J]. 数理医药学杂志 2008(05)
- [20].基于马尔可夫链的语言发展预测模型[J]. 中国高新区 2018(13)
- [21].基于吸收马尔可夫链的子话题发现方法[J]. 中文信息学报 2014(01)
- [22].基于改进一阶马尔可夫链的风速时间序列模型[J]. 电力系统自动化 2014(19)
- [23].基于权马尔可夫链的干旱概率预报模型研究[J]. 安徽农业科学 2013(07)
- [24].基于指数权马尔可夫链及双原则干旱预测研究[J]. 水电能源科学 2010(04)
- [25].用马尔可夫链对我国就业结构的分析及预测[J]. 发展 2009(12)
- [26].基于改进灰色-马尔可夫链方法的铁路货运量预测[J]. 兰州交通大学学报 2009(06)
- [27].一种基于马尔可夫链的零件尺寸误差预测方法[J]. 上海电气技术 2019(03)
- [28].基于理性指标的马尔可夫链股市态势预测方法[J]. 计算机工程与应用 2017(22)
- [29].基于一阶马尔可夫链的实验数据序列分类模型[J]. 计算机系统应用 2014(05)
- [30].时间连续马尔可夫链的复杂网络上SIRS模型分析[J]. 计算机科学 2014(10)
标签：交互式马尔可夫链论文; 分支时间等价关系论文; 性能评价论文; 模型检验论文; 动作细化论文;