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

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

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

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

霍比特人3:五军之战

<正>中土系列最后问世的一部电影——《霍比特人3:五军之战》终于上映了。从承上启下的意义上来讲,它像一块色泽璀璨的拼图,最终被嵌入两大三部曲中间后,一幅中土世界的雄伟蓝图便完整铺展在了眼前:111岁的比尔博是如何与甘道夫白首相见,甘道夫与凯兰崔尔有着怎样的难舍情愫,精灵和矮人的世纪基情为何缘定前生……整个六部电影的故事脉络变得通透明白,绝大部分人物都将在战场上相会。《霍比特人3》的副片名原本     

含PM-映射的变分不等式

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

Banach空间中二阶Volterra型积分微分方程边值问题解的存在性

利用上、下解法在正规锥上证明了二阶非线性Volterra型积分微分方程边值问题解的存在性。     

集成电路设计产业产品创新趋势研究——国际片上系统（SOC）IP核发展现状及对策分析

基于国际集成电路设计产业的分析，系统阐述了国际SOCIP核的发展状况，指出SOC设计将是集成电路设计企业技术创新的发展方向。提出了一些国际SOCIP核发展的对策，包括口核标准化、SOC技术平台开发及加强与Foundry的合作。     

浅谈代数中的同余关系

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

半光滑方程利用uv-分解理论求解

利用uv-分解理论,将半光滑函数应用到uv-分解中.首先利用半光滑函数的性质,对半光滑函数uv-分解的合理性予以考虑,主要考虑了Lu函数和最优解集W(u)在u-空间的性质,得出了相关的结论和定理,并利用Newton法和得出的性质定理,给出了半光滑方程的另一种求解方法.     

构皮滩水电站上下游土石围堰索赔处理实例

水电站建设是一项综合性的系统工程,具有专业多、技术要求高、水文地质情况复杂、工期长等特点,工程实施过程中,出现索赔事件是合同双方不可避免的,其风险也是客观存在的。本文以监理工程师的角度,全面介绍了承包人向业主提出构皮滩水电站上、下游土石围堰索赔的处理原则、处理方法及处理过程等。