基于PVS的密码协议形式化规范(英文)

给出用PVS对密码协议进行形式化规范的一种方法.该方法以高阶逻辑为规范语言,利用trace模型来描述协议的行为,并假设系统中存在强攻击者和理想加密系统.重要的结构如消息、事件、协议规则等都通过语义编码方式定义.     

SIP协议在IMS中的应用

首先介绍了SIP协议的特点,然后讲了SIP在IMS中的应用以及SIP引入IMS后带来的问题和目前的研究状况。     

基于Memobus RTU通信协议的PLC数据优化组合传送方法

提出了一种PLC数据优化组合的传送方法。该法适合采用MemobusRTU通信协议的PLC向上位计算机传送大量数据时使用。同时 ,针对PLC内存变量分布不连续提出分块判据 ,可以明显提高数据的整体传送速度。此方法的原理可以应用于其他类似的协议 ,例如ModbusRTU等。     

综合性校园网建设的设想

提出了建设综合性校园网的设想，使现有计算机软件和硬件资源的作用得以充分发挥，提高高校教学、科研和管理的总体水平。     

基于移动自组网的编队航行沙盘演示方案

adhoc网络是一种由许多行动节点为了某种特定目的,而构成的临时网络,它具有无中心、自组织、可快速展开等特点。由于其在战场和救灾等突发状况场合的应用有着显著的优点,正日益引起人们的重视。简要介绍了adhoc网络的特点以及在信道接入协议、路由协议方面的发展,并结合舰队编队航行时的沙盘推演方案的总体框架设计来介绍移动自组网技术在军事战术方面的应用。     

经济实用存储系统的探讨

本文结合本馆存储系统面临的问题和常用三种存储系统的特点，从经济实用和优势的角度对经济实用存储系统进行了分析与探讨。     

几种常见Z39.50客户端功能比较及应用

通过对国际标准信息检索协议Z39.50功能的探讨以及国内外较广泛使用的Z39.50客户端功能的比较，分析了各自特点及利弊，对于图书馆专业人员应用Z39.50客户端进行书目共享、目录检索提供借鉴以及对Z39.50客户端软件功能完善提出了建设性意见。     

Rebuilding the Extrant''''s Architecture with VPN

本文介绍了外部网（Ｅｘｔｒａｎｅｔ）和虚拟专用网（ＶＰＮ）的技术特征与工作原理，并在此基础上，提出了用ＶＰＮ构建Ｅｘｔｒａｎｅｔ的３种实现方案，在公网（如Ｉｎｔｅｒｎｅｔ，ＩＳＤＮ，ＰＳＤＮ）上构建Ｅｘｔｒａｎｅｔ，从而获得很大的益处．     

基于可调节局部洪泛更新的移动WSN路由协议

移动汇聚节点能减轻静态汇聚节点带来的传输热点问题, 从而有效延长网络寿命, 但也带来路由结构不易维护的问题.为设计可靠高效的路由协议, 提出一种基于拓扑信息的可调节的路由协议ALFRP, 该协议通过局部洪泛来更新路由结构.为克服潜在更新开销较大的问题, 协议通过路径延伸比参数控制洪泛的范围, 从而均衡路由更新开销与数据传输开销.为进一步降低路由更新开销和平衡节点负载, ALFRP使用了锚节点链和全网路由树周期轮换的设计思想.仿真结果显示, 与现有前沿工作相比, ALFRP在保证全网数据可靠和高效传输的同时, 可降低近50%的总路由更新开销, 同时明显延长网络的生存寿命.     

基于CAN总线的流量过程控制装置设计

改变以往的现场模拟仪表和控制站的过程控制的方式,设计了基于CAN总线的流量现场总线控制系统。给出了系统的硬件和软件设计方案和具体实施方法。