无线移动网络分布式最小生成树的声明实现

声明网络是一种应用演绎数据库技术描述并解决网络问题的方法.节点将网络封装为数据库的一部分,通过对数据库的操作解决网络问题.最小生成树问题是无线Ad Hoc网络上NP完全问题,声明网络为无线Ad Hoc网络的最小生成树问题提供了一种新的解决方案.声明最小生成树协议可以分布式地构建无线Ad Hoc网络的最小生成树,在仿真平台的实验结果表明,声明最小生成树协议达到了收敛速度快的要求.     

宣告式网络程序设计语言比较研究

网络技术的发展和异构计算设备种类的增多给网络协议的设计开发带来诸多挑战。网络协议设计者面临的最基本问题是如何脱离繁琐的协议实现细节,而将主要精力放在协议的功能设计上。近年来,为了解决这个问题,宣告式网络程序设计语言,被提出。宣告式网络程序设计语言吸取数据库管理系统成功的经验,将网络划分为逻辑层和物理层。网络协议设计者只需利用其提供的高层编程抽象设计网络协议的功能,而不用关心繁杂的物理层实现。通过分析和比较不同宣告式网络程序设计语言,对其发展进行了总结,并指出了进行进一步的研究工作需要注意的问题。