查询词典 universal coefficient theorem

Wavelet multi-resolution analysis is applied to decompose the signal into multiple-level and the wavelet coefficient modules of its high-frequency components are obtained. The wavelet coefficient modules of a broken signal can be extracted by software demising. The threshold of demising is decided by the difference between the wavelet coefficient modules of a broken signal and those of a noise. The wavelet coefficient modules of the broken signal were shown in different levels, then the faults can be detected and distinguished by the integrated features of the variant levels' wavelet coefficient modules.

利用小波多尺度分解技术，将信号进行多尺度的小波分解，得到不同尺度下的信号高频分量的小波系数模值，并根据奇变信号和噪声信号小波系数模值的差异，采用软阈值去噪法，对其高频分量小波系数进行去噪处理，获取不同尺度上突变信号的小波系数模值，实现对故障的检测，并可根据不同尺度上小波系数模值的对应关系，实现对多重并发故障的区分。

Furthermore, transfer coefficient between total content and variable speciation including acid-soluble/exchangeable, reducible, oxidisable fraction of heavy metals are different. Transfer coefficient of total Cr is 0.65 in tailings area, but that of variable speciation is 0.26. In contrast with Cr,transfer coefficient of total Ni is 0.26, but that of variable speciation is 0.67. The similar characteristics on Pb and Zn in cultivated soil, namely, transfer coefficient of total Zn is high, but low for variable speciation, which is reversed for Pb. Transfer coefficient of total content and variable speciation in abandoned soil are low compared with above two fields soil, especially, variable speciation of Cu and Ni are not transported almost down soil profile.

重金属总量和活性态（包括弱酸提取态、可还原态、可氧化态）迁移率也表现出很大差异，尾矿区土壤Cr总量迁移率较高为0.65，而其活性态迁移率较低为0.26，Ni与Cr迁移特征完全相反，总量迁移率为0.26，而活性态迁移率为0.67；农田土壤中Pb总量迁移率低而活性态迁移率高，Ni与Zn特征相似，总量迁移率高而活性态迁移率相对较低；大棚地土壤中重金属迁移率均较低，Cu和Ni活性态几乎未发生向下迁移。

Single factor experiments were done with the factors including the width of protrusion and the trolley's velocity, which showed that the surface frictional coefficient decreases with the width of protrusion increasing, and doesn't change with the trolley's velocity changing, which was consistent with the results of the orthogonal experiment. A theoretical model of the horizontal projection of a corrugated bionic surface's contact area was built, which showed that the contact area's horizontal projection decreases with width and interval increasing respectively and that the ratio of the contact area's horizontal projection and the vertical load decreases with the vertical load increasing. It indicated that the surface frictional coefficient decreases with the above three factors increasing respectively. Finite element modeling and analysis of interactions of a plate and soils was done using ANSYS, which showed that the plate frictional coefficient is little relative to soil elastic modulus and decreases with vertical surface pressure and that trolley's pull and vertical displacement of bionic surface's control pilot keep constant almost during the plate being pulled. Finite element modeling and analysis of interactions of a corrugated bionic surface and soils was done using ANSYS, which showed that surface frictional coefficient is little relative to soil elastic modulus and decreases with bionic surface's structural parameters and vertical pressure increasing. However, the three factors all didn't affect the surface frictional coefficient remarkably on the condition of 90% dependability. For the first time, bionic surfaces were applied to screw piles, which formed bionic screw piles, and the contrast experiments showed the bionic screw pile had certain resistance-decreasing effects.

建立了波纹型仿生曲面与土壤的接触面积的水平投影的理论模型，表明接触面积的水平投影A随着波纹型仿生曲面突起宽度、两相邻突起间距的增大而减小，接触面积的水平投影与波纹型仿生曲面表面垂直载荷之比随着波纹型仿生曲面表面垂直载荷的增大而减小，进而得出仿生曲面摩擦系数随着波纹型仿生曲面突起宽度、两相邻突起间距以及表面垂直载荷的增大而减小；利用ANSYS软件对平板与土壤的相互作用进行了有限元建模与分析，表明平板摩擦系数与土壤弹性模量关系不大，而随着表面垂直载荷的增大而减小；平板牵引过程中台车牵引力和仿生曲面控制节点垂直方向位移基本保持不变；利用ANSYS软件对波纹型仿生曲面与土壤的相互作用进行了有限元建模与分析，表明波纹型仿生曲面系数在一定范围内基本不受土壤弹性模量的影响，随着波纹型仿生曲面突起宽度、两相邻突起间距以及表面垂直载荷的增大而减小，但在可信度为90％的前提下，三个因素影响都不显著；首次将波纹型仿生曲面应用于与土壤作用方式以挤压为主的螺旋桩，形成仿生螺旋桩，并与普通螺旋桩进行了沉桩对比试验，表明波纹型仿生曲面应用于螺旋桩桩体表面具有明显的降阻作用。

The study of lattice-valued propositional logic system based on lattice implication algebra.On the bases of previous study, by using the concepts and methods of T algebras we established the lattice-valued propositional logic system LP , whose truth values domain is a lattice implication algebra, and discussed systematically the semantical and syntactical properties of LP , proved the soundness theorem 、consistency theorem、deduction theorem and the decidability of validity of the system when the truth values lattice is finite. We also discussed the relationship between the α-theorem of some premise, say A, and the closed sets that contain A.

本文在前人研究工作的基础上，利用T代数的概念与方法，建立了真值取于格蕴涵代数的格值命题逻辑系统LP，对它的语义及语法性质进行了较系统的研究，得到了它的可靠性定理、协调性定理及演绎定理等，证明了值格有限时系统"有效性"的可判定性并讨论了某一前提A下的α定理与包含A的闭集之间的关系。

To the problem of unbiasedness of L 1 estimation,basing on uniqueness of solution,Zhou Shijiang proved it according to dual theorem of linear programming; and Wang Zhizhong proved it according to probability statistics theorem by using the method from special to general; also,basing on error distribution theorem and probability statistics theorem,the authors proved it.

对于L1 估计的无偏性问题，周世健基于解法的惟一性，根据线性规划的对偶理论，证明了L1 估计的无偏性[5] ；王志忠根据数理统计理论，采用由特殊情形推广到一般情形的方法，证明了L1 估计的无偏性[6] 。

Based on much knowledge, contrasting to linear programming; we extend duality theorem (including weak duality theorem and strong duality theorem), complementary slack theorem to conic optimization. Hence we find out some significative conclusions and existing conditions under which their duality gap is zero of two optimizations.

在此基础上，通过与线性规划作对比，将对偶定理、互补松弛定理等推广到锥规划问题中，得到了一些有意义的结论，并且得到了这两个规划的零对偶间隙的存在条件。

By using the partition theorem of unity, a continuous selection theorem for a multimap from a compact Hausdorff topological space to a finitely continuous topological spaces (simply, FC-spaces) without any convexity structure was obtained, and from which and Tychonoff fixed point theorem, a collectively fixed point theorem for a family of multimaps on the product space of compact FC-spaces and several collectively fixed point theorems for a family of multimaps on the product space of non-compact FC-spaces were given.

利用单位分解定理得到从紧的Hausdorff拓扑空间到没有任何凸结构的有限连续拓扑空间的集值映射的连续选择定理，并从该结果和Tychonoff不动点定理，得到紧的FC-空间的乘积空间上映射族的集族不动点定理和若干个非紧的FC-空间的乘积空间上的映射族的集族不动点定理，对文献中的相应结果进行了改进和一般化。

Chapter 2 deals with some refinements of the central limit theorem for a class of non-uniformly hyperbolic dynamical systems called Youngs system, such as local central limit theorem and so-called Berry-Esseen theorem giving the rate of convergence in the central limit theorem.

在第二、三章中，我们考虑一类重要的非一致双曲动力系统的统计性质-中心极限定理，及其进一步的精细结果如局部中心极限定理，带有收敛速度的中心极限定理。

The paper consists of six chapters. Chapter One is the theoretical background, we review the course of mechanical theorem proving and briefly introduce the main mechanical theorem prover of the last decade, Among them, we stress on the Boyer-Moore theorem prover and its throretical foundation a computational logic. In Chapter Two, we discuss two theorem proving tactics. One is the rippling-out tactic, which is a tactic for manipulating the induction conclusion to enable the induction hypothesis to be used in its proof, because it extremely restricts the search space, so it has high efficiency.

全文共分六章，第一章是理论背景知识，回顾了定理机器证明的历程，并对近十年来的主要定理证明器作了扼要的介绍，其中，着重介绍了计算逻辑及Boyer-Moore定理证明系统；第二章讨论了两种定理证明策略，一种是波动策略，它是一种在证明中通过处理归纳结论来激活归纳假设的策略，由于极大的限制了搜索空间，因此搜索效率高。

Among which theorem 1 and theorem 2 are similar to the controlled convergence theorem and Lukin theorem in Lebesgue integral Theory.

定义μ=|G|／|Irr|。得到了定理1 若G是非交换有限群2。首先得到具有这种性质的非Abel有限单群的完全分类定理。

Bob Eckert has been chairman and chief executive of Mattel for eight years.

美泰董事长兼首席执行官鲍勃·埃克尔特在任已8年。

The outlook for honors and disgraces carries on and surpasses the traditional outlook for honors and disgraces theoretically, and carries on and develops the theory of construction of socialist mora...

社会主义荣辱观的提出在理论上是对传统荣辱观的一次继承和超越，是对社会主义道德建设理论的继承和发展，在实践上有利于形成良好的社会风尚。