【摘 要】
:
软件演化中的行为一致性、相容性以及系统完整性约束,长期以来是动态演化中研究的热点.本文利用Milner等提出的Bigraph理论对软件演化中的特性进行研究.与以往利用PetriNet、
论文部分内容阅读
软件演化中的行为一致性、相容性以及系统完整性约束,长期以来是动态演化中研究的热点.本文利用Milner等提出的Bigraph理论对软件演化中的特性进行研究.与以往利用PetriNet、演算及进程代数不同,Bigraph融合演算和移动Ambient演算的优势,其目的为现有的移动和并发理论建立统一的元模型,并且引入环境上下文参与系统的迁移,使系统的描述更为直观和精确,从而适合对动态演化形式化.本文简要介绍Bigraph的基本概念和现状,利用Bigraph建立演化系统的构件模型,并在Bigraph理论基础上给出
其他文献
针对安全USB设备与PC主机数据通信的需要,依据USB1.1标准规范,文章设计一种USB1.1设备控制器IP核.该控制器IP核支持全速模式下控制、批量、中断三种传输方式,且传输端点数可
针对发电厂制粉系统故障与征兆对应关系复杂及过程信息的不确定性及传统BP神经网络故障诊断的缺点,提出了基于粗糙集概率神经网络(RSPNN)的制粉系统故障诊断方法,以改善传统B
随着我国经济的快速增长,城市化步伐的加快,建筑施工技术的飞速进步,高层建筑越来愈多,对建筑工程施工与建筑物整体性的要求也逐步提高,从而使得浇带技术在建筑工程中的应用也愈发
针对可调引射混合式低压加热器是一个多输入多输出的非线性系统,具有时变和非线性特性,采用广义生长-剪枝RBF(GGAP-RBF)神经网络对其进行双变量神经网络自适应控制。该方法用
随着我国经济水平的不断提升和公路桥梁施工整体水平的不断进步,公路桥梁薄壁墩无支架翻模施工技术得到了越来越广泛的应用。本文从对薄壁墩无支架翻模施工进行简析入手,对公路
紫菜头又名红菜头、火焰菜、根甜菜和红黍菜,为直根系深根性植物。肉质根呈球形,内外均为紫红色,颜色艳丽。肉质根直径5厘米~10厘米,单根重200克左右,纤维少,质柔嫩,茎短缩,到
时间荏苒,如白驹过隙.在许多忙碌的人们还未整理好心情去迎接2006年的寒冬之时,随风入夜的雪花,不经意的提醒人们,岁末已至,又到了全年盘点时节.
移动AdHoc网络(MANETS)一个基本要求是节点通过自动配置来获得具有唯一性的地址。当前已提出一些方法,本文首先概述了这些方法的内容并进行了理论上的分析,并在此基础上提出了一个改进的方法来满足大型网络地址配置的需要。