基于SM-PEPA的可生存系统认知模型及量化分析
首发时间:2014-12-19
摘要:提出一种基于SM-PEPA的可生存系统认知形式化模型及量化分析方法。首先建立了具有分层认知能力的可生存系统认知模型,然后提出了一种基于认知环MDE的认知单元自管理模型,并通过可生存系统的生存状态转换图,构建了可生存系统认知性能分析框架。在此基础上,结合对可生存系统认知能力的形式化描述,对模型进行了量化分析。试验结果验证了所提方法的有效性和合理性。
关键词: 计算机应用技术 可生存性 性能评估进程代数 认知模型 量化分析
For information in English, please click here
Cognitive Model and Quantitative Analysis for Survivable System Based on SM-PEPA
Abstract:A method of cognitive formalized model and quantitative analysis for survivable system is proposed based on semi-Markov performance evaluation process algebra. Firstly, a cognitive model of survivable system with hierarchical cognitive ability is established. Then, a self-management cognitive unit model based on Monitor-Decide-Execute is put forward. Finally, a performance analysis framework of cognitive model is built according to the transferring graph of system state for survivability. On the basis, the quantitative analysis is carried out, simultaneously considering the formal description of cognitive ability. The experimental results show the effectiveness and feasibility of the developed method.
Keywords: computer application technology survivability performance evaluation process algebra cognitive model quantitative analysis
论文图表:
引用
No.4621374101939214****
同行评议
共计0人参与
勘误表
基于SM-PEPA的可生存系统认知模型及量化分析
评论
全部评论