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

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

完全市场中的Yaari对偶效用最大化问题

效用最大化问题是经济学和金融学中的最重要和最基本的问题之一.经典的von NeumannMorgenstern期望效用模型在实践中都受到诸多挑战.Yaari对偶效用理论是重要的非期望效用模型之一.本文研究完全金融市场中的Yaari对偶效用最大化问题.前人在某种单调性条件下得到了该问题最优解的显式刻画.而在本文中,无需任何单调性条件,我们得到了最优解的显式刻画.     

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

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

地板胶发泡模设计标准研究与运用

本文以主机厂装车要求为基础,通过分析地板胶产品结构与工艺流程,回顾地板胶历史设变及问题项整改,综合考量模具制造成本,制定地板胶发泡模设计标准,规范模具结构、材料及尺寸,实现发泡模状态准确识别,并为发泡模维护保养和设变修模工作奠定基础。     

SAR图像并行拼接方法研究与实现* 〖HT4K〗——基于改进完全二叉树模型

随着SAR成像技术的快速发展，SAR图像覆盖的地域范围与成像精度也在迅速增长，这对SAR图像拼接工作的实时性提出了挑战;文章对SAR图像序列特征进行深入分析，提出了采用基于分割的完全二叉树模型进行SAR图像的并行拼接，并使用MPI点对点通信方式对之进行了不同数量机群规模下的实现；对比实验证明，基于该方法的并行拼接工作比传统并行拼接方法在降低拼接时耗上更加有效，且并行拼接后的完整图像效果良好.     

含PM-映射的变分不等式

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

浅谈代数中的同余关系

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

粉末冶金陶瓷模工艺中的快速脱蜡新技术

粉末冶金陶瓷模工艺是一种先进的过净形成形工艺．本文报道该工艺中一种新的脱蜡技术．采用快速加热、管径集中热量和定向导热传热综合方法，在陶瓷模和大部分蜡模材料处于较低温度下，使蜡模材料来不及发生显著的热膨胀而直接蒸发，得到脱蜡干净、外形完整的陶瓷模．     

HARICH-CHANDRA MODULES OVER LIE SUPERAL GEBRAS

In this paper, we obtain a theorem for the classification of the irreducible Harich-Chandra modules over G, Where G is a basic classical Lie superalgebra of I type. And the list of the classi-ficatication is given for G=A(1,0).