Gigabit交换机中变长分组的时延特性分析

Gigabit交换机能够适应长度可变的各种宽带业务。基于泊松到达和带有输入缓冲的M×N crossbar交换结构提出了一种通用的时延分析方法。通过仿真实验与数值计算结果的比较,证明该方法是切实有效的。     

具有区分服务等级的可扩展并行服务器集群

采用并行Web服务器集群技术实现高性能的WEB服务器服务已经成为一种趋势,该技术具有性能高,可扩展性好,可靠性高、成本低等特点。文章介绍了目前Web服务器集群的结构和几种关键技术,在此基础上设计一种具有区分服务等级的Web服务器集群,并给出结构描述和资源管理的策略。     

大型供水泵站技术供水系统总阀修复方案研究

技术供水系统是保证机组安全运行的重要辅助装置.小舜江泵站技术供水总阀损坏无法启闭致使系统设备无法进行检修,对泵站安全运行造成威胁.分析该技术供水总阀改造的实施难度,结合工程实际进行多方案探讨,提出了切实有效的解决措施并顺利实施.     

认证测试方法在安全协议分析中的应用

系统研究了认证测试方法的应用原理，并将该方法应用于包含两方主体的Needham -Schroeder和包含三方主体的Woo—Lam认证协议的分析。最后通过比较认证测试方法和BAN逻辑在安全协议分析的应用说明了认证测试方法具有分析过程简捷、形式化描述规范的优点。     

WAPI接入鉴别过程的形式化分析与验证

WAPI协议是我国自行制定的无线局域网国家标准。该文在研究WAPI接入鉴别过程的基础上，使用BAN逻辑对其进行了形式化的分析和验证，证明了接入鉴别过程能够达到信息安全所要求的身份认证、数据完整性和机密性目标。     

锂离子电池充电方法研究

本文阐述了锂离子电池的线性充电方案和脉冲充电方案的基本原理，通过两种充电方式在不同温度下充电时间和可用容量的对比试验、电池老化试验，得出了以下结论：脉冲充电方式比线性充电方式能够更快地给锂离子电池充电，而且充电后的可用容量两者大致相等；脉冲充电并不比线性充电更快地使电池老化。并从理论分析上分析了脉冲充电方式改善充电效果的原因。     

Pro/ENGINEER与AutoCAD图形互换的方法

一、引言Pro/ENGINEER是世界四个大型三维CAD/CAM软件之一，而AutoCAD是当今最著名的二维绘图软件。在实际应用过程中，Pro/ENGINEER的二维工程图处理能力有限，而AutoCAD的三维功能较弱，且无法完成对产品的分析和加工，必须借助于Pro/ENGINEER软件。所以灵活地利用两种软件提供的数据转换接口，实现两个系统间图形的相互交换，在工程上是非常有实用价值的。二、DXF接口标准进行数据交换DXF（Drawing eXchange File）这种图形描述文件是由Autodesk公司开发的。它以ASCⅡ码文本数据形式来描述图形的各种信息，在任何…     

我国烟草真菌区系调查及霉变成因的研究

对从我国各地采集所得的105份正常和50份霉变烟草样品,做了带菌量、菌相及霉变原因的研究.结果表明,从正常样品共分离鉴定出21属82种真菌:毛霉目9种,曲霉属21种,青霉属28种,木霉2种,酵母菌3种,其它真菌19种.正常烟叶、当日产成品香烟及市售成品香烟的带菌量分别为101～103CFU/g、101～103CFU/g和102～104CFU/g.从霉变样品共分离鉴定出25属87种真菌:毛霉目11种,曲霉属25种,青霉属29种,木霉2种,酵母菌3种,其它真菌17种.霉变烟叶及市售霉变成品香烟的带菌量分别为103～107CFU/g和103～105CFU/g.同时查明,环境温度、空气湿度及烟草水分的变化是造成烟草霉变的主要原因.     

一种应用层安全通信协议的形式描述和验证

安全通信是一个日益重要的问题。本文作者在［１］中在应用层设计了一个安全通信控制设备（ＳＣＣＭ），来实现安全通信。本文用ＡＳＮ．１对此安全通信协议的协议数据元进行描述，然后根据协议状态转移图、应用可达性分析技术来验证协议的完整性、无死锁、无活锁、终止性等重要性质。