嵌入式电子邮件系统的研究与实现

电子邮件是Internet上最早出现的服务之一.随着嵌入式产品与Internet的迅速融合,嵌入式电子邮件系统的开发也就势在必行.设计了嵌入式电子邮件收发系统,详细介绍了它的结构以及各个功能模块的实现过程.该邮件系统按照SMTP和IMAP4协议的规范,实现了邮件系统的收发功能.系统逻辑清晰,界面友好,便于使用.     

一种复合的自治域级拓扑发现方法

随着网络技术的发展,面对新的挑战,传统网络逐渐力不从心,软件定义网络（software-defined network, SDN）领衔的未来网络应运而生,随之而来的是各类网络测量技术纷纷针对未来网络发生演变,但拓扑结构测量在传统网络环境下的作用仍然不可忽视。在自治域级的网络拓扑中,每个自治域都可以简化为一个点,而用两点之间的连线表示自治域间的邻接关系。近年来有许多相关的研究展示了不同的拓扑发现算法。提出了一种简单高效的方法来推断自治域级的拓扑,利用在网络中部署高速采集器采集边界网关协议（border gateway protocol,BGP）路由器上的路由表以及BGP协议的更新信息来推断网络拓扑结构,并判定自治域的相关属性。实验证明了该方法能够达到预期效果,全面、准确地推断网络在自治域级的拓扑结构。     

流媒体技术概述

通过对网络连续媒体实时传输的分析，着重对流媒体技术进行了较为深入的研究和比较，并结合网络教学的要求，设计了一套基于Microsoft的wmv流文件格式的实施方案。     

西方商业银行信用风险的度量及对我国的借鉴

自巴塞尔协议规定用于确定风险的资本充足度内部模型必须是以Var为基础的模型以来，Var已成为目前最为流行的风险管理模型，此模型的引进和应用对改进我国商业银行信用管理有借鉴意义。     

面向命题投影时序逻辑的安全协议模型检测

针对无条件安全通信协议,特别是Russian Cards协议的安全性验证问题,提出基于命题投影时序逻辑(PPTL)的模型检测方法.根据协议构造规则建立了Russian Cards协议的ProMeLa模型;利用chop算子将多个交互事件进行顺序复合,以表达协议所期望的通信序列;由projection算子定义了协议在该序列上的安全性质,再将该性质转为Never Claim语法结构并连同协议模型作为模型检测器SPIN的输入,以完成验证工作.验证结果表明,由协议规则构造的Russian Cards通信协议是安全可靠的,该方法也适用于一般的无条件安全通信协议的验证.     

基于移动IPv6的MANET中Anycast服务的设计与实现

针对目前移动自组网(MANET)无法提供成熟的Anycast服务这一问题, 提出了一种在MANET中实现Anycast服务的通信模型.此模型提出了无需进行地址重复检测、IPv6地址自动分配的方案以及移动节点加入Anycast组的方法. 模型中的Anycast移动组节点在不同子网之间进行切换时,Anycast移动组节点无需进行地址注册也无需建立隧道机制.在模拟环境下实现了此模型,并对模型的数据包接收率等性能参数的实验数据进行了分析和讨论.     

密码协议的π -网形式化描述和分析

π-网是一类模块化的、具有代数演算功能的高级Petri网.通过引入项、buffer库所和解密变迁等建模元素,本文在π-网中建立了密钥管理和加密信息的传输机制,形成了密码协议的Petri网形式化模型,而且对于任意的一个密码协议,都可以将其模块化,本文还提出了密码协议的鉴别性和安全性的验证机制.通过对Needham-Schroeder协议的实例分析,对密码协议的密钥交换和鉴别性,以及协议存在的漏洞,进行了有效的形式化描述和分析.     

感知实时车流信息的VANET路由仿真研究

车用自组织网络利用车辆间通讯来提高道路交通安全和效率,路由协议的性能至关重要。提出一种感知实时车流信息的路由协议,能够不依赖于基础设施,通过挖掘和汇聚车辆位置数据,实现城市道路上的车流密度估算,并给出车流自适应路径选择方法,动态产生及维护由多条道路连成的数据包传递路径。对车辆高密度和低密度场合下的仿真表明,在网络开销没有明显增长的情况下,协议可以获得较好的性能,数据包递送率达到83%以上,平均发送延迟限制在2秒以内。     

Polling Strategy for Wireless Multimedia LANs

Introduction There is an increasing demand for wireless multimedia networks to communicate using any type of media without any geographical restrictions. Therefore, wire- less networks are expected to support multimedia ser- vices with guaranteed quality …     

TSM中的RLC协议与实现

由于无线通信中传输介质的质量较差，因此RLC（Radio Link Control)协议在无线传输中起着重要的作用。首先介绍了TSM（TD-SCDMA System Mobile)的RLC协议，并主要阐述与GSM中RLC协议的区别。在此基础上，介绍一种实现RLC协议确认模式的方法，此方法提高了效率，节省了资源。