基于相关函数的锚杆智能检测方法

针对锚杆锚固工程中须对锚杆进行无损检测的工程检测要求,提出一种主要基于相关函数的锚杆智能检测方法.首先对采集到的反射信号进行滤波,然后使用近邻聚类算法自动筛选出最优信号以代替传统的人工挑选方式,再将最优信号输入至广义互相关、Hilbert变换算法组成的混合模型中,从而自动地定位出信号突变点并计算出锚杆长度和锚固的缺陷位置.通过实验对该方法进行验证,结果表明相比传统检测方法其对锚杆长度和缺陷位置的检测误差明显降低且使用更方便.     

标准乘积代数上的一种逻辑拓扑结构

在标准乘积代数[0,1]上引入了一个逻辑度量ρ,详细讨论了其性质;并对度量空间([0,1]ρ)的结构及其性质进行了详细的讨论,得到一些好的结果。     

[0,1]上的一种逻辑度量结构

在R0单位区间[0,1]上引入了一个逻辑度量ρ,从而([0,1],ρ)成为一个度量空间(本文中称"(R0单位)逻辑度量空间"),并对逻辑度量空间的结构及其性质进行了详尽的讨论,结果表明a∈(0,1),{a}即开又闭,而{0},{1}是闭集,但不是开集.     

关联子集与不连通空间的等价刻画

通过对点集拓扑学中基本概念及相互关系的研究, 引入内导集的概念, 再以内导集概念为基础引入关联子集的概念, 并对其基本性质及与其他概念的关系进行了初步探讨, 取得了一些较好的结果. 利用关联型不连通空间与不连通空间的性质及其相互关系给出了不连通空间的几个等价刻画.