基于无线传感器网络的战场目标跟踪

基于无线传感器网络,对目标定位跟踪应用进行了研究。在对目标定位跟踪时,如何既保证跟踪精度又能有效降低能量消耗,针对这个问题,提出了一种简便的加权坐标质心定位方法,通过对目标的定位,给出了一种基于测量信息的跟踪方法,方法实现简单。性能分析表明:提出的定位跟踪方法能有效地降低能量消耗,延长节点和网络寿命,基本可以满足战场目标跟踪需求。     

一种SIP穿越NAT的解决方案

NAT使得SIP端到端的应用变得非常困难,文章分析了几种SIP穿越NAT方法及其不足,提出了一种基于STUN和TURN方法的穿越方案.其基本思想是根据NAT的不同采用不同的方式实现SIP信令的穿越,而媒体流的穿越则通过对所有可用媒体地址进行连接检查来实现.方案不改动现有NAT,在应用层上实现了对所有NAT的有效穿越,避免单独使用其它方法带来的缺陷.     

传感器网络中的节能参与度模型

为提出节能的传感器网络协议,本文研究了节点参与度模型.我们细化了无线传感器网络中的协议层次,将网络层分为邻域发现,动态参与度模型和路由协议.我们具体化了邻域发现协议,引入随机参数重构了参与度模型,给出了相应的网络启动方式并使用数学分析、模拟程序验证了此模型.     

OSPFv3协议的冒烟测试及其实现

协议测试是保证协议实现和协议描述相一致的重要手段，OSPF协议是一个广泛应用的链路状态协议。冒烟测试具有降低系统集成风险，提高开发过程可视性和缩短产品开发周期的特点，该文设计并实现了基于TCL语言的协议冒烟测试系统，对OSPFv3协议实现了测试集并对路由器产品进行测试，实验表明系统具备高效易用的特点。     

一种面向ABNF模式匹配的处理器设计

在对基于文本编码的网络协议解析中,传统的解决方案难以兼顾速度和灵活性两方面的要求.本文针对扩展巴克斯范式(ABNF)的文法特点,提出一种新型可编程处理器的指令系统和体系结构,以满足网络处理对速度和灵活性的共同要求.该方案在可编程逻辑器件(FPGA)上进行了验证,实验结果表明该处理器在实现面积、处理速度和灵活性上都占有较大优势.     

一种基于CSP的协议模型技术

讨论了为建立协议模型而进行的CSP扩充问题．主要向CSP中引入了可终止进程的概念，给出了可终止进程的判定方法；提出了用CSP来描述异步通信的手段；介绍了如何实现从FSM模型向CSP模型的转换；最后给出了AB协议的CSP描述．     

基于TTCN的IPv6协议测试

基于标准的协议测试描述语言TTCN，设计了一种针对于IPv6协议簇的软件接口，搭建了具体的网络测试环境，能够在谊测试环境中进行IPv6协议的一致性测试。最后，作为例子，对WIN2000的ICMPv6协议实现进行了测试。     

一种基于并发路径的协议验证方法

通信协议验证方法中 ,可达性分析是一种方便的、易于自动化处理的、有效的协议验证方法 .但是随着通信协议的多样性和复杂性的不断增加 ,状态爆炸问题使得可达性分析变得难以实施 .本文采用分而治之的策略 ,提出一种基于并发路径的协议验证方法 .该方法将协议划分为相互独立的并发路径 ,通过逐一分析验证各并发路径 ,来实现验证整个协议的目的 .由于各并发路径的生成和分析都是相互独立的 ,整个协议验证对内存的需求仅受限于各并发路径的复杂度 ,因此有效地缓解了状态爆炸的问题     

基于UIO的协议测试序列生成方法的改进

文章在FSM模型下基于UIO序列的协议测试生成算法的基础上,介绍了UIO(S)序列和IO(S,K)序列的生成算法.并针对在IUT中,会出现UIO(S)和IO(S,K)序列失效的问题,提出了一种有效的检验方法.最后,给出了完整的测试序列生成方法.     

一种无线传感器网络安全定位的新方法

提出一种新的无线传感器网络安全定位算法SAPIT,它采用锚点身份验证和APIT测试结果安全汇总等安全机制,无需增加额外硬件,解决了传统APIT定位算法极易受劫持节点攻击的问题.对该方法模拟仿真.达到预期效果.