ISI协议的符号模型检验分析

电子商务协议的非否认性与公平性问题已成为电子商务和信息安全领域研究的热点。本文建立了网络支付协议ISI的有限状态机模型,并用SMV检验工具对其两个重要特性———非否认性与公平性进行了分析检验,发现了ISI协议不满足公平性。结果表明利用符号模型检验方法分析检验电子商务协议的新特性是行之有效的。

基于图着色理论的短波无线接入网动态频谱分配方法

针对现有短波无线接入网频谱分配采用固定式分配方法,难以满足使用智能跳频技术新要求的问题,分析智能跳频短波无线接入网的频谱需求,将短波无线接入网用户频谱分配问题转化为基于图着色理论的短波无线接入网动态频谱分配模型,并提出可用于智能跳频短波无线接入网的动态频谱分配算法。将使用此算法的智能跳频与使用固定式频谱分配方法的定频通信相比,仿真结果表明,该算法明显提高了短波无线接入网的子网可通性及网络吞吐量,并能降低互扰率,有效支撑智能跳频技术在短波无线接入网中的应用,同时快速、高效、准确地完成对可用频谱的分配。

嵌入式网关中分布式通信模块设计

以一个嵌入式多功能网关项目为背景,设计一个分布式通信模块。该模块以库的形式为上层应用提供一层简单、高效的消息通信接口,较好地解决了多个CPU上进程间通信的位置透明性,最大限度提高IP应用的性能,较好地向上层应用屏蔽了主从CPU上操作系统的异构性。

解析软交换AG承载方案

下一代网络(NGN)将是以光联网为基础,以软交换为核心的融合性网络。随着当前以软交换核心的NGN技术的不断完善与成熟,AG(Access Gateway)作为软交换技术中在接入层的一种接入设备,也得到了大规模的引入与应用。本文从软交换技术概念及AG接入对承载网的要求出发,并深入分析了三种AG承载方案的原理和特点,以及选择具体承载方案的建议。

IPv6技术应用与发展

本文首先对IPv6技术的规范形式、地址类型、寻址方式进行总结,对IPv6协议的特征与优势进行分析,对IPv6技术应用进行研究,对IPv6技术发展进行探讨。

微机联锁系统中广播通信模块的设计与实现

介绍了 Ｗｉｎｄｏｗｓ环境下的网络接口ＷｉｎＳｏｃｋ中广播通信部分，结合实例，以 Ｃ＋＋ Ｂｕｉｌｄｅｒ ４．０为开发工具进行广播通信程序设计；实现了微机联锁系统上位机在系统中的实时数据传输。