周修毅
- 作品数：5 被引量：8H指数：2
- 供职机构：南京大学计算机科学与技术系更多>>
- 发文基金：江苏省自然科学基金国家自然科学基金国家重点基础研究发展计划更多>>
- 相关领域：电子电信自动化与计算机技术更多>>
- 实时系统的模型检验中针对共享变量的优化技术
- 2005年
- 实时系统可以使用由多个并发的时间自动机组成的时间自动机网络来建模。网络中的时间自动机通过共享变量和/或信道交互。带有不同共享变量取值的自动机网络的状态是截然不同的。因此,共享变量也是引起状态空间爆炸问题的原因之一。本文提出了在不同共享变量取值之间的兼容性关系的概念。使用这种兼容性关系,时间自动机网络的可达性分析算法就可以减少需要遍历的状态的个数。本文给出了检测符号化状态中共享变量的取值所能兼容的其它取值的算法以及进一步进行这种兼容性关系检测的增强算法。最后还给出了使用了这两种算法进行优化之后的可达性分析算法。实验结果显示经优化的可达性分析算法的空间效率得到了显著的提高。
- 周修毅赵建华李宣东郑国梁
- 关键词：实时系统优化技术时间自动机状态空间爆炸符号化
- MPLS的核心—LDP被引量：3
- 2002年
- 标签分配协议是MPLS技术的控制协议 ,也是MPLS的核心。它相当于传统信令中的信令协议 ,负责转发等价类的分类、标签的分配、分配结果的传输及LSP的建立和维护等一系列操作。分6个部分描述与LDP有关的内容 ,其中包括 :与标签、标签分配协议等相关的概念 ;LDP规范中规定的LDPPDU、消息、TLV等的结构 ;LDP的功能和工作的 4个阶段 ;标签的分配和管理技术 ;LDP与BGP和LIB的关系 ;对LDP的扩展—CR LDP等内容。
- 陈启美周修毅王逸
- 关键词：多协议标签交换标签服务质量
- 多协议标签交换流量工程——分析比较CR-LDP和扩展RSVP两种协议
- 在当今多媒体业务日趋增多,网络流量不断增加的情况下,基于数据传输模式的IP网络对于“服务质量”,只能尽“最大努力”,而TCP只是通过端到端的传输控制功能试图替代和减少网络自身的质量控制,显然这些难以保证足够的吞吐量和满足...
- 王逸陈启美周修毅
- 关键词：多协议标签交换资源预留协议
- 文献传递
- 时间自动机网络的模型检验中针对共享变量的优化技术研究
- 随着硬件和软件系统的规模和功能的迅速的增长，设计的复杂性和设计中所包含微小错误的可能性也随之增长，这就给软件和硬件产品的可靠性带来了重大的挑战。计算机辅助验证的目标在于提供验证工具，在产品设计的早期阶段帮助设计人员发现逻...
- 周修毅
- 关键词：实时系统时间自动机
- 文献传递
- MPLS流量工程及相关协议分析被引量：5
- 2002年
- 在当今多媒体业务日趋增多 ,网络流量不断增加的情况下 ,基于数据报文传输模式的IP网络对于“服务质量” ,只能尽“最大努力” ,而TCP只是通过端到端的传输控制功能试图替代和减少网络自身的质量控制 ,显然这些难以保证足够的吞吐量和满足传送延迟等服务质量要求。从本质上说 ,流量工程是一种网络控制技术 ,其中包括接入控制、策略控制、质量控制和拥塞控制等。MPLS流量控制的目的就是解决尽力而为的传统IP服务与QoS的统一问题。在提出流量工程和MPLS流量工程的基本概念后 ,具体介绍了支持流量工程的 2种协议 :资源预约协议和基于强制路由的标签分配协议 ,并加以分析和比较。
- 陈启美王逸周修毅
- 关键词：MPLS多协议标签交换资源预留协议INTERNET
