查询词典 atomic

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公式中有一个通过了验证，则可得出该系统属性是一个空属性。

Xenon is the element with the larger atomic number in inert gase , atomic radius is bigger.

氙是惰性气体中原子序数较大的元素，原子半径较大。

The results show: the strongest bond is the Al-Al bond in the segregated cell without containing vacancy, where the Al atomic covalence radius is greater than that of Li atom in the cell; while the strongest bond is the Al-Li bond in the segregated cell containing vacancy, and the Al atomic covalence radius in the cell is less than that of Li atom. Since the difference of electronagativity between the Al and Li atoms is obvious, it is inclined to formed the Al-Li segregated cell of short range order structure in the condition of vacancy present. The short range order structure containing vacancy is probably the embryo or precursor structure of the metastable phase δ′(Al3Li). Because the strongest covalent bond in the Al-Li-vacancy segregated cell in alloy formed in quenching is the main strength reason for supersaturated solid solution of alloy. The bond net of succeeding precipitation of δ′(Al3Li) has the picture of anisotropic Al-Al bonding and the bond intensity enhanced. Since the δ′(Al3Li) is coherence with matrix, the bond net strength is enhanced by the precipitation of δ′(Al3Li) and so strengthen the alloy.

计算结果表明：不包含空位的偏聚晶胞的键络最强键为Al—Al键，其中Al原子的共价半径较Li原子的共价半径要大；而含空位的偏聚晶胞的最强键为Al—Li键， Al原子的共价半径要比Li原子的共价半径要小；在空位存在的情况下，由于Al原子与Li原子的电负性相差明显，促使Al和Li原子结合，倾向形成Al-Li短程序结构偏聚区，这种含空位的短程序结构很可能就是δ′(Al3Li)亚稳相的前兆结构和生长胚胎；由于Al-Li-空位有序偏聚晶胞的Al—Li键络比基体键络要强许多，因此，淬火过程中合金生成的Al-Li-空位偏聚晶胞对合金过饱和固溶体起主要强化作用；后续析出的δ′(Al3Li)亚稳相键络各项异性显著，键络强度明显提高；由于Al3Li与基体共格，其大量均匀弥散析出起到提升基体整体键络强度，同样对合金产生强化作用。

The results show: the strongest bond is the Al-Al bond in the segregated cell without containing vacancy, where the Al atomic covalence radius is greater than that of Li atom in the cell; while the strongest bond is the Al-Li bond in the segregated cell containing vacancy, and the Al atomic covalence radius in the cell is less than that of Li atom. Since the difference of electronagativity between the Al and Li atoms is obvious, it is inclined to formed the Al-Li segregated cell of short range order structure in the condition of vacancy present. The short range order structure containing vacancy is probably the embryo or precursor structure of the metastable phase δ'(Al3Li). Because the strongest covalent bond in the Al-Li-vacancy segregated cell in alloy formed in quenching is the main strength reason for supersaturated solid solution of alloy. The bond net of succeeding precipitation of δ'(Al3Li) has the picture of anisotropic Al-Al bonding and the bond intensity enhanced. Since the δ'(Al3Li) is coherence with matrix, the bond net strength is enhanced by the precipitation of δ'(Al3Li) and so strengthen the alloy.

计算结果表明：不包含空位的偏聚晶胞的键络最强键为Al-Al键，其中Al原子的共价半径较Li原子的共价半径要大；而含空位的偏聚晶胞的最强键为Al-Li键，Al原子的共价半径要比Li原子的共价半径要小；在空位存在的情况下，由於Al原子与Li原子的电负性相差明显，促使Al和Li原子结合，倾向形成Al-Li短程序结构偏聚区，这种含空位的短程序结构很可能就是δ'(Al3Li)亚稳相的前兆结构和生长胚胎；由於Al-Li-空位有序偏聚晶胞的Al-Li键络比基体键络要强许多，因此，淬火过程中合金生成的Al-Li-空位偏聚晶胞对合金过饱和固溶体起主要强化作用；后续析出的δ'(Al3Li)亚稳相键络各项异性显著，键络强度明显提高；由於Al3Li与基体共格，其大量均匀弥散析出起到提升基体整体键络强度，同样对合金产生强化作用。

This works provide necessary theoretical direction and useful database to the Atomic Vapor Laser Isotope Separation , which is vigorous in the interaction between laser field and atomic media. Additionally, the technology of controlling electromagnetic pulse can be utilized for optical communication, real time monitor, manipulation of chemical reactions, and phase-sensitive imaging.

论文的工作有助于对光与物质相互作用的物理过程的深入理解，为原子法激光同位素分离工程提供必要的理论指导；同时，脉冲控制技术具有广泛的应用前景，可用于光通讯、实时监控、化学反应的操纵以及生物的相位成像等多方面。

032 The way in which objects hang together in the atomic fact is the structure of the atomic fact.

2.032 在原子事实中，对象之间相互连接的方式，即是原子事实的结构。

I could easily make the jump to a switching pattern in the atomic valences or atomic structure.

我可以很容易使跳到开关格局价态原子或原子结构。

Now, thanks to advances in modern atomic theory, the atomic basis of these divine symbols can be appreciated.

现在，感谢现代原子理论前沿，可以欣赏这些神性符号的原子根据。

Various schemes of atomic guiding are classified and some applications of atom-guiding technology are introduced. We also introduce atomic beam splitter in details, which is one of important elements of atom optics.

本文就各种不同的原子激光导引和磁导引方案进行了分类与综述，并就中性原子导引技术的应用及原子光学的重要元器件之一"原子分束器"作了较为详细的介绍。

Atomic ash blows the discretion of besmear quality, the flatness that installs to besmear has very big effect, friend should have blown atomic ash, lay good foundation to raise the flatness of film.

原子灰刮涂质量的高低，对涂装的平整度有很大的影响，故要把原子灰刮好，为提高涂膜的平整度打好基础。

That snake Alaric named Archbishop...

庇护。。。那个毒如蛇蝎的Alaric被命名为大教主。。。

You have done lots of magical things to be amazed at.

你做了很多神奇的事物感到惊讶。