智能计算机与应用
智能計算機與應用
지능계산궤여응용
Computer Study
2014年
6期
8-10,14
,共4页
可生存系统%认知模型%形式化描述%量化分析
可生存繫統%認知模型%形式化描述%量化分析
가생존계통%인지모형%형식화묘술%양화분석
首先,提出一个具有多层感知功能的可生存系统认知模型;然后,在介绍了高阶多型π演算的语法和操作语义的基础上,对可生存系统认知模型进行形式化描述;最后,实现对可生存系统在不同攻击下的系统可用性试验,仿真结果验证了该形式化描述与分析方法的有效性和可行性.
首先,提齣一箇具有多層感知功能的可生存繫統認知模型;然後,在介紹瞭高階多型π縯算的語法和操作語義的基礎上,對可生存繫統認知模型進行形式化描述;最後,實現對可生存繫統在不同攻擊下的繫統可用性試驗,倣真結果驗證瞭該形式化描述與分析方法的有效性和可行性.
수선,제출일개구유다층감지공능적가생존계통인지모형;연후,재개소료고계다형π연산적어법화조작어의적기출상,대가생존계통인지모형진행형식화묘술;최후,실현대가생존계통재불동공격하적계통가용성시험,방진결과험증료해형식화묘술여분석방법적유효성화가행성.