期刊文献+
共找到2篇文章
< 1 >
每页显示 20 50 100
带动作回报的连续时间Markov回报过程验证 预览
1
作者 黄镇谨 陆阳 +1 位作者 杨娟 王智文 《电子测量与仪器学报》 CSCD 北大核心 2015年第11期1603-1613,共11页
为了能够更准确的表达不确定性复杂系统的时空验证,针对当前连续时间Markov回报过程(continue time markov reward decision process,CMRDP)验证中只考虑状态回报的问题,提出带动作回报的验证方法。考虑添加了动作回报的空间性能约束... 为了能够更准确的表达不确定性复杂系统的时空验证,针对当前连续时间Markov回报过程(continue time markov reward decision process,CMRDP)验证中只考虑状态回报的问题,提出带动作回报的验证方法。考虑添加了动作回报的空间性能约束,扩展现有的基于状态回报的连续时间Markov回报过程,用正则表达式表示验证属性的路径规范,扩展已有路径算子的表达能力。给出带动作回报CMRDP和路径规范的积模型,求解积模型在确定性策略下的诱导Markov回报模型(markov reward model,MRM),将CMRDP上的时空性能验证转换为MRM模型上的时空可达概率分析,并提出MRM中求解可达概率的算法。实例分析表明,提出的验证思路和验证算法是可行的。 展开更多
关键词 Markov回报过程 模型验证 动作回报 时空有界可达概率
在线阅读 下载PDF
基于一阶流体随机Petri网的回报建模 预览
2
作者 卢光松 葛运建 《中国科学技术大学学报》 CAS CSCD 北大核心 2006年第8期 828-833,共6页
从回报机制与回报变量的定义、回报模型的建立等方面提出了基于一阶流体随机Petri网的回报模型的一般性建模方法.该方法既可用于建模马尔科夫随机系统,也可用于建模非马尔科夫随机系统.在一阶流体随机Petri网回报模型中,可建模率回... 从回报机制与回报变量的定义、回报模型的建立等方面提出了基于一阶流体随机Petri网的回报模型的一般性建模方法.该方法既可用于建模马尔科夫随机系统,也可用于建模非马尔科夫随机系统.在一阶流体随机Petri网回报模型中,可建模率回报和冲量回报,并可允许累积回报影响被建模系统的动态行为以及回报率本身. 展开更多
关键词 回报模型 流体随机PETRI网 率回报 冲量回报
在线阅读 免费下载
上一页 1 下一页 到第
使用帮助 返回顶部 意见反馈