SIP协议在VoIP网关中的应用

SIP协议是下一代网络(NGN)中的重要协议,本文对SIP协议的结构及实现方法等做了概要介绍,在此基础上将SIP协议栈应用于BCM1101的VoIP网关系统中,采用开放源代码的SIP协议栈oSIP实现呼叫控制,并且扩充oSIP协议栈的REFER功能,实现多方会议控制.该系统具有广泛的适用性和良好的可扩展性等优点.     

TTCN协议测试执行系统驱动器的协议相关性研究

针对原有TTCN测试执行系统驱动器(Driver)的协议相关性进行研究,从调整其协议相关程度的角度讨论了降低Driver程序扩充和维护难度的问题.在保证软件功能和结构的基础上,先对所有协议进行无关化,再对某一类别的协议进行无关化,就可以达到降低Driver程序扩充和维护难度的目的.最后以直接基于IPv6的协议类别为例介绍了上述方法的实现及其效果.     

扩充KQML语言及其在拍卖协议中的应用

首先介绍了KQML语言和拍卖协议模型的基本概念 ,对常用的几种拍卖协议 (一对多和多对多 )、拍卖协议中的KQML扩充原语及语义和扩充KQML原语在拍卖实例中的应用进行了具体分析 ,并对一对多拍卖形式中的几种拍卖过程进行了描述 ,分析中假设有多个投标人Bi 参与的拍卖 ,拍卖人用A表示 ,拍卖协议用English模式。     

利用核心化模块优化局间3G切换

本文重点介绍了利用核心化模块平台分析影响移动3G局间切换成功率的因素,分析了RNC的协议版本设置不匹配问题对3G局间切换成功率的影响,通过对RNC的协议版本的修改提高3G局间切换成功率,提升客户感知。     

基于XML的协议健壮性测试工具研究与设计

协议健壮性测试是提前规避畸形报文攻击导致设备安全问题的一种有效方式.着重介绍了协议的健壮性,以及协议健壮性测试方法.通过设计一个基于XML的协议健壮性测试工具,并在验证测试中发现网络设备中存在的一些安全漏洞,证明了该设计方法及实现的有效性.     

基于消息类型检测的认证测试分析方法

将消息类型的概念和检测方法引入认证测试的分析过程,提出基于消息类型检测的认证测试分析方法,从而完善了认证测试在对称密钥协议验证中的应用,使其具有发现消息重放攻击和类型攻击的能力.对Neuman-Stubblebine协议和Kao-Chow协议的分析结果表明,基于消息类型检测的认证测试方法能够发现对Neuman-Stubblebine协议的类型攻击,并且为Kao-Chow协议提供更为准确的证明.     

应用Petri网对CSMA/CD的描述及分析

Petri网已经被成功地用来描述、验证及评价网络通信协议。本文阐述了扩充Petri网在研究CSMA/CD协议方面的应用。扩充是在两个方面完成的,即加入了禁止弧和时间的概念。通过使用可达图(树)和时间可达图等分析技术,介绍了CSMA/CD的一些重要性质。     

基于PC机的V5协议测试方法

主要介绍了利用PC机进行V5协议测试的方法以及设计中使用的数据结构和各程序模块主要功能,结合测试实例和图型说明Win95下V5协议测试方法.     

基于多色集合理论的协同设计版本管理模型

针对协同设计过程中多级版本管理的需求,提出一种基于多色集合理论的版本关系管理模型.介绍了多色集合和多色图的概念和方法,利用多色集合的元素表示零部件及其版本,用统一颜色表示设计对象的整体属性,用个人颜色表示设计对象组成元素及其版本的属性信息,建立了基于多色集合理论的版本关系模型.以涡轮叶片设计的多级版本为例,给出了设计过程中版本结构信息、版本属性及版本关系属性信息的布尔矩阵表达方法.该模型不仅能方便地描述协同设计过程中的版本变更历史,还可用于表达不同配置版本之间的约束关系,且易于扩充,便于计算机编程.     

基于认证测试的通用安全协议设计方法

以认证测试方法为基础,提出了一种通用的安全协议形式化设计方法,使用该方法对Needham-Schroeder(NS)公钥协议进行了重新设计.最后通过认证测试方法证明了重新设计的NS协议能够满足安全协议的保密性、身份认证和数据认证的要求,并且有效避免了原NS协议存在的中间人攻击问题.     

基于GRM模型的CAT分层方法在校准误差中的应用研究

在计算机化自适应测验(CAT)中,0-1评分模型下b组块a分层的方法(BASTR)可以提高测量准确性的同时平衡项目的曝光率,但在多级评分模型中项目难度/步骤参数有多个,无法直接使用该方法; 又因为信息函数可以较好地综合被试能力和项目参数,但最大信息量选题策略的测验安全性太低.因此,将多级评分模型中的多个参数综合成一个指标作为b分块的依据,模仿BASTR方法,提出5种新的B分块a分层方法,并且采用“影子题库”下最大信息量的选题方法.在等级反应模型(GRM)下蒙特卡洛实验结果表明,新方法在测验精度、题库利用率和机会红利等评价指标中总体表现良好,B_max-min分块方法表现最优.     

不定长认知诊断计算机化自适应测验终止规则研究

目前大多数认知诊断计算机化自适应测验采用定长终止规则,该文提出3种不定长终止规则。通过实验对比,新方法较已有方法具有如下优势:i）能够较好地保障测验精度;ii）大幅降低了人均测验用题数;iii）人均测验用时也有所下降;iv）项目调用均衡性和题库安全性有所增强。     

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

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

基于属性的协议互操作性测试的TTCN-3实现

目前对路由协议的测试主要集中在一致性测试,对于像OSPF这样的复杂协议,对其进行互操作测试非常必要.传统的协议互操作性测试是基于被测系统的形式化模型生成测试序列,对测试序列进行测试例抽象,最终得出测试判定.传统方法简单易行,但当测试序列较长时相应问题随之而来.采用TTCN-3语言对基于属性生成的测试序列进行测试用例的实现,结果说明采用基于属性作为模型选择的方法并结合使用TTCN-3实现测试用例可以有效提高测试效率.     

一致性测试中的时间约束及测试用例生成算法

针对协议测试理论中的时间约束问题，从不同的一致性测试方法出发对协议测试中的时间参数做了严格的约束，同时给出了基于等待、协调和同步时间的严格约束下的测试用例生成算法．在控制流测试中，先生成引导序列，然后按照测试拓扑环境设置和事件约束对引导序列、测试序列的时间进行约束设置．在数据流测试中，等待时间只需按照需求描述和约束来设定．对边界网关协议进行测试的结果表明，所提算法能适应不同的网络拓扑环境，其生成的测试用例在测试中能够有效降低测试代价．     

基于控制流的协议一致性关系测试方法的评述

对一般的控制流测试思想和一些基于ＦＳＭ模型、ＬＴＳ模型的控制流测试方法进行概括和介绍。并介绍了相应的优化技术。     

认知诊断计算机化自适应测验按模式分层选题策略

提出一种题库按属性模式分层,并结合项目曝光度控制的新方法.蒙特卡洛模拟研究显示:该方法在题库使用均匀程度上表现优异,并保有较高测量精度.     

论听写测试之裨益

随着语言学和语言教学理论的发展，语言测试方法也随之变化。在各种各样的测试题项中听写引起了不同甚至截然相反的看法。本文主要阐述了听写的有利一面——高信度和效度，正确的后效反应，实用性，并且是能够测试多项技能的综合性测试。     

基于Petri网的协议测试例自动生成

Petri网支持下的协议一致性测试是协议工程研究中的重要课题.Petri不能很好地支持一致性测试集的自动生成.针对这一问题,分析了对基本Petri网扩展的必要性,提出了一种新的用于支持协议测试的扩展的高级Petri网,揭示了其静态结构和动态行为,并提出了该Petri网到测试描述语言TTCN-3的转换规则.开发了原型系统,并应用于实际的协议一致性测试工作.     

A New Protocol for Multi-Item Electronic Auctions

The authors propose a new protocol for muhizzitem electronic auctions. It has the following advantages： first, the protocol is more applicable and flexible than the previous protocols, in this protocol, each bidder can decide how many items to buy according to diiferent bidding prices, which are set by the seller at the beginning of the auction; second, privacy is well preserved, no third parties are needed in the protocol and the auction outcome is jointly computed by the bidders on their own without uncovering any additional information.