王承松
- 作品数：29 被引量：7H指数：1
- 供职机构：国防科学技术大学更多>>
- 发文基金：国家高技术研究发展计划国家自然科学基金更多>>
- 相关领域：自动化与计算机技术更多>>
- 计算机网络管理困境与对策被引量：4
- 2021年
- 随着5G时代的到来,网络业务的快速部署能力和网络运维能力需求对网络管理提出了新的挑战。一方面,网络正在进行功能虚拟化转型,切片和微服务使网络更复杂;另一方面,网络管理人员需要更加简单的自动化工具集合支持按需、实时、灵活的网络服务。分析了当前网络管理面临的困境和产生困境的原因,提出了网络自主管理研究框架,为进一步研究提供参考。
- 王宏王承松郦苏丹
- 关键词：网络管理
- 基于UML的可信概念模型
- 随着计算机在国民经济和国防领域中的广泛应用,可信性质已经成为评价计算机系统非功能性的重要指标.从形式化表示机制的角度,本文应用UML语言建立了计算机系统的可信概念模型.首先给出了可信概念的高层次抽象UML类图,然后分别描...
- 王承松毛晓光雷晏王燕妮
- 关键词：高可信UML
- 文献传递
- 支持二进制执行码调试和测试的插装技术研究
- 对已经发布的二进制码格式的软件产品做可信性质增强、功能扩充和打补丁等应用已经成为了当今学术界研究的热点和趋势。为了保证软件质量,按照软件工程的要求,需要对修改过后的二进制码格式的程序进行测试和调试。但是,目前还没有成熟的...
- 王承松
- 关键词：软件测试XML
- 基于UML的可信概念模型
- 2010年
- 随着计算机在国民经济和国防领域中的广泛应用,可信性质已经成为评价计算机系统非功能性的重要指标.从形式化表示机制的角度,应用UML语言建立了计算机系统的可信概念模型.首先给出了可信概念的高层次抽象UML类图,然后分别描述了可信性质、可信威胁和可信保障技术的UML模型,其中重点介绍了系统失效机理和系统容错技术的概念模型.最后,指出以UML为基础的软件可信技术有可能成为开发高可信性计算机系统的发展趋势.
- 王承松毛晓光雷晏王燕妮
- 关键词：高可信UML
- 一种基于性质规约模式的软件运行时性质监测方法
- 本发明公开了一种基于性质规约模式的软件运行时性质监测方法，目的是提供一种有利于故障发现和诊断的软件运行时性质监测方法。技术方案是将软件运行时性质监测需求划分为多种性质规约模式，为每种性质规约模式构造一个性质规约模版；提取...
- 毛晓光吴海亮万小敏代子营王瑞王承松雷晏王燕妮
- 一种基于软件定义的集中组播控制方法
- 本发明提供一种基于软件定义的集中组播控制方法，其步骤为：S1：组播控制中心构建三级服务器组成的组播集中控制架构；S2：组播控制中心为合法组播源开通组播服务；S3：组播控制中心确定合法组播成员；S4：组播控制中心形成组播链...
- 郦苏丹邓文平陈红艳唐竹王承松刘欢
- 文献传递
- 一种软件定义的跨域多路径路由规划方法
- 本发明提供一种软件定义的跨域多路径路由规划方法，包括以下步骤：第一步：部署路由规划架构；第二步：完成软件定义的跨域多路径路由规划，包括以下步骤：S1：全局控制器与区域控制器进行交互，完成路由计算策略的下发及当前路径状态信...
- 王宝生邓文平陈瑶郦苏丹王宏彭伟唐竹王承松
- 文献传递
- 一种轻量级大规模自主网络协议功能测试方法
- 本发明涉及一种轻量级大规模自主网络协议功能测试方法，采用轻量级虚拟化软件构建虚拟的路由器网元设备，其中包含网络协议应用程序作为控制平面，包含用户态转发程序作为数据平面，每台物理设备可以运行多台虚拟的路由器网元设备，并根据...
- 唐竹郦苏丹王宝生邓文平陈瑶王宏彭伟王承松荀鹏王勇志
- 文献传递
- 一种多虚拟设备容器组网方法
- 本发明公开了一种多虚拟设备容器组网方法，目的是解决虚拟网桥设备上的单点故障问题，并对不同容器网络进行隔离从而迅速定位故障。技术方案是先搭建由控制节点和容器运行节点组成的容器网络底层环境：在容器网络底层环境中搭建组网系统，...
- 邓文平王承松唐竹汪泉郦苏丹荀鹏彭伟王宏陈红艳
- 文献传递
- 一种基于SDN的容器网络资源调度方法
- 针对现有技术无法根据容器网络的需求进行资源切分与保障的问题，本发明提供一种基于SDN的容器网络资源调度方法，包括以下步骤：第一步，基于SDN/NFV技术进行网络软硬件资源统一抽象与描述；第二步，对容器网络实施资源分配与回...
- 王承松郦苏丹邓文平陈红艳王宏彭伟唐竹汪泉
- 文献传递
