查询词典 lattice bracing

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语言作了一定的探讨。

All steel framed structures shall be designed as "rigid frame"(AISC Specification Type 1) or "simple" space frames (AISC Specification Type 2), utilizing single-span beam systems, vertical diagonal bracing at main column lines and horizontal bracing at the roof and major floor levels.

所有的钢框架结构应该设计成"钢架"或者"简易的"空间框架，采用单跨梁系统，在柱杆线上使用对顶撑杆并在顶部和主要的楼板平面上使用水平联条。

Said simple building comprises building body, roof and pool inside room; the lower building body is complete closed, the upper building body is provided with pillar on lower building body, and is circled with sun-shading net around pillar, the outside of sun-shading net is equipped with movable curtain; the roof is straw roof and has two sides along ridge; the pool inside the room comprises cultivation pool and laying-up basin, each cultivation pool is provide with a overflow bench, the bench surface is equipped with a cushion and the cushion is fixed on slope bench with a plurality of bracing column of same height, and a bamboo curtain is placed on the bracing column for young wood frog rest.

该简易房，包括房体、屋顶和室内池，其下房体为全封闭体；上房体是在下房体上设有房柱，再用遮阳网沿房柱排列的走向围拢，在遮阳网的外面还设有活动帘；屋顶为稻草屋面，沿屋脊坡向两面；室内池包括养殖池和蓄水池，每一个养殖池中均设有漫坡台。坡台面上设有软垫，并有相同高度的多根支撑柱钉穿过软垫固定在坡台上，支撑柱钉上再放置供幼蛙栖身的竹帘。

This paper introduces the global stiffness,strength and stability of bracing structure with long span,pointing out that the control of bracing structure's deflection and elastic module can make the arch ring fit the line of pressure and arch axis and can guarantee the stability of bridge structure.

本文介绍了大跨度支撑结构的整体刚度、强度和稳定性，控制支撑的挠度和弹性变量可使拱圈符合设计压力线与拱轴线，保证桥梁结构的稳定性。

Finally, it has finally found out good means: Bites with the mouth , again makes an effort toward the external bracing, attempted to take out the fat, but unexpectedly this is very long, pulls time does not help matters, the great tit uses its foot, stepped on with the foot already draws in , again used the mouth to bite the rope toward the external bracing, pulled a section, stepped on a section with the foot.

最后，它终于想出了一个好办法：用嘴咬住细绳，再用力往外拉，企图把肥肉取出来，不料这根细绳很长，拉一次还无济于事，大山雀就动用它的脚，用脚踩住已经拉上来的细绳，再用嘴咬住绳往外拉，拉一段，用脚踩一段。

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理性行为公理中独立性公理和连续性公理的相容性问题，为公理弱化奠定理论依据

The witness also told the jury at the Royal Courts of Justice in London that he saw a paparazzo fighting with a member of the public who was trying to stop him taking pictures in the minutes before the emergency services arrived.

他还告诉在伦敦皇家法庭的陪审团，在急救服务到来之前，他当时看见一个狗仔队正和一群阻止他拍照的人打架。

The entire N／C program on a tape is made up of an accumulation of these successive data blocks.

纸带上的整个数控程序由这些连续数据单元连接而成。