求循环体相关图关键路径的算法

应用循环相关图分析循环程序的并行性对于发掘程序的并行性有重要意义,求循环体相关图的关键路径则是作这一分析的关键步骤。由于球循环体相关图的关键路径不同于求一般ＡＯＥ－网的关键路径,无法直接使用已有的有关算法。为此,本文给出了一个求循环相关图的关键路径的算法,并讨论了其应用价值。     

异构计算开发最大循环并行性

首先给出了循环最大加速比的定义,它是循环体中隐含并行性大小的度量,并且讨论Do循环的各种类型和它们的相关性以及隐含的并行性．在异构环境中,如何开发这些并行性,文中给出了几种方法,这就是异构计算消除串行瓶颈,异构Do-all-loop调度,异构Do-aross调度．无论在理论分析还是在实验结果上,这些方法所得得的计算性能都优于同构计算．     

程序设计中的循环机制

在计算机程序设计中,较为复杂的算法程序都要使用循环结构。本文分析了循环结构中循环体的共有特性,探讨了循环结构的分析与设计。     

并发程序内部表示及静态切片算法的改进

通过分析Krinke切片算法对程序循环体内嵌套一个或多个线程结构会产生切片不精确现象,得出Krinke算法所基于的程序依赖图对线程间数据的依赖关系定义得过于粗糙,且对并发程序执行行为的合法性约束不够严格的结果.据此,提出一种新的并发程序依赖图,引入跨线程边界循环-承载数据依赖关系,并在此数据结构上改进了切片算法;引入区域化执行证据概念,进一步约束程序执行行为的合法性,并给出了添加跨线程边界循环-承载数据依赖关系的算法及新的并发程序切片算法的伪代码.实例分析与算法性能测试表明,改进的切片算法克服了Krinke算法的不精确现象,降低了时间开销,改善了算法的可伸缩性.     

基于优先级的单元测试技术应用研究

考虑到单元测试的并行性,提出了基于函数优先级的测试策略.分析了函数的参数、全局变量和局部变量对函数控制流正确实现的影响,建立了量化的权值影响因子数学模型,并结合函数的控制流图生成了带权值有向无环图,最后根据AOE-网关键路径求解算法,生成被测函数的关键路径,设计测试用例.测试结束之后,再进行次关键路径选择,直至达到测试标准.通过以上技术,合理分配各模块测试计划时间,有助于提高软件测试效率,保证软件质量.     

数据相关性分析的非精确算法

提出了一种行之有效的数据相关性分析的非精确算法．对该算法在运行效率及可行性上进行了详细分析，并在数据相关性分析非精确算法讨论的基础上，提出了一种对相邻循环进行并行性开发的一种新的程序转换技术，从而解决了相邻循环程序之间可并行执行程序段的转换问题．在多CPU高性能计算机的硬件环境下，为设计出高效率的、适合于并行处理环境的软件系统提供了一种有效的算法．     

LINGO在关键路径规划求解中的应用

文章首先介绍了关键路径的相关概念,然后给出了求关键路径的算法,最后使用L INGO软件求解工程规划中经常使用的关键路径规划实例,结果显示：使用该方法求解模型简便,能大大提高优化求解关键路径的效率.     

基于Petri网分析循环语句的并行性

利用Petri网可以处理并发事件和进行并行处理的优点，结合Petri网的相关理论．对单重循环语句及多重循环语句用Petri网进行表述，通过Petri网的描述更利于分析循环语句的并行性．对单重循环的先赋值后引用和先引用后赋值的并行性的特点进行详细的分析．     

几种求关键路径算法的分析

分别从算法的时间复杂度、空间复杂度、数据结构形式以及实现的难易程度等方面分析了几种求关键路径算法的优劣．表明三种算法的时间复杂度分别为：O（n＋e）,O（n^2）,O（n＋e^2／n）．     

串行生产线的性能指标与扰动分析

通过引进并计算无环向图上各节点的裕度以及路径的裕度得到性能指标与扰动参数之间的关系．从而得出无环向图上关键路径扰动分析算法．     

Rank of loop, constraint degree of path, coupling degree of graph and their application

Some new concepts (rank of a loop, degree of freedom of a graph, path unit and ordered path arrangement, constraint degree of path, coupling degree of a graph, basic graph, etc. ), formulas, and algorithms, are proposed in this paper. Based on these concepts, a new systematic theory and practical method for the design of topological structure, kinematics and dynamics of mechanical systems is established. Some conjectures and problems needed to be researched are also put forward. The concepts, formulae and algorithms presented in this paper will find wide potential applications.     

基于社会网络分析的共享密码监督方法研究

为了对密码共享进行监督和管理,基于社会网络分析（SNA： Social Network Analysis）方法,对网络用户密码共享行为的监督技术进行了研究,提出了一种寻找密码传播路径的方法。结合图论中有向图及路径的相关理论,对简化后的密码传播最短路径算法进行描述。该方法通过扫描电子邮箱库中系统管理员邮箱与所有外部电子邮箱之间的最短路径
,找出密码共享可能的传播路径,以便对用户密码的共享行为进行监督。结果表明,该方法可对当前系统的密码安全状态进行评估,对密码共享行为所造成的保密信息泄露起到一定的预防作用。     

基于蚁群迭代算法的近似测地线计算

为了提高两点之间近似测地线的计算精确度,提出一种蚁群迭代算法。在此算法中,对于任意一个地形,首先建立其垂直映射平面图,在平面图上进行初步网格划分,并用蚁群算法求出一条最短路径;再对网格不断进行加密划分,每一次加密处理网格之后都用蚁群算法计算精确度更高的最短路径,以此优化加密前求出的路径。该算法可有效避免待求两点之间图形解析式的困扰,并且采用自适应的方式寻找适当的网格规模,提高近似测地线的精确度。实验结果表明该算法在近似测地线的计算中是有效的。     

基路径与业务逻辑结合的有效测试路径集算法

在分析基路径覆盖测试技术及相关最新研究成果基础上,以被测程序及其程序图为依据,通过对变量依赖、非关联路径等的定义,推导出有效路径数量公式VE,进而提出了一种解决无效路径问题的算法模型.通过对算法模型的理论推导和验证,证明该算法模型是有效的.     

A~*算法在游戏寻径中的应用

图搜索技术能够从图中寻找一条从起点到目标点的路径.围绕游戏寻径问题,介绍了如何确定启发式函数进行启发式搜索,并把A*算法用程序加以实现,从而证明A*算法可以解决游戏中的寻径问题.     

An improved iterative reconstruction algorithm for traveltime tomography

Traveltime tomography is a technique to reconstruct acoustic, seismic, or electromagnetic wave-speed distributions from first arrival traveltime data. The ray paths that should be used for tomographic techniques strongly depend on the wave-speed distribution. In this paper, a new method is proposed for finding out the ray paths from Fermat's principle, that means the traveltime of the ray path should be a minimum value. The problem of finding out the ray path is actually an optimum problem. Our new method uses the idea to find out the shortest path in a weighted directed graph to solve the problem. The ray paths found out by this method are used in the iterative reconstruction algorithm. Computer simulation result produced by this reconstruction algorithm is better than that by the conventional ones. It also shows that the new algorithm is effective with good convergency and stability. Ma Ning: born in Nov. 1970, Ph. D. graduate student. Current research Interest is in computer signal processing Supported by the National Natural Science Foundation of China     

关于3-连通图的一个猜测的反例

1978年,Dirac 给出了从2-连通图 G 中的最长路判断 G 的周长下界的一个定理.在1983年的西安图论讲习班上,朱永津提出了一个与 Difac 定理形式相似但条件较强结论也较强的猜测.通过发现一个反例,本文得到了这一猜测的否定解答。     

赋权多阶段有向图最短路的求法

多阶段有向图是常见的一种有向图,许多运输、工程、管理等实际问题能转化为有向图最短路问题进行求解,尤其赋权多阶段有向图对解决该类实际问题更具有重要意义.研究了赋权多阶段有向图的最短路问题,从图上逆序标号法、表上作业法和动态规划法不同的角度对文中实例给出了赋权多阶段有向图最短路求解方法。     

状态离散的确定性多阶段群体满意决策最优的算法

为了解决状态离散的确定性多阶段群体决策问题,将群体满意决策问题的多阶段与图的点集、边集对应起来,应用图论知识建立了多阶段群体决策问题的模型．将多阶段群体满意决策问题转换成一个在多部赋权图中找一条最长路径的问题．依据一条最长路径上的任意两个不相邻的顶点之间是不可以被由不在这一条路径上的两个顶点组成的更长的路所替代这一事实,提出了一种多部赋权图中最长路径的算法．最后给出计算实例．     

顺序程序任务并行性的识别

探讨了任务并行性识别中任务执行条件的导出，利用任务给点间的相关性（包括数据相关和控制相关）就可求出并行执行条件．提出了层次任务图模型下直接生成优化任务执行条件的算法，省去了后控树及控制相关图（ＣＤＧ）的产生，其过程简单且比较高效．