查询词典 atomic core

Alaska's Exon Valdez must count somewhere, and where was the debris of NM during atomic bormb production dumper, or the Chicago atomic pile.

阿拉斯加的外显子尔迪兹必须指望某处，并在废墟中的原子bormb在新墨西哥州生产自卸车，或芝加哥原子桩。

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替换，只需对原子命题替换，这样检验的次数与原子命题的个数呈线性关系。

Logical atomism suggests that proposition or sentence is the picture of actual being or existence, and atomic proposition is the picture of atomic fact, and molecular proposition is the picture of complicated fact, while language is the big picture of the world.

逻辑原子主义认为，命题是实在或事态的图像：原子命题是原子事实的、分子命题是复杂事实的、语言则是世界的总图像。

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.

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

But this is impossible, as long as it is engaging in a market economy, there are risks in any operation.

但是，这是不可能的，只要是搞市场经济，是有风险的任何行动。

We're on the same wavelength.

我们是同道中人。