查询词典 complemented lattice

In this article, 3-D Ising model is simulated by the means of Monte Carlo, such as the simple cubic lattice, the body-centered cubic lattice and the face-centered cubic lattice.

它是一种计算机模拟的方法，采用随机抽样，能够比较逼真地描述真实物理实验过程，精确性好。

According to the sizes and shapes of the zeolite pores, the local arrangement of adsorption sites within the pores in the LDFT models were simulated by the clusters of simple cubic lattice, face-centered cubic lattice, and body-centered cubic lattice structures.

根据沸石孔的尺寸和形状，LDFT模型将氢分子在孔中的吸附位分布近似为简单立方、面心立方和体心立方的团簇结构。

Moreover, the ultraproduct lattice implication algebras and the fuzzy ultraproduct of fuzzy subsets of lattice implication algebras are proposed by using the concept of ultrafilters, with the corresponding properties of fuzzy filters, fuzzy associative filters and fuzzy lattice implication subalgebras being discussed.

另外，文中借助于超滤概念提出了格蕴涵代数簇的超积及格蕴涵代数中模糊子集的模糊超积，并进而研究了模糊滤子、模糊关联滤子及模糊子格蕴涵代数的相应性质。

Some important transform coefficients of the original image are firstly mapped into the nearest neighboring lattice points by using lattice vector quantizer, then watermark signal is added to the lattice points.

基于格矢量量化的图像水印：本文提出了基于格矢量量化的多比特盲水印算法，不需要原始图象就可以实现水印信号的检测和译码。

If a phototypesetter is an intermittence type, the memory of controller is used only to buffer a section and the buffer of whole page lattice is unnecessary. If a phototypesetter is an uninterruption type, a section of lattice is only generated and buffered for every time and then be converted into black-white sectional information, whose information quantity is much less, by microprogram for buffering whole printed sheet. On scanning, the black-white sectional information is real-restored into lattice to output.

当照排机是&走走停停&类时，控制器的存储器只需缓冲一段，而不必缓冲整版点阵；当照排机是&不许停顿&类时，则用分段方法每次只生成一段点阵并缓冲，然后用微程序把这一段点阵转换成信息量少得多的黑白段信息作整版缓冲，扫描时在实时下把黑白段信息复原成点阵输出。

Based on the production of other researchers such as professor Xu Yang and professor Qin Keyun, this paper discusses the structure and properties of lattice implication algebra, tautologies in some lattice-valued systems, automated reasoning methods, lattice-valued propositional logic system.

本文的工作是在徐扬教授、秦克云教授等研究成果的基础上，对格蕴涵代数的性质、结构、格值命题逻辑系统中的重言式、自动推理方法、格值命题逻辑系统等进行了一些研究。

We note from the further studies that in the crystals, which sharing the similar crystal structures and coordinational environments, the magnitude of the Stokes shift of the luminescence of the dopant ion is in line with the average covalency of the replaced lattice site. This is because that the nature of Stokes shift is the energy transfer from the luminescent ion to the host lattice. The value of this energy is determined by the frequency of the host lattice in which the frequency is controlled by the chemical bond characters.

更深入的研究发现，在晶体结构和中心离子配位环境非常相似的系列晶体中，掺杂离子发射光的Stokes位移值与其所取代格位的平均共价性成正比的关系，这是由于Stokes位移的本质是发光离子在发光过程中向基质以光波辐射的形式传递能量，这一能量的大小是由基质的振动频率决定的，而基质的化学键性质恰恰决定着基质的振动频率。

Dynamic characteristics of Kiewitt cable-supported lattice shells ;2. Stability and static analysis of cable-supported lattice shells ;3. Taking Changzhou Gymnasium as example,some emulation calculations of tension construction of cable-supported lattice shells have been analyzed,especially in the analysis of hoop cable tension method.

以常州体育馆索承网壳钢屋盖为例，对索承网壳预应力拉索施工方法中的环索张拉法进行虚拟仿真计算，分析了由于环索连接节点的构造处理及环索张拉点数量的不同对大跨度椭球形索承网壳预应力建立效果的影响，提出了适合该类结构的环索预应力张拉方法。

This article introduced one kind of practical LED lattice display monitor the manufacture, considered to circuit element to be bought easily, has not used 8×8 the lattice photo tube module, but has used 64 high luminances photo tubes directly, composed 8 lines of 8 rows to shine the lattice.

本文介绍一种实用的LED点阵显示屏的制作，考虑到电路元件的易购性，没有使用8*8的点阵发光管模块，而是直接使用了64个高亮度发光管，组成了8行8列的发光点阵。

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

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

Although translator has turned from being a crystal ball by which the original culture can unrestrainedly penetrate to another crystal ball by which the target culture can freely traverse, the translator's personal embodiment, in the process of cognitive act, are still absent in translation studies. Translators are still subjects without body or simply disembodied subjects.

译者虽然由原语文化可以自由穿透的玻璃球变成了译语文化可以自由穿越的玻璃球，但译者认知过程中的个体体验在翻译研究中依然缺席，译者依然仅仅是一个没有躯体体验的主体。

Chillingly, he claimed our technology is 'not nearly as sophisticated' as theirs and "had they been hostile", he warned 'we would be been gone by now'.

令人毛骨悚然的，他声称我们的技术是'并不那么复杂，像他们一样，和"如果他们敌意"，他警告说，'我们将现在已经过去了。