基于小波包分散的多尺度图象边缘检测算法及实现

提出一种基于小波分解的多尺度图象边缘检测算法，对经小波包分解所得到的高频部分加以考虑，避免了普通的利用小波分散进行边缘检测时忽略图象频部分的缺陷。在此基础上，通过对实际图象运用此算法，对其检测效果同其他方法分析与比较，结果证明此方法在复杂图象边缘检测中具有较好的效果。     

Prolog程序正确性的一种证明方法

提出了一种Ｐｒｏｌｏｇ程序说明结构，对求解问题的程序加以说明，并以此为基础结合问题特征证明Ｐｒｏｌｏｇ程序的正确性。同是，以整数划分问题Ｐｒｏｌｏｇ改进程序和证明为例，说明程序设计应立足程序说明和程序正确性的证明。     

基于时序逻辑的故障预测

提出采用时序逻辑系统描述故障的概念，推演故障的性质和相互关系，对故障进行分类，并预测将发生的故障。以网络故障预测问题为例说明这种方法的有效性和合理性。