【摘 要】
：
家庭信息化程度正随着3C行业的快速发展而逐步地提高,网络化、智能化的趋势已经成为数字家庭产业的共识。数字家庭网络化的目的在于通过建构完整的家庭网络架构,进行内部设备
论文部分内容阅读
家庭信息化程度正随着3C行业的快速发展而逐步地提高,网络化、智能化的趋势已经成为数字家庭产业的共识。数字家庭网络化的目的在于通过建构完整的家庭网络架构,进行内部设备的互联互通,同时将外部公共网络和应用延伸至家庭,从而实现数据通信、娱乐和共享等各种功能。数字家庭无线射频协议正是在这样的需求下被制定出来。数字家庭无线射频协议提高了家庭内部设备之间通信的易用性和可靠性,为设备的互动建立了技术基础,从而实现了家庭内部网络的信息共享和互联互通,使得控制器在射频中继器的协助下,实现对终端设备的监控。鉴于其在数字家庭技术体系中的重要性,本文使用基于Petri网的形式化方法对协议本身和相关系统进行建模和分析,为进一步研究和应用该协议提供了一种新的思路。所做的工作主要有如下几个方面。(1)对数字家庭无线射频通讯协议和Petri网基本理论进行了详细的介绍,接着将协议按参与者角色分成了三个部分,分别使用Petri网对其进行建模与分析,最终验证了协议的正确性和完整性。(2)针对终端设备的注册原语和会话层、网络层、链路层的通信机制,假设了若干不安全因素,用Petri网建立了入侵者模型,通过对模型的分析,得到相应的应对方案。(3)提出了一种基于射频协议的自动注册和路径更新系统,弥补了终端设备注册申请的缺陷和射频中继器意外故障的情况。接着使用可达图等Petri网分析技术对系统中的两种新功能进行验证,从而得到系统的若干重要性质。
其他文献
粒子群优化算法(PSO)出现以来，在理论分析、收敛性能的提高、算法的应用等各个方面都已经出现了大量的研究。在PSO的运行过程中，需要迭代地对种群中的各个粒子进行适应度评价、
BSM技术目前已经成为各大企业IT系统管理发展的方向，它能够将IT系统管理与业务对象紧密的联系在一起并通过有效合理的管理来实现业务性能的最大化。BSM是基于传统系统和网络管
游戏引擎是游戏或一些交互式实时图像应用程序的核心组件，它为了简化游戏开发，将诸多游戏开发工具整合到一个开发环境中。这种介于硬件层与用户界面之间的游戏中间层的封装模式
语言知识库的建设在自然语言处理(Natural Language Processing，NLP)中起着重要的作用，它的规模与质量影响着语言应用软件的优劣性。现阶段，语言知识库的建设技术已经较为成熟。
软件构件技术通过复用和组装已有的软件资源，提高了软件质量与软件的开发效率，对于缓解软件危机起到了重要的作用。随着开放动态的Internet计算平台的发展，构件技术被应用到这一
当前互联网路由体系架构中的IP地址存在既作为身份标识又作为位置标识的语义过载问题,这造成了路由可扩展性,以及不能很好的支持多归属和移动等一系列问题。为此,国内外工业
近几年来,互联网技术有着突飞猛进的发展,伴随着科技的进步,人们充分享受到了科技所带来的便利和快捷,安全认证始终是研究互联网技术中的热点难点。面对着浩如烟海的数据和信
教授主页信息管理与发布系统是中国地质大学(北京)数字校园建设中的子系统。原有的教授主页信息管理与发布系统是基于ASP技术实现的,其代码执行效率不高,由于运行在IIS服务器
为了获得一个符合日益复杂要求的服务组合解决方案，大量的精力投入在服务选择和服务组合的研究中。但由于服务组合问题的难解性，在这个领域任然存在一些待攻克的技术难点，本文主
无线传感器网络的研究始于20世纪90年代，是当前国际学术界和工业界的研究热点内容。该技术具有广泛的应用前景，已经或正在被广泛应用于军事国防、环境监测、智能家居及护理、灾