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

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

对近代契约论之自然人性论的比较与分析

建立在自然人性论之上的近代契约论有三个阶段:以霍布斯为代表的开明君主制阶段,以洛克为代表的天赋人权阶段,和以卢梭为代表的人民主权阶段.近代契约论中自然人性论具体又分为性善论、性恶论两类.实践表明:持性善论的契约论在制度设计上是有缺陷的,理论上的原因是没有摆脱一元真理论束缚;持性恶论的契约论,为社会中个人留下了一定的属于私人的自由发展空间,某种程度上避免了性善论假说在制度设计上的缺陷.     

网络设备配置标准化系统研究

网络设备配置标准化平台的设计紧密结合实际工作的需要,注重实际应用,操作简单.网管人员只需填写设备的基本信息即可自动生成配置脚本.通过网络设备配置标准化平台的应用,可大大减少网管人员配置设备的工作量,同时可以降低因配置不规范引发的设备运行风险,减轻运维工作量,提升工作效率,确保业务系统稳定运行.     

基于电阻阵的红外图像实时生成和显示系统

对基于MOS电阻阵列红外图像转换器的红外图像实时生成和显示系统的实现进行了重点论述。根据红外图像仿真原理对典型目标建模,并利用openGL和开发的图像转换等软件,完成目标动态图像数据序列的计算机生成;论述了基于128×128电阻阵列的红外图像数据处理与驱动控制技术,实现了目标动态红外亮度图像向目标动态灰度图像的转换,并利用驱动控制系统以200Hz的帧频速度驱动MOS电阻阵实时生成目标动态红外图像。该系统已在红外成像目标仿真中得到应用。     

浅谈集合上的等价关系

等价关系是同余关系的基础 ,本文讨论集合上等价关系的交与并 ,以及等价关系的生成问题 ,主要结果有定理 1和定理 3。     

关于Semigroups of Linear Operators and Applications to Partial Differential Equations的两个注解

指出文献[1]关于Co半群可微性的定理2.4.11的证明过程中一处错误，及关于柯西问题解的指数衰变的定理4.4.1的证明过程中的不妥之处，并给出新的证明。     

技术工具论的表现形式及悖论分析

人们理解技术的通常范是工具论的观念，海德格尔曾经对这种理解方式给予过批判。但是，这种观念仍然以各种形式显现在人们对于技术是什么与技术的批判中，“工具论”的范式给人们自身带来的问题－－事实悖论与伦理悖论并没有被充分注意到，所以有必要对此范式进行整理并给予分析。     

时滞测试能量函数的局限性分析和改进模型

针对时滞试能量函数，分析了它在无冒险强健测试矢量生成时存在局限性和表达式较复杂的不足。在此基础上建立了无冒险条件下的时滞试能量函数，从而完善了Chakradhar提出的时滞测试能量和相应的测试生成算法。     

与半群的完全不可逆生成集相关的几个性质

讨论了半群环的两个性质以及关于半群的a.c.c.p.（主理想升链条件）的一个结论。     

水泥土桩的工程质量检测试验研究

安徽省芜宣高速公路位于软土地基区,沿线桥头高路堤和一般构造物的地基采用粉喷桩或深层搅拌水泥桩加固地基,并且做了软土地基处理试验路段,为了快速、准确地检测水泥桩的质量,采用多种方法进行检测研究,文章简要介绍这些检测方法效果及对比其优缺点,并寻求一种快速、准确、低成本的检测方法技术组合.