查询词典 atomic lattice

Base on the established lattice-valued logic system with truth-value in lattice implication algebra, lattice-valued resolution method of which are discussed.

本文在已构建的基于格蕴涵代数的格值逻辑系统的基础之上，探讨了其中的归结推理的理论与方法。

The study of lattice-valued resolution principle based on lattice-valued logic with truth-value in lattice implication algebras Because of it concise, resolution principle is an implication direction in automated theorem proving, and it will be of significance to establish resolution principle based on non-classical logics.

基于格蕴涵代数的格值逻辑中归结推理的理论与方法研究归结原理由于其简洁性一直是自动定理证明中一个受到广泛重视的研究领域，因而建立基于非经典逻辑的归结方法对于非经典自动定理证明有着重要的意义。

In the second chapter we introduced the lattice vibration of the integrated lattice, discussed the one dimensional monoatomic chain and one dimensional diatomic chain, and drew out clear picture of the lattice

对一维单原子链和一维复原子链的情况分别进行讨论，给出了明晰的晶格振动图像。

In this thesis we have studied the lattice vibration of one dimensional atomic chain, researched the lattice vibration and the location of the localized modal while adding the impurity atom.

本文主要对一维原子链的晶格振动以及加入杂质原子后晶格的振动情况与局域振动模的分布情况进行了细致的研究。

Then we deeply studied the completeness of LP . Consequently, we established:(1) The completeness theorem of LP with truth-value in finite Lukasiewiczchain;(2) The completeness theorem of LP with truth-value in complete and atomic lattice implication algebras;(3) The completeness theorem of LP with truth-value in injective lattice implication algebras.

建立了：（1）基于Lukasiewicz有限链的格值命题逻辑系统LP的完备性定理；（2）基于完备的且原子的格蕴涵代数的格值命题逻辑系统LP的完备性定理；（3）基于内射的格蕴涵代数的格值命题逻辑系统LP的完备性定理。

It is shown that the electron density of each lattice point is the same although the electron state density varies with the lattice point.And the chemical potential is equal to the atomic energy level as well.

计算结果表明，虽然各态的电子态密度随格点位置变化而变化，但在任意温度情形下，各格点处的电子密度是相同的，纳米晶体颗粒电子的化学势等于格点原子能级。

The filled skutterudite compound possesses bcc structure as evidenced by electron diffraction analysis. Powder X-ray diffraction data of filled skutterudite samples were characterized by Rietveld method for some crystallographic parameters such as lattice constant, atomic occupation, atomic position, etc.

另外，通过对化合物电子衍射的分析证实了〓化合物是一种具有bcc结构的化合物；运用Rietveld方法对填充skutterudite化合物X衍射谱线进行了分析，对化合物的晶格常数、原子位置的占有率以及原子位置坐标等晶体学参数进行了表征。

The results show that, for the elasto-plastic contact of tip-substrate approach and separation process, the material plastic yielding in the atomic level is still governed by the von Mises criterion. For the adhesion of flat-ended wedges, continuum mechanics can be still applied down to a few lattice constants within the contact region, and give reasonable results, apart from the discrepancies near the contact edges. Moreover, adhesion hysteresis occurs during unloading due to the atomic steps, where the unloading curve does not coincide with the loading one. This in turn supports the presumption proposed by Pollock for the adhesion of stepped spheres.

本文首先对针尖—基体模型的弹塑性接触机理进行了深入研究，指出在原子水平上材料的塑性屈服仍由Von Mises准则控制；对平底锥冲头粘着接触的模拟表明，除了在接触区边缘附近有一定差别外，接触力学方法在接触区内几个晶格常数范围内仍能给出令人满意的结果；由于原子台阶效应，加载与卸载曲线不重合，出现粘着滞后，证实了Pollock关于具有纳米阶梯结构的球体粘着滞后现象的推测。

In this paper, quantum theory, the use of time evolution operator obtained by the first method for the system density operator of any time, and atomic reduced density matrix, and the atomic dipole squeezing conditions, numerical study of the mixed state -type atom of the three-level with single-mode optical field coherent interaction of atomic dipole squeezing effect.

本文采用全量子理论，运用时间演化算符方法先求出所求系统任意时刻的密度算符，和原子的约化密度矩阵，以及原子偶极压缩的条件，数值计算地研究了混合态型3能级与单模相干光场相互作用时原子的偶极压缩效应。

Furthermore, the metallic glass samples are prepared by vacuum injection method and the rationality of above-mentioned relationships and RBF models is directly verified. It is shown that there are extremum phenomena between the Rc andΔd ,Δe and v respectively. However, the positions of the extremum are different from different alloy systems and the extremum phenomena may be related to the optimum composition region and the optimum additive quantity. More elements in the alloy are in favor of the improvement of the GFA. And as for the high GFA alloy, the atomic percentage, atomic radius difference and atomic electronegativity difference are harmoniously matched.

d、Δe和v与临界冷却速度Rc的关系中都出现极值现象，对于不同的合金体系，极值出现的位置不同；金属玻璃的最优成分范围以及各种添加元素的最佳添加量行为，可能与此极值现象相关；合金中包含的组元数目多有利于提高其玻璃形成能力，玻璃形成能力强的合金，其各个组元的原子百分含量、组元原子半径差及其电负性差之间的搭配是很和谐的；融合建模的合金系之间包含的主要组元数量和种类越相近，所建立的模型的可靠程度越高，其预测结果与实测结果越吻合。

Finally it offers the analysis of the fault-tolerance system as well as its test verification.

这样，运行于空间环境中的系统的设计目标就是在保证系统实时性

However, it is still difficult to find out the real reason of the increase of the keratinized gingiva during the orthodontic extrusion whether it is due to the proliferation of the gingival tissue or to its elastic nature, that is because the proliferation of the fibroblasts as well as the connective tissue changes in volume and the intra-fibers spaces were all immeasurable in most of the studies.

然而，仍然难以找到真正的原因增加的角化牙龈在正畸挤压它是否是由于扩散的牙龈组织或其弹性性质，这是因为增殖的成纤维细胞以及作为结缔组织的变化量和内部纤维空格都是不可估量的，大多数的研究。