其次，我们引入有序邻域语义，给出描述DEC2的特征公理的框架条件，证明DEC2相对这些框架条件是框架可靠的。

Secondly, we introduce the order neighborhood semantics, give the frame conditions of the character axioms of DEC2, prove the frame soundness of DEC2 with respect to the frame conditions.

youdao

其次，我们引入有序邻域语义，给出描述DEC1的特征公理和规则的框架条件，证明DEC1相对这些框架条件是框架可靠的。

Secondly, we introduce the order neighborhood semantics, give the frame conditions of the character axioms and rules of DEC1, prove the frame soundness of DEC1 with respect to the frame conditions.

youdao

该算法定义了图像区域的相对清晰度判定指标，并根据多焦距图像像素邻域的相对清晰度来逐个选取聚焦清晰的像素点从而构成融合图像。

To overcome this problem, a novel fusion algorithm is proposed, which is based on a new image region focus measure, Relative Activity Level (RAL), presented in this paper.

youdao