查询词典 theorems

Design and implement the experimental systems RM and GRM which are based on Reso-lution and Generalized Resolution respectively. Prove all the theorems in Section A and Section Bin Part Ⅰ of " Principia Mathematica " using RM and GRM respectively, and then compare andanalyze the efficiency of RM and GRM.

设计实现了基于归结和基于广义归结的实验系统RM和GRM，分别用RM和GRM证明了《数学原理》第一部分Section A和Section B中的全部定理(350个)，并对RM和GRM的效率进行了分析比较。

Then wehave two important theorems about the lifting of the group of automorphisms and thelifting of derivations of A are given by the function of uce , then to prove them.

然后，利用uce函数给出了关于A的自同构群的提升和导子的提升的两个重要定理并加以证明。

In chapter I, I mainly describe some theorems for Heisenberg AFMs, and the history of models of putting impurities in pure S=1 Haldane chain which can give any clue to our study.

在第一部分的第一章，我们主要回顾了往S=1的自旋反铁磁链里掺杂历史，介绍了与Heisenberg 反铁磁链相关的一些定理，讲述了一些前人所做的工作，及其提供的理论线索。

The stability problems are analyzed and discussed. The optimal control problem is formulated to determine the necessary conditions for optimality in networks. Three theorems about the properties of the steady state-costate solution in Hamilton function are confirmed leading to the natrual meaning and the optimal policy which can be implemented in practice. In chapter Ⅴ, the methods for nonstationary simulation of computer networks are discussed.

第四章表述了计算机通信网动态特性研究的主要数字方法；提出了排队与随机存取机制、网络链路传输和节点分流的状态空间模型，并作了稳定性研究；应用最优控制理论得到网络最优控制的必要条件，证明了哈密尔顿函数协状态变量的稳定解性质，据此研究分析了网络最优控制的本质意义及实现途径，并给出计算及建模实例。

In Chapter 1, we introduce the definitions of Hausdorff dimension and Hausdorff measure, and some related definitions and theorems.

第一章介绍Hausdorff维数和Hausdorff测度的定义及一些相关的定义和定理。

By using the partition theorem of unity, a continuous selection theorem for a multimap from a compact Hausdorff topological space to a finitely continuous topological spaces (simply, FC-spaces) without any convexity structure was obtained, and from which and Tychonoff fixed point theorem, a collectively fixed point theorem for a family of multimaps on the product space of compact FC-spaces and several collectively fixed point theorems for a family of multimaps on the product space of non-compact FC-spaces were given.

利用单位分解定理得到从紧的Hausdorff拓扑空间到没有任何凸结构的有限连续拓扑空间的集值映射的连续选择定理，并从该结果和Tychonoff不动点定理，得到紧的FC-空间的乘积空间上映射族的集族不动点定理和若干个非紧的FC-空间的乘积空间上的映射族的集族不动点定理，对文献中的相应结果进行了改进和一般化。

As applications of these formulae some pinching theorems for Gaussian curvature of holomorphic curves in G is gained.

利用这些公式，文中得到一些关于G中全纯S^2的Gauss曲率的Pinching定理。

In the last chapter, the covering theorems for normalized holomorphic mappings on bounded starlike circular domains are also obtained.

另外，在本文的最后一章，我们还讨论了有界星形圆形域上正规化全纯映射的掩盖定理。

By introducing the two dimensional homogeneous coordinates of an infinite point on Euclidian plane,the point coordinates and linear coordinates of an infinite point in straight lines,some theorems and conclusions referred to infinite points are applied in the classifications of structures in this paper.

引入了欧氏平面上无限远点的二维齐次坐标和直线上无限远点的点坐标及线坐标，引用了与无限远点有关的一些定理及结论于结构的分类中。从而给出了可变体系中的常变与瞬变在结构形式上的区别，完善了杆系平面结构几何组成规则的内容

The properties kept by homomorphism of rings are generalized by restricting zero divisors of rings,and some important theorems are proved.

通过对环的零因子进行限制，推广了环同态所保持的性质，证明了几个重要的定理。

Vishnu entered a dark fourth dimensional dream that did not support his field or continued life.

毗瑟挐进入了一个第四密度的黑暗梦想，那里并不支持他的能量场或继续生命。

Leaders and decision-making persons use it to collect the data, including the information of unit work, handing in fee, oweing fee, prepaying fee,changing and afterpaying and account transfering of joining-insurance employee, and account paying of all kinds of insurances from hospitalization insurance institutions.The collected data is picked up, organized, switched and showed to user.

该子系统主要面向各级领导、决策分析人员；从各个医疗保险经办机构和定点医疗机构采集数据，包括在各个医疗保险经办机构处理的单位办公信息，单位缴费、欠费、预缴费信息，参保职工变更信息，参保职工增减变动信息，参保职工补缴信息，参保职工帐户划拨信息：包括各定点医疗机构处理的各险种帐户支出信息，各险种的统筹金支付信息等；将采集的数据提取，组织和转换，然后展示给用户。