深度优先遍历图的非递归算法的改进

针对深度优先遍历图的非递归算法与递归算法得到的顶点访问序列不一致的问题,提出改进算法。实验结果表明,改进算法在算法时间和空间性能保持不变的情况下克服了原算法的不足。     

图的深度优先遍历算法及运用

简要介绍图的深度优先遍历算法,通过对由易到难、层次不一的题目进行分析求解,深化对该算法的理解,理清算法学习的思路,并试着展示数据结构学习过程中的一种模式。     

Ada程序的会合次序图

针对Ａｄａ程序提出了一种会合次序图，用以表达程序中的会合次序和任务的流程。同已有的其他多任务描述工具相比，更容易理解，可以用做并发程序的设计描述手段和程序理解工具。它也适用于其他具有舍并并发机构的语言。     

基于优先图冲突可串行化判断

在对数据库同时进行读写的多个事务调度中,为了保证所有事务的并发执行,一个重要条件就是各个事务之间是否可串行化或冲突可串行化。然而,当事务较多较复杂时,要准确判断事务调度是否满足这些条件,难度较大。优先图通过事务内部的本征关系表征各个事务之间的逻辑顺序,根据优先图内有环或无环可准确判断调度是否可串行化或冲突可串行化。     

图的布尔矩阵化简

复杂图常常包含有成百个顶点、上千条边,结构庞杂,在分析处理中需进行简化。通常的作法是按顶点的空间分布对原始图进行分块,但分块的准则并非单一。这一特性虽然有助于化简时增加系统的先验条件,但却不利于编制规范的计算机软件来进行复杂图组合结构的变换。该文讨论复杂图组合结构的化简问题,提出通过布尔矩阵把复杂图变换为能够用维数较低的邻接矩阵进行分析与描述的化简算法,这种变换可大大减少图中顶点和边的数量。     

一种基于并发程序设计的多媒体系统同步模型

多媒体系统中各个媒介信息的同步是多媒体系统创作中的一个难题。本文用面向对象的方法提出一个模型，该模型基于一种并发程序设计语言—ＣｏｎｃｕｒｒｅｎｔＣ＋＋，较好地解决了同步问题。     

反编译程序图设计与控制流分析

反编译是一种能将低级语言翻译到高级语言的工具。本文着重介绍反编译代码存储的程序图方法，以及在程序图基础上，对代码程序进行控制流分析、控制结构提取，给出了结构提取的算法；控制流分析过程中的程序图变换。     

面向方面程序的调用图生成算法

调用图(call graph)分析是进行程序分析、程序理解、软件测试和软件维护的重要基础.目前已提出的调用图生成算法多数是针对面向对象编程;而面向方面编程作为面向对象编程的扩展,还没有比较良好的调用图生成算法.为此,分析了既有的面向对象程序调用图生成算法,讨论了面向方面程序语言(AspectJ为例)的特殊语言元素及其对生成的调用图的影响,从而构筑了面向方面程序调用图的生成算法.     

基于图文法的并发系统状态测试方法及其实现

在并发系统的研究和开发中，迫切需要一种能正确有效地描述并发系统的动态进程互联结构、动态进程通信和进程演化行为的形式化方法以及基于这种形式化方法的并发系统动态状态的测试手段．本文介绍一种基于图文法模型的并发系统状态测试方法，该方法与描述并发系统结构和行为的图文法模型相结合，构成了一个并发系统开发支持环境．这一方法可根据对并发系统的状态测试要求，在并发系统的运行期自动跟踪和记录并发系统的运行状态和通信情况，使并发系统的开发者可以实时地得到并发系统的运行状态，或者在并发系统运行结束后重演并发系统的状态变化过程.     

基于程序图的路径测试

软件测试是软件设计中一个重要阶段，也是保证软件可靠性的重要手段。路径测试是软件测试中一种重要方法，而测试的关键是确定路径数目和设计测试用例。本文讨论了利用程序图进行路径测试的方法。     

一种并发程序依赖性分析方法

并发程序的依赖性分析是并发程序分析，理解，调试，测试和维护的重要手段，由于并发程序执行的不确定性，目前，尚有很多难点有待解决，针对Ada任务机制，首先提出了一种简洁，有效的并发程序表示方法－并发程序流图，然后讨论了由任务间同步引起的同步依赖和由访问共享变量引起的任务数据依赖，建立了并发程序依赖图，并在此基础上给出了一种有效的并发程序依赖性分析算法，得到一个比较精确的依赖性，较好地解决了并发程序依赖关系不可传递性问题。     

并行设计中任务量与时间模型的研究

本文首先分析了以布尔量设计结构矩阵表示活动联系与作用的不足和局限性，并由此引入了任务转移矩阵，建立限并行设计的任务量与时间模型。然后，在此模型的基础上，进一步分析了由耦合而引起设计过程反复与迭代的规律，以确定影响该设计过程的主要因素－－设计的驱动力，从而为多领域集成而引起复杂性，综合性与系统必的并行设计的实施提供了具体指导。     

ADA程序通信死锁的动态检测方法

针对ＡＤＡ并发多任务程序的特点,文中提出了一个新的ＡＤＡ程序动态死锁检测方案,并且在这个理论的基础上实现了一个动态死锁测试工具ＤＤＴＴ。此工具能够正确检测ＡＤＡ我任务程序由于通信关系不当而的死锁。文中详细介绍了动态死锁测试工具ＤＤＴＴ所依赖的全部概念胶判一规则,以及它的工作原理。     

概念图知识处理器的设计

概念图作为一种新的知识表示方法,有着广泛的应用前景。本文首先简要介绍了概念图知识表示方法,然后详细给出了一种适用于微型机的专家系统开发工具概念图知识处理器的设计和实现方案。     

拓扑排序在并发控制可串行化算法中的应用

并发控制是分布式数据库管理系统的重要组成部分,并发控制用来控制多个事务的并发运行,避免它们之间的相互干扰,保证每个事务都产生正确的结果。该文从构造并发控制可串行化的前趋图出发,利用拓扑排序进一步研究了并发控制可串行化的算法,详细阐述了冲突可串行和状态可串行化的测试算法并运用在实例中。该算法可以作为并发控制可串行化的正确性准则,在实际中,应结合其它算法共同运用。     

基于图的参数化设计方法

本文描述了一种基于图形数据，利用约束网络来实现约束传递，进而达到参数驱动的参数化设计方法。该方法实现简单，已用于图形建库工具。