导读:本文包含了着色线程论文开题报告文献综述及选题提纲参考文献，主要关键词:层次着色Petri网,多线程JAVA程序,自动建模,模型检测
着色线程论文文献综述
刘洋洋[1]（2019）在《多线程JAVA程序的层次着色Petri网模型自动生成方法》一文中研究指出随着软件系统的广泛应用,多线程软件已经成为一类主流的软件系统,算法错误检测也越来越重要。由于并发行为的不确定性,多线程JAVA程序的算法错误检测非常困难,正确性难以保证。传统的基于模型的检测方法存在两方面的弊端,一是手工建模,模型的正确性不易保证,二是建模的工作量很大,效率偏低。因此,本文提出一种多线程JAVA程序的层次着色Petri网(Hierarchical Colored Petri Net,HCPN)模型的自动生成方法。一方面,生成HCPN模型的过程实现了自动化,提升建模效率;另一方面,本文针对程序实现建模,保证了程序和模型的一致性。本文完成了如下工作:(1)多线程程序读取及存储方法:对多线程JAVA程序进行读入、分析及存储处理。其中类声明、函数声明、变量声明语句采用链表存储,每个函数内的程序处理语句采用一棵语句二叉树存储,通过树中当前语句结点的左右子结点区分后续语句的嵌套关系和顺序关系。(2)HCPN模型生成方法:基于声明链表和语句二叉树中的程序信息生成HCPN模型。在模型中采用token流转描述程序中的变量,用颜色集实现变量类型描述,用变量组支持token流转,其中对象依据类的数据成员采用元组处理。用模型子页和替代变迁描述函数定义及函数调用,用模型中的并发结构描述程序中的多线程并发,采用融合集实现全局变量和静态变量在线程间的交互。不同类型的程序处理语句通过相应的标准模型片段完成描述,程序语句的顺序和嵌套关系采用模型片段的连接和嵌套实现。(3)模型文件生成方法:将生成的HCPN模型以CPN Tools标准格式文件输出,该文件可以在CPN Tools中打开并进行ASK-CTL模型检测。最后,通过实例应用及执行效果分析验证了本方法的正确性,说明本文提出的方法能够自动生成与多线程JAVA程序一致的HCPN模型,为后续的粗粒度自动建模方法及模型检测方法研究提供基础。(本文来源于《内蒙古大学》期刊2019-05-25）
孙纲德[2]（2012）在《基于自动线程和超长指令的统一架构着色器的设计研究》一文中研究指出对于3G移动终端的3D图形绘制应用,研究可编程的高性能3D图形处理器具有重要意义,而顶点着色器和像素着色器是实现3D图形处理器可编程功能的核心,因此设计功能强、性能高、面积小和功耗低的着色器对于高性能3D图形处理器的开发具有重要作用。本文统一架构设计、自动线程调度和超长指令设计叁个方面探讨了研发新一代着色器的技术与方法。在统一架构的着色器设计方面,开发了一套统一的指令集及执行架构,使图形处理器在面积上减小了一个着色器的规模,约为12.1%；同时,为提升多媒体SoC处理器的性能,进一步将统一架构进行扩展,集成了处理视频编解码运算的指令和执行单元以替代固定处理单元,进一步降低了SoC处理器的面积。在自动线程调度机制方面,提出了基于线程、指令两级调度的自动线程调度模型,提高了指令执行的自动化；同时,为进一步提高着色器的性能,又提出基于线程、指令和操作码叁级调度的自动线程调度模型,在较大程度上降低了对CPU的依赖。由于相邻指令之间的数据依赖性会降低自动线程调度机制的性能,本文提出了一种有效的数据组织方式,即单点所有元素同步处理方式,以避免大量分支跳转。在基于超长指令字的设计方面,提出长度可变的指令格式,不同的应用处理采用不同长度的指令可以减少对指令缓存和读写带宽的浪费；同时,提出两通路的单操作数多操作的串并行执行架构,以实现对单笔数据连续执行多个操作,指令执行的效率。基于统一架构、自动线程调度和超长指令而设计的着色器,在SMIC5nm工艺下,工作频率可达400MHz,顶点渲染的性能达到300M vertices/s,像素渲染的性能达到400M pixels/s,而平均功耗为248mW,取得了较高的功耗效率和硬件效率。(本文来源于《浙江大学》期刊2012-02-09）
雷雪梅,雷英,郭俊能[3]（2001）在《基于ATM的多协议标记交换中着色线程环路消除机制》一文中研究指出环路消除机制是基于ＡＴＭ的ＭＰＬＳ中一项关键技术，详细介绍了其中着色线程机制在单播中的实现．并提出了这种机制在组播中有待解决的问题．(本文来源于《重庆邮电学院学报(自然科学版)》期刊2001年03期）
徐春红,张惠卿,居悌[4]（2001）在《MPLS中基于着色线程的环路预防/检测机制》一文中研究指出首先简要介绍了 4种解决MPLS(多协议标签交换 )中瞬态环路的方法和MPLS技术 ,接着以着色线程机制为重点 ,详细介绍了其涉及的基本术语和算法 ,并通过一个实例讨论了该算法 ,最后对线程算法和路径矢量进行了简单比较 ,指出了线程算法的优点 ,分析了它的不足之处。(本文来源于《南京邮电学院学报(自然科学版)》期刊2001年03期）
着色线程论文开题报告
（1）论文研究背景及目的
此处内容要求：
首先简单简介论文所研究问题的基本概念和背景，再而简单明了地指出论文所要研究解决的具体问题，并提出你的论文准备的观点或解决方法。
写法范例：
对于3G移动终端的3D图形绘制应用,研究可编程的高性能3D图形处理器具有重要意义,而顶点着色器和像素着色器是实现3D图形处理器可编程功能的核心,因此设计功能强、性能高、面积小和功耗低的着色器对于高性能3D图形处理器的开发具有重要作用。本文统一架构设计、自动线程调度和超长指令设计叁个方面探讨了研发新一代着色器的技术与方法。在统一架构的着色器设计方面,开发了一套统一的指令集及执行架构,使图形处理器在面积上减小了一个着色器的规模,约为12.1%；同时,为提升多媒体SoC处理器的性能,进一步将统一架构进行扩展,集成了处理视频编解码运算的指令和执行单元以替代固定处理单元,进一步降低了SoC处理器的面积。在自动线程调度机制方面,提出了基于线程、指令两级调度的自动线程调度模型,提高了指令执行的自动化；同时,为进一步提高着色器的性能,又提出基于线程、指令和操作码叁级调度的自动线程调度模型,在较大程度上降低了对CPU的依赖。由于相邻指令之间的数据依赖性会降低自动线程调度机制的性能,本文提出了一种有效的数据组织方式,即单点所有元素同步处理方式,以避免大量分支跳转。在基于超长指令字的设计方面,提出长度可变的指令格式,不同的应用处理采用不同长度的指令可以减少对指令缓存和读写带宽的浪费；同时,提出两通路的单操作数多操作的串并行执行架构,以实现对单笔数据连续执行多个操作,指令执行的效率。基于统一架构、自动线程调度和超长指令而设计的着色器,在SMIC5nm工艺下,工作频率可达400MHz,顶点渲染的性能达到300M vertices/s,像素渲染的性能达到400M pixels/s,而平均功耗为248mW,取得了较高的功耗效率和硬件效率。
（2）本文研究方法
调查法：该方法是有目的、有系统的搜集有关研究对象的具体信息。
观察法：用自己的感官和辅助工具直接观察研究对象从而得到有关信息。
实验法：通过主支变革、控制研究对象来发现与确认事物间的因果关系。
文献研究法：通过调查文献来获得资料，从而全面的、正确的了解掌握研究方法。
实证研究法：依据现有的科学理论和实践的需要提出设计。
定性分析法：对研究对象进行“质”的方面的研究，这个方法需要计算的数据较少。
定量分析法：通过具体的数字，使人们对研究对象的认识进一步精确化。
跨学科研究法：运用多学科的理论、方法和成果从整体上对某一课题进行研究。
功能分析法：这是社会科学用来分析社会现象的一种方法，从某一功能出发研究多个方面的影响。
模拟法：通过创设一个与原型相似的模型来间接研究原型某种特性的一种形容方法。
着色线程论文参考文献
[1].刘洋洋.多线程JAVA程序的层次着色Petri网模型自动生成方法[D].内蒙古大学.2019
[2].孙纲德.基于自动线程和超长指令的统一架构着色器的设计研究[D].浙江大学.2012
[3].雷雪梅,雷英,郭俊能.基于ATM的多协议标记交换中着色线程环路消除机制[J].重庆邮电学院学报(自然科学版).2001
[4].徐春红,张惠卿,居悌.MPLS中基于着色线程的环路预防/检测机制[J].南京邮电学院学报(自然科学版).2001
标签：层次着色Petri网; 多线程JAVA程序; 自动建模; 模型检测;