应用于路由协议测试的在线测试系统

在深入分析路由协议特点的基础上，提出了适应于路由协议测试的在线测试方法。该方法在通信线路上监听方式对协议实现进行测试，可在实际网络运行环境下进行而不干扰网络运行，并具有其他有益特性。在分析解决了关键技术问题之后，提出了在线测试OLTS的设计目标和系统框架；OLTS通过状态同步算法对路由协议的状态机进行测试，通过拓扑结构分析和内部过程模拟等手段测试路由信息的交互和处理；OLTS具有直观友好的用户界面和良好的可扩充性。目前已完成了原型系统，开展了BGP、OSPF和RIP的测试。     

碱式硫酸锌在湿法炼锌过程结晶热力学研究

对中国几家湿法炼锌厂净化阶段产生的结晶渣进行X射线衍射分析,确定了湿法炼锌过程产生的碱式硫酸锌的结构是ZnSO₄·3Zn（OH）₂·5H₂O,从而否定了是ZnSO₄·3Zn（OH）₂的传统观点,表明碱式硫酸锌的溶解度与水的活度有关。采用高温硫酸锌溶液中加入氧化锌粉末的方法制得与炼锌厂碱式硫酸锌结晶渣晶型一致的产物。同等硫酸锌浓度、pH条件下,碱式硫酸锌溶解度随着温度的升高而升高。研究表明,在锌质量浓度为168 g/L、pH为5.2的中性浸出液中,碱式硫酸锌析出温度为60.6 ℃±0.4 ℃,80 ℃降到40 ℃的析出量为4.4 g/L。     

Problems in the information dissemination of the Internet routing

Internet routing is achieved by a set of nodes running distibuted algorithms--routing protocols,However,many nodes are resistless to wrong messages or improper operations,unable to detect or correct them.Thus a wrong message or an improper operation can easily sweep almost the whole Internet .Such a fragile Internet routing comes from the features of these algorithms and protocols.Besdes,the strategies taken by the network equipment manufacturers and administrators also are of important influence.When determining the options or selections in the implementation/operation,they always pay more attention to the expense of a single node or a single area and make some simplifications in implementations and configurations while caring less about the influence on the whole network,This paper tries to illustrate such a scheme is not reasonable at all and suggests the consideration from the view of the overall optimization .From three typical cases involved in the Internet routing ,a general model is abstracted,which makes the results significative for more Internet related aspects ,This paper evaluates the complexity of the theoretical analysis ,then acquires the effect of error information on the whole network through the simulation on the Internet topology,It is shown that even very little error information can incur severe impact on the Internet.And it will take much more efforts of downstream nodes to make remedies,This result is intuitively revealed through the comparisons in the charts and the visual presentations ,Then a hierarchcal solution to establish the upgrade plan is given,which helps to upgrade the nodes of the network in a most efficient and economical way.     

一种通用的协议报文格式描述语言--PFDL

本文根据实际应用的需求指出了设计通用的协议报文格式描述语言时应该遵循的原则，提出了一种通用的协议报文格式描述语言——PFDL，描述了它的语法规范，并举例说明了PFDL语言的应用前景．     

基于测试序列动态选择技术的测试管理的设计与实现

协议测试是目前计算机研究领域中的一个重要的研究方向。本文对协议训测试管理部分进行了深入地探讨,设计实现了测试管理子系统,重点讨论了基于浅度搜索和深度搜索的测试序列动态选择技术。     

一种面向对象的协议测试环境研究

该文介绍了协议集成测试系统PITS中的一个子系统─—面向对象的协议测试环境00-PTE,它包括消息管理机制、共享缓冲区管理机制、公用时钟、系统日志机制和辅助通道五个组成部分。OO－PTE解决了测试系统内部的通信和相互协调问题,前两个组成部分实现了测试系统中消息的传送功能,后三者是建立在前两者基础上的系统共享功能。基于面向对象协议的测试环境OO－PTE减少了模块间的耦合度,增强了可维护性,提高了协议测试系统的通用性。     

小孔混流折流板换热器壳程传热性能研究

传统弓形折流板换热器在折流板背流侧存在“流动死区”,会减小壳程传热效率。为降低“流动死区”的影响,提出小孔混流折流板结构,并建立小孔型混流折流板换热器有限元模型,研究小孔位置和数量对换热器壳程传热性能的影响。结果发现,壳程流体在折流板小孔处会形成射流,增强了附近流体的湍流程度,减小了“流动死区”的范围,提高了壳程传热效率。在研究范围内,随着折流板小孔位置向缺口处移动,壳程强化传热能力先增强、后减少。壳程强化传热能力最强的小孔位置靠近折流板缺口,相比没有小孔的传统折流板换热器,此时的努塞尔数提高了17.02%,压力降减少了3.58%。同时还发现,折流板小孔数目越多,虽然壳程流体的流动阻力越小,但换热效率变化不是单调的,意味着折流板的小孔布孔方案存在优化设计空间。     

邻居发现协议在五款IPv6路由器中的一致性测试比较

随着第二代中国教育和科研计算机网（CERNET2）主干网在北京正式开通，我国下一代互联网（China Next Generation Internet，CNGI）建设已全面拉开序幕．为测试协议实现的一致性，进而确保不同厂家的IPv6实现间的互操作，研发了IPv6协议集成测试系统．文章中基于本系统，使用形式化的一致性测试方法，对目前五款高端IPv6路由器的ND协议实现进行一致性测试，并对测试结果进行比较分析．