查询词典 consists

But the most important thing of understanding Rorty's political philosophy and the theory of liberalism consists in the issue of liberalism and communitarianism, and in the theory of liberal irony.

但对于理解罗蒂的政治哲学或者自由理论来说，最为重要的是自由主义与社群主义之间的争论，以及他提出的反讽理论。

V-system consists of piecewise polynomials with multi-level discontinuity. It has property of multi-resolution and compact local support.

V-系统由分段多项式组成，包括各个层次的间断函数，具有多分辨分析特性和局部性。

Companionate love consists of intimacy and commitment.

伴侣关系由亲密和承诺构成。

Companionate love: consists of intimacy and commitment.

伴侣之爱：亲密+承诺，当婚姻中激情已逝，剩下的便是亲情与相伴一生的承诺。

It analyzes the principles of technology which consists of ip-iq harmonic current detecting method based on the instantaneous reactive power theory and the hysteretic control of compensating current method.

分析了基于瞬时无功功率理论的ip-iq谐波电流检测技术和电流滞环比较控制的补偿电流技术。

It is not possible for the provider to look into a compiled delegate and see what it consists of.

这是不可能的研究提供一个已编译的委托，看看它包括。

Its solution consists as usual of a complementary function.

其解照常由一余函数组成。

The soundness and completeness theorem of this method were proved at last. This part consists of the following points: 1. The properties of the indecomposable extremely simple form of LP were discussed, the theorem shown that every logical formula of LP was equals of a generalized conjunction normal form. 2. The method for judging a logical formula is a indecomposable extremely simple form or not was discussed, the necessary and sufficient conditions of a logical formula with not more than three implicative connective being a indecomposable extremely simple form was given. 3. The α-resolution fields of the indecomposable extremely simple form of LP were discussed, some elementary results were obtained. 4. The automated reasoning method based on the resolution principle of classical logic was discussed, the author given a method to describe the set of clauses by using a matrix, and translated the resolution of two clauses to column operations of this matrix.

二、关于格值命题逻辑系统LP中α-自动推理方法的研究 1、对LP中不可分极简式的性质进行了研究，证明了LP中任何一个格值逻辑公式等值于一个广义合取范式； 2、对LP中不可分极简式的判定方法进行了研究，讨论了含有不超过3个蕴涵运算的格值逻辑式为不可分极简式的充分必要条件； 3、对LP中不可分极简式的α-归结域进行了研究，得到了一些基本结果； 4、对经典逻辑中基于归结原理的自动推理方法进行了研究，给出了用符号矩阵表示子句集合的一种方法，把不同的归结过程转换成矩阵的列变换。

The fundament of flat terrain phase effect and its removal are stated. The interferogram consists, for each pixel, of the complex conjugate product of two SAS images directly, which cant reflect the actual terrain change. The general phase trend in range can be considered as the phase generated by an ideally flat terrain and is often subtracted from the interferogram before further processing.

论述了水平地形效应产生原理及其消除方法，由于水平地形效应的存在使得两幅SAS复图像直接复共轭相乘得到的相位图不能直观地反映出实际地形的拓扑变化，所以在对干涉相位图进行滤波及相位展开处理前应当消除干涉相位图像的水平地形效应。

Software evolution consists of a series of complex change activities.

软件演化由一系列复杂的变化活动组成。

Breath, muscle contraction of the buttocks; arch body, as far as possible to hold his head, right leg straight towards the ceiling (peg-leg knee in order to avoid muscle tension).

呼气，收缩臀部肌肉；拱起身体，尽量抬起头来，右腿伸直朝向天花板（膝微屈，以避免肌肉紧张）。

The cost of moving grain food products was unchanged from May, but year over year are up 8%.

粮食产品的运输费用与5月份相比没有变化，但却比去年同期高8％。