基于时空Petri网的复杂软件系统可信建模与分析

来源 :系统仿真学报 | 被引量 : 0次 | 上传用户:glory212
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
复杂软件系统的复杂度不仅由于软件自身耦合关联,互联网环境也产生巨大影响,它已不能脱离外界环境而独立存在.Petri网利用库所和变迁满足分布式系统建模,支持并发和异步,但基础petri网不能对具有时间约束的复杂软件系统特征进行完备地描述.提出了一种时空Petri网的建模方法,对复杂软件从协同学和软件行为学入手,建立其可信度分析模型,并考虑外界环境对复杂软件的影响,以时空特性为约束条件,分析复杂软件在外界环境影响下的可信度.以复杂网络软件系统为分析对象,仿真结果表明,该模型能够对具有时空特性的复杂软件系统进行可信性分析.
其他文献
稀土无论叶面喷施或拌种 ,均具有一定的增产效果 ,叶面喷施增产幅度大于拌种。叶面喷施浓度以每公顷 90 0~ 112 5ml为宜 ,拌种浓度一般田块以 35~ 4 5ml拌 5kg种子为宜 ;2 5ml
武汉钢铁(集团)公司(以下简称武钢)是新中国成立后兴建的第一个特大型钢铁联合企业,是我国重要的优质板材生产基地.武钢集团生产过程涉及矿山开采、钢铁冶炼、危险化学品生产
针对数控机床能量效率难于直接获取的问题,结合折息递推辨识算法给出一种新的机床能效预测方法。基于机床主传动系统功率平衡方程及附加载荷损耗函数,得出切削功率的估计模型
在砂姜黑土上 ,施肥可显著促进花生生长发育 ,提高荚果和籽仁产量 ;氮磷钾配施效果优于氮钾配施 ,氮钾配施又优于氮磷配施 ;氮磷钾配施较氮钾配施和氮磷配施荚果增产 15.7%、
中国铝业中州分公司(以下简称中州分公司)是中国铝业股份有限公司(以下简称中铝)下属氧化铝生产厂之一,是我国铝工业产业政策规划优先发展铝工业基地的重点区域.中州分公司目
用50mg/kg和 10 0mg/kg多效唑浸种的麦套花生 ,根系体积增大 91.4 3%和 72 .86 % ,根系总吸收面积增大 4 7.4 5%和 31.93%。10 0mg/kg的多效唑化控效果最好 ,主茎缩短 11.7cm
船舶和海洋工程修造属于劳动力密集型行业,具有工种多、劳动强度大、作业环境艰苦、作业危险性大等特点,这一行业中农民工占主体,用工形式主要以外包、外协为主体.据统计,在
1 发病情况rn4月21日,某奶牛小区一青年牛患病,主人求治.现场临床检查:饮食欲废绝,精神沉郁,流涎.体温38.9℃,瘤胃不甚膨满,较实,右侧真胃区下沉,听诊各胃蠕动音均弱,心跳70