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

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

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

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

海原特大地震红土川滑坡拟静力强度折减法模拟分析

为研究黄土物理力学参数对滑坡稳定性的影响,通过拟静力强度折减的方法进行红土川滑坡的模拟分析,研究了地震动输入及岩土体强度指标:黏聚力、内摩擦角对黄土-泥岩的二元结构滑坡的影响。结果表明:在地震输入为0. 70g时,接近边坡的极限状态,稳定性系数为1. 01。在此地震输入下,当黄土黏聚力为21 k Pa、内摩擦角为28°时,其稳定性系数为1. 00,可见在黄土物理力学参数相似的红土川地区,0. 70g可作为该地区参考的地震输入。并且将红土川滑坡所在区域划归成Ⅸ度区时,相对较稳定;而划归成Ⅹ度区时,稳定性系数小于1。鉴于此处已形成滑坡,则划归为Ⅹ度区更加合理。可为减轻黄土地区滑坡灾害提供基础资料与参考。     

关于Berger定理的推广

Berger定理断言任意可解群G中的拟本原复特征标也是本原的，文章考察了该定理关于正规子群L?G的相对情形。为了统一研究复特征标和Brauer特征标的本原性和拟本原性的关系，引入了L-本原的和L-拟本原的π-部分特征标，证明了在适当的可解性条件下L-拟本原性等价于L本原性，该结果加强并推广了Berger定理。     

公理化局部有限空间中映射连续性的扩展

用公理化方法研究了局部有限空间中的连续映射及其扩张问题。给出了局部有限空间的公理化定义方法;利用邻近关系研究了局部有限空间中的连续映射、同胚和局部同胚等问题;通过对局部有限空间变形的研究,定义了局部有限空间的一种特殊收缩核,有效地解决了局部有限空间中连续映射的扩张问题。     

一类数字半群的极小表示

应用J.C.Rosales的有关理论研究数字半群S=〈m,m 2,m 3,m 4,…,2m-2,2m-1〉,其中m≥5,该类数字半群的Apery集不具有惟一分解性质.本文完全确定了该类数字半群的极小表示.     

含PM-映射的变分不等式

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

硬线控制冷却工艺

研究了影响硬线性能的主要工艺参数，这些参数是决定线材最终产品质量的关键，并初步讨论了其影响规律。     

人-机结合的智能科学和智能工程

20世纪80年代以来，与人工智能(AI)密切相关的有两件大事，即日本的第五代计算机计划和中国的(“八六三”-306)智能计算机计划。两个计划实施后，使人们对智能自动化问题的认识有很大转变与提高。钱学森先生对此指出了人机结合的重要性，并认为应该研究人机结合的智能系统。笔者于1994年提出“智能科学和智能工程”这一学科领域的设想，到今天，有关人-机结合的智能系统研究已经有了相当的进展。