查询词典 circle graph

SPNAnalyzer software system has a very friendly man-machine interaction interface, so the visualized modeling of stochastic Petri net is very intuitional and convenient. The response and handling of the Windows messages is extended to the graph tool module, so it is very easy to maintain. The class design of the element object module and the graph tool module guarantees the expansibility of the system. The crucial technologies including the reachability set algorithm of the stochastic Petri net model, the constitution of the homogeneous Markov chain, and the computation of the steady state probability are implemented. The design of the data structure adopts the linked list, so the execution of the algorithms is very efficient.

SPNAnalyzer软件系统具有非常友好的人机交互界面，使可视化的随机Petri网建模变得非常直观方便；将各种Windows消息的响应和处理延伸至图形工具模块，使系统的维护变得容易；元素对象模块和图形工具模块的类的设计使系统的可扩展性很好；实现了随机Petri网模型的可达集生成算法和同构马尔可夫链的构造及其稳定状态概率的求解等关键技术；数据结构的设计采用链表的形式，使各种算法都具有较高的执行效率。

For k≥3, we show the infimum of α is 0 and adduce the G(superscript 1,s subscript k+1) graph is which causes α=0; using the foregone conclusion we characterize the G(superscript 1,s subscript k+1) graph which has a k-role assignment.

本文证明了k≥3时，a的下确界为0，并证明了当图G(上标 1，s 下标 k+1)图且a(s+1)≠0(mod k+1)(a=2，3，4)时，α达到下确界；最后还刻画了能够(n-1)-角色分配的G(上标 1，s 下标 n)图。

Simplifying the graph by inlining was based on DTD graph.

基于DTD图，将内联作为化简图的一种方法。

This change may be showed on graph of level or altitude interval. The graph inflexion is the small structure's starting or ending.

这种变化可以从两条巷道中线水平间距或者曲线图反映出来，曲线图上的拐点即为小构造出现的位置或尖灭点。

System incentive and alternation of attacker's strategies are not taken into full consideration in current intrusion response research. An intrusion response model (intrusion response based on attack graph, IRAG) based on the attack graph is proposed to solve this problem.

针对当前入侵响应工作中存在的不能充分考虑系统的收益，以及不能充分考虑攻击者策略变化因素等问题，提出了一种基于攻击图的入侵响应IRAG(intrusion response based on attack graph)模型。

The relational database is used to organize data. The pre-processing with graphical human-computer interaction and 3D visual output is applied as a dramatic analysis method for engineer including data form, sample contour, isobar graph, vector graph, histogram and so on.

该系统以关系型数据库组织各种数据，完全实现了人机图形交互式前处理及三维可视化输出，为工程人员提供了包括数据表格、取样曲线、等位线、等位面图、向量图及二元函数图等一系列生动形象的数据分析手段。

More precisely,we shall say that two graphs are isomorphic if there is a one-one correspondence between their vertices which has the property that two vertices are joined by an edge in one graph if and only if the corresponding vertices are joined by an edge in the other [3],Another graph isomorphic to the graphs in Figs.

更准确地说，如果两个图的顶点间存在一一对应，使得在一个图中有一条边连接两个顶点在另一个图中相应也有且仅有两个对应顶点由一条边相连，则说这两个图是同构的。

The recognition method of circuit drawing plotted by AutoCAD is proposed It uses the topological graph to describe the electrical symbol s drawing and adopts the isomorphic graph algorithm to recognize the electrical symbols, meanwhile,the circuit wires are also recognized It can recognize the circuit drawing automatically with high accurac

提出自动识别使用AutoCAD绘制电气原理图的方法该方法利用拓扑图表示电气符号，采用图的同构算法识别电气符号，并在识别出电气符号的基础上识别电路线该方法能够以较高的准确率自动识别电气原理

Graph isomorphism ; NP problem ; P problem ; NPC problem ; Graph isomorphism complete

图同构； NP问题； P问题； NPC问题；图同构完备

Since the graph isomorphism problem is neither known to be NP-complete nor to be tractable, researchers have sought to gain insight into the problem by defining a new class GI, the set of problems with a polynomial-time Turing reduction to the graph isomorphism problem.

由于图同构的问题既不是已知的NP完全问题，也不是听话的，研究人员设法深入了解这个问题，确定了一类新基的一系列问题，多项式时间图灵减少的图同构问题。

There are different types of personal loans available.

有许多不同类型的个人贷款优惠。

The above mentioned teaching model of spiral rising can be used to avoid rigidness in teaching.

上述螺旋式上升的教学模式，可以避免教学形成模式後的僵化现象。