有色petri网在并行测试建模中的应用

来源 :计算机技术与发展 | 被引量 : 0次 | 上传用户:reefstone
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
并行测试技术对推动科学的发展起着重要作用,如今科学技术的发展和工程问题的解决都离不开并行处理技术。传统的串行测试方法和串行任务调度方法日益体现出了它的局限性。文中将并行测试调度与建模方法作为主要研究内容,以并行任务调度算法为基础,依据有色petri网的建模理论与方法,建立了基于实例的并行测试系统有色Petri网模型,用有色Petri网的可达树方法分析验证所建立模型的有界性、活性、公平性。验证结果证明了所建模型的正确性,解决了并行测试建模难的问题,提出了一种新的对复杂系统的建模方法。
其他文献
在新课程改革背景下,随着教育体制的不断改革,传统的初中数学教学过程逐渐显露出一些弊端和不足,这就需要根据教学中存在的问题,制定相应的教学改善措施,提升教学水平,为我国
<正>一、汉字书写的现状1.书写态度不端正就认识方面而言,大部分学生对汉字书写未引起足够的重视,认为用笔写到纸上就是字,况且成绩的好坏与字关系不大,做题注重的是答案的对
英语表达能力与素养的形成和提升是高职英语口语教学的风向标。本文以小班化教学为载体,融合"内容依托理论",采用实证对比研究,探索在高职英语口语教学中构建高效、健康的课堂
目的:运用银翘清咽颗粒治疗小儿疱疹性咽峡炎,观察其临床疗效。方法:选取2015年5月至2017年5月广州中医药大学第一附属医院急诊及广东省第二中医院儿科门诊收治的临床上确诊为
通过水热法制备了尺寸均一的碳酸氧铋,并以碳酸氧铋修饰的碳糊电极为工作电极,采用循环伏安法检测模拟水样中的铜离子。相较裸碳糊电极,碳酸氧铋修饰碳糊电极显示出了更强的
目的探讨蛛网膜下腔出血动脉瘤介入治疗的效果。方法选取本院2016年2月至2019年5月收治的蛛网膜下腔出血动脉瘤患者70例,随机分为两组各35例。A组行介入栓塞术,B组行手术夹闭
为研究烟用爆珠内液化学成分的稳定性,采用无水乙醇稀释爆珠内液,紫外-可见光谱(UV-vis)扫描,平滑后一阶导数预处理光谱,并结合主成分分析(PCA)方法研究了烟用爆珠内液化学成
金融市场的开放需要更多的衍生金融工具,但必须依靠会计准则予以规范.本文从会计确认、计量和报告三个方面阐述了衍生金融工具的会计准则.
随着我国高等教育的不断发展,对声乐教学提出更高标准。声乐教学对提升学艺术涵养、增强学生审美能力十分重要。新时代下,应该认识到声乐教学对学生发展的重要性,采取多元化
目的探讨采用单孔、单引流管、免冲洗的手术方法治疗慢性硬膜下血肿的临床效果。方法选择本院2017年1月至2018年12月采用单孔、单引流管、免冲洗手术方式治疗的慢性硬膜下血