定理

According to the law of mass moment of inertia and of momentum moment, the conditions for the complete dynamic balance of rotor inertial forces and moment of inertia in the rotary piston vacuum pump are put forward, with the rotor movement in single cylinder analyzed as basis.

根据质量矩定理和动量矩定理对单缸滑阀真空泵的转子运动状况进行了分析，分别提出了转子惯性力和惯性力矩完全动平衡的条件。

It is proved that all monic polynomials of order n with roots lying in some open region on the complex plane forms a simply connected set in the polynomial parameter space. Based on this result, Edge Theorems for D-stability of general polyhedrons of polynomials and Boundary Theorems for D-stability of compact sets of polynomials are obtained.

证明了其根位于复平面中某开域的所有n阶多项式的全体构成多项式参数空间中的一个单连通集，并基于这一结果进一步提出了关于一般多面体多项式族D-稳定性的棱边定理和关于一般多项式紧集D-稳定性的边界定理。

The monotonicity and the convergence of deterministic nature are proved.

文中给出了误差函数的单调性定理以及该算法的弱收敛和强收敛性定理。

We present a SNMP-based topology discovery algorithm using direct connection theorem and simple connection theorem for judging relationship of switches in subnets. In order to in discover the map of network without SNMP, several key problems such as subnet guessing and multi-address routers are discussed in details. And then a topology discovery algorithm based on primitive protocols is presented. We also deeply study some routing protocols such as OSPF and BGP and propose a routing-protocols-based algorithm for topology discovery.

基于判断交换机互联的直接连接定理和间接连接定理，提出了一种完整的基于SNMP的拓扑发现算法；详细讨论了子网获取、多址路由器处理等关键问题，针对不同的网络环境给出了相应的解决方案，并以此为基础提出了一种基于通用协议的拓扑发现算法；在对OSPF，BGP等网络路由协议进行分析的基础上给出了一种基于路由协议的拓扑发现算法，并设计了一个自上而下的拓扑发现框架结构。

On the basic theory, some concepts are proposed, such as partial derivative of waveform polynomial, waveform polynomial vector, delay matrix, multiple valued Boolean process, conditional sensitization, waveform distance with crosstalk and three-dimentional Boolean process. And based on these concepts, a sensitization theorem for sequential circuits and the transition numbers theorems for waveform polynomial are proposed; the model and data structure for the representation and manipulation of waveform polynomial are proposed.

基础理论方面，提出波形多项式偏导、波形多项式向量、延时矩阵、多值Boolean过程、条件可敏化、考虑串绕的波形距离及三维Boolean过程等概念，并在此基础上提出时序电路的敏化定理、波形多项式描述跳变数的定理以及波形多项式的多项式符号表示与运算的模型和数据结构。

On the design of algorithms, a novel exact hierarchical delay analysis method for general circuits is proposed; based on the sensitization theorem for sequential circuits, an exact minimizing clocking method is proposed; based on Boolean process, a waveform simulation method considering interconnecting delay for logic circuit and a parallel waveform simulation method are proposed; a new method that transforms bit-level waveform polynomial to word-level polynomial model is proposed; a multiple valued synthesis algorithm based on multiple valued Boolean process and a wire-centered delay synthesis policy are proposed, in which timing planning, floorplanning, wire planning and optimal clock skew in early design are considered; a two-layers channel routing method for minimizing crosstalk under grid mode is proposed; based on the transition numbers theorems for waveform polynomial, a new method for generation of test with noise effects is proposed.

算法设计方面，提出了一种精确的通用电路层次化延时分析方法；基于时序电路的敏化定理提出时序电路最小时钟周期精确确定方法；提出基于Boolean过程论的考虑互连延迟的逻辑电路波形模拟方法，在分析了波形模拟适合并行化基础上，进一步提出一种并行波形模拟算法；提出一种将位级电路波形多项式描述转化成字级多项式描述的新方法；提出一种基于多值Boolean过程的多值电路综合算法以及一种将前期设计定时规划、前期设计的布局规划和线网结构化方法及低偏移的时钟分配等技术相结合的面向互连延时的综合策略；提出一种串绕最小化的网格模式下的双层通道布线方法；从波形多项式描述跳变数的定理出发提出了一种考虑噪声效应的测试生成新方法。

Using Nevanlinna value distribution theory, the research we studies the uniqueness of meromorphic functions concerning the multipliable value, and proves one theorem, which generalizes and improves previous results.

运用亚纯函数的值分布理论，研究了亚纯函数涉及重值的唯一性问题，证明了一个定理，所得定理改进了先前的一些结果。

In light of the convergence theorem obtained in Chapter 2, a result on topology preservation of 2-dimensional SOM algorithm with continuous inputs is given. In Chapter 4, an equivalence relation on n dimensional Euclidean space, called equi-action relation, is introduced and a number of properties on this relation are studied.

指出了已有的有关SOM算法拓扑保序定义的缺陷，并在此基础上，给出了一个具有连续输入的二维SOM算法的拓扑保序新定义；利用第二章中的收敛性定理，我们进而获得了一个具有连续输入的二维SOM算法的拓扑保序性定理。

WA mathematical model so called "Poincaré Model" is introduced to solve these problems by using the theorems of Euclidean geometry stead of Non Euclidean geometry.

提供一种用模型法证明非欧几何定理的证明方法，在证明中可以使用欧氏几何的定理，从而使学生对非欧几何有更深刻的认

Note on relation of seminorm and norm in vector space;2. The functional representation of some seminorms such as the continuous seminorms, the beundedseminorms and the lower semicontinuous seminorms are given out.

给出了局部凸空间上连续半范数，有界半范数和下半连续半范数等的泛函表示，应用这些表示定理，我们得到了Banach－Mackey空间的一个全局特征和囿空间的对偶特征，最后还给出了局部凸空间理论中一些重要定理的简化证明。

We have no common name for a mime of Sophron or Xenarchus and a Socratic Conversation; and we should still be without one even if the imitation in the two instances were in trimeters or elegiacs or some other kind of verse--though it is the way with people to tack on 'poet' to the name of a metre, and talk of elegiac-poets and epic-poets, thinking that they call them poets not by reason of the imitative nature of their work, but indiscriminately by reason of the metre they write in.

索夫农 、森那库斯和苏格拉底式的对话采用的模仿没有一个公共的名称；三音步诗、挽歌体或其他类型的诗的模仿也没有——人们把&诗人&这一名词和格律名称结合到一起，称之为挽歌体诗人或者史诗诗人，他们被称为诗人，似乎只是因为遵守格律写作，而非他们作品的模仿本质。

The relationship between communicative competence and grammar teaching should be that of the ends and the means.

交际能力和语法的关系应该是目标与途径的关系。