收藏本站
《中国科学技术大学》 2010年
收藏 | 手机打开
二维码
手机客户端打开本文

无线网络的声明性方法研究

曲文武  
【摘要】: 近年来,无线通讯技术迅速发展,无线应用已遍布人类社会各个角落。无线Ad Hoc网络是无线通讯领域的研究热点之一。无线Ad Hoc网络具有组网快捷、灵活、且不受有线网络约束等优点,在军事、交通、个人通讯等方面应用广泛。基于无线通讯技术的新应用入雨后春笋般出现。 声明性网络是一种应用演绎数据库技术描述并解决网络问题的方法。它将网络封装成数据库的一部分,使用逻辑声明性语言描述网络组织等问题,使用数据库技术处理声明性语言程序。然而,目前正在研究的声明性网络使用的语言都是Datalog的子集,它的不动点语义是基于单调增的,这与Ad Hoc网络上数据的动态变化是相矛盾的。为了解决这一问题,本文在80年代数据库领域的演绎性语言基础上,提出了一个新的描述语言NetLog,它使用描述性方式表达协议,非常适合Ad Hoc网络环境下的分布式查询处理。 无线Ad Hoc网络路由组织以及无线传感器网络的数据组织与处理是无线网络的重要应用。本文使用声明性方法对这些领域作了系统的研究。本文在声明性网络方面的工作与贡献如下: 首先,针对于其它声明性语言的单调性语义与网络数据动态变化的矛盾,提出了非单调的声明性语言NetLog,并对NetLog的描述能力以及不动点语义方面的问题进行了分析与证明。主要研究工作包括: 1)定义了NetLog的语法定义和语义解释。通过对否定与删除符号的语法定义与语义解释,使得NetLog可以描述网络数据的动态变化。 2)证明了NetLog的描述能力与FO+PFP一致。 3)给出了NetLog语言部分不动点存在的充分条件。 其次,本文对无线Ad Hoc网络的路由组织进行了研究。自适应性是Ad Hoc路由组织的一个重要的研究方向,由于声明性网络不同于传统的网络协议:不同的声明性网络协议可以协同合作;本文提出了自适应的基于组件的组合路由协议。主要工作包括: 1)在模拟平台上实现了使用声明性网络方法描述的传统Ad Hoc路由协议DSDV、DSR、OLSR、AODV等。 2)提出并在模拟平台上实现了基于组件的组合路由协议。将声明性Ad Hoc协议看作由多个模块构成,通过对模块的替换可以完成不同协议的替换;并且通过对粗糙集理论的信息表的处理实现了多个声明性协议间的自适应。 3)在模拟平台上实现了一个简单的Ad Hoc网络的文件P2P系统。最后,本文对无线传感器网络的数据管理与路由组织进行了研究。主要工作包括: 1)在模拟平台上实现了无线传感器网络的树形,骨干网以及聚簇等数据组织网络。 2)在模拟平台上实现了分布式的带链接代价的最小生成树协议。 3)在模拟平台上实现了分布式的带链接代价的近似最小Steiner树协议。 4)在模拟平台上实现了简单的数据查询与融合协议。
【学位授予单位】:中国科学技术大学
【学位级别】:博士
【学位授予年份】:2010
【分类号】:TN929.5

手机知网App
【参考文献】
中国期刊全文数据库 前3条
1 崔莉,鞠海玲,苗勇,李天璞,刘巍,赵泽;无线传感器网络研究进展[J];计算机研究与发展;2005年01期
2 李磊;J.Kouloumdjian;;可演绎系统的研究[J];计算机科学;1993年03期
3 蔡菁,吴东峥;基于逻辑的数据模型Datalog的递归应用[J];武汉理工大学学报(交通科学与工程版);2002年02期
【共引文献】
中国期刊全文数据库 前10条
1 蔡莉;胡学钢;;一种基于粗集的决策表求核算法[J];安徽大学学报(自然科学版);2007年06期
2 周玉华;李景杰;;不完备决策表的一种属性约简方法[J];安徽大学学报(自然科学版);2009年04期
3 杨萍,万上海,陈耿;一种基于可变支持度的缺省规则挖掘算法[J];安徽工程科技学院学报(自然科学版);2004年02期
4 梅灿华;孟庆全;祁炯;李明;;分辨矩阵构成与约简同步的方法[J];安徽工程科技学院学报(自然科学版);2008年02期
5 叶青;周鸣争;;基于“基站”通信原理的无线传感器网络认证技术[J];安徽工程科技学院学报(自然科学版);2010年02期
6 孙全玲;基于粗集和神经网络的建模方法研究[J];安徽建筑工业学院学报(自然科学版);2005年02期
7 孙虹;方敏;;基于Rough集和RBF网络的车牌字符识别方法[J];安徽建筑工业学院学报(自然科学版);2006年04期
8 孙虹;;粗糙集神经网络系统在车牌字符识别中的研究[J];安徽建筑工业学院学报(自然科学版);2007年04期
9 邓胜;戴小鹏;陈垦;黄璜;;粗糙集理论在农业生物灾害预测中的应用[J];安徽农业科学;2010年06期
10 刁占峰;张丹;张同军;;基于粗集-模糊综合评价法的水质指标约简研究[J];安徽农业科学;2010年26期
中国博士学位论文全文数据库 前10条
1 殷志伟;基于统计学习理论的分类方法研究[D];哈尔滨工程大学;2009年
2 姜延吉;多传感器数据融合关键技术研究[D];哈尔滨工程大学;2010年
3 罗汉江;海洋监测传感器网络关键技术研究[D];中国海洋大学;2010年
4 周鹏;水下传感器网络海上试验平台的研究与设计[D];中国海洋大学;2010年
5 窦亚玲;基于直觉模糊集的多约束网络路由决策方法研究[D];华中科技大学;2010年
6 蒋鼎国;无线传感器网络农业信息监控系统设计与数据融合研究[D];江南大学;2010年
7 高艺;能源自给低功耗无线传感器网络关键技术研究[D];南开大学;2010年
8 靳京;无线传感器网络移动组播QoS安全追踪算法研究[D];电子科技大学;2010年
9 苏煜;基于SCF范式的在线P300脑机接口研究[D];浙江大学;2010年
10 魏博;无线传感器网络节能机制关键技术研究[D];解放军信息工程大学;2009年
【二级参考文献】
中国期刊全文数据库 前1条
1 曾鹏,于海斌,梁英,尚志军,王忠锋;分布式无线传感器网络体系结构及应用支撑技术研究[J];信息与控制;2004年03期
【相似文献】
中国期刊全文数据库 前10条
1 邓小飞;徐倩;黄光亚;;无线传感器网络能效路由协议的研究进展[J];吉首大学学报(自然科学版);2011年03期
2 张蕾;谢杨梅;;一种支持移动Sink的无线传感器网络路由协议[J];池州学院学报;2011年03期
3 胡仕强;;无线传感器网络的路由协议分析研究[J];机械与电子;2010年S1期
4 张利琼;陶昆;;无线传感器网络路由协议研究[J];山西电子技术;2011年04期
5 牛小娇;吕程林;;一种基于LEACH协议的分簇路由算法[J];计算机技术与发展;2011年07期
6 屈晓渊;张峰;;基于物联网的节水灌溉自控系统研究[J];电子设计工程;2011年16期
7 张华良;王军;于海斌;曾鹏;;一个能量收集无线传感器网络路由协议[J];小型微型计算机系统;2011年07期
8 刘国梅;马伟杰;路玲;;一种基于非均匀分簇的大规模无线传感器网络路由协议[J];科技通报;2011年04期
9 余明辉;周顺先;;无线传感器网络数据收集关键技术现状研究[J];电信科学;2011年08期
10 胡致远;邓建良;姜建伦;;无线传感器网络与路由算法[J];传感器与微系统;2011年08期
中国重要会议论文全文数据库 前10条
1 孙昊;;无线传感器网络中能量有效路由协议的研究与分析[A];四川省通信学会2007年学术年会论文集[C];2007年
2 杨非;牛长流;;无线传感器网络中基于能量的路由协议分析[A];2008通信理论与技术新发展——第十三届全国青年通信学术会议论文集(下)[C];2008年
3 谭定忠;邱英;师柱;张厚琛;高明;;基于无线传感器网络的温度监测技术研究[A];2009中国仪器仪表与测控技术大会论文集[C];2009年
4 胡文基;徐明伟;;无线传感器网络安全路由协议分析[A];2006年全国通信软件学术会议论文集[C];2006年
5 徐太兵;金仁成;褚金奎;王立鼎;;无线传感器网络的建模分析[A];第十届全国敏感元件与传感器学术会议论文集[C];2007年
6 韦小铃;王玉斌;余兴超;董荣胜;;无线传感器网络LEACH路由协议的研究与改进[A];广西计算机学会2010年学术年会论文集[C];2010年
7 武峥;张淑芳;;无线传感器网络路由协议在交通监控系统中的应用[A];中国航海学会通信导航专业委员会2005年学术年会论文集[C];2005年
8 季莹莹;章坚武;;无线传感器网络路由协议改进方案[A];浙江省电子学会第七次会员代表大会暨2007学术年会论文集[C];2007年
9 李晴阳;任智;陈前斌;黄勇;;基于信号强度的无线传感器网络分簇算法建模与仿真[A];2009年全国无线电应用与管理学术会议论文集[C];2009年
10 张建明;何熊熊;冯远静;;一种新的无线传感器网络节能路由算法[A];PCC2009—第20届中国过程控制会议论文集[C];2009年
中国重要报纸全文数据库 前10条
1 特约撰稿 江家兴;浅述无线传感器网络安全[N];通信信息报;2007年
2 温雅路;利用无线传感器网络提高地质灾害监测能力[N];人民邮电;2008年
3 本报记者 赵建国;无线传感器网络改变未来世界[N];中国知识产权报;2011年
4 沈建苗 编译;理智部署无线传感网[N];计算机世界;2010年
5 甄岩武穆清;无处不在的无线Mesh网络[N];中国计算机报;2007年
6 林宗辉;ZigBee无线传感器网络解决方案[N];电子资讯时报;2007年
7 罗清岳;透析WSN无线传感网络[N];电子资讯时报;2007年
8 美国专利律师 谭文晔 薛之扬;无线传感器网络技术专利分析[N];科技日报;2010年
9 金桦;路由协议一样影响速度[N];中国计算机报;2003年
10 ;无线传感器网络供电获新援[N];计算机世界;2004年
中国博士学位论文全文数据库 前10条
1 曲文武;无线网络的声明性方法研究[D];中国科学技术大学;2010年
2 高腾;能量高效的无线传感器网络分簇路由协议研究[D];大连理工大学;2011年
3 姚兰;无线传感器网络中路由协议及其安全性研究[D];东北大学;2008年
4 龚本灿;无线传感器网络路由技术研究[D];武汉理工大学;2009年
5 任彦;无线传感器网络覆盖与拓扑控制理论与技术研究[D];北京交通大学;2008年
6 周晓芳;无线传感器网络中路由协议的跨层设计研究[D];中国科学技术大学;2010年
7 陈迅;无线传感器网络通信协议及定位算法研究[D];复旦大学;2007年
8 徐超;面向大型工程健康监测的无线传感器网络基本理论和关键技术研究[D];武汉理工大学;2007年
9 李燕君;面向事件检测的无线传感器网络服务质量保障[D];浙江大学;2009年
10 赵宝康;无线传感器网络隐私保护关键技术研究[D];国防科学技术大学;2009年
中国硕士学位论文全文数据库 前10条
1 王平;无线传感器网络节能路由协议研究[D];山东大学;2010年
2 仲新林;无线传感器网络中地理位置路由协议研究[D];南京航空航天大学;2010年
3 徐智福;基于无线传感器网络的路由协议研究[D];杭州电子科技大学;2009年
4 王汇彬;无线传感器网络地理位置路由协议研究[D];辽宁工程技术大学;2009年
5 童牧;无线传感器网络低能耗路由协议的研究[D];东华大学;2011年
6 陶孝收;无线传感器网络覆盖控制与路由协议的研究[D];电子科技大学;2010年
7 张九天;无线传感器网络容侵技术研究[D];太原科技大学;2010年
8 韩冬雪;基于粒子群优化的无线传感器网络分簇路由协议的研究[D];山东大学;2010年
9 伍小平;无线传感器网络分簇路由协议的研究与仿真[D];武汉理工大学;2011年
10 陈建兵;无线传感器网络分簇路由协议的研究[D];武汉理工大学;2011年
 快捷付款方式  订购知网充值卡  订购热线  帮助中心
  • 400-819-9993
  • 010-62791813
  • 010-62985026