存在图

符号逻辑视角下的存在图是一个抽象的数学结构，页面上具体的图形是这个数学结构的图形副本。

From the perspective of symbolic logic , the Existential Graphs is an abstract , mathematical structure , while the specific graphs on the sheet are the structure ' graphs replicas .

总体来说，该视角下的存在图是数理逻辑的图式表示，整个系统是一个形式的、图式的数理逻辑系统。

On the whole , the system of Existential Graphs is diagrammatic representation of the mathematical logic , and the whole system is a formal diagrammatic mathematical system .

创建仅仅包含到其他模型文件中现已存在图的链接的图。

Create diagrams that simply contain links to the existing diagrams in other model files .

解决了对于给定的怎样的数存在分子图，其Zagreb指标值等于该数的问题。

The natural numbers for which there are molecular graphs such that their index values equal the numbers are determined .

关于存在子图有正交因子分解的一个简单证明

A Simple Proof of Orthogonal Factorizations in Subgraph

基于存在概率图的圆检测方法

Existence Probability Map Based Circle Detection Method

实验结果表明圆存在概率图具有较强的稳定性和分辨能力。

Experimental results show that probability of existence map has properties of steadiness and high resolving power .

一个图是平面图的充分必要条件是这个图存在对偶图。

The sufficient and necessary conditions for a planar graph is that this graph must be a dual graph .

目前关于图的零维数和二元秩很多学者已进行了深入研究，但是目前仍存在如图的奇异性问题及非奇异图刻画问题仍然没有得到很好的解决。

At present about figure the nullity and binary rank , many scholars had in-depth research , but still remains the singularity problems and s the singular figure depicting problems still not getting good solution .

发现P对邻近C、H的偶合作用很强，而N的存在使谱图变得复杂。

The coupling effects of P on C , H nearby are strong , and N makes spectrum diagram complicated .

这些代理组件仅仅存在于这个图中，它们在这里被创建，而且不需要优先的，实体UML模型组件。

These proxy elements reside only on the diagram where they were created and require no underlying , physical UML model element .

经过对J曲线的适当策略分析，可以得到目标最大可能存在的子图区域，或者多目标可能存在的区域。

Under the analysis of some preference strategy for J plot , the most possible areas with targets are recommended .

已存在的序列图可以作为测试用例再使用。

Existing sequence diagrams can be reused as test cases .

针对真双能成像中存在的正弦图空间位置不匹配的问题，提出了一种高低能正弦图快速配准方法。

Aiming at the mismatching of spatial location of high and low energy sinograms , one fast registration method for high and low energy sinograms is put forward .

本文最后指出了该方法存在从用例图到类图的设计缺少平滑度的缺陷，使用设计模式可以很好地帮助开发人员建立类图，从一定程度上解决这个问题。

At last , the thesis pointed out that there are not enough smoothness from Use Case Diagram to Class Diagram design . Design Pattern can help developer to build Class Diagram and resolve this problem on a certain extent .

Zhao提出在G（n，n+3）中存在17个同胚图，并且进一步通过这些图的色多项式系数将它们分成了5类。在L。

Zhao presented that there exist 17 homeomorphic graphs in Gn . n + 3 , and then divided these graphs into five chromatic classes by the coefficients of the chromatic polynomials of the graphs .

Jakobsen提出临界图猜想：不存在偶阶临界图。

Jackobsen : There are no critical graphs of even order .

从线性阶段到非线性阶段的过渡存在三种斑图结构。

The transition from linear stage to nonlinear regime has three types of patterns .

注记信息的存在使得从专题图自动获取矢量数据具有一定难度。

It is difficult to automatically and accurately extract vector data from thematic map because of annotations .

针对传统的利用单幅实时图像进行匹配时，存在的实时景象图过小、匹配特征不足，从而导致匹配效率过低的问题。

The real time image is so small that the matching probability is lower if you use the traditional matching way .

语言中的性别歧视是一个非常有趣的问题，由于女权主义者在收集了大量例子表明语言中存在性别歧视并力图改变这一状况而吸引许多学者的关注和研究。

Linguistic sexism is a very interesting topic which has aroused the interest and research concern of many researchers due to feminists ' collection of examples in terms of sexism and effort to change the inequality .

结果表明：在低于90℃的范围内，存在一个谱图转变临界温度，临界温度之下为三个时间常数型谱图，临界温度之上为两个时间常数型谱图。

The results demonstrated that in the range from room temperature to 90 ℃, there was a critical temperature , below which a three time constant impedance spectrum was observed and above which a two time constant spectrum was shown .