形式

I want, on the one hand, to explain what the general propositional form is by analyzing "logical constants"; on the other hand, to reveal the tautological character of the logical proposition.

逻辑形式是命题摹绘实在而必须与实在共同具有的东西，也就是实在的形式。

It has been shown that tautomerism has a significant effect on the QSAR modelling, and the models obtained from 1H-indazol tautomeric form always represent higher quality than those from 2H-indazol tautomer, which indicates that 1H-indazol tautomer of the indazolyl urea is probably the active form when binding with the TRPV1 channel protein. It has also been demonstrated that the theoretical descriptors derived from electrostatic potentials on molecular surface together with the GETAWAY descriptors can be well used to express the quantitative structure-activity relationship of indazolyl urea TRPV1 channel antagonists.

结果表明：互变异构对QSAR结果具有一定的影响，采用1H-吲唑异构形式得到的模型，在质量上均高于采用2H-吲唑异构体，预示着1H-吲唑异构体更有可能是吲唑脲类分子的活性异构形式；分子表面静电势参数结合GETAWAY参数可以较好地用于描述TRPV1通道拮抗剂分子结构与其活性间的定量关系。

The forms of tax law and the way of their mutual organic connections are the basic content of the tax law system.

税法体系是指由不同形式的税法规范所构成的有机联系的统一体，税法形式及其相互间有机联系的方式是税法体系的基本内容。

Transport of commercial aviation carry is mixed frequently with connecting all right taxiplane form operation, blame business aviation carries transport goes to exist with the form such as official flight, private flight.

商业航空运输运行以通勤和出租飞机形式运营，非商业航空运输运行以公务飞行、私人飞行等形式存在。

Firstly, the system of coupled first-order differential equations of the generalized telegrapher's equations was converted to a system of second-order differential equations.

首先，将时域耦合波方程组的关于轴向z的一阶关联偏微分方程组形式化为二阶偏微分方程组形式；然后采用时域有限差分法"预测-校正"方式对其进行求解。

According to the discrete material balance equation of control volume,a new numerical scheme based on PEBI grid and CVFE grid is provided,where absolute permeability is in tensor form.

根据所建立的单个控制体离散形式的物质平衡方程，基于 PEBI和 CVFE网格，采用任意形式的渗透率张量，建立了相应的数值算法。

According to the discrete material balance equation of control-volume,a new numerical scheme based on PEBI grid and CVFE grid is provided,where absolute permeability is in tensor form.

摘 要：根据所建立的单个控制体离散形式的物质平衡方程，基于PEBI和CVFE网格，采用任意形式的渗透率张量，建立了相应的数值算法。

For acquiring relations between the eigenfunctions of waveguides and tensor Green function, we first take the Fourier transform of Green function. In isotropic media the simplest image function can be expressed in dyadic form, and in anisotropic media in the form of ABA+-ikz0,where A is the coordinate matrix.

为了得到波导管的本征函数和格林张量函数的一些关系，我们首先对格林函数作富氏变换，它的象函数在各向同性介质波导中以并矢形式作为最简单的表达方法，而在充有各向异性介质波导中可以表为ABA~+e~的形式，这里A是坐标矩阵。

Because Matlab uses complex matrix as its basic unit, we provided the matrix form of the Bezier curve and tensor product Bezier surface, and presented the ways to achieve them by using Matlab. On such a basis, we obtained the algorithm, made feasible programs and demonstrated them by concrete examples. Such a study aims at promoting the realization of CAGD toolbox by using Matlab.

由于Matlab的基本编程单元是复数矩阵，因此首先归纳出了一维Bezier曲线和二维张量积型Bezier曲面的矩阵表示形式，在此基础上形成算法，编写了可实现的程序，随后以具体实例的形式给予验证，最终得到了满足要求的曲线和曲面，以期能够推动Matlab的CAGD专业工具箱的产生。

To select the target word of these verbs in these sentences via SFCM method, MT selecting approach and testee selecting approach seperatively, and to contrast their selecting results with the keys, we may get the match degree to the keys: SFCM method is 92.7%, which is much better than MT approach (52.3%), and better than testee approach (88.06%) too.

分别通过语义特征组合模式、机器翻译系统和人工选择三种方法选择每句原文中动词的恰当义项，将这三种形式的译词选择结果分别与参考译文中的译词进行比较，得到每种形式与参考译文译词的吻合度。

Recall that, in the Kolmogorov axiomatization, measurable sets are the sets which have a probability or, in other words, the sets corresponding to yes/no questions that have a probabilistic answer.

延期开工的Kolmogorov宣布要衡量所有套职能有限许多坐标限制在于衡量子寅。换句话说，如果是/否的问题回答f可看的价值观念在许多最有限坐标，然后它有一个概率的答案。

The experimental results showed that the algorithm can filter singular points and remain fixity of the target edge.

实验表明：基于模糊理论的图像智能滤波方法比常规图像滤波方法运算量小，它既能去除奇异点，又能保持图像中目标的边缘不变性，具有很好的滤波效果。