等值的

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、对经典逻辑中基于归结原理的自动推理方法进行了研究，给出了用符号矩阵表示子句集合的一种方法，把不同的归结过程转换成矩阵的列变换。

It shows high efficiency, stability and accuracy to on-line monitor dielectric loss, leaking current and equivalent capacitance for transformer bushing. And so dose the gas solved ir oil on-line monitoring system, in a word, it can be considered as the reference to diagnose the insulation status of transformer.

现场的运行分析表明，设计的在线监测系统对变压器套管的介质损耗、泄漏电流、等值电容的监测是有效的，变压器油中六种溶解气体的监测结果较稳定，可以作为变压器绝缘状态的参考依据。

The so-called paradox of material implication is not actually that odd since it is caused by some kind of misunderstanding when people require material implication expressions not only the truth properties but contents and meanings as well in conditions.

实质蕴涵与否定、合取、析取、等值等其他逻辑联结词一样，其实质是对自然语言中复句的关联词所进行的合理的逻辑抽象，所谓的"实质蕴涵怪论"其实并不怪，它是人们要求实质蕴涵反映条件联系中除真假联系之外的内容、意义方面的联系，从而作了错误的解读所造成的；作为一种特殊的条件语句，在反事实条件句与实质蕴涵的关系问题上，在反事实条件句与一般性条件句的区分上，还有很多地方需要进一步探索。

First, we extract the boundaries between two different materials by weighting with gray-level gradient,and only voxels on these boundaries participate in the generation of each image, so it drastically reduces the rendering time. Second. We think the voxels on boundaries as the mixture of different materials,so in every voxel there is a surface. We use the oriented cube-interpolation technique to get the intersection point of viewing orientation and the surface in the voxel, then compute the surface normal of the intersection point. We use the normal to shade the voxel in order to improve the image quality.

首先，采用灰度梯度加权提取出三维数据场中不同物质间的边界，根据显示的需要只对这些边界上的体元赋予相应的阻光度并进行光亮度合成计算，因而可大大减少计算量，提高显示的速度；将边界上的体元作为不同物质的混合体，采用与方向有关的三线性插值来计算视线方向与体素内等值面的交点，根据交点的法向量进行光照效应计算以提高显示图像的质量；最后用投影成像法显示最终的图像。

In order to make the current grade-determination method of the cultivated land more rational, the paper has analyzed the natural and social economic factor of cultivated land quality deeply. Many ideas, including the theoretical foundation on grade-determination, the authenticity of the basic materials, the division of the index district, the determination of the appointed crops and their parameters , the largest theory output of the crop and the definition of the suitable range about index district, the control of the equivalence district in the county , the revision of the multiple crop index and the application of GIS ,etc. have been deeply discussed, and the current grading model of the cultivated land has been revised.

为使现行耕地分等方法更趋合理，本文以耕地质量评价的相关理论为基础，强调了基础资料对等别划分的重要性，明确了获取方法，并对指标区的划分、指定作物及其参数的确定，作物理论最大产量及其适用范围的界定，县域范围内等值区的控制，土地利用系数的修正、复种指数的修正和GIS在耕地分等中的应用等方法进行了深入探讨，修正了现行耕地分等模型。

In addition, research reveals that in many cases, eating "free-range" and "organic" meat, dairy, and eggs does not substantially reduce greenhouse gas emissions, because free-range cattle, for example, are not fattened as quickly as feedlot cattle, so the reductions in carbon dioxide equivalents in foregoing chemical fertilizers and pesticides are nearly offset by these factors.

此外，研究也揭示：在许多案例中，吃&自由放养&的和&有机&的肉、乳制品和蛋实际上并未减少温室气体的排放。例如，自由放养的牛长胖的速度不如养殖场的牛，所减少的二氧化碳排放量大体跟前面提到的化肥和农药等因素造成的碳排量等值，正好两相抵消。

In order to find out a simple and efficient method to calculate the water breakthrough time in combination well pattern of horizontal and vertical wells, simplifing a horizontal well into a vertical well with the same well-hole radius, and considering the unpiston-like displacement, the water breakthrough time formulas of five-spot, seven-spot and nine-spot pattern were derived and revised by equivalent percolating resistance method. In this method, the percolation region is divided into three resistance regions.

为了寻求一种简单、有效的计算水平注水井与直井联合井网的见水时间的方法，将水平井简化为具有等效井筒半径的直井，考虑水平井与直井联合布井水驱油的非活塞性，运用等值渗流阻力法将渗流区划分为3个阻力区，推导出了五点法、七点法和九点法水平井与直井联合井网的油井见水时间的计算公式和修正公式。

By the following three breakthroughs. Firstly, translation studies much enhanced its examination in linguistic transfer, with a series of equivalences advanced, such as equivalence in phonetics, syntax, semantics, etc. Secondly, instead of being confined to the translated text, translation studies concernsitself more with the extralinguistic elements: the initiator who proposes or sponsors the translation of a certain work, the translator who produces the target text and the receiver that involves not only the target reader but the target cultural environment as a whole. Thirdly, translation has been surveyed

首先，它从一般层面上的对两种语言转换的技术性问题的研究，深入到了对翻译行为本身的深层探究，提出了语音、语法、语义等一系列的等值问题；其次，它不再局限于翻译文本本身的研究，而是把目光投射到了译作的发起者（即提议或组织翻译某部作品的个人或群体）、翻译文本的操作者和接受者（此处的接受者不光指的是译文的读者，还有整个译语文化的接受环境）身上；再次，它把翻译放到一个宏大的文化语境中去考察，并审视翻译在这种文化语境中的意义和作用。

However, as the name（read－only memory）implies, CD disks cannot be written onorchanged in any way.

然而，正如其名字所指出的那样，CD盘不能写，也不能用任何方式改变其内容。

Galvanizes steel pallet is mainly export which suits standard packing of European Union, the North America. galvanizes steel pallet is suitable to heavy rack. Pallet surface can design plate type, corrugated and the gap form, satisfies the different requirements.

镀锌钢托盘多用于出口，替代木托盘，免薰蒸，符合欧盟、北美各国对出口货物包装材料的法令要求；喷涂钢托盘适用于重载上货架之用，托盘表面根据需要制作成平板状、波纹状及间隔形式，满足不同的使用要求。