查询词典 compactification theorem

However.We obtain its Hausdorff dimension spectrum by density theorem.

利用密度定理，在第二章的两节中，我们分别得到了它们的Hausdorff维数。

An existence theorem concerning denumerable 1-homoclinic orbits and countable families of 1-periodic orbits was given under a generic condition; and an intuitionistic de script ion about those orbits was also given.

证明在通有条件下，该异宿环附近存在可数无穷多条1-同宿轨，和可数无穷多个1-周期轨的单参数族，同时对这些周期轨和同宿轨作了直观描述。

By using the theory of linear evolution systems and Sadovskii's fixed point theorem, chapter3 deals with the existence of mid-solutions,strong solutions for the Cauchy problems of neutralabstract functional differential equations dependent on time with unbounded delay, here theright function in the equations satisfies the Caratheodory conditions.

第三章利用线性发展系统理论和Sadovskii不动点定理研究了具有无穷时滞中立型时变泛函微分方程Cauchy问题mild-解、强解的存在性。其中方程的右端函数满足Caratheodory条件。

The thesis first presents the definition and deciding theorem of different match types and derivability, then proposes corresponding deciding algorithms and query processing algorithms for different network links taking their features and optimization goals into account. Using these algorithms, associative access can be supported by the client cache more efficiently. In order to study the performance of our work, we have conducted a series of simulation experiments.

本文给出相应的模拟模型系统以及工作负载的描述，把基于本文提出的强、弱连接下查询处理、替换和一致性维护策略的缓存的数据库系统与标准客户—服务器数据库系统、基于传统缓存的数据库系统进行比较，试验测试了在不同网络连接，不同工作负载，不同缓存大小下各个系统的性能。

By transforming the delayed neural model to the describer model and then employing the Lyapunov-Krasovskii stability theorem, linear matrix inequality LMI technique, S procedure, and some algebraic inequality method, a new sufficient condition is derived, which is determined by the coefficients of the model and includes more tuning parameters for determining the globally asymptotical stability of recurrent neural networks with time-varying delay.

首先将要研究的模型转化为描述系统模型，然后利用Lyapunov-Krasovskii稳定性定理、线性矩阵不等式技术、S过程和代数不等式方法，得到了确保时变时滞递归神经网络渐近稳定性的新的充分条件，并将它应用于常时滞神经网络和时滞细胞神经网络模型，分别得到了相应的全局渐近稳定性条件。

We present the fundamental theories of Noether symmetries and conserved quantities of mechanco-electrical dynamical systems, including variation principle of the system, Noether symmetry transformation, Noether quasi-symmetry transformation, generalized Noether quasi-symmetry transformation, Killing equations, Noether theorem, the form of conserved quantity. And then the basic theory of Lie symmetry is advanced, including the determining equation, structure equation and the form of conserved quantity.

给出机电动力系统的Noether对称性和守恒量基本理论，包括系统的变分原理、Noether对称性变换、Noether准对称性变换、广义Noether准对称性变换、Killing方程、Noether定理和守恒量的形式；给出机电动力系统Lie对称性的基本理论，包括确定方程、结构方程以及守恒量的形式。

First, this paper, in the field of intrinsic geometry, studies the geometric problems on garment design, as well as applies the frame and semi-geodesic coordinates to prove the fundamental theorem of being a developable surface.

文中首先在内在几何学的层次上，研究了服装设计所涉及的几何学问题，应用标架与半测地坐标方法证明了曲面成为可展面的基本定理，研究了可展面的分类及其性质，考虑到服装三维几何造型的需要，证明了组合式可展面各组成片相切连接条件的命题，作为构造可展面的理论依据，证明了单参数平面族的包络面必为可展面的命题，在此基础上发展出服装几何造型的"刮大白"方法以及相关的三种构造可展面的解析方法。3D→2D的变换是三维服装CAD的重要内容之一，其几何学实质是曲面的定长映射，文中总结了定长映射即可展面在平面上展开的基本准则，在这一准则的指导下，结合服装设计与相关领域的要求，讨论了可展面在平面上展开的解析方法与数字方法，上述内容确立了服装设计几何学的基本框架。

The most complicated part, Devlin says, is our good old friend the Pythagorean theorem.

Devlin说，最复杂的部分便是我们熟知的毕达哥拉斯定理。

The first part is basic concept and axioms: Gives the definition and the basic theorem of diagonally dominant matrix, M-matrix, H-matrix which involve in this paper.

第一部分为基本概念和定理：给出本文所涉及的对角占优矩、M-矩阵、H-矩阵的基本概念和定理。

Let us consider the implication of the electrostatic theorem for chemical bonding in diatomic molecules.

让我们讨论双原子分子化学成键所蕴含的静电定理。

The role of the environment is very important.

的作用，环境是非常重要的。

At that time, the High Court of England and Wales Court of Queen's Bench president of William Murray, Lord Mansfield in June 22, 1772 ruling:"No matter then there is the inconvenience, but there must be a decision, I can not say that this case under the law in England are permitted or authorized; are so black should be released."

当时的英格兰及威尔士高等法院王座法庭院长William Murray， Lord Mansfield于1772年6月22日宣判：「无论有那麽不便，但总要有个决定，我不能说这件案在英格兰法律之下是准许或认可；所以黑人是应该被释放。