查询词典 theorem

Then is the property of fourier transform detally,it contains linar, symmetry,uncover,switch,time-move,frequency-move,time-differentialcoefficient,frequency-differential coefficient,time-intergrate, frequency-intergrate,odd even, theorem of Parseval ,and theorem of convolution,and make testify to some property,some have the example.

接着详细概括了傅立叶变换的性质，即线性、对称性、折叠性、尺度变换性、时移性、频移性、时域微分性、频域微分性、时域积分性、频域积分性、帕塞瓦尔定理、奇偶性及卷积定理等，对某些性质相应的做了推导，并附有适当事例。

Stationary process: spectral decomposition of covariance function, spectral decomposition of stationary process, linear time invariant system, ergodic theorem, sampling theorem.

平稳过程：协方差函数的谱分解，平稳过程的谱分解，线性时不变系统，遍历定理，采样定理。

Because the kinematically-admissble cyclic strain rate field required in kninematical-type theorem of shakedown analysis is rather difficult to be constructed, shakedown analysis based on kinematcal theorem cannot be directly applied.

在竖向载荷与水平载荷共同作用下，研究了地基土体的强度特性与土层分布特征对地基承载力的彤响，对地基的极限载荷与安定戳荷进行了比较分析，为全面、综合地评价非均质地基的稳定性提供了有益的参考。

Aiming at bottom roof caving and support impact problems induced with abrupt large scale caving upper roof in face 21303 of Daliuta mine, this paper put forward the motion parameter at roof caving and calculation formula of roof shear breaking force with the help of theorem of momentum, theorem of moment of momentum and D' Alembert principle. Roof caving process was simulated by Ansys Ls-DYNA program, and maxim impact force was got. The theoretical research outcomes in the paper were applied in face 21303 of Daliuta mine, and were accordant with actual observing status of roof caving process.

针对神东煤炭公司大柳塔煤矿活井21303综采工作面，上层采空区顶板突然大规模垮落对下层顶板及支架的突然冲击问题，文章采用动量定理、动量矩定理、达朗伯原理推出了顶板垮落瞬间的运动量及顶板切顶垮落所需要的剪力值计算公式，用ANSYS LS-DYNA程序对顶板垮落过程进行了数值计算，得到了最大冲击力，在大柳塔煤矿活井21303综采工作面对顶板垮落特征进行了实际观测和理论成果验证。

In this paper we introduce some new definitions, they are the generalizations of those concepts in Lie theory, and we discuss initially the elementary properties of operator Lie algebras. Finally, the famous Jordan-Holder theorem and the uniqueness of decomposition theorem of operator Lie algebras are proved.

在这篇文章里，我们将李代数理论中的诸多概念加以推广，并初步地探讨了算子李代数的性质，最后还给出了算子李代数的一个分解定理，其唯一性也得到了证明。

Properties of cut sets, decomposition theorem, representation theorem of intuitionistic fuzzy sets are discussed.

在此基础上，给出了直觉模糊集的分解定理和表现定理。

In this paper a modified centroid coincidence theorem and a motion parameter decomposition theorem are introduced,which degenerate it into a pure rotation problem with only 3 degrees of freedom.

最优运动估计本质上是6自由度的非线性问题，本文提出推广的质心重合定理和运动参数分解定理，将其简化成3自由度的纯旋转问题。

The infonnation orthogonalization theorem and the information magnitude decomposition theorem are proposed and proved.

提出信息正交化定理，为解决相关信息最优融合问题找到了统一的途径。

Accordingly,they can result in the celebrated Jordan theorem and the third decomposition theorem of space directly and, moreover,they can give a new deep insight into the exquisite and subtle structure of the Jordan ...

因而，它们能够直接导致著名的Jordan定理及空间的第三分解定理，且能给出对Jordan形精致微妙结构的新的深刻洞察。后者表明，复线性变换的Jordan标准形是一种在双重任意选择下具有不变性的结构。

In chapter 5,we persue the ctiticality and complexity of thecritical sets.We describe carefully the Whitney's example in 1935.Meantime,we introduce some rsults about the critical sets and thecritical value sets,in particular,on W-sets and C-sets.And usingthe Lebesgue density theorem and the Vitali covering lemma weprove a rank zero theorem with Hausdorff measures.Finally wegive some examples to prove our results are sharp in the sense thatthe numbers k,m,n,s,〓,etc.,in the hypothesescan not be improved.

第五章研究临界点集的临界性和复杂性，并详细地描绘了Whit-ney在1935年的例子，同时也介绍了关于临界点集和临界值集的一些结果，尤其是W-集和C-集的一些结果，并利用Lebesgue密度定理和Vitali覆盖引理证明了一个与Hausdorff测度相关的秩零定理，最后举例证明我们的结果在定理的假设中的那些数字如k，m，n，s，a，r+/等不能被改进的情况下是最佳的。

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.

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