查询词典 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 种主要岩性的岩体变形试验曲线特征进行分析，认为：厚层岩屑砂岩的试验变形量主要来自于岩石晶格错动变形，长石石英砂岩的试验变形量主要为岩石内孔隙和空隙变形以及岩石晶格错动产生的变形，而层理较发育的薄层黏土岩和粉砂岩的试验变形量主要由层间压缩变形、岩石内孔隙和空隙变形以及岩石晶格错动产生的变形共同组成。

In this section, we also give a conjecture: A finite lattice is isomorphic to the lattice of flats of a finite poset matroid if and only if it is a semi-modular lattice.

本节的一个中心问题是提出了一个猜想：一个有限格L同构于一个有限偏序集拟阵的闭集所构成的格当且仅当L是一个半模格。

The production moved off-Broadway to New York City, where she won the Joseph E. Calloway award for her performance, and was profiled in American Theater Magazine as one of ten young theater artists to watch.

生产提出过百老汇的新的纽约市，在那里她赢得了约瑟夫calloway奖，她的表现，并于异型在美国的战区杂志之一， 10战区的青年艺术家观赏。

It's a risk tradeoff, and I believe that adding test support code usually wins.

这是一个风险的权衡，我相信添加测试代码通常会占上风。