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

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

一类含参半正二阶离散周期边值问题正解的存在性

用Guo-Krasnoselskii不动点定理给出半正二阶离散周期边值问题正解的存在性和多解性结果, 其中λ>0为参数, ［1,T］_z={1,2,…,T}, f: ［1,T］_z×［0,∞)→R连续且存在常数D>0, 使得f(t,u)≥-D, (t,u)∈［1,T］_z×［0,∞), a: ［1,T］_z→(0,∞), 02(π/2T).     

一种秘密递增显示的视觉密码方案

提出的秘密递增显示视觉密码方案(RIVCS)适合于由多个具有不同的保密级别区域组成的秘密图像,该方案下可以以增量的方式显示隐藏的秘密图像。使用线性编程开发有效的生成RIVCS的基础矩阵的程序,该程序满足来了减少像素扩展的需求。实验结果证明此方案是可行的、适用的和灵活的。文章最后提出了本方案未来的改进方向。     

多线性极大算子在Orlicz空间的弱有界性估计

Orlicz空间是一类较具体的Banach空间,在Banach空间理论和应用的研究中起着非常重要的作用。定义多个单线性分数次极大算子的乘积算子为■,得到■的弱有界性,再利用■控制多线性分数次极大算子,得到多线性分数次极大算子的弱有界性。所得结果扩充了分数次极大算子在Orlicz空间的有界性结论。     

中立型时滞互联系统的H∞记忆反馈控制

为研究一类中立型时滞互联系统的H∞控制问题,当滞后时间对系统影响较小时,设计分散化记忆反馈控制器,并应用李雅普诺夫函数理论,结合自由加权矩阵和牛顿-莱布尼茨公式对系统进行稳定性分析,应用线性矩阵不等式给出系统存在外界干扰时仍能保持稳定且满足H∞性能指标的充分条件.最后应用Matlab对系统进行数值仿真,仿真结果表明,所提控制方法不仅能保证被控系统的稳定性,而且当系统存在外界干扰时能保证具有H∞性能指标.     

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

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

基于SPSS多元线性回归对城市用水量的分析

城市用水量是城市给水系统规划的一项重要参考指标,对城市用水量的预测具有重要意义。通过查阅北京统计局出示的有关数据以及阅读相关文献,搜集北京市近15年的统计资料,基于SPSS多元线性回归中的逐步回归分析法,建立回归模型。经检验,该模型具有较高准确度,可以用来预测城市用水量。     

积分算子的线性性和有界性

积分算子在数学中是作用在函数上的作用子,根据其核函数的不同,可以得到不同的积分算子;研究了积分算子的线性性及有界性等算子的代数性质,得出了积分算子是线性算子,并且在某些特定情况下还是有界算子,从而是连续的线性算子的结论.     

金属间化合物(Mg,Zn)_(12)Ce与(Mg,Zn)_(11)Ce的研究

对300℃时Mg-Zn-Ce系富镁侧化合物的成分特征、结构和相平衡关系进行了研究.结果表明,Mg-Zn-Ce富镁角存在一个Mg12Ce的二元置换固溶体(Mg,Zn)12Ce,还存在一个三元线性化合物(Mg,Zn)11Ce(τ相).(Mg,Zn)12Ce中Zn的范围为0~7.3%(原子分数),其晶体结构为体心四方晶格.三元线性化合物τ相含Zn为8.5%~43.5%(原子分数),其晶体结构为C底心正交晶格.(Mg,Zn)12Ce和τ相均与α(Mg)存在稳定的两相平衡,且在Mg-Zn-Ce系富镁角还存在三相平衡Mg+(Mg,Zn)12Ce+τ.