It discusses carefully the basic concepts and inference rule of the resolution principle. According to the discussion, resolution method is used to prove a mathematical theorem through a example.
对归结原理的基本概念与推理规则进行了讨论，并在此基础上通过实例探讨了归结推理方法在数学定理证明中的应用。
The authors introduced the basic concepts and properties of soft mathematical morphology applicable to gray-scale image and performed edge detection processing for the IR image of a ship by MATLAB.
在介绍适用于灰度图像的柔性形态学概念及特性的基础上，结合红外舰船图像实例，用MATLAB实现了灰度图像的形态学边缘检测。
In chapter 2, the author gives a brief introduction of basic concepts and some mathematical tools are used in this paper.
第二章简单地介绍了本文涉及到的一些基本概念和所用到的基本数学工具。
应用推荐