一种可生存系统的自主认知模型研究  

Research on Autonomous Cognitive Model of Survivable System

作　　者：张楠[1] 赵国生[1] 盛琳阳[1] 

机构地区：[1]哈尔滨师范大学计算机科学与信息工程学院,哈尔滨150025

出　　处：《智能计算机与应用》2014年第6期8-10,14,共4页Intelligent Computer and Applications

基　　金：国家自然科学青年基金(61202458);高等学校博士学科点专项科研基金(20112303120007);哈尔滨师范大学硕士研究生创新科研项目(HSDSSCX2014-03)

摘　　要：首先,提出一个具有多层感知功能的可生存系统认知模型;然后,在介绍了高阶多型π演算的语法和操作语义的基础上,对可生存系统认知模型进行形式化描述;最后,实现对可生存系统在不同攻击下的系统可用性试验,仿真结果验证了该形式化描述与分析方法的有效性和可行性。Firstly, proposed a cognitive model for survivable system with a multilayer cognitive ＇ability; then, based on the introduction of the syntax and operational semantics of high - order multi - type π calculus, took formal modeling of cogni- tive model for survivable system; finally, achieved the tests about system availability in different attacks of survivable sys- tem, simulation results proved that the formal description and analysis method were feasible and effective.

关 键 词：可生存系统 认知模型 形式化描述 量化分析 

分 类 号：TP302[自动化与计算机技术—计算机系统结构]