查询词典 atomic lattice

Tautologies and F-Tautologies in some lattice valued logic systems whose truth-value lattice are products of lattice implication algebra are discussed. As examples,α-Tautologies and F-Tautologies in lattice valued logic systems L〓P and L〓P are discussed in detail.

本文分析讨论了基于格蕴涵代数直积的格值逻辑系统中的α-重言式和F-重言式，作为两个实例，详细讨论了两个格值逻辑系统L〓P和L〓P中的重言式和F-重言式的结构。

With the background of application of fuzzy control techniques to a rather typical complex control system, gas-burning water heater, theories, applications and techniques of fuzzy information processing have been studies. The obtained results include:(1) For lattice-valued logic systems based on lattice implication algebras, two dynamical lattice-valued propositional logic Lvpl and lattice-valued first-order logic Lvfl have been constructed, and some theories and methods of fuzzy reasoning have been proposed based on fuzzy set theory and multi-valued logic.(2) Some methods for designing and optimizing fuzzy control systems and some corresponding control algorithms have been proposed, and some new theories and methods for fuzzy control rule base and fuzzy control system performance analysis have been introduced.(3) 6 fuzzy control systems have been developed, and some difficult problems on craft of manufacture, batch consistency, quality stability, installation and main

本项目以模糊控制技术用于燃气热水器这一较典型的复杂控制系统为应用背景，在模糊信息处理的理论、应用和技术三个层次开展了相关的研究工作：(1)进一步研究了基于格蕴涵代数的格值逻辑系统，建立了两种动态的格值命题逻辑Lvpl和格值一阶逻辑Lvfl，并基于模糊集理论和多值逻辑提出了多种模糊推理的理论与方法；(2)提出了模糊控制系统的多种设计及优化方法与控制算法，建立了模糊控制规则库和模糊控制系统性能分析的一些新理论与新方法；(3)研制完成了6个模糊控制系统，还特别解决了模糊控制燃气热水器和智能控制燃气热水器在产业化过程中的生产工艺、批量一致、质量稳定、安装维修和性能价格等一系列难题，做好了批量生产前的技术准备，现已小批量生产。

As a special case, we studied the resolution-like procedures of lattice-valued Horn-clause with truth-value in lattice implication algebra, and discussed the lattice-valued Prolog language based on that kind of lattice-valued Horn-clause.

作为特殊情形，特别研究了基于格蕴涵代数的格值Horn子句的类归结方法，并对建立其上的格值Prolog语言作了一定的探讨。

In this we have introduced the application of even formula in making certain equivalent double electrons′ atomic states and the generic way of making certain non-equivalent double electrons′ atomic states,and have got the quantificational connection between atomic states′ number and atomic orbital azimuthally quantum number.

偶数定则是确定非同科双电子形成的原子态的一般方法，根据偶数定则得到了二价原子的原子态数与原子轨道角量子数之间的定量关系；并用数学归纳法证明了有关结论。

A metastable helium atomic beam effused out of atom source is firstly cooled transversally by laser. This well-collimated atomic beam traveling through the light standing-wave whose direction is perpendicular to atomic beam is quenched, and channeling effect happens in atomic density distribution.

亚稳态原子束从原子源喷出后首先对其进行横向激光冷却，准直后的原子束穿过与之垂直的激光驻波场时发生淬火过程，原子的密度分布出现沟道化效应，给出基于光掩模制作纳米图形的基本原理、理论分析及模拟结果。

The breaking of gravity wave accelerates the downward transport of atomic oxygen, some smaller-scale structures appear on the horizontal distribution of atomic oxygen number density , and other chemical species are also affected due to the chemical reaction with atomic oxygen and the propagation of gravity wave. The OH airglow volume emission rate has an obvious response to the breaking gravity wave and atomic oxygen. The nonlinear propagation of smaller vertical wavelength gravity waves can induce the double-peaked structure in the OH airglow. The results can explanation some sporadic measurements of OH airglow and can provide a good indication for studying the characteristic of nonlinear gravity wave by using OH airglow measurement.

在重力波的传播过程中，氢氧大气成分的水平和垂直分布均受到了不同程度的影响，以氧原子的响应最为明显，而其中重力波破碎在氧原子水平分布上的反应则是非线性重力波过程的一个重要表现；另外，分析显示，重力波的非线性传播对OH气辉的峰值分布由明显影响，小尺度重力波的传播有时会引起OH气辉出现奇异的双峰分布，重力波的破碎现象也可以从对气辉的观测中反映应出来，这对利用气辉观测研究重力波传播特性有非常重要的指示意义。

Lattice implication algebra is a kind of algebraic structure combined with lattice and implication algebra. It is an important method in the research of lattice-valued logic.

格蕴涵代数是将格与蕴涵代数结合起来的一种代数结构，是研究格值逻辑系统及其性质的一个重要途径。

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

Putt your way through 36 fun-filled holes of minigolf on 3D designed courses with elevated greens, bunkers, bridges and water hazards, among other crazy obstacles.

您的推杆方式，通过36个有趣的填孔迷你的三维设计的课程，以提升绿党，掩体，桥梁和水的危害，除其他疯狂的障碍。

Some participles can be used either as attributes or as predicatives.

有些分词既可当定语用，也可当表语用。