partial recursive scheme

Compared with the computability of the partial recursive functional,the procedure schemata computable functional is proved to be an expansion of the partial recursive functional.

通过可计算性基本性质比较,证明了过程模式可计算泛函概念是部分递归泛函概念的扩展,即部分递归泛函类是过程模式可计算泛函类的真子集。

The local recursive segmentation is followed if the initial threshold is not reasonable.

若该阈值不合理,则将其作为阈值初值,对红外舰船图像进行自适应局部递归分割。