半连续格上的半基和局部半基

在完备格上引入了半基和局部半基的概念，给出了半基和局部半基的性质及若干等价刻画，证明了一个完备格是半连续格当且仅当它具有半基也当且仅当它每点有局部半基。在此基础上定义了半连续格的权和特征，探讨了半连续格的权和特征与其上赋予半Scott拓扑和半Lawson拓扑时的拓扑空间的权和特征的关系。解决了文献[8]（赵彬，刘妮．连续Domain的特征和浓度，陕西师范大学学报，2002，30（2）：1～6）中提出的一个问题。

基于差分演化的无线传感器网络节点定位

针对无线传感器网络(WSN)节点的定位问题,提出一种基于差分演化的WSN节点定位算法。根据相邻节点间估计距离和测量距离之间的偏差构造目标函数,利用差分演化算法求出函数的最优解,达到最优解时的节点坐标即为未知节点的估计坐标。实验结果表明,该算法在锚节点比例为10%,节点无线通信半径R为1.8r的情况下,平均定位误差不超过5%,与带梯度搜索的半定规划定位算法相比,其定位精度更高。

基于局部聚类与图方法的半监督学习算法

基于图的算法已经成为半监督学习中的一种流行方法,该方法把数据定义为图的节点,用图的边表示数据之间的关系,在各种数据分布情况下都具有很高的分类准确度.然而图方法的计算复杂度比较高,当图的规模比较大时,计算所需要的时间和存储都非常大,这在一定程度上限制了图方法的使用.因此,如何控制图的大小是基于图的半监督学习算法中的一个重要问题.本文提出了一种基于密度估计的快速聚类方法,可以在局部范围对数据点进行聚类,以聚类形成的子集作为构图的节点,从而大大降低了图的复杂度.新的聚类方法计算量较小,通过推导得到的距离函数能较好地保持原有数据分布.实验结果表明,通过局部聚类后构建的小图在分类效果上与在原图上的结果相当,同时在计算速度上有极大的提高.

关于S-可数空间

本文利用S-基和局部S-基,引入了S-可数空间,讨论了S-可数空间的性质,得到一些新结果.

半连续dcpo的局部半基的若干理论

对连续格、半连续格、半连续dcpo等的相关定义与主要性质进行比较,得到它们的联系与区别,作出一些补充,并给出半连续dcpo的局部半基的概念,从而得到一些相关性质与结论.

关于格上二元运算“-”的性质研究

在格上定义了二元运算"—",得到一些运算性质,通过给出分散完备格的概念与性质,得出分散完备格与关于"-"运算满足分配律的格的等价性的刻画,最后,并在格矩阵上也定义了二元运算"—",从而得到相关性质与结论.

半拓扑线性空间及其性质(Ⅰ)

首先在一般的拓扑空间中引入了准半连续映射的概念,并借助此概念引入了半拓扑线性空间,得到了这一新空间的如下基本性质:(1)给出了半拓扑线性空间中半开集和0点的邻域的特征刻画;证明了半拓扑线性空间中0点的局部S基可通过平移作为任何一点的局部S基;证明了半拓扑线性空间中半开集和任何集的和仍然是半开集.(2)证明了半拓扑线性空间的局部S基的每一个元是吸收集,并且它包含0点的一个平衡S邻域;证明了对具有C性质的半拓扑线性空间中的0的每个S邻域u,存在0点的S邻域v,使得v的半闭包v-u;证明了对具有C性质的半拓扑线性空间的局部S基的每一个元u,存在局部S基的元v,使v+vu成立.(3)给出了半拓扑线性空间中有关半闭包和半内部的等式或蕴涵关系.

哈希图半监督学习方法及其在图像分割中的应用

图半监督学习(Graph based semi-supervised learning,GSL)方法需要花费大量时间构造一个近邻图,速度比较慢.本文提出了一种哈希图半监督学习(Hash graph based semi-supervised learning,HGSL)方法,该方法通过局部敏感的哈希函数进行近邻搜索,可以有效降低图半监督学习方法所需的构图时间.图像分割实验表明,该方法一方面可以达到更好的分割效果,使分割准确率提高0.47%左右;另一方面可以大幅度减小分割时间,以一幅大小为300像素×800像素的图像为例,分割时间可减少为图半监督学习所需时间的28.5%左右.

基于半监督拉普拉斯映射的移动定位算法

在无线传感器网络节点移动定位过程中,网络拓扑结构不断进行更新,以致影响预测模型的精确度。为此,提出一种基于拉普拉斯映射的移动定位算法。分析无线传感器网络的布局特点,引入局部拓扑结构和非信标节点信息,将节点定位问题放在半监督框架中进行研究。实验结果表明,与同类算法相比,该算法提高了预测模型的泛化能力和节点的定位精度,具有更高的稳定性。

基于半监督极限学习机的增量式定位算法

针对目前室内指纹定位算法存在实时性差、对动态环境适应性不足的问题,提出一种新的基于半监督极限学习机的定位算法。该算法首先通过半监督极限学习机建立初始化位置估计模型,然后利用新增的半标记数据对原定位模型进行动态调整,最后为新增训练数据分配合适惩罚权重,使模型具有时效机制。仿真结果表明,该定位算法在保证定位实时性的同时提高了对动态环境的适应性。

S-可数性

在拓扑空间中利用S-基和局部S-基,提出第一S-可数性公理和第二S-可数性公理,同时对S-基与局部S-基,第一S-可数性与第二S-可数性之间的关系进行探讨,得出一些新结果.

路基注浆试验与仿真分析

路基注浆可使路基沉陷、松散、空洞等病害得到有效充填或压密,显著提高路基的承载力。从室内试验与数值模拟两个方面研究了路基注浆对路基路面的影响。室内试验部分采用平面尺寸140 cm×140 cm,高度为50 cm的钢箱,分层填筑路基土和水泥稳定碎石基层,养护28 d后,进行路基注浆。通过探地雷达和开挖相结合的方法观测水泥浆分布,进而分析了注浆对路基的加固机理。数值模拟部分采用ANSYS有限元软件建立路基路面三维模型,考虑注浆半径、注浆区域模量、注浆横向位置及注浆深度4个因素,分析了局部注浆和道路纵向多点连续注浆对行车荷载作用下路基路面受力变形的影响。结果表明,注浆半径对道路受力变形的影响最显著,注浆区域模量影响较小,注浆位置在行车道中间下方且靠近路基顶面时较有利。

局部凸空间中的广义增广对偶锥

将赋范线性空间中增广对偶锥的概念推广到局部凸空间中,在两种情形下分别给出了广义增广对偶锥的定义.然后讨论了它们的主要性质,并在合适的假设下建立了广义增广对偶锥非平凡的存在性条件.