查询词典 first order

In this paper, the main findings are a total of 11 full function integrated words, including two first order full-function sets of connectives, seven second order full function sets of connectives and two third order full-function sets of connectives.

得到的主要结果是：全功能联结词集合一共11个，其中，一阶全功能联结词集合2个，二阶全功能联结词集合7个；三阶全功能联结词集合2个；没有四阶及四阶以上的全功能联结词集合。

Chapter 3 emphasizes on the case that the considered systems contain not only impulse but also time delay. We mainly investigate impulsive parabolic systems with time delay and neutral impulsive parabolic systems. Section 3.1 discusses the oscillation of impulsive parabolic systems with time delay under Robin boundary condition and obtains some useful criteria via first order impulsive differential inequalities with time delay. Section 3.2 studies the oscillation of neutral impulsive parabolic systems under Neumann boundary condition and Robin boundary condition, respectively, and obtains some sufficient conditions for oscillation and strong oscillation via first order neutral impulsive differential inequalities.

第三章针对于"脉冲"与"时滞"共存的复杂情形，仍采用反证法讨论了含时滞的脉冲偏微分系统的振动理论，具体研究了脉冲时滞抛物系统和中立型脉冲时滞抛物系统。3.1节考虑了脉冲时滞抛物系统的振动理论，借助于一阶脉冲时滞微分不等式的解的性质，得到了满足Robin边界条件的脉冲时滞抛物系统的若干振动准则；3.2节考虑了中立型脉冲时滞抛物系统的振动理论，借助于一阶中立型脉冲时滞微分不等式的解的性质，分别给出了满足Neumann边界条件和Robin边界条件的中立型脉冲时滞抛物系统的若干振动和强振动准则。

In the temperature sensing, the theory of fiber Bragg grating temperature sensing has first been proposed, the characteristic of the FBG temperature sensing was analyzed, it was deduced that the sensitivity coefficients of first-order and second-order ,and experimental findings was protracted, the gained polynomial better inosculate with the theory value. The experiment was processed in the low temperature , the thermo-optic coefficient was emended in the polynomial of the normal temperature ,the result was accorded with the sensing character of the normal and low temperature ,and it was resolved that the theory account of the normal and low temperature did not accord with the experiment.

在温度传感方面，主要从光纤布拉格光栅的温度传感模式出发，对光纤布拉格光栅的温度传感特性进行了分析，推导出了光纤光栅的一阶与二阶温度灵敏度系数，并对实验数据进行了拟和，所得多项式和理论值吻合的很好，并对低温传感进行了实验，将在常温下得出的多项式进行了热光系数的修正，所得的结果同时符合常温与低温的传感特性，解决了低温与常温情况下的理论计算与实验的不一致性。

But for those of us who move onto this more advanced stage, Lee's team said "this shift in strategy is analogous to shifting from proofs in the first-order predicate calculus to proofs in the first-order modal predicate calculus"- in other words, it's a pretty impressive display of logical prowess and further evidence of our ability to "make deductions about abstract matters remote from our mundane life".

但是我们中的那些进入更高等级的玩家，Lee的团队说，"这次策略的转换同从一阶谓词演算证据到一阶情态谓词演算证据非常类似"——换句话说，这是一次令人印象深刻的展示：逻辑的力量和我们具备对"远离日常生活的抽象事物进行演绎"的能力。

Logical reasoning is the basis of artificial intelligence, the first-order predicate logic belonging to logic is a knowledge representation widely used, therefore,it is a meaningful task to study the reasoning problem of first-order predicate logic .

逻辑推理是人工智能的基础，而逻辑中的一阶谓词逻辑是使用较为广泛的知识表示方法，因此研究一阶谓词逻辑的推理问题是一项很有意义的工作。

The paper improves the velocity's control rules of a first-order microcosmic stochastic traffic cellular automaton model and incorporates it's stochasticity as a deceleration parameter in the construction of the fundamental diagram used by a macroscopic first-order continuum traffic model.

本文对微观一维随机元胞自动机交通流模型的速度控制规则进行了改进，并将其随机特性转化为减速参数合并到宏观一阶连续介质理论交通流模型中，重新构建了反映流量——密度的交通流基本图。

Temperature and the Zeroth Law of Thermodynamics, Simple Thermodynamic System, Work, Heat and First Law of Thermodynamics, Kinetic Theory of the Ideal Gases, The Second Law of Thermodynamics, The Carnot Cycle and the Thermodynamic Temperature, Entropy, Phase Diagram of a Pure Substances, First-Order and Second-Order Phase Transitions, Introduction to Statistical Mechanics (including Partition for Canonical Ensemble, M-B 、 F-D 、 B-E distributions), Thermal Properties of Solids.

热物理 ( S0437)(3，0)/热力学( S0434)(3，0)温度及热力学第零定律，简单热力学系统，功，热及热力学第一定律，理想气体动力论，热力学第二定律，卡诺循环与热力学温标，熵，纯物质的相图，一阶与二阶相变，统计力学简介(包括：正则系综的配分函数，马克斯威尔-玻兹曼分布，费米-狄拉克分布，玻色-爱因斯坦分布等)，固体的热性质。

The result showed that the oxidation reaction of abietic acid is first-order reaction during the initial period but then isn't first-order reaction because of oxidant film.

实验结果表明，枞酸氧化反应动力学在初期阶段呈表观一级，后期受氧化膜影响不呈表观一级。

At first, this paper expounds the order relation and first order logic properties of time axes. Secondly, this paper axiomatically models that using Tense Logic and dynamic logic, which aims at reflecting the properties of axes in fine grain by logical analysis.

随后分别用经典的时态逻辑Tense Logic和动态逻辑对时态数据库的时间轴进行了公理化建模，这样刻画的目的是为了&细精度&地体现时间轴的特点，并借助逻辑的方法对其分析。

It is found that,in a first-order differential Raman spectrum,almost all noise peaks are confined within a narrow horizontal band-like region with the base line going through its middle,whereas thesignal peaks shoot up and down much far beyond the region.Based onthis property,a new peak searching method with the aid of first-order differentiation is suggested.In this paper,a R_spectrumpeak labelling program for SPEX 1403 laser spectrometer with DMIBcomputer is reported.The result of peak labelling sho...

作者提出了用一阶导数谱辅助求 Raman 光谱峰值的新方法，较好地解决了谱峰与噪音的识别问题；编制了 SPEX_(1403)激光 Raman 光谱的标峰程序，具有10种不同大小尺寸的绘图功能、9种不同的字号供标峰选用，操作分为自动、半自动和手动三种方式，具有用于图注、实验条件说明的打字，存、取及复制标峰谱图等功能，克服了一般标峰过程中常见的弊病，标峰效果满意。

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.

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