基于多层分布式结构技术管理信息系统

传统的客户／服务器(二层)的应用正朝着三层或N-Tier结构发展。本文以企业物资管理信息系统为倒阐述了应用多层分布式结构技术建设系统的方法，该方法可用于目标管理信息系统的开发。     

基于IP组播的告知服务器的以太网实现

同步协作是计算机支持的协同工作研究的一个重要领域,告知服务器为群组的同步协作提供了感知的实现技术,告知服务要求有效地向群组用户投递事件消息。ＩＰ组播技术是 服务 通讯技术,被广泛用于视音频群组通信,但目前许多告知服务器实现仍然采用点对 通信技术,在多媒体远程协作系统中,直接利用ＩＰ组播技术实现了可靠的告知服务,并初步分析了ＩＰ组播在以太网络上的实现方式和实现可靠笥的条件。     

基于神经网络的汽车动态称重CCD抓拍双核系统设计

介绍了基于TMS320C5410DSP和MSP430F149单片机相结合的汽车动态称重双核系统。该系统采用了BP神经网络改进算法Levenberg-Marquardt法实现精确称重,具有对超重汽车进行CCD抓拍,图像车牌识别等功能。仿真结果表明动态称重误差小于0.1%。     

基于单向函数的动态秘密分享

文章提出了一种基于单向函数的动态秘密分享方案,它可以无限次地更新秘密,而成员所拥有的分享值却无须改变,还可以检测出不诚实的成员,并且所需的存储量和计算量都比Sun－Shieh[7]方案有了降低。     

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

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

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

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

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

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

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

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

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

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