1) abstract semantic graph
抽象语义图
1.
This paper initially introduces the usefulness of semantic difference in software , after that, some kinds of semantic difference measurement methods are described in detail, which are based on program slice, partition arithmetic, input-output relation or abstract semantic graph.
本论文在介绍了程序语义差异的重要性的基础上,详细描述了目前所存在的几种计算语义差异的方法,分别是:基于程序切片的方法,分割方法,输入输出依赖关系法和基于抽象语义图的方法,并且在研究这些方法的基础上比较了他们各自的优缺点。
2) abstract semantics
抽象语义
1.
With fuzzy semantics as background, a kind of abstract semantics and its continuity are introduced on the product of a family of totally ordered complete lattices with the index set equipped with certain structure on it, and it is proved that the abstract semantics is compact whenever it is continuous.
以模糊语义为背景 ,在标号集具有一定结构的一族全序完备格的乘积上引入了抽象语义及其连续性概念 ,证明了具有这种连续性的抽象语义是紧致的 ,由此可以推出取值于 [0 ,1]的Lukasiewicz语义是紧致
3) semantics abstraction
语义抽象
1.
Cmad:A C memory access errors detector based on semantics abstraction
基于语义抽象的内存访问错误检测
4) abstract semantic network
抽象语义网络
5) broad abstract
广义抽象
1.
The influence of the difficulty of the target problem and the awareness of the related problems of solvers had been examined by experimental research, and there exist the broad abstract relationship between the target problem and the earlier example.
解题者对靶题与源题之间的共性意识及加工水平对解题迁移的影响已经得到了验证,其中靶题与源题之间存在着广义抽象关系。
6) abstract justice
抽象正义
1.
Marx and Engels criticized capitalist society in the abstract justice and the justice of the exploiting classes on the basis of the proletariat and the masses of people stand on the position of historical materialism to the basis of historical use of the methods and principles to human freedom as the goal,on the proletarian concept of real justice.
马克思恩格斯在批判资本主义社会的抽象正义和剥削阶级正义观的基础上,以历史唯物主义为基础,运用历史的方法与原则,以人类的自由解放为目标,阐述了无产阶级的真正正义观。
补充资料：图的减缩图(或称图子式)
图的减缩图(或称图子式)
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
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条