原子公式

The differential eguations and boundary conditions are established, based on these hypotheses. The theoretical formulary about sample atom number with different diffusion coefficient are reasoned out; the relationship between the isotope abundance ratio and the sample wastage of melting and solid samples and the samples simultaneously at evaporation and decomposition are discussed in theory.

根据这三条假设建立了样品原子数的微分方程及边界条件，推导出了不同扩散系数的样品原子数的理论公式，从理论上讨论了熔融态、固态样品以及蒸发分解同时发生的样品同位素丰度比与样品消耗量间的关系。

In addition, the smaller granule is obtained by selecting those objects of the larger granule that satisfy the atomic formula.

在一个粒度层次中，每个结点都是数据对象的子集，连接大粒度到小粒度的弧用一个原子公式定义。

The atomic formula is called atom for short in predicate calculus .

在谓词演算中，有时将原子公式简称为原子。

In this paper, after taking over coupling effect between electronic spin and orbital angular momentum, to revise the formula of electronic angular momentum in Bohr's theory, and electronic speed formula is obtained in a single-electron system, and to correct the energy level formula of atomic orbit in Schr? dinger's method by relativistic effect, the theoretical improving formula is built for spectrum fine splitting calculation, the calculated values are in good agreement with experimental ones, and reflect changing law of spectrum fine splitting values.

本文在考虑了电子的自旋角动量与轨道角动量的耦合作用后，通过对Bohr理论中的电子运动角动量的修改，推导出单电子体系的电子速度公式，结合对Schrdinger的原子轨道能级表达式相对论效应修正，从而得出本文的氢及类氢离子光谱精细结构值的理论计算公式，应用此改进公式，所得的计算值与实验观测值符合得很好，计算结果也反映了氢及类氢离子光谱精细结构数据变化的规律性。

In this solution, to check the vacuity of the CTL formula, it is not necessary to substitute all of its sub-formulae by TRUE or FALSE, but instead, it is enough to substitute its atomic proposition, and thus the number of times for checking is linear with the number of atomic propositions.

该方法对CTL公式的空属性的探测不需要对它的所有子公式用TRUE 或FALSE替换，只需对原子命题替换，这样检验的次数与原子命题的个数呈线性关系。

From the polarity of atomic proposition, a series of CTL formulae is derived by substituting the atomic proposition with TRUE or FALSE, before they are verified by model checking tools. If one of the CTL formulae has passed the verification, then it is concluded that the system property is a vacuity.

根据原子命题的极性，用TRUE 或FALSE替换原子命题，得到一系列的CTL公式，再对这些CTL公式用模型检验工具验证，若CTL公式中有一个通过了验证，则可得出该系统属性是一个空属性。

On the electronegative elements, bonding electron number and bonded hydrogen atomic number, new molecular topological index is developed to do research on creaturely activity for alcohol, aether, ketone and ester in this paper.

基于元素的Pauling电负性，原子成σ键的电子数，原子直接键连的成σ键的氢原子数目和原子在形成离域π键时所提供的P电子数，定义了一种原子点价公式，构建了分子连接性指数。

The atom ic formula is called atom for short in predicate calculus.

在谓词演算中，有时将原子公式简称为原子。

Prenex normal form of the first order logic propositional is the key to propositional logic. Generally, there are three steps to change get a prenex normal form: first of all get rid of the connection word; Secondly, make the negative word to the front of every atomic.

对于一阶谓词化为其前束范式问题，一般可以通过三个步骤完成，首先去掉逻辑式中的连接词；其次将否定词深入到各原子公式中；最后利用永真等价式将量词逐个移到式子的前部。

Treating the anharmonic terms of potential energy as perturbations,and employing the formulas for atomic displacements and Hamiltonian in phonon occupation number representation ,the formulas for thermal expansion coefficients of crystal nano-wires are derived and the numerical calculations are carried out in this paper.

将原子间相互作用势的非谐项作为微扰，运用声子数表象中的晶格原子振动位移和晶格振动哈密顿公式，推导了纳米晶体线的热膨胀系数公式，并进行了数值计算。

They weren't aggressive, but I yelled and threw a rock in their direction to get them off the trail and away from me, just in case.

他们没有侵略性，但我大喊，并在他们的方向扔石头让他们过的线索，远离我，以防万一。

In slot 2 in your bag put wrapping paper, quantity does not matter in this case.

在你的书包里槽2把包装纸、数量无关紧要。