10G以太网技术及其应用前景

文章介绍了10G以太网的主要特点，列举了10G以太网物理层接口和子层的主要功能，着重讨论了10G以太网物理层中广域网接口子层的结构，最后给出了10G以太网的应用前景。

IP电话的若干网络技术问题

IP电话近年来发展很快。文章讨论了IP电话的若干重要的网络技术问题,如:在接收端对话音分组进行还原时采取的策略;对不同的分组给予不同的服务以及IP电话的应用层协议等。

评《TCP/IP协议族》

几年前，McGraw-Hill公司的姜峰经理亲自到我家来，要我为母校的出版社作一点贡献，把Forouzan所著的《TCP／IP协议族》一书尽快地翻译出来。我愉快地答应了，因为翻译一本著名的网络教科书，既能够满足广大网络学习者的需要，对译者本人也是一次学习的好机会。现在，Forouzan又写出了第二版，使这本教材更好地跟上了网络技术的发展。

10千兆以太网标准化的进展

文章简单回顾了以太网的发展历史,介绍了10千兆以太网带来的好处及其标准化过程,并在讨论了10千兆以太网的主要特点后,得出以下结论:10干兆以太网将以太网的已被证明的价值和经济性扩展到了城域网和厂域网.

UML状态机的形式语义

许多大型系统在进行分析和设计时,均采用UML作为需求描述语言,尤其是一些对安全性要求较高的系统,更是广泛采用UML的动态行为描述机制——状态机来描述协议及控制机制.但是,由于UML没有形式化的动态语义,不利于对其所描述的需求进行形式化验证和证明,为了解决这一问题,采用以下方法为UML状态机构建形式语义.把UML状态机中的状态映射到一种项代数上,用归纳的状态项表示状态机的状态.然后,把状态项映射到一种加标记的变迁系统LTS上,LTS-状态是状态机的状态项,LTS-变迁是UML状态机的微步.最后,用Plotkin风格的结构操作语义SOS(structural operational semantics)规则归纳地给出满足组合性的UML状态机语义.此方法既是对一些经典Statechart形式化方法的综合,又针对UML状态机的特点作了创新,使状态项能够动态地描述任意时刻UML状态机的配置树,简化LTS的标记,同时,结构化的语义规则更为形式化验证奠定了基础.

类型系统的构造、实现及其在程序设计语言中的应用

类型系统是一种设计和研究程序设计语言的形式化方法和工具 ,既可在语言设计之初构造 ,便于严格、准确、正确地设计实现语言 ;也可在语言实现后构造 ,为研究语言的语义及其它性质建立模型 .详细讨论了类型系统的基本构造和实现 ,通过基于图重写的函数式语言SClean的类型系统 。

一个快速的时延有界低代价多播路由算法

基于QoS的多播路由算法需要在满足每个个体QoS需求的同时，又能高效管理网络资源．提出了一种满足端到端时延限制的低代价多播路由算法．算法使用一个修改的Steiner构近似算法先构建时延有界的低代价多播树，再通过最小时延路径与其它尚不在多播树的组结点相连．计算机仿真结果表明，新算法与其它一些时延有界多播路由算法相比有很好的性能，并且避免了许多同类算法常见的高复杂性．

一种快速的近似最小代价多播路由算法MCTH

提出一种快速近似最小代价多播路由算法．算法通过动态调整结点与当前路由树的代价值，依次选择和当前路由树有最小代价的结点来逐步生成总体代价小的多播路由树．ＭｉｎｉｍｕｍＣｏｓｔＰａｔｈＨｅｕｒｉｓｔｉｃ（ＭＰＨ）是一个性能很好的Ｓｔｅｉｎｅｒ树近似算法，通过算法分析和实验比较得出，本文的算法与ＭＰＨ有相同的性能，但复杂性更低，并且建立路由时仅需了解相邻结点间链路的代价信息．

使用智能代理进行网络设备的告警关联

为了解决集中式网络故障管理固有的缺陷 ,提出了一种基于 SNMP网络管理环境、使用分布式智能代理进行网络设备告警关联的算法 .算法分成 3步 :1智能代理驻留在设备本地 ,对设备发出的告警进行分类 ,作为相应协议对象的故障模型 FSM的输入 ,运行这个 FSM以产生该协议对象的当前状态 ;2按照关联关系的形式化定义 ,尝试对状态不正常的协议对象进行关联 ;3为了给关联的结果增加一个可信度的度量 ,计算关联结果的信念 ,将关联的结果及其信念报告给网络管理平台 .该算法将告警关联和故障标识的难度进行了分解 。

分组话音通信中分组丢失对汉语话音清晰度的影响

分组话音通信中分组丢失对汉语话音质量的影响还未有人研究过。本文给出了在一个令牌总线型话音/数据综合局域网上进行的汉语话音清晰度测试结果。测试结果表明,在收方采用重复丢失前一帧的丢失填补策略下,对于16 kbit/s CVSD编码加静默压缩,以50 ms为话音分组长度的分组话音通信,当分组丢失率达到25％时,汉语话音清晰度的下降不超过3％。

基于C/S模式和多线程的NCC在VSAT系统中的设计与实现

多业务稀路由卫星通信系统 (VSAT)是卫星通信领域中的一个重要应用 ,网控中心 (NCC)是 VSAT卫星通信系统的核心。讨论了一个基于 C/ S模式和多线程的 NCC的设计与实现。论文首先介绍了网控系统的体系结构及网控中心的模型 ,然后 ,进一步重点讨论了网控中心的可靠性设计。最后 ,介绍网控中心核心软件

构造类型论与计算机程序设计

1.引言近些年来,在计算机程序设计语言理论、自动演绎以及更一般的逻辑和计算领域研究中,出现了多种以构造类型论为基础的系统,如LCF、ALF、LEGO、Coq等,它们被用来为程序设计语言设计类型系统,进行程序开发和验证、形式化证明以及作为数学和计算的基础.构造类型论为计算机科学家提供了一个框架,以一种优雅和灵活的方式把逻辑和程序设计语言结合起来:在同一形式系统中,可以同时表达规约和(函数式语言)程序,从证明规则可以导出正确的程序,并验证程序具有某种性质,从而在同一系统内完成程序的开发和验证[26,19].

综合网管系统的设计方法及应用实例

本文讨论和总结了实现综合网管系统 (INMS)的几种方式的特点 .结合金桥网综合网管系统 (GBINMS)的设计和实现 ,本文详细讨论了实现INMS的一些理论和技术问题 .此外 ,本文还提出了一种“根据配置处理MIB数据”的方法 。

光纤最佳环形网络的接口控制技术

本文介绍了一种具有最优结构的光纤环形网络,提出了这种网络的接口模型、帧结构、环控制算法,令牌传递逻辑组件和环控制系统设计。结果表明,它具有动态的环路故障修复能力和信息处理功能.

LME结构的研究及其面向对象实现

基于ＯＳＩ管理框架，根据管理实体与被管理实体之间的交互关系，本文研究了层管理实体ＬＭＥ的结构，给出了层管理实体的程序结构模型，该模型是一个具有独立性的程序模块，它和协议实体、系统管理间通过接口部件ＬＯＰＩ，ＬＭＳＩ交互操作，其内部的ＬＭＩＴ存储了层协议的管理信息．此层管理模型还可以访问下层协议服务，为在网络管理系统中实现协议测试提供支持．该层管理模型和ＯＳＩＭ是一致的，同时也可纳入ＳＮＭＰ体系结构中．我们以该模型为基础，实现了ＮｅｔＢｉｏｓ协议的层管理程序．

网络管理中的一种分级告警关联方法

提出了一种基于SNMP网络管理环境、使用分布式智能代理进行单个网络设备告警关联的算法 .算法分成三步 :①智能代理驻留在设备本地 ,对设备发出的告警进行分类 ,作为协议故障模型有限状态机的输入 ,产生TCP/IP协议实体的当前状态 ;②按照服务关系 ,将状态不正常的协议实体关联起来 ;③对关联的结果赋予一个信念 ,报告给网络管理中心 .该算法将告警关联和故障标识的难度进行了分解 。

话音数据综合复用三种方案的性能分析比较

本文简述了既适用于模拟传输线路上又适用于数字传输线路上话音数据综合复用的三种方案,详细分析了这三种方案下数据分组的平均传输迟延,根据迟延吞吐量曲线,比较和评价了每一种方案的优劣。

ISDN PBX及X．25网关的管理

本文介绍了ＩＳＤＮ用户一网络接口的管理模型，分析了ＰＢＸ、Ｘ．２５网关的管理功能，对协议测试、管理通信进行了研究并提出模型及实现原则。

网络测量技术

文章概述了网络测量的基本概念和基本方法,介绍了C.Williamson对因特网流量的观察结果,探讨了网络测量模式与测量技术,最后介绍了解放军网络技术研究中心在网络测量方面所展开的研究工作。

基于目录服务的企业网SNMP管理数据安全模型

当Manager跨越Internet对Agent实施SNMP管理时 ,企业网中的SNMP管理数据就面临着来自外部网络的安全性威胁 .虽然IETF在SNMPv3规范中提出了某些安全性解决方案 ,但这些方案并不适用于现有的、异构版本SNMP设备共存的网络环境 .本文基于目录服务和LDAP技术设计并实现了一个SNMP管理数据安全模型 .该模型能够为跨Internet的企业网中各种版本的SNMP设备提供身份验证及访问控制等安全功能 .