收藏本站
《华东理工大学》 2011年
收藏 | 手机打开
二维码
手机客户端打开本文

数字家庭无线射频协议的形式化分析与研究

刘云  
【摘要】:家庭信息化程度正随着3C行业的快速发展而逐步地提高,网络化、智能化的趋势已经成为数字家庭产业的共识。数字家庭网络化的目的在于通过建构完整的家庭网络架构,进行内部设备的互联互通,同时将外部公共网络和应用延伸至家庭,从而实现数据通信、娱乐和共享等各种功能。数字家庭无线射频协议正是在这样的需求下被制定出来。 数字家庭无线射频协议提高了家庭内部设备之间通信的易用性和可靠性,为设备的互动建立了技术基础,从而实现了家庭内部网络的信息共享和互联互通,使得控制器在射频中继器的协助下,实现对终端设备的监控。鉴于其在数字家庭技术体系中的重要性,本文使用基于Petri网的形式化方法对协议本身和相关系统进行建模和分析,为进一步研究和应用该协议提供了一种新的思路。所做的工作主要有如下几个方面。 (1)对数字家庭无线射频通讯协议和Petri网基本理论进行了详细的介绍,接着将协议按参与者角色分成了三个部分,分别使用Petri网对其进行建模与分析,最终验证了协议的正确性和完整性。 (2)针对终端设备的注册原语和会话层、网络层、链路层的通信机制,假设了若干不安全因素,用Petri网建立了入侵者模型,通过对模型的分析,得到相应的应对方案。 (3)提出了一种基于射频协议的自动注册和路径更新系统,弥补了终端设备注册申请的缺陷和射频中继器意外故障的情况。接着使用可达图等Petri网分析技术对系统中的两种新功能进行验证,从而得到系统的若干重要性质。
【学位授予单位】:华东理工大学
【学位级别】:硕士
【学位授予年份】:2011
【分类号】:TP391.44

手机知网App
【参考文献】
中国期刊全文数据库 前10条
1 郭亚利;鲜继清;;非标准无线射频协议ANT[J];重庆工学院学报(自然科学版);2007年11期
2 赵建立,闻英友,商瑞强,王光兴;一种新型卫星网管协议的Petri网描述与验证[J];东北大学学报;2004年04期
3 林松;戴宗坤;;电子支付安全协议的Petri网模型及分析[J];大连理工大学学报;2005年S1期
4 徐卓农;;智能家居系统的现状与发展综述[J];电气自动化;2004年03期
5 郭迎九;林闯;尹浩;田立勤;;基于Petri网的数字媒体分发协议的安全性证明[J];电子学报;2009年05期
6 郑红,李师贤;CORBA规范的形式化描述及分析[J];电子与信息学报;2004年11期
7 李信鹏;赵文;刘殿兴;袁崇义;张世琨;王立福;;基于RFID发现服务的一种供应链建模技术[J];电子学报;2010年S1期
8 郑红;邵志清;杨根兴;;电子商务系统主体行为的描述与分析[J];华东理工大学学报(自然科学版);2007年06期
9 曾小伟,陈吉红,向华;计算Petri网S不变量和T不变量算法[J];华中科技大学学报;2001年11期
10 刘道斌,郭莉,白硕;一种新的安全协议验证方法[J];计算机研究与发展;2003年10期
【共引文献】
中国期刊全文数据库 前10条
1 王海顺,吴鹏;工作流性能评价方法[J];安阳师范学院学报;2005年02期
2 薛景;;卫生监督管理信息系统工作流建模及分析[J];办公自动化;2008年14期
3 陈文明;高学东;;宝钢炼钢连铸物流仿真器的建模方法[J];宝钢技术;2009年05期
4 李军求,孙逢春,张承宁,张国忠;用CAD技术进行汽车底盘总布置设计方法的研究[J];车辆与动力技术;2004年02期
5 沈鹏;焦利明;杨建立;;基于Petri网的防空旅C4ISR系统决策组织结构[J];兵工自动化;2005年06期
6 吴圣义;吕永健;逯国亮;胡春林;;基于分层着色Petri网的飞机战伤抢修系统建模[J];兵工自动化;2007年05期
7 冯帆;孙德善;封会娟;索向军;;基于Petri网的单装备件需求量模型[J];兵工自动化;2008年07期
8 关成彬;段立;;Petri网在海军战役装备保障指挥中的应用[J];兵工自动化;2008年12期
9 梁旭斌;苏宪程;王景昌;赵前亮;;模糊petri网理论定量分析空间信息系统传输能力[J];兵工自动化;2009年08期
10 杨志华;刘顺利;刘己斌;;基于Petri网的防空兵群指挥信息结构建模分析[J];兵工自动化;2012年04期
中国重要会议论文全文数据库 前10条
1 杨舰;黄道平;李小亚;;GDCS任务调度的SPN模型研究[A];第二十六届中国控制会议论文集[C];2007年
2 黄勇;胡健生;李晴帆;肖文昌;;模糊Petri网在通信网络综合性能评价中的应用[A];第十届全国信号处理学术年会(CCSP-2001)论文集[C];2001年
3 彭永光;李华;叶新铭;;基于Petri网程序切片方法的Minix3的分析与测试研究[A];第三届全国软件测试会议与移动计算、栅格、智能化高级论坛论文集[C];2009年
4 程冬玲;朱永利;王新颖;;Petri网模型的程序代码转换[A];2007北京地区高校研究生学术交流会通信与信息技术会议论文集(上册)[C];2008年
5 孙栋栋;王玉斌;马争先;张净;;基于NS2的队列管理机制RED的研究及仿真[A];广西计算机学会2010年学术年会论文集[C];2010年
6 邵梅;王玉斌;马争先;钟艳如;;Ad hoc网络AODV协议的形式化分析与仿真[A];广西计算机学会2010年学术年会论文集[C];2010年
7 余兴超;马争先;王玉斌;董荣胜;;基于UPPAAL的简单网络支付协议形式化验证[A];广西计算机学会2010年学术年会论文集[C];2010年
8 傅荣;刘超男;;面向对象系统分析与设计中动态模型的Petri网描述[A];1999中国控制与决策学术年会论文集[C];1999年
9 张峰;傅荣;辜建德;李茂青;;信息系统协同开发的Petri网研究[A];1999中国控制与决策学术年会论文集[C];1999年
10 董明峰;王中胜;李敏强;;ERP中动态企业模型和建模方法[A];2000中国控制与决策学术年会论文集[C];2000年
中国博士学位论文全文数据库 前10条
1 刘心;基于Petri网的FMS建模及故障诊断方法研究[D];哈尔滨工程大学;2010年
2 徐小峰;面向船舶制造协同物流网络的资源优化研究[D];哈尔滨工程大学;2009年
3 刘天印;基于系统模拟的高校教师工作压力研究[D];华中科技大学;2010年
4 杨年华;模型驱动架构中的可信嵌入式软件建模与分析[D];华东理工大学;2011年
5 舒挺;EFSM模型协议一致性测试序列自动生成研究[D];浙江大学;2010年
6 邝砾;基于接口和行为语义的Web服务发现与适配研究[D];浙江大学;2009年
7 张志明;柔性制造系统死锁预防的Petri网控制器综合[D];浙江大学;2010年
8 刘思华;电网故障诊断方法的研究[D];山东大学;2010年
9 赵晓峰;虚拟制造环境的信息规范及其Z描述研究[D];山东大学;2010年
10 余本功;复杂产品开发过程建模与管理研究[D];合肥工业大学;2011年
中国硕士学位论文全文数据库 前10条
1 李蕾;有色Petri网的动态性质判定及其在组装生产线中的应用[D];山东科技大学;2010年
2 王廷刚;Petri网表征语言和可达性分析[D];山东科技大学;2010年
3 钊红梅;工作流在网络管理系统中的应用[D];郑州大学;2010年
4 王佳慧;基于面向对象的随机Petri网图形建模与分析工具的开发[D];郑州大学;2010年
5 张茜;基于Petri网的网络脆弱性评估技术研究[D];哈尔滨工程大学;2010年
6 肖良清;基于时间Petri网的并行测试研究[D];长沙理工大学;2010年
7 苏燕;数字家庭网络标准与应用系统研究[D];中国海洋大学;2010年
8 常显斌;研发合作知识创新的资源分配研究[D];中国海洋大学;2010年
9 林洁;SRS-F01柔性制造教学系统的设计[D];苏州大学;2010年
10 陆洁;动态模糊Petri网理论及其应用研究[D];苏州大学;2010年
【二级参考文献】
中国期刊全文数据库 前10条
1 姜月秋,冯永新,赵永翼,王光兴;一种新的网络管理协议——多元化网络管理协议原型设计[J];兵工学报;2003年04期
2 陈学梁;万晓榆;樊自甫;房志刚;;无线接入网中P2P对网络业务性能的评估[J];重庆工学院学报;2006年05期
3 张怡;姚萌;王晓栋;;基于IEEE802.15.4标准的无线网络在煤矿安全系统中的应用[J];重庆工学院学报;2006年11期
4 吴展遥;;无线网桥在空中运动体与地面通讯系统中的应用[J];重庆科技学院学报;2006年04期
5 黄勇,胡健生,李晴帆;基于模糊Petri网模型的通信网络综合性能评价[J];电子工程师;2001年08期
6 范科峰;莫玮;曹山;赵新华;裴庆祺;;数字版权管理技术及应用研究进展[J];电子学报;2007年06期
7 丁瑾,胡健栋;关于电子产品性能的模糊综合评判[J];电子学报;1995年02期
8 杨士元;e-Home 在中国[J];工程设计CAD与智能建筑;2000年11期
9 吴礼雄;船舶监控系统中LonWorks现场总线的应用[J];工业控制计算机;2000年01期
10 崔焕庆;吴哲辉;;并行程序Petri网模型的结构性质[J];计算机研究与发展;2007年12期
【相似文献】
中国期刊全文数据库 前10条
1 郝鹏;;家用PC产业的蜕变——记同方电脑“无线数字家庭”战略发布[J];中国计算机用户;2003年49期
2 王丁 ,鞠道霖;打破数字家庭神话 9个品牌11款家用电脑比较评测[J];个人电脑;2005年02期
3 蔡觉婷;数字家庭网络技术与发展[J];电信网技术;2005年06期
4 Michael Hurlston;联接数字家庭[J];世界电子元器件;2005年11期
5 崔澎;;用Wi-Fi连接数字家庭——访Broadcom公司家庭和无线业务部总经理Michael Hurlston[J];电子产品世界;2005年23期
6 梁钦;;数字家庭别自娱自乐[J];每周电脑报;2006年10期
7 ;CHIP结论 现实与未来[J];新电脑;2006年07期
8 Neil Bullock;;数字家庭构想:明朗还是混沌?[J];电子设计技术;2006年12期
9 ;数字家庭有又新标准——2007广东省数字家庭五项地方标准项目召开首次专家论证会[J];广东科技;2007年12期
10 李静;;岭南模式杀入数字家庭战局 广东标准有待克服地域硬伤[J];IT时代周刊;2008年23期
中国重要会议论文全文数据库 前10条
1 仇剑书;温锋;李仲侠;;面向三网融合的数字家庭网络架构[A];中国通信学会信息通信网络技术委员会2011年年会论文集(上册)[C];2011年
2 丁海;;基于家庭网关的未来家庭网络业务[A];中国通信学会信息通信网络技术委员会2009年年会论文集(下册)[C];2009年
3 樊金涛;向辉;;数字家庭系统中IGRS和UPnP双协议栈研究与实现[A];第三届和谐人机环境联合学术会议(HHME2007)论文集[C];2007年
4 葛立志;向辉;孙海明;;数字家庭中交互媒体制作系统的研究和实现[A];第三届和谐人机环境联合学术会议(HHME2007)论文集[C];2007年
5 赵娜;范延伟;白雷石;王晓影;王晶晶;;基于云计算的数字家庭音视频服务平台[A];2009全国虚拟仪器大会论文集(二)[C];2009年
6 安卫华;魏乃永;张萌;;奥运村智能化系统设计[A];第十届中国科协年会论文集(四)[C];2008年
7 吴俭敏;刘昱程;;奶牛自动电子识别系统综述[A];走中国特色农业机械化道路——中国农业机械学会2008年学术年会论文集(上册)[C];2008年
8 丁琳;许亚红;杨礼现;;基于RFID的井下人员定位系统[A];自动化技术与冶金流程节能减排——全国冶金自动化信息网2008年会论文集[C];2008年
9 张迪;吴水才;刘冬麟;白燕萍;;生理多参数无线监护系统的研制[A];第十届中国科协年会论文集(三)[C];2008年
10 迟军为;王俊;;无线射频测温系统在供暖温度监测中的应用[A];推进供热体制改革与节能改造新技术新设备应用交流会论文集[C];2010年
中国重要报纸全文数据库 前10条
1 本报记者 陈斌;2004:数字家庭不见不散[N];计算机世界;2004年
2 耀闻;数字家庭互动应用标准工作委员会成立[N];中国电子报;2008年
3 本报记者 罗竖一;未来广东“数字家庭”产业规模将达800亿元人民币[N];中华建筑报;2008年
4 苏月琼;数字家庭踏春走来[N];中国电子报;2004年
5 CPW记者 周昊;数字家庭空间广阔 优派携渠决战客厅[N];电脑商报;2003年
6 李全伟;e家佳成立数字家庭标准互搏[N];计算机世界;2004年
7 曾铭;数字家庭产品“决战客厅”[N];中华建筑报;2004年
8 本报记者 逄丹;数字家庭呼唤标准统一[N];通信产业报;2010年
9 吴宁川;联想寒促瞄准大液晶与数字家庭[N];中国计算机报;2004年
10 雷晓斌;谁在追捧数字家庭[N];中国计算机报;2004年
中国博士学位论文全文数据库 前10条
1 魏墨济;基于本体的数字家庭服务搜索与调用机制研究[D];中国海洋大学;2011年
2 龙慧云;基于进程代数的Web服务数据和组合的形式化方法研究[D];贵州大学;2009年
3 王晓东;家庭智能空间服务关键技术研究[D];中国海洋大学;2011年
4 王英龙;Ad Hoc网络路由协议安全性分析方法研究[D];山东大学;2005年
5 江敏;多视点需求工程中不一致性的检测与处理[D];武汉大学;2007年
6 曹源;高速铁路列车运行控制系统的形式化建模与验证方法研究[D];北京交通大学;2011年
7 席琳;形式化方法在构件组装实时系统中的应用研究[D];郑州大学;2012年
8 燕飞;轨道交通列车运行控制系统的形式化建模和模型检验方法研究[D];北京交通大学;2006年
9 廖军;面向服务的计算(SOC)中服务组合的研究[D];电子科技大学;2006年
10 陈怡海;面向对象软件规格说明的构造及确认技术研究[D];上海大学;2007年
中国硕士学位论文全文数据库 前10条
1 刘云;数字家庭无线射频协议的形式化分析与研究[D];华东理工大学;2011年
2 孙晓璐;数字家庭网络服务质量控制技术的研究[D];广东工业大学;2011年
3 王晶;无线数字家庭网络的研究[D];西北大学;2010年
4 刘庆远;我国数字家庭聚合平台商业模式研究[D];北京交通大学;2010年
5 苏燕;数字家庭网络标准与应用系统研究[D];中国海洋大学;2010年
6 曾丽芳;广州市番禺区政府在数字家庭产业发展中的职责研究[D];吉林大学;2011年
7 丁英姿;面向数字家庭的内容分发网络关键技术研究[D];中国海洋大学;2012年
8 张炳华;数字家庭互联互通方法研究及其应用[D];华南理工大学;2010年
9 杨小勃;数字家庭网络安全技术研究[D];陕西师范大学;2011年
10 于涛;基于功能本体的数字家庭服务注册与搜索平台研究[D];中国海洋大学;2011年
 快捷付款方式  订购知网充值卡  订购热线  帮助中心
  • 400-819-9993
  • 010-62791813
  • 010-62985026