期刊导航
期刊开放获取
上海教育软件发展有限公..
期刊文献
+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
检索
高级检索
期刊导航
共找到
2
篇文章
<
1
>
每页显示
20
50
100
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
显示方式：
文摘
详细
列表
相关度排序
被引量排序
时效性排序
基于马尔科夫决策过程的可适变业务流程建模及分析
被引量：
3
1
作者
张红霞
邹华
+1 位作者
林荣恒
杨放春
《电子与信息学报》
EI
CSCD
北大核心
2013年第7期1760-1765,共6页
研究移动网络的适变业务流程的建模和模型分析对于部署和执行Web服务应用有着重要的意义。该文通过定义业务流程的相似性及数据类型的相容性,为可适变应用提供了候选集合,使得业务流程能够根据环境的变化动态地进行适变。为了有效地对...
研究移动网络的适变业务流程的建模和模型分析对于部署和执行Web服务应用有着重要的意义。该文通过定义业务流程的相似性及数据类型的相容性,为可适变应用提供了候选集合,使得业务流程能够根据环境的变化动态地进行适变。为了有效地对适变业务流程实例进行分析,该文提出基于马尔科夫决策过程模型的适变业务流程建模方法,采用随机模型检测技术对模型的合理性进行验证和预测。针对具体实例,采用该文提出的方法对视频传输应用进行建模和分析验证,实验结果表明,该文为适变业务流程的建模和分析验证提供了一种有效的方法。
展开更多
关键词
移动网络
业务流程
马尔科夫决策过程
概率计算树逻辑
随机模型检测
在线阅读
下载PDF
职称材料
基于Markov Decision Processes的可靠性定量分析实证研究
2
作者
刘跃军
苏静
《安阳师范学院学报》
2017年第5期14-18,共5页
由于设备、资源和传输等不能保证具有绝对的可靠运行性,所以理论上满足用户需求的模型在实际运行中也会出现一些偏差。为了定量地衡量这种偏差,提升用户对模型的信任程度,文章提出了利用马尔科夫决策过程Markov Decision Processes(MDP)...
由于设备、资源和传输等不能保证具有绝对的可靠运行性,所以理论上满足用户需求的模型在实际运行中也会出现一些偏差。为了定量地衡量这种偏差,提升用户对模型的信任程度,文章提出了利用马尔科夫决策过程Markov Decision Processes(MDP)和PRISM定量地研究反应式系统的可靠性以及利用预测结果为用户选择适当的服务。实验结果表明:该方法能尽早地对系统模型进行评估,能为用户进行"按需选择服务"提供帮助和决策,具有一定的实用性。
展开更多
关键词
需求分析
可靠性
马尔科夫决策过程(MDP)
概率计算树逻辑
PRISM
在线阅读
下载PDF
职称材料
题名
基于马尔科夫决策过程的可适变业务流程建模及分析
被引量：
3
1
作者
张红霞
邹华
林荣恒
杨放春
机构
北京邮电大学网络与交换技术国家重点实验室
中国石油大学计算机与通信工程学院
出处
《电子与信息学报》
EI
CSCD
北大核心
2013年第7期1760-1765,共6页
基金
国家973规划项目(2009CB320406)
国家863计划项目(2011AA01A102)资助课题
文摘
研究移动网络的适变业务流程的建模和模型分析对于部署和执行Web服务应用有着重要的意义。该文通过定义业务流程的相似性及数据类型的相容性,为可适变应用提供了候选集合,使得业务流程能够根据环境的变化动态地进行适变。为了有效地对适变业务流程实例进行分析,该文提出基于马尔科夫决策过程模型的适变业务流程建模方法,采用随机模型检测技术对模型的合理性进行验证和预测。针对具体实例,采用该文提出的方法对视频传输应用进行建模和分析验证,实验结果表明,该文为适变业务流程的建模和分析验证提供了一种有效的方法。
关键词
移动网络
业务流程
马尔科夫决策过程
概率计算树逻辑
随机模型检测
Keywords
Mobile network
Business process
Markov Decision Process（MDP）
Probabilistic computation tree logic
Probabilistic model checking
分类号
TP393 [自动化与计算机技术—计算机应用技术]
在线阅读
下载PDF
职称材料
题名
基于Markov Decision Processes的可靠性定量分析实证研究
2
作者
刘跃军
苏静
机构
安阳师范学院软件学院
出处
《安阳师范学院学报》
2017年第5期14-18,共5页
基金
安阳市2016年科技发展计划项目:基于马尔科夫过程和概率模型检测的Web服务组合验证(No.59)资助
河南省高可信性软件研究团队(No.B20141741)阶段性成果
文摘
由于设备、资源和传输等不能保证具有绝对的可靠运行性,所以理论上满足用户需求的模型在实际运行中也会出现一些偏差。为了定量地衡量这种偏差,提升用户对模型的信任程度,文章提出了利用马尔科夫决策过程Markov Decision Processes(MDP)和PRISM定量地研究反应式系统的可靠性以及利用预测结果为用户选择适当的服务。实验结果表明:该方法能尽早地对系统模型进行评估,能为用户进行"按需选择服务"提供帮助和决策,具有一定的实用性。
关键词
需求分析
可靠性
马尔科夫决策过程(MDP)
概率计算树逻辑
PRISM
分类号
TP311 [自动化与计算机技术—计算机软件与理论]
在线阅读
下载PDF
职称材料
题名
作者
出处
发文年
被引量
操作
1
基于马尔科夫决策过程的可适变业务流程建模及分析
张红霞
邹华
林荣恒
杨放春
《电子与信息学报》
EI
CSCD
北大核心
2013
3
在线阅读
下载PDF
职称材料
2
基于Markov Decision Processes的可靠性定量分析实证研究
刘跃军
苏静
《安阳师范学院学报》
2017
0
在线阅读
下载PDF
职称材料
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
上一页
1
下一页
到第
页
确定
用户登录
登录
IP登录
使用帮助
返回顶部
