多线程JAVA程序的层次着色Petri网模型自动生成方法

来源 :内蒙古大学 | 被引量 : 0次 | 上传用户：ahyiahyi

【摘要】

：

随着软件系统的广泛应用,多线程软件已经成为一类主流的软件系统,算法错误检测也越来越重要。由于并发行为的不确定性,多线程JAVA程序的算法错误检测非常困难,正确性难以保证。传统的基于模型的检测方法存在两方面的弊端,一是手工建模,模型的正确性不易保证,二是建模的工作量很大,效率偏低。因此,本文提出一种多线程JAVA程序的层次着色Petri网(Hierarchical Colored Petri Net

【作者】

：

刘洋洋

【出处】

：

内蒙古大学

【发表日期】

：

2019年01期

【关键词】

：

层次着色Petri网多线程JAVA程序自动建模模型检测

下载到本地 , 更方便阅读

下载此文赞助VIP

声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架

论文部分内容阅读

ue＊M＃’＃dkB4＃＃8＃”专利申请号:00109“7公开号:1278062申请日:00.06.23公开日:00.12.27申请人地址:（100084川C京市海淀区清华园申请人:清华大学发明人:隋森芳文摘:本发明属于生物技术领域,包括主机、控制电路和计算机三部分组成,主机包括由棱镜。敏感膜敏感芯片、半导 Ue*M#

其他文献

油田企业基于问题导向的干部培训模式创建与应用(上)——中国石化集团河南油田干部培养模式创新的实践

ue＊M＃’＃dkB4＃＃8＃”专利申请号:00109“7公开号:1278062申请日:00.06.23公开日:00.12.27申请人地址:（100084川C京市海淀区清华园申请人:清华大学发明人:隋森芳文摘:本发明属于生物技

期刊

中国石化集团模式创建“三个结合”低油价培养模式创新

基于悬链线型的索-桥耦合振动特性研究

斜拉索在桥面激励、风雨激励下会发生大幅低频振动,给斜拉桥的正常运行带来极大危害,因此,研究斜拉索的振动问题具有重要的理论意义和工程实践价值。国内外众多学者对斜拉索振动的发生机理及振动特性做了大量研究,但目前对于索-桥耦合振动系统的研究仍不够全面。本文在充分参考已有理论的基础上,建立了基于悬链线型的索-桥耦合振动模型,并对其振动特性进行分析。建立了基于悬链线静态线型只考虑面内振动的连续弹性拉索风雨激

学位

斜拉索风雨激励桥面激励参数振动耦合振动

教育是否属于上层建筑?

【正】教育是否属于上层建筑的问题,并不是一个新的问题。早在五十年代初期,苏联理论界就对这个问题开展过讨论,并于一九五二年被介绍到中国来。粉碎“四人帮”以后,我国理

期刊

上层建筑社会形态实践性教育与生产力劳动力

学术批评与政治立场

虽然，就当代中国法学的学术批评而言，沉静、理性和建设是其主流，但在此之外，人们也不时听到法学批评的变调：即个别学人每每将学术批评或有意诱向政治问题，或简单混同于“政治立场”

期刊

学术批评政治立场张光博

口腔微生物群和人体健康

1概述在人体的微生物群中包含了口腔微生物群,并且拥有着相当重要的地位,直接影响着人类的身体健康水平。其中,口腔微生物群是由多种菌类组合而成的,分别有真菌、细菌、病毒

期刊

微生物群口腔疾病牙龈炎人体健康

大学生误入传销组织的处置和思考

期刊

辅导员传销处置

乙醇脱氢酶1B-rs1229984位点基因单核苷酸多态性与食管癌患者临床特征及预后的关系

期刊

食管癌乙醇脱氢酶1B单核苷酸多态性预后

“命令按钮的使用”教学设计

一，教材分析1．本单元的教学目的：本单元的教学内容主要围绕命令按钮这个主题的展开。学生在学习了vf中的一些基本控件的操作方法后，继续学习vf中的命令按钮的操作，加深他们对于vf

期刊

命令按钮教学设计操作方法继续学习所见即所得教材分析教学目的教学内容

建筑设计中对建筑抗震设计的研究

建筑设计需要考虑很多方面的因素，而随着科技的进步，人们将建筑设计更多的注意力放到如何加强抗震性的研究上，具有较好的抗震性的建筑物，可以在地震发生时尽可能的保护生命，减少经

期刊

建筑设计抗震研究

高压输电线路巡线机器人越障与打滑控制

各种电压等级高压线路的地线具有结构相同、巡线视野开阔及远离电磁干扰等优点,使得沿地线行驶巡线机器人受到相关研究机构的重视。但地线周围没有强烈的电磁场信号,机器人无

学位

架空输电线路巡线机器人避障策略姿态控制打滑控制自主巡检

多线程JAVA程序的层次着色Petri网模型自动生成方法

与本文相关的学术论文