查询词典 first-order theory

Basic data and data about data, such as links to reflect, reflect the semantics, in order to manage a variety of additional control data ...7.3 The benefits of direct access to 1 with a simple way to update multiple files 2 when the update of the master record ...77, human-computer dialogue: Could it be machine interaction, is in the running process, in order to control or verification purposes, by ...

了基本 数据和关于数据的数据，如反映联系的、反映语义的，为了管理控制而附加的各种数据。。。。 7.3分析直接存取处理的优点1 用一个简单的程可以更新多个文件2 当更新的主记录。。。 77、人机对话：也叫人机交互，是指在程序运行过程中，为了控制或校验目的，通过。。。

This is exactly opposite to the order of E465/E665 in HA and the order ofΔ~ K. It shows that the larger the extent of humification, the larger the effect for reducing the rate of Phoxim hydrolysis, because the extent of HA humification is closely related to the extent of benzene in HA and the amount of carbonyl, aryl, phenolic hydroxide.

因腐殖酸腐殖化程度与腐殖酸芳构化程度、羧基、羰基和酚羟基的含量等相关，因此用腐殖酸腐殖化程度反映腐殖酸对农药水解作用大小比仅用腐殖酸中有机碳含量等因素反映更为合理。

They form usually a ring, but some fields may be composed of three matrices aI+bA, aI+cB, aI+dC, and of some special 2-order, even n-order matrices. It is a new type of hypercomplex number fields.

它们一般组成环，但3种矩阵aI+bA，aI+cB，aI+dC及某些特殊的二阶甚至高阶矩阵可以组成域，这是一类新的超复数系。

Inspection, we can use the mouse in order to open "Control Panel / System / Device Manager / Network adapter" settings window in the window to check whether the interrupt number and I / O address conflict (the best machine to all the interruption of the same set in order to facilitate the comparison), until the network adapter in the attribute of "the device is operating normally," and in "Network Places" to find himself at least that there is no problem with the configuration of the network card.

检查时，我们可以用鼠标依次打开"控制面板/系统/设备管理/网络适配器"设置窗口，在该窗口中检查一下有无中断号及I/O地址冲突（最好将各台机器的中断设为相同，以便于对比），直到网络适配器的属性中出现"该设备运转正常"，并且在"网上邻居"中至少能找到自己，说明网卡的配置没有问题。

The resulting linear system, the coefficient matrix of which is, typically, a 2 x 2 block symmetric or non-symmetric and singular or non-singular indefinite matrix, is of high order and ill conditioned. In order to solve such system we have to use iterative methods with fast convergence speed.

所得的离散方程组（其系数矩阵典型地是 2 x 2 块对称或非对称，奇异或非奇异的不定矩阵）是高阶和病态的，为了求解这样的方程组我们必需使用快速收敛的迭代方法。

Fromthese paintings one can see the primitive order of values ofthese peoples,and the utilitarianism, chaos and illogic oftheir order of values.

从岩画中可以看出古代北方民族的原始价值观念，这种价值观念有功利性、混沌性、非逻辑性的特点。

The system spread rapidly to all branches of the order and was imitated by almost every other religious order.

该系统迅速扩散到所有分支机构的秩序和模仿的是几乎所有其他的宗教秩序。

In this paper, a high order accuracy difference method is presented for solving unsteady convection diffusion equation by using Implicit Perturbation Finite Difference scheme. Firstly, we use the steady convection diffusion equation, the constant coefficients of this equation are expanded to power series of grid-spacings, then the high-order Perturbation Finite Difference scheme is obtained by determining the coefficients of the power series. Put this scheme on unsteady convection diffusion equations and modified it, the IPFD scheme is constructed.

本文利用摄动差分思想，对定常对流扩散方程中的空间微商系数进行摄动展开，展开幂级数系数通过消去摄动格式修正微分方程的截断误差项求出，由此获得方程的隐式摄动差分格式，将此方法应用于非定常对流扩散方程，并加以修正，得到该方程的修正隐式摄动差分格式。

We eat in order to live , but not live in order to eat .

吃是为了生活，但生活不是为了吃。

They are religious in the full sense of the word, and participate in all the graces and privileges of the order, except that they have neither active nor passive voice in the management of the affairs of the order.

他们是宗教在充分意义上的字，并参加所有的青睐和特权的命令，但他们既不积极，也不被动语态的管理事务的秩序。

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.

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