| 基于SM-PEPA可生存系统认知模型及量化分析 |
| |
| 引用本文： | 王健,赵国生. 基于SM-PEPA可生存系统认知模型及量化分析[J]. 华中科技大学学报(自然科学版), 2015, 0(5) |
| |
| 作者姓名： | 王健 赵国生 |
| |
| 作者单位： | 1. 哈尔滨理工大学计算机科学与技术学院,黑龙江哈尔滨,150080
2. 哈尔滨师范大学计算机科学与信息工程学院,黑龙江哈尔滨,150025 |
| |
| 基金项目： | 国家自然科学基金资助项目(61403109，61202458)；高等学校博士学科点专项科研基金资助项目(20112303120007)． |
| |
| 摘 要： | 为解决可生存系统的自主管理和维护问题以保持关键服务的持续提供,提出一种基于SM-PEPA的系统认知形式化模型及量化分析方法.首先建立了具有分层认知能力的可生存系统认知模型,即服务认知子层、网络认知子层和接入认知子层,然后提出了一种由策略库发起驱动基于认知环MDE的认知单元自管理模型,并通过可生存系统的生存状态转换图,构建了可生存系统认知性能分析框架.在此基础上,结合对可生存系统认知能力的形式化描述,将其转化为一个半马尔可夫过程,对模型进行了量化分析.仿真试验分析了不同参数变化对系统可生存性的影响,试验结果验证了所提方法的有效性和合理性.
|
| 关 键 词： | 认知模型 随机进程代数 可生存性 反馈控制环 量化分析 |
Cognitive model and quantitative analysis for survivable system based on SM-PEPA |
| |
| Wang Jian,Zhao Guosheng. Cognitive model and quantitative analysis for survivable system based on SM-PEPA[J]. JOURNAL OF HUAZHONG UNIVERSITY OF SCIENCE AND TECHNOLOGY.NATURE SCIENCE, 2015, 0(5) |
| |
| Authors: | Wang Jian Zhao Guosheng |
| |
| Abstract: | |
| |
| Keywords: | cognitive model stochastic process algebra survivability feedback control-loop quanti-tative analysis |
| 本文献已被 CNKI 万方数据 等数据库收录！ |
|
