查询词典 first-order theory

In this paper,the nonstandard analysis theory is used for inducing a metric space by a Loeb measure space.On this basis,a metric space is induced by a internal finitely additive measure space.The close relationship between the metric space induced by a Loeb measure space and the metric space induced by a internal finitely additive measure space is illustrated with the concepts and some properties of Loeb measure.Then,some properties of the metric space that induced by a internal finitely additive measure space are studied.In the first two chapters,we first Succinctly present the origin,development and research states of the nonstandard analysis.Then,the theoretical foundation of nonstandard analysis as well as the axiomatic nonstandard analysis are given.Finally, the nonstandard model and the saturation model are discussed,as well as some natures of the nonstandard model and several equivalent conditions of saturation model are given.

本文利用非标准分析理论，在由Loeb测度空间导出度量空间的基础上，由内有限可加测度空间导出了度量空间，并借助Loeb测度的概念和若干性质证明了由标准的测度空间导出的度量空问和由内有限可加测度这个非标准的测度空间导出的度量空间有着密切的关系，在此关系的基础上还研究了由有限可加测度这个非标准的测度空间导出的度量空间的性质在第一、第二章里，我们首先简单介绍了非标准分析的产生、发展及研究现状，接着给出了非标准分析的理论基础以及公理化的非标准分析，进而讨论了非标准模型和饱和模型，并给出了非标准模型的一些性质和饱和模型的若干等价条件。

Therefore, the main characteristics of this paper are:(1) Given orbits generated correlation theory of learning subspace which is the base of researching algorithm;(2) Advanced orbits generated Breadth first, Depth first and Heuristic algorithms, enrich and develop the basic content of LML further;(3) Given corresponding examples to validate the algorithms. However, all the work is tentive and much needs advanced research.

由此可以看出，本文的特色主要体现在以下几个方面：(1)给出了李群机器学习子空间轨道生成的相关理论，为研究学习子空间轨道生成算法奠定了基础；(2)提出了李群机器学习子空间广度优先轨道生成学习算法，深度优先轨道生成学习算法以及带有启发信息的轨道生成学习算法，丰富和发展了LML的基本内容；(3)对所提出的算法给出了相应的实例验证。

It is in Heraclitus that the theory of the Logos appears for the first time, and it is doubtless for this reason that, first among the Greek philosophers, Heraclitus was regarded by St.

它是在赫拉克利特说，理论的标识出现，为第一次，它无疑是基於这个原因，其中首先希腊哲学家赫拉克利特就被圣贾斯汀

The paper introduced the basic concept and theory of model analysis and structure dynamic analysis;performed the model analysis of the whole framework of hydraulic pressure and calculated the first ten-rank inherency frequency and corresponding vibratory-type;analyzed and estimated the first three-rank inherency frequency and corresponding vibratory-type of hydraulic pressure.

对液压机的整体机架进行有限元模态分析，得到了机架的前十阶固有频率和相应的固有振型，并对前三阶固有频率和振型进行了详尽的分析和评价。

The main research methods are:(1)Theory analysis:from the 2D plane geometry analysis, dots continuity characteristics are found. The first time irrational fraction algorithm is used in FM program.(2)Experiments reaearch:experiments of condition halftone function are designed under the cross-experiment principles. The first time variable information printer and C# language are used in experiment.(3)Data processing:new type digital density apparatus is used to measure data. Compare is used in processing data and error cause are explained. The main works as follows:The dot area percentage has been gained and new condition halftone function has been set up.(2)After being corrected, speed of irrational fraction algorithm has been compared with multiplicative congruence algorithm's.

本文的主要研究方法有：(1)理论分析：运用数字加网原理，从二维平面几何分析入手，借助实验验证研究网点连续特性；首次系统地把无理数取尾法随机数生成器引入到调频加网系统中，根据实验修正生成器的模型，运用统计假设检验理论，对生成的随机数序列进行统计假设检验；(2)实验研究：根据正交实验法则设计实验，首次采用可变信息印刷机(HP Laser PS印刷机)输出实验样张，克服了用传统胶印机作实验影响因素多的缺陷；采用新型数字式密度仪测量密度值，提高了数据精度；采用最新编程语言编写调频加网程序；(3)数据处理与分析：利用平均值比较法处理数据，对误差产生的原因进行讨论。

It also contains the first English translation of his licentiate thesis, in which he first set out his theory of international trade.

它也包含了他的执照论文第一英文翻译，在他第一次踏上了他对国际贸易理论。

Several transient compounds were synthesized by the homo- and heterogeneous reactions of reactive halogen compounds, In-situ ultraviolet photoelectron spectroscopy and photoionization mass spectroscopy as well as theoretical calculations were used to study their molecular structures, stability and molecular orbital properties, their electronic structures and geometric structures were obtained for the first time; Simultaneously, the electronic structure and thermal dissociation of acetyl peroxynitrate and trifluoroacetyl peroxynitrate which have great importance in the atmospheric chemistry were studied; The substituent effects of series of halopyridines and halothiophenes were studied by the ultraviolet photoelectron spectroscopy method for the first time. The atmospheric chemical reaction between peroxyacetyl radicals with IO radicals as well as the dissociation of the most stable isomer of CH3COIO3 were calculated by density functional theory, it was found that the CH3COOIO2 isomer may be act as a new reservoir of inorganic iodine in the stratosphere.

通过活性卤素的系列均相与非均相化学反应合成了几种瞬态物种，采用原位紫外光电子能谱和光电离质谱结合量子化学理论计算对化合物的分子结构、稳定性以及分子轨道特性进行了研究，首次获得了这些物种的电子结构和几何结构的信息；同时研究了大气中有重要作用的乙酰过氧硝酸酯和三氟乙酰过氧硝酸酯的电子结构性质及热解过程；采用紫外光电子能谱手段首次研究了系列卤代吡啶和噻吩的取代基效应；通过量子化学理论计算研究了乙酰基过氧自由基与IO自由基的大气化学反应及其最稳定异构体CH3COOIO2的解离，发现该物种可能是无机碘化合物在平流层中的储库物种。

As for the first problem, the author discusses the theory of the classification of the clauses in English law first, and then studies it under both time charter party and voyage charter party.

在第一个问题上，笔者先从英国法下条款分类理论进行探讨，接着分航次租船合同和定期租船合同两种情况探讨出租人的解约权。

The first impression is war, the second is peace, the antitheses are the bases of studying metal materials, and also the first step of introducing the yin-yang theory into this field.

一是战争——积极，刚的形象，二是和平——消极，阴的形象，这两种极具对立性的形象被视为对金属材料了解的基础，而它们同时也是把阴阳理论体系引入本领域的第一步。

There he began to develop an interest in anthropology, a discipline for which there was still no official chair in France. He had been much impressed by the American Robert Lowie's Primitive Society for its mixture of theory and practical experience. At the end of his first year he went out to the Mato Grosso among the Caduveo and Bororo tribes. The experience made a profound impression on him. It was a time of "intense intellectual excitement. I felt I was reliving the adventures of the first 16th-century explorers. Everything seemed mythical: the scenery, the plants, the animals."

在那里，他对人类学产生了兴趣，这在当时的法国还不是一门被正式认可的学科，他被美国Robert Lowie的原始社会理论同实践相结合的试验深深打动了，第一年结束的时候，他位于Caduveo和Bororo两个部落之间的 Mato Grosso，这段经历给了他深刻的印象，这是&强烈的学术兴奋&期，&我感到自己正在再次经历16世纪探险家们的探险精力，一切看起来都是虚构的：风景、植物、动物。&

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.

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