原子公式是语句，它们能够像命题一样用逻辑连接词结合起来。
The atomic formulas are statements, and they can be combined by logical connectives like propositions.
一个谓词名，后跟以括在圆括号中的一个变元表，称为原子公式。
A predicate name, followed by an argument list in parentheses, is called an atomic formula.
该理论掌握了亚原子粒子在强大的加速器的作用下可以达到接近光速的速度这一表现行为。相对论的公式也预见了核弹中质(量)能(量)转换的现象。
It governs the behaviour of subatomic particles zipping around powerful accelerators at close to the speed of light and its equations foresaw the conversion of mass into energy in nuclear bombs.
本文给出了一个计算原子共价半径的经验公式，其计算结果与实验值基本相符。
In this paper, we give a experiential calculating formula of atomic covalent radius, the results are satisfied.
该理论掌握了亚原子粒子在强大的加速器的作用下可以达到接近光速的速度这一表现行为。相对论的公式也预见了核弹中质能转换的现象。
It governs the behaviour of subatomic particles zipping around powerful accelerators at close to the speed of light and its equations foresaw the conversion of mass into energy in nuclear bombs.
给出了阶梯型三能级原子系统在相等偏调情况下的运动主方程，得到了双光子增益系数公式。
The master equation of a three-level atomic system interacting with a two-mode field at two-photon resonance is given. The two-photon gain coefficient formula is deduced.
从比耐公式出发，结合玻尔———索末菲量子化条件，对类氢原子电子的量子化椭圆轨道，给出了一个简化的推导，并在此基础上，对轨道的稳定性进行进一步的讨论。
A quantized elliptical orbit of electron in hydrogen_like atom is concisely derived from Binet equation with the aid of Bohr_Sommerfeld s quantized condition.
此公式高度地反映了所有原子核内质子和中子分布的整数规律。
Above formula highly reflect the integer law of protons and neutrons distributing in all kinds of atomic nuclei.
对等温过程中的临界时间公式进行了理论分析与实验验证，证实了临界时间公式用于预测溶质原子非平衡晶界偏聚量达到极大值的恒温时间的准确性。
Theory analysis and experiment had been done for confirming the veracity of the critical time formula used for forecasting the holding time at which the segregation concentration reaches a maximum.
文末，还将所得公式与双原子分子非谐振运动的能级公式作了对比。
In the end, the formulas obtained by the authors are compared with the energy let 'el of non-harmonic vibration of diatomic molecule.
本文提出了一种从正负例和背景知识学习含有约束原子的一阶谓词公式的归纳逻辑程序设计方法。
In the field of Machine Learning, this thesis is presents new method to learn constraint atoms from positive and negative examples in first-order predicate, based on developed ILP system.
在由S和D核子关联对构成的原子核集体运动态中，存在由辛弱数混合造成的伪态成份。 给出了计算这种伪态成份的公式，并进行计算和讨论。
The spurious components due to the seniority mixing in the collective states composed of the S and D nucleon pairs are expressed and evaluated.
讨论了贯穿轨道对碱金属原子双层能级间隔的影响 ，得出一个双层能级间隔的波数公式 ；
The energy levels of alkaline metal atom spectrum are obtained and the influences of quantum number loss on atomic energy level are also discussed.
讨论了贯穿轨道对碱金属原子双层能级间隔的影响 ，得出一个双层能级间隔的波数公式 ；
The energy levels of alkaline metal atom spectrum are obtained and the influences of quantum number loss on atomic energy level are also discussed.
应用推荐