基于Petri网的构件动态演化研究

来源 :云南大学 | 被引量 : 0次 | 上传用户:sophia971
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
信息化产业和软件工程技术革命高速发展的今天,越来越多系统成了遗产系统,软件演化技术成为当今世界的一个主流领域,同时也充满研究难度,如何进行软件系统演化是一项重要工程,其中基于构件的软件演化成了主流研究领域,对这个领域的研究有着重要的现实意义和广阔前景,对基于构件的软件演化研究体现了一种哲学思想,先研究其系统中最基本元素,从中积累智慧,从而实现更大规模的构件网系统研究。动态演化技术中的核心内容就是来自于构件间的关系变化问题,通过构件间的相互作用、相互依赖、相互运动使得构件间的关系变化,这些变化的关系包括了增加、删除、替换和组装,通过这些操作使构件间的关系重定位从而引发系统的演化。我们在此依据以需求为驱动、构件网系统为中心,不断迭代与增量的工程思想方法对动态演化技术进行研究。Petri网具有严格数学逻辑和直观图形表达,本论文使用Petri网形式化建模,实现对构件动态演化系统的分析与集成。   本论文的内容如下:   (1)对基本Petri网进行扩展并形式化表示构件,形式化定义构件、连接件及构件网系统,并用图形方式来表示,定义构件、连接件及构件网系统的性质并进行分析。   (2)用层次Petri网描述复合构件组装,分析构件组装的原理、组装框架、组装的方式及复合组装的运算,对复合组装中构件网的良性与可靠性性质进行分析,在此基础上以图书管理系统为例子对系统中的各个构件形式化表示并复合组装。   (3)分析构件与连接件动态演化操作,提出构件动态演化实施的标准,这些标准包括结构不变性、动态不变性等,设计了构件网系统动态演化操作的算法,包括实施演化的判定算法、构件操作算法及连接件操作算法。   (4)基于动态性与演化性提出构件动态演化系统,对构件动态演化系统进行系统分析与系统集成。
其他文献
学位
随着航空供电技术的发展,对于航空静止变流器的功率密度、效率、动态电气性能的要求也进一步提高。本文主要以静止变流器前级DC/DC模块为研究对象,分别从拓扑和功率器件的角度设计高效率高功率密度的DC/DC变换器。DC/DC变换器的拓扑很多,各有优缺点。其中LLC谐振变换器不仅能够实现原边开关管的ZVS,还可以实现副边整流二极管的ZCS,是高功率密度变换器的理想拓扑,近年来已成为研究热点。其次功率半导体
如今的信息交互已经进入海量数据时代,作为提升数据访问速度的一种重要手段,分布式缓存技术近年来受到了各界的广泛关注。而memcached是目前最为著名的开源分布式缓存产品,在
非隔离型高增益DC/DC变换器在不间断电源系统、电动汽车、光伏与燃料电池发电并网系统等诸多领域得到了广泛的应用,它需具备高增益及高效率的特点。基本Boost变换器由于电压增
激发培养学生的学习兴趣,是每一位老师渴望解决的问题,也是学生最渴望老师所给予的珍宝。由于课堂是老师传授知识、培养兴趣、提高能力的主阵地,因此在课堂上激发学生的学习兴趣
水环境与我们的日常生活息息相关,我国目前的水污染形势非常严峻,水环境的综合治理迫在眉睫。以信息化手段创新水环境管理模式,促进水利信息化,是当前水利科技创新的重点。但
串联型Z源逆变器是一种新颖的功率变换拓扑,直通状态的引入,使得这种单级式结构能够实现通常需要DC/DC+DC/AC的两级式结构才能够完成的升降压变换功能,因此在光伏发电等输入电压会在大范围内变化的场合,串联型Z源逆变器有着广阔的应用前景。本文首先介绍了串联型Z源逆变器的工作原理,然后研究了一种适用于该逆变器的SVPWM调制策略,提高了Z源网络的等效开关频率,并且分析了在这种SVPWM调制策略下电路
逃税作为纳税个体对应缴税的非法隐匿行为,既会减少政府的财政收入,也会对收入分配的公平性产生影响。如何促进税收遵从一直是政府官员关注的重要论题,对逃税行为进行经济学分析
随着办公自动化和电子政务系统的全面普及,工作流管理软件已被越来越多的人所熟知。通过使用工作流管理软件用户可以方便的实现公文流程的审批和流转。相较传统的公文流转方式
近年来,随着技术的飞速发展,科学研究对磁场系统提出了更高的要求,较高的磁场强度和磁场稳定性成为近年来的研究热点,其中平顶磁场因其较低的开发成本、高磁场强度和高稳定度成为