多源覆盖信息系统下的加权广义多粒度粗糙集模型及其应用

考虑到多源覆盖信息系统中数据的复杂性以及单个信息系统之间的不平等性,引入诱导覆盖粗糙集,并对信息系统的属性赋予权重值,提出了多源覆盖信息系统下的加权广义多粒度粗糙集MCS-WGMRS模型。定义了属性权重的计算方法,给出模型的上、下近似,并获取了相应的决策规则。通过实例分析验证了MCS-WGMRS模型的有效性,结果表明该模型对目标集的分类能力更强,适当调整阈值可进一步提高模型的容错性。     

基于部分加权损失函数的RefineDet

针对目标检测网络单阶改进目标检测器（RefineDet）对类间不平衡数据集中小样本类别检测性能差的问题,提出一种部分加权损失函数SWLoss。首先,以每个训练批量中不同类别样本数量的倒数作为启发式的类间样本平衡因子,对分类损失中的不同类别进行加权,从而提高对小样本类别学习的关注程度;然后引入多任务平衡因子对分类损失和回归损失进行加权,缩小两个任务学习速率的差异;最后,在目标类别样本数量存在大幅差异的Pascal VOC 2007数据集和点阵字符数据集上进行实验。结果表明,与原始RefineDet相比,基于SWLoss的RefineDet明显提高了小样本类别的检测精度,它在两个数据集上的平均精度均值（mAP）分别提高了1.01、9.86个百分点;与基于损失平衡函数和加权成对损失的RefineDet相比,基于SWLoss的RefineDet在两个数据集上的mAP分别提高了0.68、4.73和0.49、1.48个百分点。     

基于正则表达式、程序插桩和代码替换的以太坊智能合约bug检测和修复方法

作为当前最大的支持智能合约的区块链平台,数以百万计的智能合约被部署在以太坊上.由于即使发现包含bug也无法修改已部署的智能合约,因此对于开发人员而言,在部署合约前修复合约中的bug至关重要.当前研究人员已经提出了许多智能合约分析工具,用于检测合约中的bug.这些工具要么使用基于以太坊虚拟机字节码的符号执行来检测bug,要么将源代码转换为中间表示形式后再检测bug.然而,基于符号执行的工具通常无法覆盖合约中的大部分bug;将源代码转换为中间表示形式会对检测速度产生负面影响.此外,现有的工具都只能检测bug,而无法根据检测结果自动修复bug.为了解除以上限制,提出了一种名为SolidityCheck的方法,该方法通过使用正则表达式、程序插桩和语句替换等技术,实现快速检测合约中的bug并自动修复其中某些种类bug的目的.文中进行了 一系列实验来评估SolidityCheck,实验结果表明,与现有方法相比,SolidityCheck在多个指标上显示出了优异的性能.     

基于图卷积神经网络的完全图人脸聚类

人脸聚类是根据不同身份对人脸图像进行分组的方法,主要用于人脸标注和图像管理等领域.针对现有方法中存在大量冗余数据的问题,文中使用一种基于完全图约束和上下文关系进行链接预测的方法.该聚类算法基于图卷积神经网络进行链接预测,结合完全图约束筛选数据,同时在预测的过程中对链接关系进行不断的更新.实验结果显示,结合完全图约束的人脸聚类方法能够在减少冗余数据、加快运行速度的同时,提升聚类的准确率,从而提高聚类的整体效果.     

引入源端信息的机器译文自动评价方法研究

机器译文自动评价是机器翻译中的一个重要任务。针对目前译文自动评价中完全忽略源语言句子信息,仅利用人工参考译文度量翻译质量的不足,该文提出了引入源语言句子信息的机器译文自动评价方法: 从机器译文与其源语言句子组成的二元组中提取描述翻译质量的质量向量,并将其与基于语境词向量的译文自动评价方法利用深度神经网络进行融合。在WMT-19译文自动评价任务数据集上的实验结果表明,该文所提出的方法能有效增强机器译文自动评价与人工评价的相关性。深入的实验分析进一步揭示了源语言句子信息在译文自动评价中发挥着重要作用。     

水电站流域生态放流算法的优化

随着国家对环境的问题的重视,水电站生产也需要做出相应的改变.在保证生产的前提下,必须担负起保护流域生态环境的责任,生态流量是流域生物生存所需流量.如何在满足河流生物基本需求的前提下,保证水电站的最大输出,就必须计算出河道的生态流量,但是随着季节、气候等因素的变化,生态流量也在随之变化,针对以上问题,研究一种能够适应各种变化因素的生态基流计算方法,对于水电站流域的生态环境具有重要意义.     

基于Z-buffer算法优化的大型变电站场景模型快速线消隐方法

针对现有三维模型消隐方法面向大规模三维场景模型应用中存在的计算复杂、耗时长等缺陷, 本文提出了基于改进 Z-buffer 算法对大型变电站场景消隐的快速可视化方法。首先,为了简化计算,将场景模 型数据整合并重构;其次,通过透视投影变换将变电场景模型像素化;进一步,基于 Z-buffer 算法高效的像素 化计算特性提出了快速模型筛选方法,从而得到变电场景的子模型遮挡关系。最后,实验中将所得遮挡关系列 表融合现有消隐算法,结果表明本文提出的方法能够大幅度提升消隐的运算性能。     

长江经济带农业水资源利用效率时空差异分析

长江经济带水资源总量充沛,但人均水资源量以及单位面积耕地占有量处于较低水平;农业用水量超过供水总量的50%,而农业水资源利用效率低。研究长江经济带农业水资源利用效率对保护长江具有重要的现实意义。基于Malmquist-Panel Data两阶段模型,对长江经济带农业水资源利用效率的时空差异特征及其影响因素进行了分析研究。分析结果表明:经济发展水平、第一产业固定资产投资额、水资源禀赋、节水农业发展水平、"长江经济带"国家战略的实施、区域变量以及部分时间变量等对农业水资源利用效率具有显著的正向影响,而种植结构即粮食播种面积占比则有着显著的负向影响;长江经济带农业水资源利用效率时空差异特征明显。因此,对于长江经济带,应因地制宜、合理规划农作物种植结构;同时,加强地区间的技术交流与合作,实现长江经济带整体发展与各区域特色发展协同共进。     

南通市地下水压缩开采对水质咸化的控制效应

为了准确评价南通市地下水压缩开采对水质咸化的控制效应,根据南通市的水文地质条件,概化出了南通市的水文地质概念模型,建立了南通市地下水渗流与溶质运移三维耦合数值模型,分别预测了现状开采和压缩开采条件下2018-2034年逐年地下水水位和地下水中氯离子质量浓度的变化趋势。预测结果表明:现状开采条件下2034年底南通市第Ⅲ承压含水层中氯离子质量浓度大于250 mg/L和270 mg/L的面积分别达到355.17 km^2和30.67 km^2,2030-2034年咸化速率为9.59 km^2/a;压缩开采条件下2034年底氯离子质量浓度大于250 mg/L和270 mg/L的面积分别为329.21 km^2和1.76 km^2,2030-2034年咸化速率为7.52 km^2/a,压缩开采方案能有效控制第Ⅲ承压水的咸化问题。     

浅谈海上风电工程造价管理手段

通过对海上风电不同阶段造价管理手段的深入分析表明,海上风电项目面临的环境、地质复杂,社会因素也有影响,具体造价管控过程中应灵活运用。今后的海上风电造价管理是一个PDCA的动态管理过程,在决策、设计、发承包、施工阶段应分别选择合适的造价管理方法,不断调整优化造价管理模式。