查询词典 graph theory

The paper consists of dynamic equivalent of province S network, simulation analysis by simulation software EMTDC, comparison between the simulation result and the graph of fault recorder, applying rotating vector method and resonance theory to analysis fault process, finally having arrived at the fault mechanism of wire-break resonance and asynchronous-ly switching process.

内容包括：对S省电网的动态等值，用仿真软件EMTDC进行仿真分析，将仿真结果和故障录波图做比较，用旋转向量的方法和谐振理论分析事故过程，从而得出了机电相互作用引起变压器中性点击穿和断线谐振导致避雷器爆炸的事故机理。

The theory is simple. When a graph makes an incline, of course the line will keep climbing and stop at a stage.

理论是很简单的，当曲线图开始上扬的时候，在到达某一个阶段之前当然会持续攀升。

All possible independence structures of 9 and 10 links with 0 or 1 degree of freedom are brought forward by the method of contracted graph and subchain, and the theory provides fandamentals for innovation design of internal force closed self-adaptive mechanism.

利用此方法，综合出了自由度为0或－1的9杆、10杆运动链的全部独立构型，为内力封闭自适应机构的创新设计提供了理论依据。

This paper studies the referee assignment in the course of a single-recycling game by means of theory of edge-colouring and total colouring of graph and gives the optimal results.

应用图的边着色和全着色理论，研究了赛程中的单循环比赛的裁判分派问题，给出了最优分派结果。

Under the stochastic demand, one of the key problems for RMS design is how to design the capacity scalability and storage volume. Based on queuing theory, stochastic market demand model for single product family and production model of manufacturing systems were built. The queuing model and the state probability transition graph of RMS were given.

基于排队论方法，建立了单零件族随机市场需求模型与可重构制造系统的排队模型，给出了RMS的排队模型与状态瞬时强度转移图，建立了平稳条件下系统的概率平衡方程，得到了RMS与柔性制造系统的性能指标。

First, a new model, TSTG (Timed Symbolic Transition Graph) is presented along with its semantics theory. An algorithm deciding timed bisimulation is developed based upon the idea of symbolic bisimulations. Model checking algorithms has played an very important role in verifying systems.

在分析与验证算法的设计方面，在新的计算模型基础上，我们分析了实时传值进程间各种不同互模拟的特点以及判定方法；尤其针对时间互模拟，根据符号互模拟的思想，本文给出了一个时间符号迁移图上的判定算法并证明了算法的正确性。

Based on the tricolored graph, the structural decomposing criterion and its algorithm for GLMs are discussed according to the type transformation theory, which makes the structural decomposing procedures of GLMs and planar linkage mechanisms unified.

基于GLM的三色图表示，给出了型转化法GLM的结构分解准则及其算法，使GLM的结构分解和平面连杆机构的结构分解方法统一起来，并给出了各种具体GLM的结构分解和运动分析实例。

Secondly, a more general linear controller isdesigned. The method based on frequency domain theory is suitable to both cases of undirected and directed graph.

在第二种方法中，所设计的控制器为一般的线性控制器，结论同时适用于有向和无向图两种情形。

Maximum Clique problem is a classic NP hard combinatorial optimization problem, a lot of practical problems can be abstracted as undirected graph of the largest corporations to solve the problem, therefore, the largest corporation on the issue of research both in theory and in fact have a major significance.

最大团问题是一个经典的NP难的组合优化问题，很多实际问题都可以抽象为对无向图上最大团问题的求解，所以，对最大团问题的研究无论在理论上还是实际上都有重要意义。

The design of graphics module is based upon vector graph. Database module includes three tables. They are reading data table, writing data table and web data table. The realize of communication function and self-define communication protocol between client and embedded server in communication module is based upon socket communication theory.

其中图形库模块中界面图形的设计主要是运用基于图元的方法；数据库模块中数据的存储主要设计了三个记录表：读入数据记录表、写至数据记录表和网页数据记录表；通信库模块中的通信功能以及客户端与嵌入式服务器端的自定义通信协议，是在Socket通信原理的基础上实现的。

Singer Leona Lewis and former Led Zeppelin guitarist Jimmy Page emerged as the bus transformed into a grass-covered carnival float, and the pair combined for a rendition of "Whole Lotta Love".

歌手leona刘易斯和前率领的飞艇的吉他手吉米页出现巴士转化为基层所涵盖的嘉年华花车，和一双合并为一移交&整个lotta爱&。

This is Kate, and that's Erin.

这是凯特，那个是爱朗。