查询词典 rigidity theorem

After studying the curve of the vibration frequencies, which are varying with the changing of the structural parameters such as the rigidity of pier, the rigidity of straining beam, the rigidity of truss, the high of pier, the width of deck, and so on, some rules about the changing of vibration frequencies and the influencing of the structure that vary with the parameters were achieved.

研究了桥墩刚度、横系梁刚度、桁架片刚度、桥墩高度、桥面宽度等参数对结构动力特性的影响，通过对结构的自振振型及频率进行相应分析，得出结构参数变化对结构的横向刚度、竖向刚度、纵向刚度和扭转刚度及其他动力特性的影响程度及规律。

On the basis of multiple analyses of this rigidity and by a case study, we in this paper have established the indicator system that mea- sures this rigidity, and, by the study of typical cases, analyzed the dialectical nature of the functions inherent in the rigidity- a characteristic possessed by the enterprise cultu...

在对企业文化刚性特征进行层次分析的基础上，本文通过实证分析确立了企业文化刚性特征的测度指标体系，并通过典型案例分析了企业文化刚性特征内含功能的辨证性质。

In order to study the influence of the rigidity of unstiffened tubular joints on load-bearing behavior and structural stability,the experimental research on axial rigidity and bending rigidity of the joints was performed,in combination with the practical demands of a steel tubular constructional project.

试验结果表明，当支管与主管直径相差较多时，节点轴向刚度和抗弯刚度均较弱，节点的半刚性能对结构的受力性能尤其是整体稳定性的影响不容忽视；当支管与主管直径接近时，节点轴向刚度和抗弯刚度均较大，基本能够满足节点刚接的要求

At the same time, the finite staff element method is used to analyze the influence of beam rigidity; and the two new methods proposed are used to analyze the influence of connect way between piles and beam; and the conclusion is obtained that the rigidity ratio between beam and piles being 0.48 is appropriate; the continuative increase of the rigidity ratio is not significant; the worst condition is that connecting way between piles and beam is hinged; the best condition is that connecting way between piles and beam is rigid. Whether is single-row pile or are double-row piles, when the front of single-row pile or the front of the front-row pile(in the double-row piles) needed excavation, it is supposed to that ought to be carefulness to excavate, because it is that the engineering cost increased greatly.

同时，用有限杆单元法，对双排桩的连梁刚度和用文中提出的方法以桩梁连接方式进行了试验和理论分析得出如下结论：在满足不相互影响排桩间距的情况下，桩顶连梁与桩的刚度比不小于0.48是合适的，此时再增加连梁刚度无意义；桩梁连接为铰结时双排桩受力变形性质最差，刚结时受力变形性质最好；不论是单排桩还是双排桩，桩前和前排桩桩前土体需要开挖时应慎重，因为这种开挖对支护结构影响很大，造价增加很多；双排桩省钱，而且抵抗变形的能力强，值得在工程中研究和广泛应用

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定理证明系统；第二章讨论了两种定理证明策略，一种是波动策略，它是一种在证明中通过处理归纳结论来激活归纳假设的策略，由于极大的限制了搜索空间，因此搜索效率高。

Objective:To compare the response control and attention of Schizophrenic patients with that of the healthy controls by Integrated Visual and Auditorycontinuous performance test. To quantitate the impairment of cognitive function in patients, and to explore the relationship between cognitive function and the severity of the disorder.

目的：探讨精神分裂症病人在IVA持续操作测试中的反应控制能力、注意力等，并与健康人进行比较，从而量化精神分裂症病人的认知功能损害，并进一步探讨其认知功能与疾病严重程度的关系。

Main effective factors including subcooling degree, mechanical vibration, gas hydrate reformation, environment temperature, noncondensing gas and surfactant are analyzed.

指出过冷度、机械振动、重复生成水合物、环境温度、不凝性气体、添加剂是影响气体水合物生成的主要因素，还对R152a水合物的放冷进行了实验研究。