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

赵国生; 张楠; 王健

首页> 中文期刊> 《系统仿真学报》 >基于高阶多型π演算的可生存系统认知模型研究

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

开具论文收录证明 >>

期刊封面封底目录下载 >>

文献代查 >>

页面导航

摘要
著录项
相似文献
相关主题

摘要

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

著录项

来源
《系统仿真学报》 |2016年第2期|275-282|共8页
作者
赵国生; 张楠; 王健;
展开▼
作者单位

哈尔滨师范大学计算机科学与信息工程学院;

哈尔滨理工大学计算机科学与技术学院;

展开▼
原文格式 PDF
正文语种 chi
中图分类设计与性能分析;
关键词
可生存系统; 认知模型; 高阶多型π演算; 形式化建模;

相似文献

中文文献
外文文献
专利

1. 基于高阶π演算的构件演化行为研究 [J] . 何海洋 ,李强 ,余祥 . 计算机科学 . 2017,第003期
2. 基于高阶π演算的构件演化模型研究 [J] . 何海洋 ,李强 ,余祥 . 计算机应用研究 . 2017,第1期
3. 基于高阶时间π演算的构件式实时软件研究 [J] . 尤涛 ,杜承烈 ,王小伟 . 西北工业大学学报 . 2009,第006期
4. 一种可生存系统的自主认知模型研究 [J] . 张楠 ,赵国生 ,盛琳阳 . 智能计算机与应用 . 2014,第006期
5. 一种可生存系统的自主认知模型研究 [J] . 张楠 ,赵国生 ,盛琳阳 . 智能计算机与应用 . 2014,第006期
6. 基于SM-PEPA可生存系统认知模型及量化分析 [C] . Wang Jian ,王健 ,Zhao Guosheng . 第二十届全国网络与数据通信学术会议 . 2014
7. 可生存系统的认知模型研究 [A] . 李琳 . 2014

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

摘要

著录项

相似文献

相关主题

期刊订阅