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

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

有理数域上一类不可约多项式的简单推广

若a1,a2,…,an是n-1个不同的整数,证明了当n≥4时,f(x)=(x-a1)(x-a2)…(x-an)-1在有理数域Q上不可约;当n≥3时,f(x)=(x-a1)2(x-a2)2…(x-an)2+1在有理数域Q上不可约.     

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

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

基于形态学的角膜地形图特征提取方法研究

提出了一种新的角膜地形图像特征提取算法。首先利用区域图像计算偏心率,用自适应确定同心圆的圆心,以此为极点将图像转至极坐标域,利用形态学的小尺度方形结构算子及图像的黑TOP-HAT变换补得到去除噪声后的滤波图像;其次利用给定方向上相距固定距离的点对腐蚀图像,按照方向强度确定出纹理直线的主要方向,利用开运算提取有效的线形特征;最后利用闭运算,对因内睫毛影响而损失的数据进行有效弥补,获得圆环边缘检测完整的结果图像。经多幅实验数据证明,该算法满足后续参数精确计算的要求,具有数据损失小,数据精度高,算法易实现的特点。     

梯度网络平稳点集合的Hopfield稳定性与吸引域

给出梯度神经网络模型的电路实现 ,证明了网络平稳点集合的全局 Hopfield稳定性。对各个平稳点吸引域的几何估计得到了相关结果 ,这为网络初始输入的数量与方向判定提供了基本的量度参数准则。     

n阶方阵的任意m次方根

给出了复数域内n阶方阵任意m次方根存在的充分条件（m≥2），从而推广了文献[1]中复数域内n阶方阵的平方根（m=2)存在的充分条件。     

无向树图的k点连通最小扩充

解决了以最少边集扩充一个任意无向树图为k点连通图这一优化问题,提出了一个计算复杂度为D(|V|~4)的算法。为进一步研究可靠网络的计算机辅助设计打下基础。     

数据域与微机应用系统

本文着重描述在数据转换过程中如何把数据信息按区域进行细分，以弄清数据信息的性质，进而确定一个最优数据通路，建立高效应用系统。     

分裂域和重复根式扩张

设E为系数在F上的多荐式f(x)的分裂域,若f(x)在F上根式可解,则E必含在F的一个重复根式扩张中,而E不一定是F的重复根式扩张.本文继续探讨了这一问题,当CharF()n=deg(f(x))时证明:(1)若Galiois群Gal(E/F)可解,E包含pi次本原单位根,则E是F的重复根式扩张,这里pi是deg(f(x))的全部素因子;(2)若E是F的重复根式塔,则E包含pI次本原单位根;并讨论了n=2spt11pt22...ptkk,pi为Fermat素数的情形.     

冷却水降温在集中空调系统的应用一例

为了有效降低能耗(尤其是电能),我们将制冷冷却水引入冷媒系统对车间进行降温,在满足集中空调冷负荷的情况下,运用冷却水降温相对制冷机冷媒系统降温节约能耗70%左右,减少制冷机运行时间,取得较为良好的节能效果。