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

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

处理优化约束条件的微分方程法

在文[1]中,作者曾提出求解一般约束优化问题的一种新方法。本文利用微分方程对约束条件做进一步的讨论,证明了从一可行点的某邻域出发的该微分方程组的解关于部分变元总收敛到问题(1.1)的可行点。     

泛Loeb可测集的S-饱和性

在 K-饱和的非标准模型中,研究了泛 Loeb 可测集 m(A),pns(~*X),cpt(~*X),fin(~*X),ns(~*X)的 S-饱和性.当 A 是紧致 Hausdorff 空间 X 的子集时,得到了 st~(-1)(A)是标准集的充分条件.     

籽瓜植株(地上部)的生长发育规律

对内蒙古地区有代表性的四个籽瓜品种植株(地上部)的生长发育进行了研究．结果表明：内蒙古籽瓜的全生育期为92-101d，籽瓜植株的生长发育可分为发芽期、幼苗期、伸蔓期和结果期，结果期分为前期(开花座果期)、中期(果实膨大期)、后期(种子成熟期)．发芽期、幼苗期以叶为生长中心，伸蔓期、结果前期以茎为生长中心，进入结果中期以果实为生长中心不同生育分期长短的差异主要表现在结果中期的差异上．     

基于多Agent的交通运输枢纽虚拟组织信息集成框架

面对动态、快速、多变的市场环境 ,虚拟企业开始出现并得以快速发展 ,传统的交通运输枢纽有了新的要求 .在虚拟企业思想的启示下 ,本文试用系统的观点提出作为结合部的交通运输枢纽虚拟组织的概念、特点 ,并指出其信息管理的重要性 .接着在基于多 Agent系统的基础上对其进行分析 ,给出交通运输枢纽虚拟组织信息集成框架 ,并利用面向对象的 Agent进行设计 .最后提出了今后的研究方案 .     

试论动、名词性特征在动名词中的转化

摒弃对英语动名词的传统研究，揭示了动名词的动态性质，即动、名词特征在动名词中的转化。认为在某种意义上，其名词性的加强导致动名词在动、名两个词类的边缘发挥作用。     

组合逻辑电路的无反变量输入设计

本文阐述了组合逻辑电路无反变量输入的设计思想，并通过设计实例给出了具体的设计方法与步骤．     

论中部崛起进程中的江西教育发展战略

新时期,江西提出并实施了要在中部地区快速崛起的发展战略。在这一过程中,江西教育发展面临着极好的机遇,同时,也遭遇到了八个方面的挑战。于是,江西省委省政府提出了江西教育发展的总体要求。江西广大教育行政部门和教育工作者只要不断沿着中央指出的方向,落实省委省政府的部署,埋头苦干、扎实工作,就一定能为建设创新创业江西、绿色生态江西、和谐平安江西,为江西在中部地区的早日崛起提供有力的人才支持、知识基础和文化贡献,就一定能铸造出江西教育事业新的辉煌。     

提高西德MNPJ型毛圈圆纬机压针三角与舌针使用寿命的研究

本文通过西德MNPJ型毛圈圆纬机编织过程的受力分析和机械润滑试验,提出了提高三角和舌针使用寿命的途径;同时又对该机三角系统的材料进行了研究,提出了自制三角系统的看法。     

激光烧结陶瓷粉末成形零件的研究

实验研究了Ａｌ２Ｏ３陶瓷粉末的激光烧结过程,介绍了激光烧结实验装置,分析了烧结参数对烧结过程的影响,得到了激光烧结的Ａｌ２Ｏ３陶瓷零件。所设计的实验装置的结构简单,可满足实验要求。