集成HIP和SIP的多层次移动管理方案

随着越来越多的移动终端接入到互联网,IP网络如何提供有效的移动管理成为了一个重要的问题。该文提出了一种集成主机身份标识协议(host identity protocol,HIP)和会话发起协议(session initiation protocol,SIP)的多层次移动管理方案,该方案在充分利用HIP和SIP各自优势的基础上,集成了系统中的位置管理服务器,从而有效地减少了系统信令损耗;同时,该方案根据不同类型的应用采取不同的移动切换流程,从而缩短了平均切换延时。数值仿真结果表明该方案在信令损耗和终端切换延时方面优于已有的移动管理方案。     

基于会话边界控制的SIP协议NAT穿越方法

针对现有NAT穿越方案中存在的问题,提出了一种基于SBC的SIP协议NAT穿越方案,通过对控制信息流和媒体流的同时中继实现NAT穿越.对SBC的系统架构进行了说明,详细分析了不同应用场景下的NAT穿越流程,并对该穿越方案进行了功能验证与性能测试.结果表明,与其他传统穿越方案相比,该方案能够在不更改任何网络配置和网络设备的前提下实现透明的NAT穿越,并解决了传统NAT穿越方案中的效率问题.     

ITS专用短程通信协议一致性测试系统的设计与实现

参考计算机通信的开放式系统互联参考模型提出了ITS专用短程通信(DSRC)协议的三层体系结构．依据ISO标准定义的一致性测试的方法及框架,确定了对协议实现进行一致性测试的方法和测试套形式化描述方法,设计了具体的测试系统结构．使用所设计的一致性测试系统对DSRC协议进行测试,保证了协议实现与协议文本的一致性．也为各DSRC设备之间的互联、互操作奠定了基础。     

基于P2P网络架构的SIP视频会议系统设计

会议初始化协议(SIP)凭借其简单,易于扩展等优点,已成为未来网络发展的重要应用协议.它采用Client/Server(C/S)的结构体系,当系统业务量增大时,系统容易达到性能瓶颈,成为其技术发展的障碍.基于分布式点对点(P2P)网络的去中心化特征,正好弥补了SIP的这一缺陷.因此,首先提出了一种基于P2P网络架构的SIP视频会议系统模型,将现有SIP视频会议系统的C/S架构改进成为P2P的混合网络体系结构.这既发挥了P2P无中心的优越性,又体现了SIP的C/S模式的优点.其次,阐述了该系统主要功能模块以及相关程序设计.最后介绍了该系统的主要信令工作流程.     

一种基于CPN的协议测试序列生成方法

针对状态空间规模较大的协议,提出了一种基于着色Petri网CPN(ｃolored ｐetri ｎet)、面向属性的协议一致性测试序列生成方法。 首先, 构建被测协议规范的CPN模型, 即协议模型, 并将被测协议的若干功能属性采用CPN进行形式描述, 形成属性模型。 提出了属性模型到协议模型的状态投影算法、模型状态空间的路径匹配算法和搜索算法, 基于这些算法给出了一种完整的基于属性的测试序列生成方法。 该方法不但可以有效避免协议规模庞大所导致的状态爆炸问题, 而且还对测试中的PCO库所进行了特殊标识, 完成测试序列中可观察元素的自动提取处理, 使得处理后的测试序列可直接用于协议实际测试过程。 为有效验证所提测试序列生成方法的可行性, 开发了一套实现该方法的软件, 并应用于HMIPv6协议的实际测试过程中。实践表明, 这套软件可以对较为复杂的协议一致性测试过程提供强有力的支持。     

SIP的系统结构与应用

当前,数据与语音使用不同的网络。然而随着INTERNET的应用普及以及通讯链路带宽的不断提高,人们希望能够合并数据与语音网络。将来,语音就可能被封装在数据包中通过INTERNET传输。这将给用户和运营商都带来效益。IP电话(VO IP)就是一种通过数据网在两个或多个用户之间实时传输语音的技术。作为一个应用实例,用SIP为一个中型跨国公司设计电话网以减少其运营成本。用OPNET软件研究合并语音与数据给这个公司内部网带来的性能影响。     

一种综合数据流和控制流的协议测试集自动生成法

为了更高效地产生协议测试集 ,论文提出了一种基于外部行为描述模型、综合数据流和控制流测试的协议测试集自动生成方法及其实现。外部行为描述模型只对协议的外部行为进行描述 ,强调变迁之间的数据依赖性。该方法引入唯一输入 /输出序列算法和描述协议不确定性的适应性输入/输出树的概念 ,运用协议约束集控制协议空间搜索的复杂度。并采用测试集的验证技术分析测试集的覆盖能力。该方法已运用于 OSI协议和 TCP/ IP RFC协议的测试生成 ,大大提高了软件开发和协议实现的质量及进度。     

DECT网络层一致性测试套的设计

尽管在对网络协议的一致性测试方面已经取得了相当大的进展，但是如何有效地，全面地测试一个实际的协议仍然是一致性测试研究方面的主要问题，本文集中讨论测试方法的选择，测试过程中的控制程度和一致性程度的关系，以及确定地测试ＩＵＴ的意义，为ＤＥＣＴ网络层设计的致性测试套体现了这些观点。     

针对SIP的STUN解决方案的设计与实现

SIP是一个基于文本的应用层协议,但SIP协议本身无法实现让SIP消息安全地穿过NAT和防火墙。从SIP消息的特点出发,提出一种无需扩展SIP协议的应用层解决方案,引入STUN协议,取得IP地址和端口的映射关系,修改SIP和SDP消息的内容来保证通信连接,从而实现对NAT的穿越。     

TCP协议的Z语言描述

计算机通信协议的开发难度随着复杂程度的增加而日益增大，潜在错误也越来越多，其中对协议规格说明理解的偏差是重要原因之一．因此需要对规格说明进行验证和确认，并对协议的实现进行一致性测试．一致性测试就是测试协议的实现是否与相关国际标准中的规格说明相一致．协议的规格说明主要是以自然语言描述的，对其进行形式化是为了精确描述协议，因而可减少这类错误的出现．Z语言是基于一阶谓词逻辑和集合论的形式规格说明语言，采用了严格的数学理论，可产生简明、精确、无歧义且可证明的规格说明．本文以TCP协议为例详细介绍了如何使用Z语言对协议进行形式化，为协议一致性测试打下基础．     

基于Android的SIP软电话的设计与实现

针对Android操作系统的广泛使用和VoIP技术在移动通信中的融合,通过分析SIP协议结构和Android平台架构,建立了基于Android平台的SIP软电话模型。采用模块化设计思想和低耦合的交互方式,设计了SIP软电话的功能模块。基于Socket规范,以SIP为呼叫控制协议,使用Java实现了SIP软电话的信令控制、音视频采集和媒体会话管理等核心功能模块的开发。基于H3C的XE200语音服务器搭建测试平台,验证了SIP软电话的功能,并使用ClearSight网络分析仪测试和分析了SIP软电话的语音通话质量、信令处理时间、抖动和丢包率等性能指标。测试结果表明该软件运行稳定,满足IP通信需求,达到了预期设计目标。     

基于LTE-A系统邻近业务(ProSe)直接通信的设计与实现

3GPP在LTE-A系统中引入了邻近业务(proximity-based services,Pro Se)来提高频谱利用率和降低基站负荷。终端通过基站分配的频谱资源进行直接通信,从而提高无线频谱资源的利用率,而UE间邻近业务成功建立后,基站的负荷得以降低。提供了邻近业务直接通信场景,提出了2种邻近业务直接发现方式,并基于第二种发现方式设计了直接通信建立的流程,搭建了基于TTCN-3(Testing and Test Control Notation version 3,测试与测试控制描述第三版)测试系统的多终端一致性测试平台,而后将设计流程抽象化,在搭建的平台上进行一致性测试,最终验证了邻近业务(Pro Se)直接通信的流程设计与协议的一致性,为该业务的开发奠定了基础。     

Parlay／OSA网关协议映射的一种实现模式

Parlay／OSA（Open service access）网关的主要功能之一是实现各种电信协议到Parlay／OSA API的映射。OMG的CORBA／TC Interworking规范给出了使用TC／SS7的通信实体与基于CORBA的实体交互的建议，因为大部分的Parlay／OSA网关是基于CORBA实现的，因此该规范对协议映射的实现具有重要的参考价值。在深入理解TC—CORBA规范的基础上，提出了一种Parlay／OSA网关中协议映射实现的一种模式。重点描述了模式的主要体系结构和工作流程，分析了其特点。此模式对Parlay／OSA网关产品中协议映射的实现具有重要的参考价值。     

一种基于消息中间件的协议一致性测试系统

针对传统的协议一致性测试系统多采用单机架构或基于某些特定的平台,缺乏足够的通用性和可扩展性的这些问题,本文提出并设计了一种基于消息中间件的协议一致性测试系统.利用面向服务架构的消息中间件实现分布式运行环境,不仅增强消息传输的效率和可靠性,还支持对消息传输流程的扩展和重组等.最后,通过实际的测试应用,验证了该系统的通用性、实时性和可扩展性.     

一种基于TTCN-3的TD-LTE终端协议一致性测试系统的构建

TD-LTE是中国提出的具有自主知识产权的4G移动通信标准,随着该技术的日益成熟和应用研究的迅速发展,越发的凸显出终端的协议一致性测试的重要性。文中首先介绍了协议一致性测试和TTCN-3的基本理论知识,然后简单分析了基于TTCN-3的TD-LTE协议一致性测试平台的设计及实现方案。     

应用SIP协议的楼宇对讲系统设计与实现

通过对SIP协议功能及特性的研究,将SIP协议应用到传统的小区楼宇对讲系统.提出一种新型的基于SIP协议的小区楼宇对讲系统解决方案,克服了传统方案的许多不足,解决了楼宇对讲网络与因特网、通信网的无缝融合,可实现家居门禁移动对讲,提升楼宇智能化水平.设计一个嵌入式终端SIP协议栈,完成基于该协议栈的楼宇对讲系统终端的实现,并搭建一个小型的楼宇对讲系统,验证了方案的可行性.测试结果分析表明:该方案具备了较好的可行性和稳定性.     

基于排队论的SIP DoS攻击防御机制的研究

随着SIP协议的广泛应用,协议自身的安全问题逐渐显露出来,尤其以DoS攻击最为严重。研究了NGN中DoS攻击防御机制,给出了基于排队论的DoS攻击数学分析模型,接着设计出一种SIP DoS攻击防御方案,最后对防御机制的性能进行了仿真分析。     

MPEG-4视频解码器系统设计与实现

对于设计像MPEG-4视频解码器这样复杂的系统，关键在于系统结构的设计，本文从并行性的角度出发，提出了一种适合VLSI实现的MPEG-4解码器系统结构，它支持MPEG-4 ASP @L5码流，达到MPEG-4对解码精度和实时性的要求，通过一致性测试，设计过程中采用了软硬件协同仿真的方法，缩短了开发周期。     

A framework for interoperability of BPEL-based workflows

With the prevalence of service-oriented architecture (SOA), web services have become the dominating technology to construct workflow systems. As a workflow is the composition of a series of interrelated web services which realize its activities, the interoperability of workflows can be treated as the composition of web services. To address it, a framework for interoperability of business process execution language (BPEL)-based workflows is presented, which can perform three phases, that is, transformation, conformance test and execution. The core components of the framework are proposed, especially how these components promote interoperability. In particular, dynamic binding and re-composition of workflows in terms of web service testing are presented. Besides, an example of business-to-business (B2B) collaboration is provided to illustrate how to perform composition and conformance test.     

TD—SCDMA移动终端协议一致性测试技术的研究

根据我国基于TD－SCDMA技术的第三代移动通信系统的发展战略，提出TD－SCDMA移动终端协议一致性测试技术的研究。着重介绍了一致性测试的原理，TD－SCDMA移动终端协议一致性测试的方法，测试系统的设计和实现，抽象测试集的生成。通过对该项技术的研究，可为TD－SCDMA移动终端设备提供标准的、实用的协议一致性测试方法和工具，以解决接入网络时产生的协议非一致性问题。