基于高阶多型π演算的可生存系统认知模型研究

• 作者: 张楠 王健 赵国生
• 来源期刊: 系统仿真学报
• 学科: 工学
• 关键词: 可生存系统 认知模型 高阶多型π演算 形式化建模
• 年，卷（期）: 2016,（2）
• 所属期刊栏目: 仿真建模理论与方法
• 页码范围: 275-282
• 分类号: TP302
• 语种: 中文

摘要

提出一个具有多层感知能力的可生存系统认知模型.基于高阶多型π演算把认知模型的形式化建模与认知能力的量化分析同步结合,通过对系统运行状态和系统业务及内部结构形式化建模后进行认知能力的量化评估.提出一个具有多层感知能力的可生存系统认知模型;基于高阶多型π演算对可生存系统认知模型从两个角度进行形式化建模;利用MWB 工具实现对不同攻击场景下的系统可用性、瞬时可用性、稳态可用性和高优先级任务吞吐量的试验.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	赵国生	哈尔滨师范大学计算机科学与信息工程学院	58	246	7.0	13.0
2	王健	哈尔滨理工大学计算机科学与技术学院	52	131	6.0	8.0
3	张楠	哈尔滨师范大学计算机科学与信息工程学院	7	13	2.0	3.0