查询词典 lattice bracing

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.

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

The study of lattice-valued resolution principle based on lattice-valued logic with truth-value in lattice implication algebras Because of it concise, resolution principle is an implication direction in automated theorem proving, and it will be of significance to establish resolution principle based on non-classical logics.

基于格蕴涵代数的格值逻辑中归结推理的理论与方法研究归结原理由于其简洁性一直是自动定理证明中一个受到广泛重视的研究领域，因而建立基于非经典逻辑的归结方法对于非经典自动定理证明有着重要的意义。

In the second chapter we introduced the lattice vibration of the integrated lattice, discussed the one dimensional monoatomic chain and one dimensional diatomic chain, and drew out clear picture of the lattice

对一维单原子链和一维复原子链的情况分别进行讨论，给出了明晰的晶格振动图像。

This building was built in 2003 and is a 1-story steel frame structure with steel cross bracing made of lattice plates.

这座厂房是2003年兴建的单层钢结构厂房，采用了钢网格斜撑。

In this paper, the determinant and adjoint for a lattice matrix are studied, and some properties of the determinant and adjoint for lattice matrices are given.

研究了格矩阵的行列式与伴随矩阵，给出了它们的一些代数性质，同时给出了由一个格矩阵构造一个传递矩阵的方法。

Lattice implication algebra is an algebraic system combinating lattice with implication algebra.

格蕴涵代数是徐扬教授为研究格值逻辑把格与蕴涵代数相结合提出的一个代数系统。

The lattice is a kind of important algebraic structure. In our life, many phenomena can be described by lattice, especially non-comparability.

格是一类重要的代数结构，现实世界中的很多现象都可以用格来刻画，尤其是不可比较性。

Lattice is an important kind of algebraic structure. In our life, many phenomena can be described by lattice, especially non-comparability.

格是一类重要的代数结构，现实世界中的许多现象都可以用格来刻画，尤其是不可比较性。

The angle of every diffraction line of ZSM-5 molecular sieve determinedby X-raydiffraction, we obtained accurate lattice constant by using the least square method, and SiO_2/Al_2O_3 ratio of ZSM-5 molecular sieve according to empirical formula of lattice constant connectedwith SiO_2/Al_2O_3 ratio .

用x射线衍射最小二乘法测定ZSM－5分子筛的晶胞参数，经ZSM－5分子筛硅铝比与晶胞参数关联的经验公式，得到ZSM－5分子筛的硅铝比。

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.

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