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

系统仿真学报 ›› 2016, Vol. 28 ›› Issue (2): 275-282.

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

赵国生¹, 张楠¹, 王健²

1.哈尔滨师范大学计算机科学与信息工程学院,黑龙江哈尔滨 150025;
2.哈尔滨理工大学计算机科学与技术学院,黑龙江哈尔滨 150001

收稿日期:2014-07-01 修回日期:2014-11-28 出版日期:2016-02-08 发布日期:2020-08-17
作者简介:赵国生(1977-),男,黑龙江,博士,副教授,硕导,研究方向为可生存系统、认知网络、自律计算;张楠(通讯作者1988-),女,安徽,硕士生,研究方向为可生存系统、认知网络、自律计算。
基金资助:
国家自然科学基金(61202458,61403109); 高等学校博士学科点专项科研基金(20112303120007)

Study of Cognitive Model for Survivable System Based on High-order Multi-type π Calculus

Zhao Guosheng¹, Zhang Nan¹, Wang Jian²

1. College of Computer Science and Information Engineering, Harbin Normal University, Harbin 150025, China;
2. School of Computer Science and Technology, Harbin University of Science and Technology, Harbin 150001, China

Received:2014-07-01 Revised:2014-11-28 Online:2016-02-08 Published:2020-08-17

摘要/Abstract

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

关键词: 可生存系统, 认知模型, 高阶多型π演算;, 形式化建模

Abstract: A cognitive model for survivable system with a multilayer cognitive ability was proposed, and based on high-order multi-type π calculus, combining formal modeling of cognitive model with quantitative analysis of cognitive performance, thus can obtain the quantitative evaluation of system cognitive performance after formal modeling of system operation state, system service and internal structure. A cognitive model for survivable system with a multilayer cognitive ability was proposed. Based on high-order multi-type π calculus, formal modeling of cognitive model for survivable system in two aspects was taken. By using the tool MWB, the tests were achieved about system availability, instantaneous availability, steady-state availability and high-priority tasks throughput in different attacks.

Key words: survivable system, cognitive model, high-order multi-type π calculus;, formal modeling

中图分类号:

TP302

赵国生, 张楠, 王健. 基于高阶多型π演算的可生存系统认知模型研究[J]. 系统仿真学报, 2016, 28(2): 275-282.

Zhao Guosheng, Zhang Nan, Wang Jian. Study of Cognitive Model for Survivable System Based on High-order Multi-type π Calculus[J]. Journal of System Simulation, 2016, 28(2): 275-282.

参考文献 10

[1]	Modha D S, Ananthanarayanan R, Esser S K, et al.Cognitive Computing[J]. Communications of the ACM (S0001-0782), 2011, 54(8): 62-71.
[2]	王慧强, 徐俊波, 冯光升, 等. 认知网络体系结构研究新进展[J]. 计算机科学, 2011, 38(8): 9-16.
[3]	陈铮, 张勇, 滕颖蕾. 认知网络概述[J]. 无线通信技术, 2009, 28(4): 21-25.
[4]	Wang Y X, Pedrycz W, Baciu, et al. Perspectives on Cognitive Computing and Applications[C]// Proceedings of the Cognitive Informatics, 2010 9th IEEE International Conference on. USA: IEEE, 2010: 8-16.
[5]	陈海涛, 卢宇彤, 黄遵国, 等. 一种新型多层可生存信息服务架构[J]. 计算机工程与应用, 2008, 44(15): 15-17.
[6]	Milner R, Parrow J, Walker D.A Calculus of Mobile Processes, I[J]. Information and Computation (S0890-5401), 1992, 100(1): 1-40.
[7]	李长云, 李赣生, 何频捷. 一种形式化的动态体系结构描述语言[J]. 软件学报, 2006, 17(6): 1349-1359.
[8]	Sangiorgi D.Expressing Mobility in Process Algebras: First-Order and Higher-Order Paradigms [D]. UK: Department of Computer Science, University of Edinburgh, 1993.
[9]	王健, 赵国生, 刘海龙. 面向认知网络的形式化建模与分析方法初探[J]. 中南大学学报, 2010, 41(1): 103-107.
[10]	王健, 郭黎莉, 李扬. 任务关键系统可生存性的形式化建模方法[J]. 山东大学学报, 2011, 46(9): 89-94.