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

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

基于多材质复合管柱的裸眼井壁支撑工艺及应用

已完钻超深裸眼水平井侧钻技术是经济、高效开发油藏剩余油的主要手段之一，传统的磨铣钢套管开窗侧钻技术存在下入摩阻大、磨铣耗时长导致开窗失败等问题。为此，提出了基于多材质复合管柱的超深水平井裸眼井壁支撑工艺，结合中国西北油田已完钻超深裸眼水平井井况，首先，提出了基于“铝合金+碳钢”的多材质复合管柱组合及设计方法；其次，开展了基于管柱实物屈曲实验数据的管柱临界屈曲载荷计算模型适用性评价，并优选出了适合于“铝合金+碳钢”多材质复合管柱的屈曲临界载荷计算模型；最后，研究了综合考虑管柱扭矩、摩阻、刚性、井眼条件、管柱强度及材质的多材质复合管柱下入性分析方法，并利用下入性分析软件对西北油田顺北X1井、X2井、X3井、X4井复合管柱进行了下入可行性评价。该方法在X1井和X2井得到成功应用，进一步论证了该工艺现场应用的可行性。研究成果可为超深水平井裸眼井壁支撑的复合管柱设计和下入可行性评价提供理论参考。     

人才吸引力因素与政策工具契合关系研究以河北省为例

人才是第一资源,人才引进培养是经济社会发展的一个关键,近年来我国各地纷纷出台吸引人才的重磅政策.为探求人才政策工具对人才的吸引力情况,在构建人才吸引力因素理论模型基础上,通过对178位人才问卷调查获得人才吸引力关键因素,对河北省163份人才政策文本进行数据挖掘,分析政策工具与人才吸引力因素的契合关系.研究得出创新氛围、人才培训培养、人才激励评价、创新创业支持、人才服务和薪资待遇等方面契合度高,政策效果较佳;工作场所仪器设备条件、配偶子女安置和住房补贴的契合关系为政策不足,应加大政策制定;人才载体和医疗社会保障的契合关系为政策冗余,需加强政策实施.     

基于轨迹规划的波浪发电系统的分段控制

针对直驱式波浪发电系统的工作效率较低问题,研究基于一种全封闭的振荡浮子波浪发电系统,采取高速发电和低速储能的分段控制运行策略,结合基于无源性理论的控制方法,研究了该系统的综合最大功率捕获控制问题.为避免分段控制过程中造成的波动和冲击现象,运用微分平滑性理论,对切换过渡过程的能量变化轨迹进行了规划.仿真结果表明,分段控制运行策略以及微分平滑性理论的应用,使振荡浮子式波浪发电系统达到了既提高发电效率又避免冲击的控制效果.     

一类变指数退化抛物方程的解

考虑如下的变指数退化抛物方程解的适定性问题。利用抛物正则化方法证明了解的存在性。对检验函数适当选取，证明了解的唯一性。在边界上，扩散系数b(x,t)=0，解的唯一性可以不依赖于边界条件。     

“三全育人”视域下高校完善“易班”建设探析

基于马克思关于人的全面发展理论,网络信息技术与高校思政育人融合成为必然。"易班"平台为网络思政育人模式提供了平台,但其现实建设却仍存在与应然效果偏差较大的困境。宏观层面囿于"三全育人"格局尚未完备,"易班"建设主体较窄,队伍配备不齐;"易班"运行缺乏长效机制;全方位育人环境营造不足,缺乏对学生网络素养的培养。微观层面"易班"的功能与操作尚不完善。立足学生全面发展,将完善"三全育人"格局与"易班"的创新优化相结合;逐步深耕"易班"价值内涵,将之贯穿于功能开发与实践过程,方能完善"易班"应用,提升育人实效。     

基于WCAG 2.0的高校门户网站可访问性研究

近年来,校园门户网站的建设越来越受到高校的重视.高校要切实提升门户网站的整体水平,就必须关注站点可访问性这一重要的网站质量衡量指标.本研究针对60所国内高校门户网站展开可访问性调查,对比WCAG2.0的各项标准,分析目前国内高校门户网站的可访问性现状.研究发现,所有网站均未能通过WCAG2.0的A级评测,各种不同层次高校门户网站的可访问性状况均不理想,网站可访问性错误点的集中度较高,最突出的四类可访问性问题依次为图片未添加描述文字、未正确定义文档语言、表单项label标签缺失和键盘控制缺失.针对以上问题,本研究提出了高校门户网站可访问性的改进建议.     

基于Web的含无关项卡诺图自动化简系统

为学生能在网络上随时随地学习卡诺图化简,提高自主学习的质量,在ASP.NET环境下,利用rapheal框架实现了卡诺图自动化简逻辑函数系统.系统能够对任意输入的三至五变量的逻辑表达式及指定的无关项使用卡诺图化简法进行化简,并且在网页上按步骤展示其化简过程.输入表达式的语法验证采用改进的算法优先分析法,化简过程采用广度优先搜索模仿人工搜索卡诺圈的过程,网页作图由rapheal框架实现.测试结果表明,系统可在常用浏览器下正常运行,可正确的按步骤展示卡诺图化简逻辑函数的过程.     

有限交换p-群中加性码的计数

解决了有限交换p-群中加性码的两类计数问题,第一类计数问题是指求任意给定的有限交换p-群中任意类型码的数目,第二类计数问题是指求包含同一类型码的有限交换p-群的数目以及它们分别所含有的该类型码的数目.     

产状测量方式的空间两结构面共面性理论分析

针对空间两结构面不同产状测量方式的组合关系问题,利用向量代数和空间解析几何原理,计算出不同产状测量方式组合情形下空间两结构面的平面方程,通过比较不同方程间系数关系对结构面共面性进行了理论分析;分析了空间两结构面二面夹角的误差来源,结合结构面自身性质,利用数理统计原理给出了空间两结构面共面性判断条件.