移动IPv6测试中的层次化协议描述和测试生成方法

移动IPv6协议是一种庞大的分布式协议，这为协议描述和测试生成带来了困难．提出分层次描述协议的思想，定义了描述协议的有限状态机和多节点有限状态机模型，分四个层次分别对协议运行流程、协议节点类型、内部数据结构处理、离散功能进行了形式化描述．把描述协议的状态机模型转化为有向图，设计了针对有向图的测试序列集产生算法，最终生成了覆盖整个移动IPv6协议的测试序列集．     

CIP:基于IP网络的一种远程多媒体实时教学系统通信协议的设计与实现

文章描述了一个基于IP网络的远程多媒体实时教学系统中的通信协议模型CIP（Class Initation Protocol)，该协议通过借鉴H．323与SIP协议，并结合实际教学的特点，满足远程多媒体实时教学的需求，在简单介绍了系统的总体设计框架后，给出了系统通信报文格式及协议模型，最后，描述了系统如何使用该协议进行通信。     

网络支付协议的形式化安全需求及验证逻辑

从整个网络支付协议的安全角度出发，提出网络支付协议的多层安全需求模型，包括以认证和密钥分配为基础的基层需求、网络支付协议固有的中层需求(包括保密性、原子性、公平性、完整性、匿名性、不可否认性、可追究性等)、以及面向具体应用的高层需求。基于一阶逻辑和时序逻辑，提出一种适合描述网络支付协议的形式化安全需求的逻辑，描述了该逻辑的语法结构和推理规则，并用该安全需求逻辑对网络支付协议的多层安全需求进行了形式化描述。最后，以SET协议为例进行需求验证。     

基于Lynch简单文件传输协议的SPIN分析验证及其局限性

在已知Lynch的简单文件传输协议缺陷的情况下，首先对该协议进行了分析并用Promela语言对其模型进行了描述，然后用SPIN工具对其进行分析验证，在以上的基础上指出了运用SPIN工具可能存在的局限性。     

一个DIDS模型的通信协议设计

文章介绍了一个旨在提高分布式入侵检测系统(DIDS)适应性和扩充性的协议模型。在简单地介绍了系统的设计模型后，给出了系统通信报文及报文格式。最后，描述了系统模型的通信过程，并介绍了如何使用给出的报文进行协议通信，实现模型目标。     

基于GSPN的局域网随机访问协议的分析方法

对局域网随机访问协议进行了简单描述，对局域网上两个站点随机访问信道的通信过程建立GSPN模型，求解出相应性能参数。通过对运算结果进行分析，验证了该方法的有效性，模型的准确性和直观性为分析通信协议效能提供新的思路。     

WAP及其应用

ＷＡＰ是无线设备提供Ｉｎｔｅｒｎｅｔ服务而开发的新协议。本文描述了无线应用协议的体系结构、编程模型和业务应用实例，并对ＷＡＰ所带来的机遇进行了详细论述。     

基于IP的视频业务和技术

本文首先对基于ＩＰ网络的视频业务进行了探讨，然后对相关的网络技术、信源技术作了描述，最后对ＱｏＳ的协议和技术进行了分析比较。     

INAP协议一致性测试生成的形式化方法

文章应用形式化方法对INAP协议进行测试，基于INAP协议描述的I／O FSM模型，应用UIO方法生成一致性测试序列，然后应用中国乡村邮递员算法对测试序列进行优化，生成的测试序列可以覆盖状态机的每个变迁，且生成的测试序列较短。     

语音识别HMM中引入帧间相关信息的一种参数化模型

虽然隐马尔可夫模型（ＨＭＭ）是当前最为流行的语音识别模型，但由于一般都采用了状态输出独立假设，因此存在着不能描述语音现象中时间相关性的固有缺陷，本文提出的新模型对语音状态输出特征矢量序列的静态和动态特性信息分别进行参数化建模，然后将它们结合在一起，由此在基于段长分布的ＨＭＭ（ＤＤＢＨＭＭ）中引入了帧间相关信息，这种上引入帧间相关信息的ＨＭＭ能够更为精确地描述真实的语音现象。本文在给出新模型的框架后     

基于二分图模型的通信信息网络故障联合定位

国家电网信息通信网络依靠两套运维系统,分别实现对信息网络与通信网络的故障定位与分析,然而通信网络故障往往会引发信息网络故障,如何高效精确地进行通信信息网络故障联合定位是亟需解决的问题.针对信息通信网络的联合故障定位问题,提出了基于二分图模型的故障联合定位算法.首先依据通信网网络节点的关联性对网络分簇,并将每一簇作为一个子域.其次在每个子域内建立基于二分图的故障关联影响模型,最终利用目标排序法并行地对多个子域内网络故障进行分析,从而实现通信信息网络关联故障高效精确的联合定位.实验结果表明,该联合故障定位分析方法的故障诊断率达85％～95％.     

电子商务环境下的消费者行为态度研究

针对消费者涉入程度高的计算机产品,通过问卷设计获得统计数据建立消费者行为态度模型,通过对模型的假设检验进一步说明在B2C电子商务环境下,态度行为理论和技术创新扩散理论仍然有效,消费者网上购买计算机的行为意图和态度之间存在显著的相关性。对于其余占消费者可支配收入比例大的商品与服务,模型仍然具有较高的应用价值。     

一种基于HEVC的帧内模式快速判决算法

提出了一种HEVC帧内预测优化快速算法。算法在统计总结出当前CU层与其上层CU帧内预测模式、CBF与TU分割深度、相邻CU层之间的色度帧内预测模式之间相关性的基础上,有效地减少了帧内模式的预测,降低了帧内编码计算复杂度。同时,本文根据不同代价函数之间,以及色度与亮度帧内预测模式之间的相关性,分别在亮度和色度帧内预测过程中添加了RMD中cost代价最小的预测模式和最佳亮度预测模式,保证了较低的编码码率和较高的编码图像质量。实验结果表明,本文算法针对各类型、分辨率的视频,在码率和PSNR基本不变的情况下,帧内编码时间平均减少38.2%。     

基于灰色关联模型的作战效能影响因素分析

复杂电磁环境下,准确分析各种影响因素对电子装备作战效能的影响程度具有重要意义。针对统计方法不适用于数据样本少的的情况,利用灰色关联分析的方法,建立数据的灰色关联模型,结合实例对多种因素依据其与作战效能评估指标的关联程度进行排序,从中查找制约作战效能发挥的主要因素以指导装备实际的运用,分析结果与专家组评定基本符合。该方法在实践中已得到应用。     

向量空间模型在相关性度量方面的改进

介绍了向量空间模型实现相关性度量的原理,指出该模型存在的不足,针对不足提出了一种改进方法,从而有效提高信息检索的查全率,并改善信息检索系统的质量。     

三维MIMO阵列空间相关性分析

主要研究了3D-MIMO阵列的空间相关性.首先给出全局坐标系下精确的3D-MIMO信道模型,为真实准确的信道相关性分析提供基础.接着推导了天线阵列沿不同方向摆放、电磁波水平和俯仰功率角度谱分布服从拉普拉斯分布情况下空间相关性的数学表达式,建立起空间相关性与信道参数的数学关系.最后通过3个仿真实验从不同角度验证了理论分析的准确性,对多个实验结果进行联合分析,得到空间相关性产生的根本原因及影响因素.     

基于增量AHP的学习资源多标签标注研究

学习资源标注是我们根据需要知识准确获取相关学习资源的基础。然而目前大多数资源标注方法仅局限于单标签以及缺乏关联度信息,给用户精确获取学习资源带来困难。为解决此问题,本文提出一种基于增量AHP的学习资源多标签标注方法,首先根据标签-资源信息构建学习资源多标签标注模型,然后利用层次分析法定性与定量分析相结合的特点进行关联程度值处理,选取出与学习资源相关程度最大的若干个标签作为标注标签,从而支持用户方便获得与学习资源相关的知识点以及关联程度值。此外,针对初始成对比较矩阵随时间变化导致更新的情况,本文对传统AHP算法进行改进,提出增量AHP算法实现学习资源关联程度值更新。实验结果表明本文提出的方法具有良好的实用价值。     

一种改进的AR模型反辐射导弹检测算法

反辐射导弹(ARM)具有多普勒频率时变特征,其回波信号的传统功率谱为一宽带频谱,不利于对其进行检测.针对这种情况,提出一种改进的AR模型检测算法,该算法将分数阶相关理论引入到AR模型功率谱估计中,把传统的功率谱转变为分数阶谱,使ARM回波信号能量得到聚集,从而实现ARM的有效检测.仿真结果表明,该方法能够在ARM信噪比低达-16 dB的情况下,准确将ARM检测出来,实现实时告警.     

MIMO信道在巷道中的GBDB模型分析

多输入多输出(MIMO)技术可以有效减弱无线传输多径衰落现象。建立矿井巷道环境下MIMO信道的三维GBDB模型,推导了该模型的空时相关函数,并对矿井下MIMO信道容量进行了数值仿真。结果表明,矿井巷道中的空间相关性对MIMO系统容量的影响很大,增加接收端天线数量、增大天线间距可以大幅度提高系统的信道容量。