查询词典 transitive graph

Using abstract programming language, such as Apia, the specification and derivation of the algorithmic program in six typical trees, graph problem is described. The standard proof and formal derivation is implemented by two above new strategies for developing loop invariants. The algorithm in Apia is transformed into corresponding program in Delphi and C++ by the automated algorithmic transformation system that Partition-and-Recur method provided and correct result is received. These improve reliability and developing efficiency of the kind of complex algorithm.

利用抽象程序设计语言Apla精确描述了6个典型树、图等问题的程序规约和求解算法程序，用上述提出的两种新策略开发了循环不变式，实现了严格的形式化推导或证明，并用PAR方法提供的算法程序自动转换系统将得到的Apla算法程序转换成对应的Delphi和C~程序，均得到了正确的运行结果，大幅度地提高了这类复杂算法程序的可靠性和开发效率。

Meanwhile, to solve the problem of large amount infeasible solutions caused by applying GA to distribution network planning, by use of graph theory and search technique a restoration scheme for infeasible solution is given, by means of restoring isolated nodes, isolated chain and closed loop, it is implemented to restore non-radial network to radial network.

同时为解决遗传算法应用于配电网规划时产生的大量不可行解的问题，借助图论知识和搜索技术给出了不可行解的修复方案，通过对孤岛、孤链和环进行修复，将非辐射状网络修复为辐射状网络。

CIE chromaticity diagram shows the graph of 2 dimensional color coordinate.

以平面表现色度坐标之图形。

Many methods is overviewed and many new techniques are also proposed.The graph-based geometric constraint solving method proposed by C.M.

本文首先回顾了CAD技术发展的历史，然后进一步详细分析了国内外一些典型的约束求解方法，并对各种方法的优缺点进行了详细的评述和综述。

In section 2.1.2,we use a graph 〓 defined by C.H.

在第2.1.2节中，我们应用C.H。

Graph king introduces: The lunar income of stationmaster net is in probably 4, 50 thousand the left and right sides, also those who cross 1 million yuan trade quantity, the fixed position of this and station fourdrinier wire is not separated.

图王介绍：站长网的月收入大概在4、5万左右，也有过百万元的交易量，这和站长网的定位是分不开的。

In this paper,we compare the knowledge graph ontology with other ontology,such as Aristotle's?Kant's and Peirce's.

本文从本体论的角度出发，将知识图的本体论分别与Aristotle、Kant和Peirce的三种知识表示的本体论进行了比较，表明知识图方法的有效性以及本原性，说明知识图是一种更为一般的知识表示方法。

These rules reflect some inherent feature of self and nonself, and they are the basic detection criterion of GECISM.

这些规则反映了"自我"和"非我"的内在特征，是GECISM进行"非我"检测的判据。

Until today, the media from China and the outside world still uses the term "Post 89". Regardless to whether it is for commercial gimmick or convenience, everybody still remember "Post 89", a term which carries a strong Cantonese accent.

时至今日，国内外艺术媒体还是在沿用&后八九&这个称谓，不管当初是为了商业噱头还是容易上口好记，反正大家现在是记住了&后八九&这个广东口音很重的词。