| 一种可生存系统的自主认知模型研究 |
| |
| 引用本文： | 张楠,赵国生,盛琳阳. 一种可生存系统的自主认知模型研究[J]. 电脑学习, 2014, 4(6) |
| |
| 作者姓名： | 张楠 赵国生 盛琳阳 |
| |
| 作者单位： | 哈尔滨师范大学计算机科学与信息工程学院,哈尔滨,150025 |
| |
| 基金项目： | 国家自然科学青年基金，高等学校博士学科点专项科研基金，哈尔滨师范大学硕士研究生创新科研项目 |
| |
| 摘 要： | 首先,提出一个具有多层感知功能的可生存系统认知模型;然后,在介绍了高阶多型π演算的语法和操作语义的基础上,对可生存系统认知模型进行形式化描述;最后,实现对可生存系统在不同攻击下的系统可用性试验,仿真结果验证了该形式化描述与分析方法的有效性和可行性。
|
| 关 键 词： | 可生存系统 认知模型 形式化描述 量化分析 |
Research on Autonomous Cognitive Model of Survivable System |
| |
| ZHANG Nan,ZHAO Guosheng,SHENG Linyang. Research on Autonomous Cognitive Model of Survivable System[J]. Computer Study, 2014, 4(6) |
| |
| Authors: | ZHANG Nan ZHAO Guosheng SHENG Linyang |
| |
| Abstract: | |
| |
| Keywords: | |
| 本文献已被 CNKI 万方数据 等数据库收录！ |
|
