查询词典 first order

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和动态逻辑对时态数据库的时间轴进行了公理化建模，这样刻画的目的是为了&细精度&地体现时间轴的特点，并借助逻辑的方法对其分析。

In 1843, the Governor of Hong Kong's first bowl Pottinger, selected the 44 Britons, organizations set up a "British law and order committee", appointed as the first batch of members of law and order.

一八四三年，香港第一任总督钵甸乍，特选了44位英国人，组织成立了&英属香港治安委员会&，任命为第一批治安委员。

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种不同的字号供标峰选用，操作分为自动、半自动和手动三种方式，具有用于图注、实验条件说明的打字，存、取及复制标峰谱图等功能，克服了一般标峰过程中常见的弊病，标峰效果满意。

The practical countermeasure of Han Fei-zi's political thoughts focuses on two parts: First, on the relationship of political order and political justice, he insists on taking order first as the premise of political value; Second, to surviving and developing in a age of power campaign, domestic management and national power enhancement are extremely important, so he proposes (1) Enriching Nation and Strengthening Army, Attaching Great Importance to Agriculture and Restraining Commerce;(2) Punishing Arrogated Minister, Strictly Enforcing the Judicial Reforms, and Changing habits and customs.

韩非子政治思想的现实对策主要包括两个方面的内容：其一，在政治秩序与政治正义之间的关系问题上，主张&秩序优先&前提下实现政治价值；其二，欲在&争于气力&生存与发展，强调内政治理、增强国力的极端重要性，主张(1)富国强兵，重农抑商，(2)惩治重臣，厉行法治，移风易俗。

The paper founds GM(1, 1) model of gray prediction theory in order to predict level displacement,and forecast horizontal displacement of 8-8 section of the Olympic Games project with it and compares forecast data and actual data.The result is that GM(1, 1) model may forecast short-term horizontal displacement after the model is proved eligibility. In order to manage long-term horizontal displacement,the paper founds metabolism GM(1, 1) model.At first, founding GM(1,1) model with known data and forecast next numerical value,next renewing founded GM(1,1) model with numerical value at the same time abnegating first data,and then forecast nest numerical value with same method.

本文为了预测土钉支护水平位移，建立了GM(1，1)灰色系统理论预测模型，应用灰色预测法GM(1，1)模型对奥运工程地下通道I标段8-8剖面的土钉支护产生的水平位移进行了预测，并与实测值进行比较，得出灰色预测法模型经检验合格后可以对工程进行水平位移的短期预测；为了使GM(1，1)模型同样适用于长期预测，用新陈代谢的GM(1，1)模型，即根据己知数列来建立GM(1，1)模型，预测一个灰数值，然后不断地将预测值补充到己知数列之后，每补充一个再去掉一个最老的数据构成新的数列，建立一个新的GM(1，1)模型，预测下一个值。

I scarce knew in what Manner to receive them; but found to draw our selves in a close Line was the only Way: so we form'd in a Moment: But that we might not have too much Interval, I order'd, that only every other Man should fire, and that the others who had not fir'd should stand ready to give them a second Volley immediately, if they continued to advance upon us, and that then those who had fir'd at first, should not pretend to load their Fusees again, but stand ready with every one a Pistol; for we were all arm'd with a Fusee, and a Pair of Pistols each Man; so we were by this Method able to fire six Volleys, half of us at a Time; however, at present we had no Necessity; for upon firing the first Volley, the Enemy made a full Stop, being terrify'd as well with the Noise, as with the Fire; four of them being shot into the Head, dropp'd, several others were wounded, and went bleeding off, as we could see by the Snow: I found they stopp'd, but did not immediately retreat; whereupon remembring that I had been told, that the fiercest Creatures were terrify'd at the Voice of a Man, I caus'd all our Company to hollow as loud as we could; and I found the Notion not altogether mistaken; for upon our Shout, they began to retire, and turn about; then I order'd a second Volley to be fir'd, in their Rear, which put them to the Gallop, and away they went to the Woods.

我简直不知道如何对付它们。结果，我认为最好的办法是我们互相靠拢，排成一行。于是，我们马上照此行事。为了不致使我们的火力中断太久，我下令只许一半人开枪，另一半人作好准备；如果第一排枪响过后，狼群继续向我们冲来，就开第二排枪；同时，在开第二排枪时，那开第一排枪的一半人，不要忙于装他们的长枪，而是应该抽出手枪，作好准备。因为我们每人身上都有一支长枪和两支手枪。用这种办法，我们可以连续开六排枪，每次有一半人开枪。然而，当时还没有必要这样做。放出第一排枪之后，我们的敌人就给枪声和火光吓坏了，马上停止了前进。有四条狼被我们打中头部，倒了下来；另外有几条受了伤，鲜血淋淋地跑掉了。这在雪地上可以看得一清二楚。我发现，狼群停止了攻击，但没有后退。这时，我忽然记起有人说过，就是最凶猛的野兽，听见人的声音也会害怕。于是我就叫大家拼命呐喊。这个办法果然很有效。我们一喊，狼群就开始后退，掉头跑掉了。我又下令朝它们背后开了一排枪。这样一来，它们才撒腿跑回树林里去了。

Article 144 The Government of the Hong Kong Special Administrative Region shall maintain the policy previously practised in Hong Kong in respect of subventions for non-governmental organizations in fields such as education, medicine and health, culture, art, recreation, sports, social welfare and social

第一百四十四条香港特别行政区政府保持原在香港实行的对教育、医疗卫生、文化、艺术、康乐、体育、社会福利、社会工作等方面的民间团体机构的资助政策。原在香港各资助机构任职的人员均可根据原有制度继续受聘。

Small wonder, then, that the Chinese spend more in the shop than any other group of foreign visitors do .

这样的小惊喜，使中国顾客比任何国家的人消费得更多。