查询词典 first-order theory

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世纪传统成本理论的发展和创新进行了简要介绍。

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上引入了ρΓ-伪距离，对原有的理论进行了加强和补充，为在模糊命题逻辑系统的有限理论中讨论结论的程度化问题奠定了基础。

Meanwhile, the index futures hedge theory has also get a further development, which evolves from traditional hedge theory, the selectivity hedge theory and modern hedge theories. After analyzing the merits and shortcomings of the three theories, the paper mainly studies four minimum square hedge theory models, which are The traditional static OLS model, VECM model, one variable GARCH(1, 1) model and one variable GJR-GARCH(1, 1, 1) model. Established on September 8th in 2006, China Financial Futures Exchange initiated a new era of our country finance ramification-- index futures, opening a door for the China futures industry.

而股指期货的套期保值理论也随之得到长足发展，历经传统套期保值理论、选择性套期保值理论和现代套期保值理论，本文在分析三大理论优缺点的同时，着重研究现代套期保值理论即最小方差避险理论的四种模型：传统静态OLS模型、VECM模型、单变量GARCH(1，1)模型、单变量GJR—GARCH(1，1，1)模型。2006年9月8日，中国金融期货交易所的成立，掀开了我国金融衍生品种股指期货的新纪元，迎来了中国期货行业发展的机遇期。

This paper is based on the theory of property rights and the theory of real right. The paper uses the theory of property rights and the theory of real right to analysis the collective land registration in rural area of mainland in China.

本文以产权理论和物权理论为理论基础，以我国农村集体土地登记为研究对象，运用物权法理论和产权理论对我国农村集体土地登记问题进行了分析。

Chapter 2 "Organic Theory: Theoretic Establishment About Aesthetic Utopia" studies the contention about poetry and science among the British romanticist, inquires into the sharp opposites between poetry and scientific reason in the time of British modernization. In this opposites , The British Romanist has established aesthetic theory with the centric of organic theory instead of mechanical theory.

第二部分"有机论：审美乌托邦(来源：091909ABC论文网www.abclunwen.com)的理论构建"主要从英国浪漫主义诗人中爆发的诗与科学的争论开始，探讨英国现代化初期诗与科学理性之间的尖锐对立，在这种对立和融合中，英国浪漫主义诗人构建起了以有机论为核心的美学理论，以此来取代机械论的美学体系。

The production moved off-Broadway to New York City, where she won the Joseph E. Calloway award for her performance, and was profiled in American Theater Magazine as one of ten young theater artists to watch.

生产提出过百老汇的新的纽约市，在那里她赢得了约瑟夫calloway奖，她的表现，并于异型在美国的战区杂志之一， 10战区的青年艺术家观赏。

It's a risk tradeoff, and I believe that adding test support code usually wins.

这是一个风险的权衡，我相信添加测试代码通常会占上风。