对应的

Is proved to be a residuated lattice. In the second chapter, the concept of congruence relation on a residuated lattice is introduced. It is proved that the quotient algebra of a residuated lattice about the congruence relation is still a residuated lattice. Then as a generalization of the congruence relation, the concept of fuzzy congruence relation is brought in.

本文的第二章首先定义了剩余格上的同余关系，证明了剩余格中的滤子对应一个同余关系，并由该同余关系确定的商代数仍是剩余格；然后将同余关系自然推广，定义了Fuzzy同余关系，证明了Fuzzy同余关系与Fuzzy滤子是一一对应的。

Chapter three: Define fuzzy congruence relation of MTL-algebra, prove that fuzzy fiter and fuzzy congruence relation is a bijective function in MTL-algebra, quotient algebra induced by congruence relation still forms a MTL-algebra; Introduce the relation between some kinds of fiters and fuzzy filters maitained above in IMTL-algebra,i.e. BR_0 algebra, which is a MTL-algebra satisfied inversely odering and involutive relation.

第三章：定义了MTL-代数中的Fuzzy同余关系，证明了MTL-代数中Fuzzy滤子与Fuzzy同余关系是——对应的，由同余关系所诱导的商代数依然构成一个MTL-代数；介绍了在满足逆序对合对应的MTL-代数-IMTL-代数，即BR_0-代数中上述几中特殊滤子，Fuzzy滤子之间的关系。

It comprises: the forwarding plane processor estimates the type of received ARP message; if it is a ARP request message, then directly returning a response; if it is a ARP response message, the enquiring the ARP list; if finding a list item corresponding to said ARP response message, then deciding if the report parameter in said list item allows the report; if yes, then reporting ARP response message to the control plane processor; if not finding a list item corresponding to said ARP response message, then abandoning the ARP message.

本发明方法包括：转发平面处理器判断接收到的ARP报文的类型；若为ARP请求报文，则直接进行回应；若为ARP响应报文，则查询ARP表，若在表中查询到所述ARP响应报文对应的表项，则判断所述表项中的上报参数是否为允许上报，若为允许上报，则将所述ARP响应报文上报至控制平面处理器，若在所述表中未查询到所述ARP响应报文对应的表项，则丢弃所述ARP响应报文。

List list=session.createQuery("select user.name from User user ").list;forint i=0;i

我们只检索了User实体的name属性对应的数据，此时返回的包含结果集的list中每个条目都是String类型的name属性对应的数据。

In mathematics this conjecture is that the extrinsic geometric properties onsubmanifolds in AdS-space have corresponding Gauge theoretic geometric propertiesin its ideal boundary.

如果用数学的语言来解释AdS／CFT对应则为：AdS-空间中子流形的微分几何性质与AdS-空间中理想边界上的规范场论的几何性质是相对应的。

The positive fact is an aggregate that includes some elements about the affairs composed,an informatory point in the fourth—dimension while the negative fact is an empty aggregate that includes nothing,a supplementary aggregate of any positive fact.

积极事实是一个包含事实构成要素的集合，在四维时空坐标中对应的是一个确切的点；而消极事实是一个不包含任何元素的空集，是任何一个积极事实的补集。每一积极事实都对应着无数消极事实。

And there is an approximate linear relationship between the momentum of the automatic mechanism and the length of the gas tube.

如β=〓与β=〓相比较（β角单位为弧度，其定义详见正文），前者与后者对应的气室最大压力之比可达65%，而对应的自动机动能之比可达60%；导气管内径对气室内气体压力冲量和自动机动能的影响存在极值点，且该极值点随导气孔的增大而有规律的增大；导气管长度对气室最大压力、压力冲量和自动机动能的影响呈单调递减规律，且自动机动量与管道长度之间近似符合一直线关系。

When there is no trailing of the minor planet image (or you are measuring the middle of a trail) the time of observation is the mid-exposure time. If you are measuring both ends of a trail, then one end is associated with the start of the exposure, the other with the end.

如果你测量的是小行星拖线的中部或该小行星没有明显的拖线，那么你应该使用你暴光时间的中点时刻作为该测量点对应时刻，如果你既测量了起点又测量了终点，那么你应该分别对应的是暴光的起始时间和终了时间。

In the method of the invention, a baseband signal is pre-processed to realize nonlinearity compensation. The pre-processing method comprises the following steps: the filter coefficient and the multinomial coefficient of the high power amplifier are extracted; corresponding gain is calculated for the amplitude value of each point input into the sequence of the baseband signal, and the phase compensation value is calculated according to the amplitude gain; the phase compensation value and the gain which are corresponding to each point are synthesized into re-gain, a pre-processing value pi is obtained, and pre-processing output sequence is formed; the pre-processing output sequence is output into the high power amplifier directly or through a inverse filter.

本发明方法是将基带信号进行预处理来实现抵偿非线性，预处理方法是：提取出高功率放大器的滤波器系数和多项式系数；对输入基带信号序列中的每一点的幅值计算对应的增益，根据幅度增益计算出相位补偿值；每一个点对应的相位补偿值与增益合成复增益，得到预处理值p i ，构成了预处理输出序列；将预处理输出序列直接或经过反向滤波器后输出到高功率放大器中。

In this paper, Newton iteration formula for computing normal depth and critical depth was put forward by mathematical transformation of uniform flow equation and critical flow equation of circular section tunnel. Then, the relationship between the corresponding central angle and the introduced parameters was analyzed. An approximate formula for angle was obtained according to optimal uniform approximation principle. Using this approximate formula as initial value of iteration formula, a direct formula for calculating normal depth and critical depth of circular section tunnel was established after its first iterative.

该文通过对圆形断面均匀流方程与临界流方程的数学变换，分别得到其正常水深与临界水深的牛顿迭代公式，同时，通过对正常水深与临界水深对应的中心角与引入参数之间关系的分析及数值计算，利用最优一致逼近原理分别得到了正常水深与临界水深对应中心角的近似计算式，并以此近似计算式为初值，用迭代方程进行一次迭代得到了圆形断面均匀流水深与临界流水深的直接计算公式。

According to the clear water experiment, aeration performance of the new equipment is good with high total oxygen transfer coefficient and oxygen utilization ratio.

曝气设备的动力效率在叶轮转速为120rpm～150rpm时取得最大值，此时氧利用率和充氧能力也具有较高值。

The environmental stability of that world - including its crushing pressures and icy darkness - means that some of its most famous inhabitants have survived for eons as evolutionary throwbacks, their bodies undergoing little change.

稳定的海底环境─包括能把人压扁的压力和冰冷的黑暗─意谓海底某些最知名的栖居生物已以演化返祖的样态活了万世，形体几无变化。