计算机网络可靠性验证系统设计Design of computer network reliability verification system
熊英
摘要(Abstract)：
针对传统验证系统一直存在验证效率及验证精度低的问题,提出并设计基于双验证模块的计算机网络可靠性验证系统。通过分析用户设备、网络拓扑结构对计算机网络可靠性的影响,给出计算机网络可靠性与可靠度定义,构建基于双验证模块的可靠性验证系统,实现对计算机网络可靠性的验证。实验结果表明,在以验证时延为指标进行计算机网络可靠性验证时,采用改进系统与传统验证系统为对比,其验证时延及效率均要优于传统验证系统,具有一定的优势。
关键词(KeyWords)： 计算机网络;可靠性验证;双验证模块;网络拓扑结构;交换设备;时延
基金项目(Foundation): 广东省自然科学基金项目(S201304001289);; 广东远程开放教育科研基金项目(YJ1613)~~
作者(Author): 熊英
DOI: 10.16652/j.issn.1004-373x.2018.16.019
参考文献(References)：
- [1]薛栋梁,昌凯,程家林,等.面向数据中心感知网络的可靠性研究[J].小型微型计算机系统,2016,37(4):793-798.XUE Dongliang,CHANG Kai,CHENG Jialin,et al.Reliability research of data center sensor network[J].Journal of Chinese computer systems,2016,37(4):793-798.
- [2]黄盛林,吕锋昌,王伟.SAVI DHCPv6数据报文源地址验证方法研究[J].计算机应用研究,2017,34(1):166-169.HUANG Shenglin,LüFengchang,WANG Wei.Study on datagram source address validation solution in SAVI DHCPv6[J].Application research of computers,2017,34(1):166-169.
- [3]刘娟,王宏涛,李娟,等.FC网络仿真验证系统构建及关键技术[J].电子技术应用,2016,42(8):172-174.LIU Juan,WANG Hongtao,LI Juan,et al.The construction and key technologies of FC network simulation and verification system[J].Application of electronic technique,2016,42(8):172-174.
- [4]安梅岩,王兆魁,张育林.人工智能集群控制演示验证系统[J].机器人,2016,38(3):265-275.AN Meiyan,WANG Zhaokui,ZHANG Yulin.Demonstration and verification system for artificial intelligent swarm control[J].Robot,2016,38(3):265-275.
- [5]梁靓,曹源,马连川,等.安全计算机通信管理机制的形式化验证与实现[J].通信学报,2016,37(11):196-202.LIANG Liang,CAO Yuan,MA Lianchuan,et al.Formal verification and implementation of safety computer communication management mechanism[J].Journal on communications,2016,37(11):196-202.
- [6]路佳特.计算机化系统验证方法探讨[J].中国医药工业杂志,2017,48(12):1818-1821.LU Jiate.Discussion of computerized system validation[J].Chinese journal of pharmaceuticals,2017,48(12):1818-1821.
- [7]马少华,卢迪,邱维佳,等.计算机化系统验证的实例分析[J].中国医药工业杂志,2016,47(8):1101-1104.MA Shaohua,LU Di,QIU Weijia,et al.A computerized system validation example analysis[J].Chinese journal of pharmaceuticals,2016,47(8):1101-1104.
- [8]王勇,许荣强,任兴田,等.可信计算中信任链建立的形式化验证[J].北京工业大学学报,2016,42(3):387-392.WANG Yong,XU Rongqiang,REN Xingtian,et al.Formal verification of establishment of chain of trust in trusted computing[J].Journal of Beijing University of Technology,2016,42(3):387-392.
- [9]朱晓宁,孙斌,朱春鸽.大规模云资源可靠性评价模型[J].北京邮电大学学报,2017,40(z1):53-57.ZHU Xiaoning,SUN Bin,ZHU Chunge.Reliability evaluation model of large scale cloud resources[J].Journal of Beijing University of Posts and Telecommunications,2017,40(S1):53-57.
- [10]李建平,王晓凯.基于模糊神经网络的无线传感器网络可靠性评估[J].计算机应用,2016,36(z2):69-72.LI Jianping,WANG Xiaokai.WSN reliability evaluation based on fuzzy neural network[J].Journal of computer applications,2016,36(S2):69-72.