查询词典 completeness 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+/等不能被改进的情况下是最佳的。

For example, we cannot copy an unknown state exactly because of "the no-cloning theorem"(no-deleting theorem), which is known as one of the most significant differences between classical and quantum information. Therefore to get to know what we can and cannot do in QIS or in quantum physics becomes an important and interesting problem. Particularly, in quantum communication and quantum cryptography, many novel schemes are based on the fact that nonorthogonal states cannot be discriminated determinately.

例如，经典信息中，编码状态是可以精确复制、区分的；而在量子信息中，由于叠加性的存在，使得非正交态不可区分，量子态不可复制、删除等；故而以往既成的观念都被打破，探讨在量子信息的框架下编码信息的估计、物理可实现的操作，以及这些量子体系在外界通过物理方法进行识别过程中的差异，是量子信息学、乃至物理学中的重要也很基本的问题。

The monotone class theorem of multiple dimension functional format.This is the generalization from the one dimension monotone class theorem.

给出了多维函数形式的单调类定理，它是一维函数形式单调类定理的推广，也是处理多维可测函数、多维随机过程的有力工具。

The system can be widely used in belt weighing and batching process control,etc.

介绍了基于智能模糊控制的嵌入式配料系统的设计方法，对模糊PID控制过程和系统调零作了重点的讨论，同时给出了PID控制的程序流程图和系统定长调零子程序。

"I dunno," she answered,"but if you show me aroun', I'll recognize it from the lighthouse just outside the porthole."

"我不知道，"她回答说，"如果你能带我转转，我能认出来的，因为灯塔就在舷窗外。"