1) and-or dependency graph
与或依赖图
1.
In order to formalize the dependence relations of operations,the concept of and-or dependency graph is introduced,then a con-struction algorithm of and-or dependency graph is put forward.
针对多Agent系统任务分解问题,提出了基于与或依赖图的任务分解模型及算法。
2) function dependence hypergraph
函数依赖与或图
1.
Application of function dependence hypergraph to design of normal form in relation schema
基于函数依赖与或图的关系模式规范化方法
3) dependency graph
依赖图
1.
Network fault location algorithm based on dependency graphs;
基于依赖图的网络故障定位算法
2.
Based on this scheme,a global graph equal partition algorithm is presented for partitioning the dependency graph with special local-circular features into several equal size sub-graphs,which is packed as packets.
提出一种快速有效的非冗余依赖图构建算法,记录所有网格顶点分裂操作之间的依赖关系,并删除其中的冗余依赖。
3.
Using the abstracted semantic information,a so-called dependency graph is constructed.
通过从Web服务规范语言中提取Web服务的语义信息,构建Web服务的依赖图;提出了一种基于搜索算法的Web服务合成算法,获取满足特定服务请求的Web服务合成。
5) program dependency graph
程序依赖图
1.
The main idea of the algorithm is to retain the control-flow information while the threaded program dependency graph is constructed, with which the threaded realized paths can be identified, by doing this we can improve the slice s precision and slicing s efficiency.
介绍一种基于控制流的多线程程序的静态切片算法 ,该算法的主要思想是在构造多线程程序依赖图的同时保留程序的控制流信息 ,利用这些信息能够判断出程序中的多线程可实现路径 ,从而提高多线程程序静态切片的精度和效率 。
6) program dependence graph
程序依赖图
1.
The paper presents a program structure partition method based on the program dependence graph, i.
本文提出了一种基于程序依赖图的程序结构划分的测试方法 ,即程序块划分法 。
2.
This paper handled the transitivity of the information flow with the program dependence graph before constructing the IFG.
利用程序依赖图先处理系统信息流中的传递关系,然后再进行信息流图的生成,从而减少引入系统中不存在的信息流路径,减少信息流分析时的工作量。
3.
To resolve the inter-procedural call,the article converted it to intra-procedural call by establishing a suggestive table,which predigested the complexity of establishing the program dependence graph greatly.
在处理目标程序的过程间调用时,通过建立参数影射关系表,将过程间调用转换为过程内调用,简化了建立程序依赖图的复杂度;在归纳分析目标程序变量类型的基础上,给出了代数运算法则,对程序中的线性运算代码进行等价变换,缩减了切片程序的规模。
补充资料：图的减缩图(或称图子式)
图的减缩图(或称图子式)
minor of a graph
图的减缩图(或称图子式)【.皿以ofa脚户;MHHoPrpa中a」【补注】设G是一个图(graph)(可以有环及多重边).G的一个减缩图(nullor)是从G中接连进行下述运算而得的任何一个图: i)删去一条边; 五)收缩一条边; 说)去掉一个孤立顶点. NRobe由on与P.D.Se脚aour的图减缩定理(脚Ph nl的。r theon习11)如下所述:已知有限图的无穷序列G，，GZ，…，则存在指标i
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条