您的位置: 专家智库 > >

姜宁

作品数:5 被引量:16H指数:2
供职机构:清华大学更多>>
发文基金:国家自然科学基金国家重点基础研究发展计划国家科技支撑计划更多>>
相关领域:自动化与计算机技术更多>>

文献类型

  • 2篇期刊文章
  • 2篇专利
  • 1篇学位论文

领域

  • 3篇自动化与计算...

主题

  • 3篇网络
  • 3篇网络管理
  • 2篇形式化
  • 2篇形式化描述
  • 2篇生存期
  • 2篇自适
  • 2篇自适应
  • 2篇项数
  • 2篇换机
  • 2篇交换机
  • 2篇SAVI
  • 2篇采样点
  • 2篇参数自适应
  • 2篇存期
  • 1篇语言
  • 1篇园区网
  • 1篇配置信息
  • 1篇自动生成
  • 1篇互联
  • 1篇互联网

机构

  • 5篇清华大学

作者

  • 5篇姜宁
  • 4篇杨家海
  • 4篇安常青
  • 4篇李福亮
  • 1篇吴建平

传媒

  • 1篇清华大学学报...
  • 1篇软件学报

年份

  • 1篇2015
  • 1篇2014
  • 3篇2012
5 条 记 录,以下是 1-5
排序方式:
SAVI交换机过滤表生存期参数自适应调整方法
本发明提出一种SAVI交换机过滤表生存期参数自适应调整方法,包括:设置交换机的过滤表生存期参数,收集预设工作周期时间内交换机的用户在线记录和交换机的过滤表的负荷状态;获得多个备选过滤表生存期参数值;选取初始过滤表生存期参...
杨家海安常青姜宁李福亮
文献传递
面向IPv6的园区网配置信息自动生成的研究与实现
网络管理为网络正常运行提供保障,而配置管理更是其基础。传统上网络的配置管理大多是由管理员通过命令行以手工方式完成的。由于网络的复杂性,网络设备支持功能和服务的多样性,以及功能之间的复杂依赖关系,导致网络配置错误经常出现。...
姜宁
关键词:网络管理形式化描述
文献传递
SAVI交换机过滤表生存期参数自适应调整方法
本发明提出一种SAVI交换机过滤表生存期参数自适应调整方法,包括:设置交换机的过滤表生存期参数,收集预设工作周期时间内交换机的用户在线记录和交换机的过滤表的负荷状态;获得多个备选过滤表生存期参数值;选取初始过滤表生存期参...
杨家海安常青姜宁李福亮
文献传递
基于形式化描述的交换机网络自动配置策略的设计与实现被引量:3
2012年
配置管理是网络管理中的重要组成部分,随着IPv6的使用、安全机制的完善,园区网的配置变得更加复杂。该文提出交换机网络自动配置策略并实现原型系统。该系统以网络拓扑为基础,将其自动转化成alloy语言的描述,通过对配置规则进行形式化描述,计算出可行的配置解,自动完成交换机各参数的配置。该文以配置交换机网络的源地址验证(SAVI)功能为例,通过多线程的方式对各个子网同时进行规则推理,可以完成千级数量SAVI交换机的自动配置。
杨家海姜宁安常青李福亮
关键词:网络管理
互联网自动配置研究被引量:13
2014年
互联网越来越复杂,网络设备支持的功能和服务越来越多,导致配置错误多发.配置错误已成为网络中断和异常产生的主要原因之一.互联网配置问题引起众多研究者的兴趣和重视,成为网络管理领域的一个重要研究课题.自2002年以来,研究者先后从不同角度对互联网配置问题进行了大量的研究,这些研究极大地促进了网络自动配置技术的发展.首先对互联网自动配置及配置案例进行概述;然后,按照配置自动生成、配置验证、配置自动实现这3个方面对互联网自动配置研究进行分类总结和分析评价;最后,总结了当前研究中存在的问题,并对未来研究发展趋势进行展望,希望能为该领域的研究者提供一些有益的启示.
李福亮杨家海吴建平安常青姜宁
关键词:网络管理
共1页<1>
聚类工具0