形式

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.

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

The split between the two groups can hardly be papered over.

这两个团体间的分歧难以掩饰。

This approach not only encourages a greater number of responses, but minimizes the likelihood of stale groupthink.

这种做法不仅鼓励了更多的反应，而且减少跟风的可能性。