期刊文献+
共找到7篇文章
< 1 >
每页显示 20 50 100
基于时间策略的连续时间Markov过程验证 预览 被引量:1
1
作者 黄镇谨 陈波 欧阳浩 《广西科技大学学报》 CAS 2014年第3期59-62,86共5页
对系统模型进行验证是保证系统安全的一个关键.连续时间Markov过程可以刻画复杂并发系统的随机、概率、不确定性特征.提出时间依赖策略下连续时间Markov过程验证方法,将连续时间Markov过程转换成为交互式马尔科夫链,给出模型的转换方法... 对系统模型进行验证是保证系统安全的一个关键.连续时间Markov过程可以刻画复杂并发系统的随机、概率、不确定性特征.提出时间依赖策略下连续时间Markov过程验证方法,将连续时间Markov过程转换成为交互式马尔科夫链,给出模型的转换方法及不确定性选择策略的转换方法,最终通过求解交互式马尔科夫链的时间可达概率最值实现对连续时间Markov过程模型的验证.理论分析表明,提出的方法具有可行性. 展开更多
关键词 马尔科夫决策过程 交互式马尔科夫链 时间有界可达概率 时间策略
在线阅读 下载PDF
基于交互式马尔可夫链的可信动态度量研究 预览 被引量:6
2
作者 庄碌 蔡勉 +1 位作者 沈昌祥 《计算机研究与发展》 EI CSCD 北大核心 2011年第8期 1464-1472,共9页
可信动态度量为保障可信计算平台的可靠运行提供了重要支撑.根据系统的可靠性、可用性、信息和行为安全性,提出了可信度量要达到的目标.当前的可信度量集中在可信功能度量上,基于交互式马尔可夫链增加性能特征指标度量,即在预期行为描... 可信动态度量为保障可信计算平台的可靠运行提供了重要支撑.根据系统的可靠性、可用性、信息和行为安全性,提出了可信度量要达到的目标.当前的可信度量集中在可信功能度量上,基于交互式马尔可夫链增加性能特征指标度量,即在预期行为描述模型中,运用变迁系统模型描述功能预期,通过将体现在可靠性上的路径概率与预期的关联,获取完成特定行为功能在时间特征上的预期,用于性能特征指标的度量.所构建的功能与性能特征预期用于对系统运行时证据实施相应的功能与性能上的可信性验证.基于交互式马尔可夫链的动态度量模型,从性能角度完善了对可靠性的保障,更全面地确保了系统的可信. 展开更多
关键词 可信计算 可信动态度量 交互式马尔可夫链 功能度量 性能度量
在线阅读 下载PDF
交互式马尔科夫链上弱模拟关系的计算 预览
3
作者 赵锡英 张明新 邢敬宏 《兰州理工大学学报》 CAS 北大核心 2008年第2期 96-100,共5页
对交互式马尔可夫链模型(IMCs)上的弱模拟前序关系的计算算法进行讨论.在IMCs上判断弱模拟关系时,重点对概率转移关系进行弱模拟前序关系的判断,同时考虑内部动作对系统的影响.通过引入适当的变量。将IMCs上弱模拟定义中的马尔可... 对交互式马尔可夫链模型(IMCs)上的弱模拟前序关系的计算算法进行讨论.在IMCs上判断弱模拟关系时,重点对概率转移关系进行弱模拟前序关系的判断,同时考虑内部动作对系统的影响.通过引入适当的变量。将IMCs上弱模拟定义中的马尔可夫转移条件转化为求解一个线性规划问题的解.利用该线性规划问题的数值求解方法,可在多项式时间内求得该线性规划问题的解.从而得到判定LMC上两个进程是否弱模拟的多项式时间算法. 展开更多
关键词 交互式马尔可夫链 弱模拟前序 算法 计算复杂度
在线阅读 下载PDF
交互式马尔科夫链上强模拟关系的计算 预览 被引量:1
4
作者 赵锡英 张明新 邢敬宏 《兰州理工大学学报》 CAS 北大核心 2008年第1期 76-81,共6页
对随机进程代数模型交互式马尔科夫链(IMCs)上的模拟关系进行研究,根据不动点定理和权函数的定义,给出交互式马尔可夫链模型上强互模拟等价和强模拟前序的判定算法,对算法的时间复杂度进行分析.
关键词 交互式马尔可夫链 强互模拟等价 强模拟前序 算法 计算复杂度
在线阅读 下载PDF
随机进程代数IMCs的性能评价 预览
5
作者 赵锡英 张明新 《兰州理工大学学报》 CAS 北大核心 2008年第3期 73-76,共4页
将马尔可夫路径概率计算方法推广到随机进程代数:交互式马尔科夫链(IMCs)模型上.由于IMCs中存在动作转移和概率转移,两种不同性质的转移破坏了系统的稳定性,因此在IMCs的性能刻画中,去掉系统的稳态性刻画,给出动作和概率转移共... 将马尔可夫路径概率计算方法推广到随机进程代数:交互式马尔科夫链(IMCs)模型上.由于IMCs中存在动作转移和概率转移,两种不同性质的转移破坏了系统的稳定性,因此在IMCs的性能刻画中,去掉系统的稳态性刻画,给出动作和概率转移共存的IMCs模型的路径定义和基于概率转移率的路径转移发生的概率计算方法,解决了Until算子的描述.使用基于动作的逻辑aCSL给出IMCs的性能评价.证明该方法的正确性,它是纯马尔可夫链模型中性能评价方法的扩展. 展开更多
关键词 交互式马尔可夫链 性能评价 路径 aGSL逻辑
在线阅读 下载PDF
基于马尔可夫链的性能检测器的设计与实现 预览
6
作者 许振兴 吴尽昭 陈剑锋 《计算机应用》 CSCD 北大核心 2010年第A01期 215-217,共3页
为了可视化建模和验证并发系统的性能,设计并实现了一个以交互式马尔可夫链为数学原型的性能检测器。对该软件的系统结构、数据结构和功能模块等进行了探讨和设计,并举例验证。该软件采用JavaSwing界面编程技术,支持图形化建模系统... 为了可视化建模和验证并发系统的性能,设计并实现了一个以交互式马尔可夫链为数学原型的性能检测器。对该软件的系统结构、数据结构和功能模块等进行了探讨和设计,并举例验证。该软件采用JavaSwing界面编程技术,支持图形化建模系统和撰写逻辑公式,界面友好,易于操作。 展开更多
关键词 模型检测 交互式马可夫链 时序逻辑 性能检测 系统结构
在线阅读 下载PDF
基于交互式马尔可夫链的模型检验 预览
7
作者 许翔 吴尽昭 +1 位作者 林连南 陈剑锋 《计算机应用》 CSCD 北大核心 2008年第7期 1868-1871,共4页
研究了基于交互式马尔可夫链(IMC)的模型检验,IMC是集功能描述和性能刻画为一体的并发系统模型,模型检验是一种自动功能验证与性能评价技术。文中提出的模型检验算法结合了传统的功能验证与性能评价的功能,并且与现有的算法相一致... 研究了基于交互式马尔可夫链(IMC)的模型检验,IMC是集功能描述和性能刻画为一体的并发系统模型,模型检验是一种自动功能验证与性能评价技术。文中提出的模型检验算法结合了传统的功能验证与性能评价的功能,并且与现有的算法相一致。实验分析表明,该算法具有较高的性能,适用于大型复杂系统的验证和评价。 展开更多
关键词 交互式马尔可夫链 模型检验 性能评价
在线阅读 下载PDF
上一页 1 下一页 到第
使用帮助 返回顶部 意见反馈