分划

And can be used in the stripe precise inspection of code-bar invar grade rod.

可用于条码型铟瓦水准尺的分划精度检测。

Geodetic levelling should be done with staves in which the divisions are marked on a strip of invar.

大地水准测量必须使用分划刻在因瓦带上的水准标尺。

WT9.BZ: Theory of generalized tautology in logic system , W and W k is generalized and applied to Lukasiewicz logic system. The main results are as follows: congruence about on set of logic formulas F has been obtained in the system; it is proved that in this system, for any irrational number α, there does not exist accessible α-tautology; and for any real number α, there does not exist accessible α+-tautology; and the relation theorems have been given between categori...

将逻辑系统 W ，W ，Wk 中的广义重言式理论进行推广并应用到Lukasiewicz逻辑系统中，主要结果是：得到了逻辑公式集F在该系统中关于﹁同余的分划；证明了在该逻辑系统中对每个无理数α而言，不存在可达α重言式，且对每个实数α而言，不存在可达α+重言式；给出了广义重言式、广义矛盾式各类之间的关系定理。

The classification of itemization of meanings in Chinese Dictionary still faces some problems.

《汉语大字典》的义项，在分划方面还存在一些处置不大妥当的问题；从说解方面看，则主要有七类疏失情况。

According to the method, an initial classification was firstly performed by use of the conventional transitive closure method, and then an initial division matrix was constructed. With the weighted fuzzy ISODATA method for iterative computation of the related data, the data were classified effectively.

该方法首先利用传统的传递闭包方法得到1个初始分类，并在此基础上提出初始分划矩阵，根据考虑权重因子的模糊ISODATA方法对相关数据进行迭代计算，从而对数据进行有效分类。

Guided by the design theory and methodology of the performance requirement,an improvement process of lineation device has been analyzed.

依据性能需求理论和方法，对于材料实验室常用的分划器改进过程做了分析。

Fuzzy logic ; proposition calculus ; accessible α+ tautology ;α contradiction ; upgrade algorithm ; partition

模糊逻辑；命题演算；可达α~+-重言式；α-矛盾式；升级算法；分划

In Chapter 4, a symmetric triangular partitioned secant method for solving large scale sparse unconstrained optimization problems is constructed, which is a combination of a secant method and a finite difference method, and depends on a consistent partition of the columns of the lower triangular part of the Hessian matrix; it reduces the number of gradient evaluations required by Powell and Toints algorithm (the indirect lower triangular substitution algorithm) by one at every iterative step.

此算法是基于稀疏Hesse阵的下三角部分的列的相容分划的基础上建立起来的，把割线法和有限差分法有机的结合在了一起，在每次迭代中，把由Powell和Toint的算法所需要的梯度赋值次数减少了一。

Meanwhile the standard monadic second order logic was substituted by a weaker logic framework: positive monadic partition logic.

同时，标准的existential monadic二阶逻辑也被一种更弱的规范框架——positive monadic分划逻辑所取代。

In order to get the largest possible field of view, low magnification eyepiece multi-use wide-angle eyepiece, depending on the field in general is greater than 3 °, FPA Office for aiming with the reticle with its optical axis to remain parallel with the primary mirror optical axis.

通常为口径小于10厘米的折射望远镜。为了得到尽量大的视场，目镜多选用低倍率的广角目镜，视场一般大于3°，焦平面处装有供瞄准用的分划板，它的光轴要与主镜光轴保持平行。

Do you know, i need you to come back

你知道吗，我需要你回来

Yang yinshu、Wang xiangsheng、Li decang,The first discovery of haemaphysalis conicinna.

1〕 杨银书，王祥生，李德昌。安徽省首次发现嗜群血蜱。