【摘 要】
:
对于通信系统的建模存在很多种方法,其中以面向对象方法建模和Petri网建模为主要建模方法。面向对象建模广泛采用UML建模,作为一种半结构半形式化的建模语言,不能提供严谨的
论文部分内容阅读
对于通信系统的建模存在很多种方法,其中以面向对象方法建模和Petri网建模为主要建模方法。面向对象建模广泛采用UML建模,作为一种半结构半形式化的建模语言,不能提供严谨的形式化推理和模型检验,不能驱动仿真执行,不能用于保证系统的质量。Petri网适合于具有并发性以及分布式系统进行建模,它的强大的数学理论基础,能有效地对模型进行严格的分析和验证,但伴随着系统的不断复杂化带来的是模型的“状态空间爆炸”、可重用性和可维护性差的问题。为了解决以往建模方法的不足之处,需要寻找一种新的方法来构建通信系统的模型。本文首先介绍了基于面向对象方法和Petri网对基本通信系统建模的优缺点以及存在的问题;其次,将面向对象中的概念引入Petri网中,并在Petri网中增加了颜色集的概念,根据基本通信系统本身的结构特点,引入了分层的思想,提出了基本通信系统的一种形式化定义,并给出了基本通信系统的分层和建模方法;最后通过一个基本通信系统的实例对该建模方法进行了验证。该方法综合了面向对象与着色Petri网两种建模方法的优点。着色Petri网与基本Petri网相比,引入了颜色集以及弧表达式的概念,有效地解决“状态空间爆炸”的问题,同时它保留了基本Petri网的分析验证方法。由于面向对象具有封装性、模块化等特点,面向对象方法构建的模型具有良好的重用性和可维护性。另外,利用分层的方法,也降低了大型的基本通信系统模型的复杂度,从而有效降低了Petri网模型对系统依赖的强度。因此,基于分层的,利用着色Petri网构建基本通信系统模型的方法,结合面向对象技术,能够降低建模的复杂度,增强模型的可验证性、可重用性和可维护性,是一个有价值的建模方法。
其他文献
随着互联网的普及与电子商务的迅猛发展,传统易货在电子商务中得到新的发展。电子易货就是将易货与电子商务相结合的现代易货交易形式。电子易货作为现金交易的补充可以解决
随着网络普及,安全以及需要确保在大规模的网络数据传输技术的进步越来越快是高效完成不可或缺的。许多公司和运营商都在网络上传输重要的信息,但没有数据泄漏是不能容忍的。本
就像许多其他技术一样,为了军事需要,无线传感网络应运而生。随着嵌入式系统的发展,无线传感网络相关的应用也越来越广泛,并以同样的方式应用到民用监测领域,例如目标跟踪,入
随着互联网的迅猛发展,人们需要更多的网线并要求其有更高的传输速度,而更高的速度将导致双绞线内部的串扰显著增加。因此,为了能在网线生产过程中将串扰维持在一定的范围内,便需
Internet的飞速发展,一方面使得用户对网络流媒体提出了更多的服务需求,另一方面也为互联网提供了大量的闲置资源。如何有效利用数量和能力不断增长的闲散资源为用户提供保证质
经济的快速发展带来了环境问题,其中大气污染是其中比较严峻的问题之一。通过大气污染预报模型对空气中的颗粒物浓度进行预报,一方面分析出污染物趋势以及各种因素对空气质量的
随着软件技术的快速发展和软件应用范围的不断扩大,软件系统规模越来越大,软件功能日趋复杂,软件的需求获取变得更加困难,这表明需求分析在整个软件开发过程中具有十分重要的
随着视频点播服务的流行,对VOD系统的大规模分发需求也越来越高。传统的CDN架构VOD系统的部署和维护费用相对较高,而且它的单一服务器的负载有限,系统的扩展性难以满足发展的
近年来,随着信息技术的快速发展与网络的广泛普及化,数据形式变得更加多样化,传统的静态挖掘技术无法适应快速流动的动态数据的挖掘,数据挖掘的研究向着更深入的方向发展。其
随着基于位置服务相关技术的成熟以及普及,定位应用已为人们的日常生活提供了极大的便利,市场对于定位需求和精准度要求与日俱增。在室外定位方面,卫星定位技术完善且广泛运用,如