查询词典 intersection graph

Graph 1 fore-and-aft hot crack pursues if the hot crack form of model of 2 local hot crack pursues show 3 times.

图1纵向热裂纹图2局部热裂纹典型的热裂纹形式如图3所示。

The reconfiguration maps are introduced to formation flight oriented graph for avoiding various faults during executing the mission.

并对编队飞行的有向图建立了信息确认地图，以应付系统在执行任务中可能出现的各种故障。

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的三种知识表示的本体论进行了比较，表明知识图方法的有效性以及本原性，说明知识图是一种更为一般的知识表示方法。

You can snipe the second and third union leaders from this position.

您可以鹬第二和第三工会领袖从这一立场出发。

Aiming at the currently shortage of XML streams quality detecting, this paper proposes a new forecasting method of XML streams quality by least squares support vector machines, which is used the method of XML keys' vector matrix as windows, and vector product wavelet transform to multilevel decompose and refactor the XML streams series, that can fulfill real-time checking demand of XML quality, and ensure constraint, consist- ency and integrality. For even more adapting net load, it proposes a control strategy by weight and adaptive adjustment to ensure XML streams quality.

针对当前XML数据流质量检测存在的不足，提出构建XML键的矢量矩阵作为窗口，利用矢量积小波变换多级分解与重构XML数据流，再结合最小二乘支持向量机对XML数据流质量进行预测的一种方法，满足XML数据流质量重构时实时检测的要求，保证XML数据的约束性、一致性与完整性；为了更好的适应网络负载，采取加权与自适应窗口调整等调度策略充分保证XML数据流的质量检测。