基于生成对抗网络的半监督图像语义分割

提出了一种基于生成对抗网络的语义分割模型,包括一个全卷积语义分割网络以及一个判别网络,其中语义分割网络负责生成与输入图像对应的语义分割图,判别网络负责检测分割图与真实标签的区别,以促使分割网络改进分割效果。为了更好的提取全局结构信息,语义分割网络中采用了金字塔池化模块,对不同规模的空间区域进行池化操作。另外,为了应对语义分割训练数据集人工标注成本过高的问题,利用判别网络生成伪标签协助语义分割网络进行训练,从而实现了半监督训练效果。模型在PASCAL VOC2012数据集中进行了测试,结果表明该模型在全监督和半监督条件下均优于已有方法。     

PI-强LU富足半群

通过对C-L^U-富足半群的刻画,给出了PI-强L^U富足半群的结构定理。     

非同分布φ混合序列加权和的强极限收敛性

利用φ混合序列矩不等式和截尾的处理方法,研究非同分布φ混合序列加权和强极限收敛性质的问题,得到了若干新结果,推广并改进了独立同分布情形下的相应结果.     

半潜式钻井平台螺旋桨修复技术的应用研究进展

针对半潜式海洋钻井平台推进器螺旋桨面临的空泡腐蚀、电化学腐蚀以及海洋生物附着污损等问题，综述了焊接、粘接、热喷涂、冷喷涂修复技术的应用研究进展。认为目前的螺旋桨修复再制造技术普遍存在着修复层应力集中、结合强度低、孔隙率高、高温导致材料变性等缺陷，今后的研究工作应向着避免应力集中、增大修复层结合强度、降低作业温度、减小孔隙率的方向发展，以期能够制备更加致密均匀的修复层。     

方柱截面驰振分析的能量方法

针对驰振Den Hartog判据的局限性,发展了驰振的能量分析方法:应用CFD动网格技术,计算截面做强迫简谐振动时气动力输入结构的能量大小,判断截面是否具备发生驰振的可能.以方柱截面为主要研究对象,分别通过Den Hartog判据和能量分析方法判断了其不稳定驰振区域,并对两种方法的计算结果进行比较.在验证能量分析方法可靠性的基础上,进一步分析了振动频率、振幅、来流风速对气动力输入能量的影响,确定了方柱截面驰振的最大振幅及抑制振动所需的最小阻尼比.研究结果表明:Den Hartog判据和能量分析方法的结果较吻合,能量分析方法能够用于评判截面的驰振稳定性能.     

含PM-映射的变分不等式

文章在自反Banach空间中，利用锐角原理讨论了含PM-映射的变分不等式解的存在性问题。     

浅谈代数中的同余关系

同余关系在每一个代数分支的研究中都占据着重要的地位。本文以《泛代数》为指导 ,叙述半群、群、环、半环、模、半模等代数分支的同余关系 ,并讨论它们与子系统的关系 ,主要结果有命题 4、命题 7。     

一类图的强最大亏格嵌入

图的嵌入理论是拓扑图论中一个中心课题.图的最大亏格嵌入的刻画和研究已较完善.但对于强嵌入,这方面的讨论却很少.本文对于平面上的不含不交(指无公共节点)圈的图以及完全图K5,利用构造强最大亏格嵌入的方法,给出了强最大亏格.同时,也给出了完全二部图K3,k(k≥3)的不可定向强最大亏格的一个下界.     

Banach空间中一类强非线性发展方程的反周期解

本文讨论一类强非线性发展方程的反周期解的存在性。针对一大类既含有单调非线性算子又含有非单调非线性算子的发展方程。我们巧妙地结合单调算子理论与Leray-Schauder不动点理论，证明了其反周期解的存在性。最后，举例说明理论结果在2m阶拟线性抛物型方向的时间反周期问题中的应用。     

SW规约下的一些性质

本文进一步分析了SW规约下的SW度结构的一些性质,得到了强可计算实数的两个性质.并且证明了给定可计算可枚举实数,可构造出sw归约下不小于该数的低的可计算可枚举实数.