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

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

团簇Co3FeP异构化反应的热力学与动力学研究

为了寻找团簇Co₃FeP的稳定性、结构和内部作用力等规律，利用密度泛函理论，在B3LYP/Lanl2dz的量化水平下对团簇Co₃FeP进行理论计算，得到5种优化构型，并从化学反应热力学与动力学的角度对其异构化反应中的反应物、过渡态和生成物进行了讨论分析。结果表明，所有构型均为C1对称且构型的空间结构对其熵值有影响；构型的稳定性主要由金属原子与非金属原子所决定，并且在常温常压下构型1^（3）、2^（3）和3^（3）可以稳定存在，是大部分异构化反应的最终产物。因此，在实际材料的开发中，不仅需要注意金属原子与非金属原子之间的作用力以确保构型的稳定性，还应首先考虑对稳定构型1^（3）、2^（3）和3^（3）进行相关研究。     

String theory,Einstein, and the identity of physics: Theory assessment in absence of the empirical

String theorists are certain that they are practicing physicists. Yet, some of their recent critics deny this. This paper argues that this conflict is really about who holds authority in making rational judgment in theoretical physics. At bottom, the conflict centers on the question: who is a proper physicist? To illustrate and understand the differing opinions about proper practice and identity, we discuss different appreciations of epistemic virtues and explanation among string theorists and their critics, and how these have been sourced in accounts of Einstein's biography. Just as Einstein is claimed by both sides, historiography offers examples of both successful and unsuccessful non-empirical science. History of science also teaches that times of conflict are often times of innovation, in which novel scholarly identities may come into being. At the same time, since the contributions of Thomas Kuhn historians have developed a critical attitude towards formal attempts and methodological recipes for epistemic demarcation and justification of scientific practice. These are now, however, being considered in the debate on non-empirical physics.     

变化海流环境下AUV能量最优三维路径规划

为获取变化海流环境下自主水下航行器(autonomous underwater vehicle, AUV)的能量最优路径, 基于最优控制理论提出一种用于AUV的三维能量最优路径规划算法。首先, 为了有效抑制海流对路径规划的影响, 将海流向量加入到AUV运动学模型中。其次, 在已知俯仰角及AUV位置的情况下, 利用庞特里亚金极小值原理, 获得能量最优控制律。最后, 利用线性定常系统的状态空间理论, 计算得到初始艏向角、航速以及能量消耗。在仿真环节, 通过与负反馈控制策略相比较, 说明所提算法能够规划出三维能量最优路径, 而且可以有效降低AUV的能量消耗。     

基于语料库的韩语因果复句语义及句法特征探析

韩国语中存在着各种各样的因果复句,以口语和书面语中使用频率极高的""四种因果复句作为研究对象,通过21世纪世宗计划语料库中的具体实例来考查分析它们的语义及句法特征,对于韩国语复句教学及韩国语学习者学习并运用韩国语因果复句,能够提供一个良好的理论基础和参考依据。     

现代教学媒体及其应用的探讨

教学媒体是现代教育技术的重要组成部分，它是人类社会发展的成果之一，文章对各类现代教学媒体进行了探讨。     

自然事物的情感表现性

自然事物的情感表现性产生于人类与大自然事物生命情调上的相似，自然事物的形式美因素以及人类情感形式与自然物在“力的图式”上同形同构。     

天然自然与人工自然的张力--信息论视域中的SARS事件形而上学探源

自然界在人类出现以前以天然自然的状态存在着，遵循自己固有的演化规律。人类创造的人工自然中所蕴含的人工信息具有直接和间接效应，其中间接效应尤其具有不可预测、难以控制、不可逆、强度大等特点。随着科学技术的发展，人工信息及其给生态系统和人类社会带来的效应都飞速增加。人类社会对人工信息的正面效应和负面效应的承受力是不对称的，大量增加的负面效应(例如非典病毒)如果超过临界值，可以将人类社会摧毁。因此它预示眷一个新时代的来临。     

不可微多目标数学规划的高阶对偶性

引入了一类不可微多目标数学规划的高阶对偶模型。在广义凸性条件下,建立了弱对偶性定理。其结果推广和统一了近期文献上出现的结果。     

编队协同对地攻防对抗多级动态决策方法研究

针对编队协同对地攻击的攻防对抗系统的强对抗性、多目标性和多层次性,运用军事对抗的动态状态空间模型,建立了主从递阶互动决策模型——Nash-Stackelberg-Nash决策模型,重点解决军事对抗中寻求多级动态决策的联合最优策略问题。仿真结果表明,该决策模型应用于编队协同对地攻防对抗决策系统,良好的解决了两级对抗动态决策问题,并达到了较好的作战效果,能够为作战对抗提供有力的战场分析依据。