导　　师： 郑红

学科专业： H1202

授予学位： 硕士

作　　者： ;

机构地区： 华东理工大学

摘　　要： 数字家庭是随着计算机网络的普及以及对人们生活的渗透而产生的新概念。其目的是将与人们生活息息相关的各类电子消费品、移动终端,数字家庭等设备通过一个统一的网络连接在一起进行统一的管理和信息交互工作。数字家庭以其广阔的市场前景和生活的密切联系成为未来网络发展的一个重要方向。 为适应新时期网络的发展需求,IEIF提出下一代网络协议IPv6。IPv6拥有巨大的地址空间,对协议层的服务质量要求和IPsec提供安全策略。IPv6可以为所有数字家庭和移动终端提供唯一的全球地址和即插即用功能支持。在数字家庭领域IPv6拥有巨大的优越性。但是目前IPv6应用规模较小,而协议转换是一种有效的解决IPv4和IPv6网络的通信的方法。 Petri网作为一种严谨的形式化分析方法非常适合用于分析系统的行为和动态特性。所以本文使用Petri网设计分析一个基于协议转换的数字家庭通信服务系统。本论文工作如下： /(1/)对协议转换做了具体分析和设计,最后选择基本网系统的P//T模型用于协议转换过程的建模和分析 /(2/)设计了一个数字家庭的IPv4//IPv6协议转换系统,并为系统建立Petri网模型,分析了系统的静态和动态特征,模拟并分析系统模块之间的并行工作和信息交互过程,验证了系统的功能实现和安全性。 Digital home, is a new concept, evolve with the computer network's development and infiltration of people's lives. Its aim is to connect all kinds of consumer electronics, mobile terminals, digital home appliances and other devices with a single unified network that manage and exchange information between each others. For Digital home's vast market prospects and close contact with living, it becomes an important future direction of network development. In order to meet the development needs of the New Internet network, IEIF proposed IPv6 as next-generation network protocol. Because IPv6 has a huge address space, QoS on the protocol layers, the IPsec security policy and can offer all digital home appliances and mobile devices provide a unique global address to support the Plug and Play, IPv6 has a huge advantage in the digital home. But IPv6 is the small scale of application at present, so protocol conversion has turned into an effective solution for IPv4 network communicating with IPv6 network. Petri net that is a kind of rigorous formal method is very suitable for the analysis of system's behavior and dynamic characteristics. Therefore, this paper design and analysis a digital home's communications service system based on protocol conversion by Petri nets. The main content is as follows: /(1/) This paper makes a specific analysis of protocol conversion and finally choose basic P//T model for protocol conversion process modeling and analysis. /(2/) A protocol conversion system of digital home is designed and established a Petri net model. Then this paper describes the static and dynamic characteristics of the system, simulates and analyzes the parallel work process and information exchange of modules. After that the safety and functions of this system are validated.

关 键 词： 协议转换 数字家庭 网

分 类 号： [TU8 TS9]

领　　域： [建筑科学] [轻工技术与工程]