查询词典 modular lattice

A complete lattice L is a quasicontinuous lattice iff the lattice of all Scott open subsets of L is hypercontinuous and hypercontinuous lattices are continuous lattices which are Hausdorff in their interval topology.

Heckmann从幂domain的构造角度研究了拟连续domain并给出了拟连续domain的拓扑式刻画(见[25])，超连续格具有良好的性质，如可用有限正则关系进行表示，有纯序论的刻画等。

Analyze the nature and characteristic of lattice-ordered structure,andstudy the relation between lattice-ordered preference and the incompleteinformation set of decision-makers;By discussing the relation betweenlattice-ordered preference structure and independence axiom and continuityaxiom,study whether or not independence axiom accords to continuity axiomwith lattice-ordered preference structure,which is for setting up theoreticalbase for weakening the rational behavior axioms.

分析了偏好关系的格序特征，并研究了格序偏好关系与决策人决策信息集不完备性之间的关系；从理论上研究和论证格序偏好关系与VonNeumann-Morgenstern理性行为公理中独立性公理和连续性公理的相容性问题，为公理弱化奠定理论依据

In this dissertation,Von Numann and Morgenstern Axioms are analyzedagain at first.It is pointed out not only that preference relations are often latticeordered,but also that the transitivity axiom,along with the independence axiomand the continuity axiom is still rational to a high degree,then a new set ofaxioms for lattice-order decision-making behavior is established.At last,relatedsubjects based on lattice in preference theory,utility theory,decision-makingmethods,multiattribute decision-making,and group decision-making are studied.In this way,the lattice-order decision-making theory is framed.Main creativeresults are obtained as follows

本论文重新审视了Von Neumann-Morgenstern理性行为公理体系，对以前学者较少涉及到的连通性公理提出了质疑，指出偏好关系具有格特征，而传递性公理、独立性公理以及连续性公理在很大程度上仍具有合理性，进而创建了格序决策行为公理体系，研究了基于格的偏好理论、效用理论、决策方法、多目标决策以及群决策中的相关问题，初步构建了格序决策理论框架，主要研究成果如下

The application of the lattice Boltzmann method in unsteady open channel flows was studied in detail in the paper. An existing lattice BGK model was mended; For the problem of negative local equilibrium and evolutionary distribution, we proposed a lattice Boltzmann model based on cell-population equilibrium, which is a direct non-negative approximation to the continuous Maxwell distribution. The model reduces the transport and collision, two basic evolution steps in the LB model, to transport of the non-equilibrium distribution.

本文系统的研究了格子Boltzmann 方法在明渠非恒定流中的应用问题，改进了一个现有的LB 模型，数值实验表明此改进是有效的；在平衡态分布函数及分布函数的非负性问题上，作者提出了一个基于单元均衡的格子Boltzmann 模型，通过直接对Maxwell 分布函数的离散化实现对速度分布函数的非负离散，这种方法将传统模型演化过程中的碰撞和输运两个步骤直接表现为粒子的输运。

When a new attribute is added in the concept lattice, the conclusion that there exists one-to-one mapping between new nodes in new concept lattice and corresponding immediate predecessor in old concept lattice is obtained.

当添加属性时，得到了新节点与它在原概念格中的直接父节点是一一对应的结论。

Consisting of the protracting graph of hydrogen-like atom"s angle distributing, computer simulation of the symmetry of molecular orbital and chemical reaction mechanism, showing the molecular point group and symmetry element, computer simulation of molecular vibration, Bravias"s crystal lattice and their transforming, extracting of plane periodic lattice, extracting of solid periodic lattice, close packing of isometrical pellet and the structure of simple mental substance, close packing of unequal pellet and crystal structure of representative ionic crystal, Computer Simulation of Phase Analysis by X-ray Diffraction.

内容包括类氢原子角度分布图的绘制，分子轨道对称性和反应机理的微机模拟，分子点群和对称元素显示，分子振动运动的微机模拟，布拉维晶格和晶格转化，平面点阵抽取，立体点阵抽取，等径网球的密堆积和金属单质结构，不等径圆球密堆积和典型离子晶体结构，X射线多晶衍射的微机模拟十个子模块。

A font is read at first to complete decoding; vector font is converted into lattice font, while non-vector font is converted into a standardized bitmap; moreover, the standardized bitmap obtained through decoding is stored as a quick compression lattice font file; then, lattice matrix transformation is realized through a word stock engine control module, a font information extraction module, a font carving frame core module and a font presentation module; finally, frame depiction is finished.

一种在终端上实现带边框字体的系统与方法，包括利用字体转换模块进行字体转换；即首先读取字体文件，进行解码；对于矢量字体，先转换为点阵字体，对于非矢量字体，转换为规范化的位图，把解码得到的规范化的位图，保存为快速压缩点阵字体文件；然后通过字库引擎控制模块，字体信息提取模块，字体雕刻边框核心模块和字体呈现模块实现点阵矩阵变换，刻画边框。

The compound lattice of an operation right lattice and an authorization level lattice are built.

深圳湾管制站是首个采用一地两检过关模式的管制站。

Through the analysis of characteristics in curve of deformation tests on the four kinds of rockmasses such as claystone, siltstone, feldspar-quartz sandstone and lithic sandstone underlain the dam foundation of Tingzikou Hydropower Station, it is thought that: the test deformation of thick lithic sandstone is mainly caused by slippage deformation of rock crystal lattice ; the test deformation of feldspar-quartz sandstone is mainly from small crevices in rock, compressive deformation of rock small holes and slippage deformation of rock crystal lattice; and the test deformation of thin layer claystone in which horizontal layer is developed and siltstone is mainly from compression deformation in interlayer, small crevices in rock, compression deformation of rock small holes and slippage deformation of rock crystal lattice.

通过对亭子口水利枢纽工程坝基下卧的黏土岩、粉砂岩、长石石英砂岩和岩屑砂岩等 4 种主要岩性的岩体变形试验曲线特征进行分析，认为：厚层岩屑砂岩的试验变形量主要来自于岩石晶格错动变形，长石石英砂岩的试验变形量主要为岩石内孔隙和空隙变形以及岩石晶格错动产生的变形，而层理较发育的薄层黏土岩和粉砂岩的试验变形量主要由层间压缩变形、岩石内孔隙和空隙变形以及岩石晶格错动产生的变形共同组成。

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.

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

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'.

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