查询词典 first order theory

In this dissertation,Von Numann and Morgenstern Axioms are analyzedagain at first.It is pointed out not only that preference relations are often latticeordered,but also that the transitivity axiom,along with the independence axiomand the continuity axiom is still rational to a high degree,then a new set ofaxioms for lattice-order decision-making behavior is established.At last,relatedsubjects based on lattice in preference theory,utility theory,decision-makingmethods,multiattribute decision-making,and group decision-making are studied.In this way,the lattice-order decision-making theory is framed.Main creativeresults are obtained as follows

本论文重新审视了Von Neumann-Morgenstern理性行为公理体系，对以前学者较少涉及到的连通性公理提出了质疑，指出偏好关系具有格特征，而传递性公理、独立性公理以及连续性公理在很大程度上仍具有合理性，进而创建了格序决策行为公理体系，研究了基于格的偏好理论、效用理论、决策方法、多目标决策以及群决策中的相关问题，初步构建了格序决策理论框架，主要研究成果如下

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 理论，讨论了渐近线性系统的非平凡解的存在性。

Therefore, this article first comparative analyze the branchesb between simple type theory and the theory of order type then described the reason is that Russell want to hold on his perspective of the position of philosophy, from simple theory of types to the theory of order types is a necessity across.

为此，本文首先比较分析了简单类型论与分支类型论在内容构建的区别，并进而从罗素实在论的哲学立场角度出发，分析了从简单类型论到分支类型论的跨越是有着必然性的。

First, this thesis introduces basic theory of CBR , and studies many aspects of typical part design case , such as case representation, case retrieval, retain etc. Second, regards design code as case code in order to integrate the case with geometrical and non- geometrical information, and realizes the parametric modifying function for 3D solid model in the condition of Pro/E. Third, for the purpose of making true of system's aided design requirement, this thesis brings forward to create part design knowledge base with AI language CLIPS, and integrates the rule based KB into the system; finally, collects and summarizes the knowledge of shaft,gear,sleave, and a sample with ladder—shaft is shown in order to verify the correction of theory research.

首先，本文介绍CBR技术的基础理论，并重点研究典型零件案例的表示、检索、修改等功能；其次，以零件设计编号为案例编号实现对案例的几何与非几何信息的集成，并实现了三维实体模型在Pro／E环境下的参数化修改功能；再次，从系统辅助设计功能要求出发，提出将基于规则的知识库嵌入到系统内部，用人工智能语言CLIPS建立零件设计知识库；最后，对轴类、齿轮类、盘套类零件案例知识进行收集、总结，并通过阶梯轴设计实例验证了理论研究的正确性。

With the background of application of fuzzy control techniques to a rather typical complex control system, gas-burning water heater, theories, applications and techniques of fuzzy information processing have been studies. The obtained results include:(1) For lattice-valued logic systems based on lattice implication algebras, two dynamical lattice-valued propositional logic Lvpl and lattice-valued first-order logic Lvfl have been constructed, and some theories and methods of fuzzy reasoning have been proposed based on fuzzy set theory and multi-valued logic.(2) Some methods for designing and optimizing fuzzy control systems and some corresponding control algorithms have been proposed, and some new theories and methods for fuzzy control rule base and fuzzy control system performance analysis have been introduced.(3) 6 fuzzy control systems have been developed, and some difficult problems on craft of manufacture, batch consistency, quality stability, installation and main

本项目以模糊控制技术用于燃气热水器这一较典型的复杂控制系统为应用背景，在模糊信息处理的理论、应用和技术三个层次开展了相关的研究工作：(1)进一步研究了基于格蕴涵代数的格值逻辑系统，建立了两种动态的格值命题逻辑Lvpl和格值一阶逻辑Lvfl，并基于模糊集理论和多值逻辑提出了多种模糊推理的理论与方法；(2)提出了模糊控制系统的多种设计及优化方法与控制算法，建立了模糊控制规则库和模糊控制系统性能分析的一些新理论与新方法；(3)研制完成了6个模糊控制系统，还特别解决了模糊控制燃气热水器和智能控制燃气热水器在产业化过程中的生产工艺、批量一致、质量稳定、安装维修和性能价格等一系列难题，做好了批量生产前的技术准备，现已小批量生产。

The author has analyzed the history and the present of domestic and abroad science education, and studied some representative curriculum theory, scientific inquiry theory, Thalers Objective Theory and CIPP Evaluative Theory, hi order to systemically study the chemical part in Properties of Matter, the author presents a model at first.

为了建立本研究的理论基础，研究者首先对国内外科学教育的历史和现状进行了分析和梳理，对比较有代表性的课程理论进行了学习和归纳，并将建构主义课程理论的观点和后现代主义课程理论的部分思想、科学探究理论以及泰勒的目标达成模式及CIPP评价理论作为本研究的基本理论依据。

This section in the first define the meaning of related concepts of the research objet, then review some famous theory of industrial agglomeration,including the externality theory,industrial location theory,growth pole theory,the new competitive advantage theory,and so on,in order to provide a theoretical basis for analysing the influencing factor of high-tech industrial agglomeration.

本部分首先对研究对象涉及的概念进行了界定，然后回顾了一些对产业集聚的研究较有影响的理论，包括外部性理论、工业区位论、增长极理论、新竞争优势理论等，旨在为分析高技术产业集聚的影响因素提供理论依据。

The excluded volume effect of nucleons is studied by calculating the first order self-energy of the nucleon in nuclear matter with perturbation theory as the volume of nucleons is considered, then its influence on the equation of state of nuclear matter is discussed.

在相对论平均场框架内计算了核子体积对核物质中核子自能的一级微扰修正，并进一步讨论了这种修正对核物质状态方程的影响。

Based on first-order optimization calculating theory,authors established the optimal finite element model of swivel construction of arch bridge adopting hydraulic sync elevation technology.

根据一阶最优化计算理论，构建了采用液压同步提升技术进行转体施工拱桥的优化有限元模型。

First, the theoretical analysis is carried out by synthesizing the land rent theory, the land supply and demand theory, the market malfunctions theory, the government economic theory etc, in order to find out their respective instructional significance to our countrys city land reserve system.

首先，综合运用地租理论、土地供求理论、市场失灵理论、政府经济学理论等理论对土地收购储备制度进行了理论分析，指出了各个理论对我国城市土地收购储备制度的指导意义。

We have no common name for a mime of Sophron or Xenarchus and a Socratic Conversation; and we should still be without one even if the imitation in the two instances were in trimeters or elegiacs or some other kind of verse--though it is the way with people to tack on 'poet' to the name of a metre, and talk of elegiac-poets and epic-poets, thinking that they call them poets not by reason of the imitative nature of their work, but indiscriminately by reason of the metre they write in.

索夫农 、森那库斯和苏格拉底式的对话采用的模仿没有一个公共的名称；三音步诗、挽歌体或其他类型的诗的模仿也没有——人们把&诗人&这一名词和格律名称结合到一起，称之为挽歌体诗人或者史诗诗人，他们被称为诗人，似乎只是因为遵守格律写作，而非他们作品的模仿本质。

The relationship between communicative competence and grammar teaching should be that of the ends and the means.

交际能力和语法的关系应该是目标与途径的关系。