基于“当前”统计模型的火控预测器

分析了二阶多项式模型对机动目标进行跟踪和预测时存在的不足 ,研究了“当前”统计模型在火控预测器中的应用 ;通过仿真计算 ,比较了基于“当前”统计模型的火控预测器和基于二阶多项式模型的火控预测器对横向机动目标提前点的预测性能。     

二阶马尔可夫加速度模型下的机动目标预测器

采用二阶马尔可夫加速度模型建立机动目标跟踪滤波器,并将其扩展到预测器中形成六阶多项式预测模型来解决机动目标预测问题。仿真的结果表明本文建立的预测器使机动目标预测精度有了明显的提高。     

基于多预测器的高光谱图像无损压缩

数据压缩是高光谱图像处理应用中的一个关键问题。在分析高光谱数据相关性特点的基础上,提出了一种方向可选的多预测器数据压缩框架。将新的框架应用于单波段和多波段的预测压缩方案,分别得到复杂性不同的两种无损压缩流程。计算机仿真结果表明了该框架的有效性。     

基于格式匹配的未知协议报文聚类

协议逆向是一种检测和分析位置或专有协议的解决方案,而针对协议格式的报文聚类是识别未知协议报文的基本方式。因此,提出了一种基于格式匹配的未知协议报文聚类方法(CUPFC),引入增强巴科斯范式,定义令牌格式距离(TFD)和报文格式距离(MFD)来表示Token和报文的格式相似性,通过杰卡德距离和一种优化的序列对齐算法(MFD度量)来计算格式相似性。然后,利用MFD建立距离矩阵,并将其输入DBSCAN模型中,将未知协议报文聚成不同的类。该研究在两个仿真数据集上进行验证,聚类调和平均v测度均在0.91以上,fmi和覆盖度均不小于0.97,相对于以往的工作具有较大优势。     

协议测试中测试序列生成方法综述

文章在介绍协议一致性测试基本概念的基础上,重点列举了测试序列的几种生成方法。对目前广泛采用的形式化描述模型,重点介绍其中基于有限状态机模型的测试序列生成方法,同时对基于扩展有限状态机以及确定有限状态机的测试序列生成方法也进行了介绍。文章对每一种方法介绍了其原理并分析了其使用中的局限。文章最后指出了在协议测试中面临的问题和进一步研究的方向。     

基于FPGA的IP协议解析的研究与实现

阐述了IP协议解析硬件实现算法,采用内容寻址存储器CAM（ContentAddressableMemory）来管理已接收的IP分片,用片外扩展DDRSDRAM作为大容量IP分片重组缓存区,基于FPGA平台实现了IP协议的硬件解析,数据传输频率可达130MHz,吞吐率在1Gbps以上．     

针对SCPS-NP的协议分析方法

描述了卫星通信协议中网络层协议SCPS-NP的基本结构,阐述了BM算法与ID3算法原理,提出了一种新的针对空间传输协议的有效分析方法———NP-BM-ID3算法,并通过仿真实验进行验证。实验结果表明：通过将原有的数据集分类,该算法不仅有效地解决了模式串长度不足问题,而且减少了规则总数,在条件属性数量不变的情况下降低了运算复杂度。     

一种SIP协议实时图形化分析软件的设计

文章提出了一种Windows下高效网络协议分析软件的实现方法,从改造开源网络协议分析软件wireshark入手,将捕获的数据包写入共享内存,然后基于MFC编程从共享内存将数据包取出并进行重组、过滤和分析处理,实现了软交换系统中各设备实体间SIP协议数据的实时动态图形显示,最后对软件进行了验证测试。对于软交换系统中SIP信令分析具有实际应用价值,对于类似网络协议分析软件的开发具有一定的借鉴意义。     

分布式交互仿真中的信息交互协议

本文在分析分布式联合作战模拟系统信息交互协议发送原则的基础上,设计了协议数据单元的格式,然后对实体状态PDU进行改进,设计更加高效的变长实体状态PDU和分组实体状态PDU,最后,针对不同分辨率模型间交互的需要,设计出聚合级交互协议。     

基于K-means和AGNES的未知二进制协议聚类

协议的聚类是协议分析中一个重要的环节,为实现对未知二进制协议高效聚类,提出了一种基于K-means聚类和AGNES的未知二进制协议聚类方法。在对获取的二进制协议比特流进行数据预处理的基础上,先采用K-means算法对比特流数据进行初步聚类,再通过误差平方和、Calinski-Harabasz分数值和轮廓系数确定k值,最后选择AGNES算法将未知二进制协议比特流划分为不同的二进制协议子集。方法有效结合了K-means和AGNES算法的特点,降低了时间复杂度的同时提高了聚类的精确度。对实验数据集的测试结果验证了所提方法的有效性,较为准确地确定了k值,聚类精确度达到了98%。     

PMESI：一种优化进程私有数据访问的缓存一致性协议

并行应用程序中绝大部分的访存是对私有数据的访问,在cache一致性协议上不会产生冲突。传统一致性协议没有根据程序私有数据的访问模式进行针对性设计,存在着很大的优化空间。针对以上的问题,提出了一种支持私有状态的cache一致性协议PMESI,通过动态关闭和激活内存空间的cache一致性目录,优化私有内存空间的访问延迟和功耗。通过时钟精确模拟器的测试,PMESI协议优化了程序中54%的访存,并行程序的执行时间平均缩短了9%。     

JTIDS自组织组网路由协议及性能分析

文章在分析JTIDS数据链系统消息的基础上,提出了一种支持地面组网的路由协议(JMR),在不改动现有消息内容的前提下,可以实现JTIDS端机间的无中心自组织组网,并对时延、吞吐量、交付率、路由开销等方面性能进行了仿真分析。     

基于伪临界值的Cache一致性协议验证方法

针对Cache一致性协议状态空间爆炸问题,提出共享集合伪临界值(Pseudo-cutoff)的概念,并以采用释放一致性模型的CC-NUMA系统为例,分析了共享数据的分布情况,推导出在一定条件下共享集合伪临界值为4的结论,有效优化了目录Cache协议状态空间,并提出了解决小概率的宽共享事件的方法.实验数据表明,基于伪临界值的协议模型优化,能够有效缩小Cache协议状态空间,加快验证速度,扩大验证规模.     

分布式系统设计中的互斥问题

介绍了互斥问题的基本概念,并针对分布式系统设计中的互斥问题分析了非基于令牌和基于令牌的两种解决方案.通过对典型算法的分析,有助于对分布式系统形成可操作的数学模型.     

2014nccet：一种新的用于减少远程Cache访问延迟的最后一次写访问预测方法*

为减少远程Cache访问延迟,提高共享存储系统的性能,提出了一种新的基于程序内在写突发特性的最后一次写访问预测方法,并对一个具体的目录协议进行了改造,以支持该预测方法。通过预测Cache块的最后一次写访问并提前对其进行降级,处理器能直接从主存中读取数据,从而减少了远程Cache访问所需的一个网络跳步数。与当前基于指令的预测方法相比,该方法能极大减少存储开销。基准测试程序的评测结果表明,该方法能获得83.1%的预测准确率,并且能提高8.57%的程序执行性能,同时与基于指令的预测方法相比,该方法能分别减少历史踪迹表69%的存储开销和签名表36%的存储开销。     

分布共享存储系统中程序访存行为对性能的影响

本文首先提取了分布共享存储系统（ＤＳＭ）中程序访存行为的几个重要参数,并以此建立了一个处理机效率模型。在此模型基础上分析了访存行为的各种因素对处理机效率的影响情况,文章最后给出了提高处理机效率的几种技术途径。     

参数化系统二维抽象框架

针对参数化系统状态空间爆炸问题提出了一个通用的参数化系统二维抽象框架TDA。对所有进程单独进行抽象,利用参数化系统的设计思想,隐藏系统参数构建全系统的抽象模型,最大限度地剔除了原始系统中的冗余信息。建立的具有真并发语义的参数化系统的形式化模型,更适合描述一般意义上的并发系统,较好地解决了验证大规模同构和异构系统的空间激增问题。理论推导和实例均证实了TDA的正确性和合理性。     

用于减少远程Cache访问延迟的最后一次写访问预测方法

为减少远程Cache访问延迟,提高共享存储系统的性能,提出了一种新的基于程序内在写突发特性的最后一次写访问预测方法,并对一个具体的目录协议进行了改造,以支持该预测方法。通过预测Cache块的最后一次写访问并提前对其进行降级,处理器能直接从主存中读取数据,从而减少了远程Cache访问所需的一个网络跳步数。与当前基于指令的预测方法相比,该方法能极大减少存储开销。基准测试程序的评测结果表明,该方法能获得83.1%的预测准确率,并且能提高8.57%的程序执行性能,同时与基于指令的预测方法相比,该方法能分别减少历史踪迹表69%的存储开销和签名表36%的存储开销。     

信息化知识表征的理论及方法

为了探讨信息时代里认知科学领域知识表征的特点和作用,通过梳理知识表征的发展过程,讨论信息化知识表征的理论和方法,分析了文字表征、图式表征、超文本表征、多媒体及虚拟现实表征的特点及其在认知中的作用。     

广播新技术在心理战中的应用

多媒体广播、数字广播、手机广播和网络广播为广播心理战的实施开辟了更加广阔的空间。本文阐述了广播新技术在心理战中应用的重要性、现状和趋势,提出了心理战广播新技术的发展对策,有助于军队心理战创新。