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

对中国几家湿法炼锌厂净化阶段产生的结晶渣进行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。     

一种基于转发图的域内路由保护算法

业界提出利用路由保护算法来解决网络中的故障问题,然而已有的路由保护算法存在4个方面的问题：1）无法应对网络中所有可能的单故障情形;2）需要额外辅助机制的协助;3）不支持增量部署;4）每个结点存储多个到达目的地址的备份下一跳.提出一种基于转发图的域内路由保护算法（an intradomain routing protection algorithm based on forwarding graph, RPBFG）来解决这4个问题.首先建立了以最大化故障保护率为目标、以转发图包含反向最短路径树为约束条件的路由保护模型;然后提出了利用遗传算法构造满足上述目标的转发图;最后根据构造的转发图计算出所有结点到达目的结点的备份下一跳.在11个真实拓扑结构中比较了RPBFG,NPC,U-turn,MARA-MA,MARA-SPE在故障保护率和路径拉伸度的性能.实验结果表明,RPBFG可以应对网络中所有可能的单故障;在平均路径拉伸度方面,RPBFG比NPC,U-turn,MARA-MA,MARA-SPE分别降低了0.11%,0.72%,37.79%,36.26%.     

基于形式化技术的帧中继信令协议一致性测试研究

帧中继作为重要的广域网协议得到了日益广泛的应用 ,但是相关的测试活动却非常有限 .本文在深入分析了帧中继信令协议的基础上对其进行了一致性测试研究和实际测试 .针对帧中继信令协议的特点 ,采用远程测试法设计生成了基于形式化技术的一致性测试集 ,并且已经将利用协议集成测试系统取得的该一致性测试的研究成果应用到路由器的开发和研制过程中     

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语言的应用前景．     

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

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

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

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

几种重要的热力学模型预测能力的比较研究

拟合了298.15K下Mn(NO3)2-H2O体系0~8.382mol·kg-1的各种热力学模型参数,其中包括原始Pitzer模型(三维里系数方程),扩展的Pitzer模型(五维里系数方程),Clegg-Pitzer模型以及BET模型。应用拟合的这些模型参数预测了该体系在各种温度和饱和浓度下水的饱和蒸气压,并把它们与实验值进行了比较。比较研究显示Clegg-Pitzer模型和BET模型均具有良好的预测能力,而各种版本的Pitzer模型则不尽如人意。