查询词典 theorem

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.

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

Week 12 Conductor in static electric field, dielectric polarization, electric displacement vector and Gauss theorem in dielectric medium.

第12周静电场中的导体；电介质的极化、电位移矢量和有电介质存在时的高斯定理。

Based on the theorem, one can design a GS driven ADE via a driving chaotic ADE and a C^1 diffeomorphism.

基于该定理，利用驱动系统的混沌ADE和同胚映射，可设计具有GS性质的响应ADE。

Objective:To explore the feasibility of laparoscopy in diagnosing and treating of abdominal diseases.

目的：探讨腹腔镜用以诊断腹部外科疾病及选择治疗方案的可行性。

The lifetime of nylon 1010 and nylon 1010/POSS composites decreased with increasing temperature.

热重-红外联用分析表明尼龙1010在氮气气氛下的降解产物主要为小分子的低聚物，POSS并不改变尼龙1010降解产物的组成。