查询词典 theorem

Draw lessons from increment type observation implement with PI condition observation implement research achievement, combine heat to dominate a field complex control system designs bunchy form normally the actual condition of regulating system, offer observation of function of PI of increment style broad sense implement and the concept that its condition feedbacks, the tectonic regulating system that cluster form and observation implement feedback of shirt-sleeve broad sense condition controls a system, learn an analysis through number, give out the sufficient condition of IFO-PIO/BS reachs his corresponding theorem and deductive proof, announce give this to controlled systematic equivalence to be had at IFO-PIO/BS change the function that gain condition feedbacks.

借鉴增量式观测器和PI状态观测器的探究成果，并结合热控领域复杂控制系统通常设计成串级调节系统的实际情况，提出增量式广义PI函数观测器及其状态反馈的概念，构造串级调节系统和观测器相融合的广义状态反馈控制系统，通过数学分析，给出IFO-PIO/BS的充分条件及其相应定理和推论的证实，揭示出该控制系统等价于IFO-PIO/BS具有了变增益状态反馈的功能。

In this paper,according to the second kind of reciprocal theorem s of finite displacement,a cylindrical bend plate with large deflection is calculated.

本文应用付宝连的大挠度弯曲直梁的功的互等定理，求解一个柱面弯曲板条的挠曲面方程。

By using the group-chain, the wavefunctions of the 4f〓 configuration for RE ions are also expressed as linear combinations of group-chain basis functions in Butler's irreducible representation notation. The matrix elements of the CF Hamiltonian then are calculated by means of the Wigner-Eckart theorem and factorization lemma of the jm factors. Before the CF level fitting, a point-charge calculation of the conventional CF parameters B〓 has been performed by means of the lattice-sum technique from the known crystal structure data. The corresponding parameters in the group-chain are calculated by the conversion relationship between two schemes that proved identical in essence, which are usually used as initial values in the fit to the experimental levels. The ratios of the same k-value CF parameters are suggested as the constraint conditions in the fit, in order to utilize fully the symmetry distortion degree of the studied system.

利用群链理论，属稀土离子4f〓组态的波函数表示为以不可约表示标记的群链基波函数的线性组合；借助Wigner-Eckart定理和2jm和3jm因子的分解定律计算了晶场哈密顿的矩阵元；根据点电荷模型和已知晶体结构数据，利用点阵求和技术计算得到传统晶场参数B〓初值，相应的非传统形式的群链参数初值则由两种方案下的转换关系求得；这些初值通常作为非线性拟合晶场能级计算的初值，系统的对称性畸变信息则反映在以同阶晶场参数的比值作为能级拟合的约束条件。

This statement of the Hohenberg-Kohn theorem of Density Functional Theory plays an exceptionally important role among all the fundamental relations of molecular physics.

这Hohenberg科恩职能理论在的全部分子物理学的基本关系中起异常重要作用的密度的定理的陈述。

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对称性的基本理论，包括确定方程、结构方程以及守恒量的形式。

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.

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