查询词典 quantification theory

It can be divided into two chapters.In chapter one ,we state a few usual notations,definitions and basic results.In chapter two, we first establish a Morse index theory for 2p-order linear Hamiltonian systems.Then as applications of the index theory ,we discuss nontrivial solutions for nonlinear Hamiltonian systems by making use of Leray-Schauder degree theory and Morse theory.

全文分为两章：第一章中给出了本文所要用到的一些基础知识和一些常用的记号；第二章先建立了线性2p-阶Hamiltonian系统的指标；作为此分类指标的应用，结合Leray-Schauder度理论及Morse 理论，讨论了渐近线性系统的非平凡解的存在性。

Researching theory develop according to general rule that it was known by you:in the future,due to nonobjective researchful result ,new structure will be created----calligraphy.baseing on the concept,new theory will be created----calligraphy theory.by dint of this sort of theory,we may clarify its experience in moving and predict its form .

理论研究是按照大家已经熟悉的常规发展的：由于后来的抽象研究的结果而创立新的结构—书法；在这个概念的基础上创立新的理论---书法理论；借助这种理论阐明书法运笔的经验的规律性并预言同这种运笔形式所包含的主体特定个性在特定历史条件下形成的熟练的运笔表现形式。

The study of operator algebra bagan in 30times of 20th century. Though compary with some other theory it is relatively new, but it has unexpected application in some mathematic theory and other subject, such as quantum mechanics, noncommutative geometry, linear system, contral theory, number theory and some other important branches of mathematics.

算子代数理论产生于20世纪30年代，它在数学和其他学科中都有着出人意料的应用，它与量子力学，非交换几何，线性系统，控制理论，数论以及其他一些重要数学分支都有着广泛的联系和相互渗透。

The study of operator algebra theory began in 30s of the 20th century: With thefast development of the theory, now it has become a hot branch playing the role ofan initiator in modern mathematics. It has unexpected relations and inter infiltrationswith quantum mechanics, noncommutative geometry, linear system and control theory,number theory as well as some other important branches of mathematics.

算子代数理论产生于20世纪30年代，随着这一理论的迅速发展，它已成为现代数学的一个热门分支，它与量子力学，非交换几何，线性系统和控制理论，数论以及其它一些数学分支有着出人意料的联系和相互渗透。

In this paper, we mainly apply theory of ordering in nonlinear functional analysis, cone theory, topological degree theory, cone expansion and compression theory, and the method of upper and lower solutions, partial ordering method, iterative method to study some nonlinear differential equations BVP and fixed points problems of mixed monotone operators, and obtain some new results.

中文摘要：在本文中，我们主要应用非线性泛函分析中的半序理论，锥理论，Leray-Schduder拓扑度理论，锥拉伸与锥压缩不动点理论，以及上下解方法，半序方法，迭代方法对一些非线性微分方程边值问题和混合单调算子的不动点问题进行讨论，并得到了一些新成果。

Periodic law also directs the element and its compounds on the nature of the system, the structure of the modern theory of the material basis for the development of several aspects of the work, to develop into the valence bond theory chemical bonding, molecular orbital theory and ligand field theory.

周期律还指导了对元素及其化合物性质的系统研究，成为现代物质结构理论发展的基础经过几方面的工作，发展成为化学键的价键理论、分子轨道理论和配位场理论。

On the basis of the traditional cost theory of evolution, the theory is divided into bourgeois classical political economy, Marxist theory and the political economy of bourgeois philistinism three parts, and the relevant set of the final of the traditional cost theory of the 20th century development and innovation for the briefing.

本文根据传统成本理论的演进，将其分为资产阶级古典政治经济学派、马克思主义理论和资产阶级庸俗政治经济学派三个主要部分，并进行了相关阐述，最后对20世纪传统成本理论的发展和创新进行了简要介绍。

In order to expand the scope and applied fields, merge the old theory into a bigger theory system by the merge and correspondence principle of theory. So scientific theory generation develops into senior stage: axiomatic stage.

为了使新理论的适用范围越来越扩展，应用领域越来越大，运用理论的归并原则和对应原理，把旧理论归并到一个更大的理论系统中，从而使科学理论的增长进入高级阶段，公理化阶段，它是科学理论系统化的一种必然结果。

Having combination of the theory of truth degree in metrology of logic with the theory of ∑-α-tautologies in fuzzy logic, which have been introduced by professor G.J.Wang, the theory of ∑Γ-truth degree was introduced, and its properties which induce a pseudometric on F were investigated. The results gained have complemented and enhanced the original theory, and the work delivers a new frame for fuzzy reasoning.

将模糊命题逻辑中的∑-α-重言式理论与计量逻辑学中的真度理论相结合，在经典二值命题演算系统L中引入了公式相对于有限理论的∑Γ-真度理论，较为详细地讨论了它们的性质，并利用∑Γ-真度的性质在公式集F上引入了ρΓ-伪距离，对原有的理论进行了加强和补充，为在模糊命题逻辑系统的有限理论中讨论结论的程度化问题奠定了基础。

In order to prove the rationality of its origin and existence,the scholars of criminal law advanced many theories such as theory of homeostasis vengeance,theory of contract,theory of social defense,and theory of punition need and resPectively expounded the fundamental ideas and the basic theories of them .

为了论证其产生与存在的合理性，刑法学者们提出了同态复仇说、契约说、社会防卫说、惩罚需要说等众多学说，阐述了其各自学说的基本观点和基本理论。

Sodium citrate; calcium carbonate; calcium hydroxide; potassium bicorbonate; magnesium carbonate; ferrous sulphate; Zinc sulphate; copper sulphate; manganese sulphate; potassium iodide; sodium selenite.

柠檬酸钠；碳酸钙；氢氧化钙；碳酸氢钾；碳酸镁；硫酸亚铁；硫酸锌；硫酸铜；硫酸锰；碘化钾；亚硒酸钠。

All this to say that I'm glad filmmaking hasn't become completely ironic. I can enjoy an ironic film as much as the next person, but they usually involve a message of some sort. One that's delivered in a smirkingly clever way that requires little in the way of talent.

所有这些都是说，我很高兴电影制作没有变成完全讽刺艺术，我可以和下一个人一样享受讽刺电影的乐趣，虽然他们经常会被划归到一定级别，技术方面不需要很高的才能。