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

Journal of System Simulation ›› 2016, Vol. 28 ›› Issue (2): 275-282.

Previous Articles Next Articles

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

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

CLC Number:

TP302

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.

References 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.

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

PDF (PC)

Knowledge

Abstract

Cite this article

share this article

References 10

Related Articles 4

Recommended Articles

Metrics

Comments

[1]	Hu Xiaofeng, Qi Dawei. Intelligent Wargaming System: Change Needed by Next Generation Need to be Changed [J]. Journal of System Simulation, 2021, 33(9): 1997-2009.
[2]	Li Zongshuai, Chen Jing. An Autonomous Cognitive Model Simulating Basal Ganglia Mechanism [J]. Journal of System Simulation, 2018, 30(2): 427-434.
[3]	Chen Jing. Research on Balance Cognition Based on Multi-level Heuristic Dynamic Programming of Flexible Robot [J]. Journal of System Simulation, 2018, 30(1): 147-155.
[4]	Hao Lili, Gu Hao, Kang Fengju, Yang Huizhen. WIFTCPN Formalized Decision-making for AUV Formation System under Uncertainty [J]. Journal of System Simulation, 2015, 27(8): 1740-1746.