一种可用于数据和模型分享的模型链

机器学习开始在越来越多的行业中得到应用,但使用机器学习执行任务的软件一直受限于第三方软件商更新模型.文中基于区块链,将训练神经网络消耗的算力和区块链的工作量证明机制相结合,提出并实现了模型链.模型链作为一种可用于分享数据和机器学习模型的区块链,基于骨架网络训练神经网络模型,以全网节点匿名分享的数据作为训练模型的数据集,实现了不依赖第三方更新神经网络模型.模型链使用环签名来保护用户数据隐私,节点训练的模型使用统一的测试集评估,通过评估的模型将作为节点的工作量证明用于投票达成一致共识.文中提出了两种可行的激励机制,即物质奖励和模型奖励.对于潜在的威胁,如账本分析、脏数据攻击和欺骗投票,给出了相应的解决方案.实现了一个用于数字识别的模型链.实验结果表明,模型链中的模型可以适应实际场景下发生的用户变迁和数据变化.     

基础算力的量化测算方法

0引言 2018年底召开的中央经济工作会议对基础设施建设进行了新的定义,5G、人工智能、工业互联网等技术被定义为"新型基础设施建设".随后"加强新一代信息基础设施建设"被列入2019年政府工作报告,2020年1月国务院常务会议和2020年3月中共中央政治局常务委员会会议再次强调新型基础设施的重要性,"新基建"在国家层面的重要性日益凸显.     

分辨矩阵在逻辑优化中的应用

真值表的化简对于逻辑电路的分析与设计具有及其重要的意义.对真值表的化简问题进行研究,提出了一种利用分辨矩阵从真值表中获取最小布尔表达式的粒分辨矩阵方法,实现其在逻辑优化中的应用.首先,将真值表视为逻辑信息系统,将真值表的化简问题转化为逻辑信息系统的最简规则发现问题.然后,在传统分辨矩阵的基础上,利用等价关系模型构造粒分辨矩阵,找出可以组织成最小布尔表达式的信息粒,利用信息粒的析取合取运算获得逻辑信息系统的最小布尔表达式.为进一步加快算法的收敛速度,引入启发式信息的概念,给出了组织信息粒的判定法则,避免在最小布尔表达式的获取中出现冗余逻辑项,使得布尔逻辑表达式最简,同时提高最小布尔表达式的获取效率,解决大规模逻辑电路的优化问题.最后,给出了详细的算法,并通过实例和理论证明说明了该方法的正确性和有效性.     

航空地球物理调查全矢量插图编图方法

为了解决单一依靠MapGIS软件编制航空地球物理调查成果图件或插图存在制图复杂、周期长等问题,采用MapGIS编图与矢量插图修编、整饰分离的技术路线,利用通用的矢量图形软件进行图件编辑、修改和整饰,以提高编绘质量与制图效率。研究中重点解决了MapGIS格式图件进行任意图幅范围的全矢量输出问题,保证了矢量图形编辑软件能够无损利用已有MapGIS图件的图形与渲染,实现地质、地球物理数据从地理信息系统到绘图系统的全保真转换。并且采用该编图方法编制了莽岭地区航空物探(磁、放)调查综合图件,结合具体的编图实例进一步阐述了编图思想、方法及具体的技术要求,实际编图效果表明,图件整体清晰、美观,能够准确地反映出该区的地球物理场特征,且编图效率有了较大的提高。     

瞬态瑞雷波法在滑坡工程勘查中的应用

在地形起伏较大,地质条件复杂、勘查现场干扰严重等的情况下,为了提高滑坡勘查的勘查精度和勘查工作效率,综合采用瞬态瑞雷波与常规勘查方法,可以弥补单一常规勘查方法的精度及数据量不足的局限性。介绍了瞬态瑞雷波法的原理及实际操作中参数设置方法,结合山西省某滑坡勘查的工程实例,结果表明了瞬态瑞雷波法在滑坡勘查中勘查优势。     

葡61区块扶余油层精细构造分析及有利区预测

为提高葡北油田扶余油层复杂断裂区带构造解释精度,针对研究区井控程度低、发育多期微小断裂和断裂切割关系复杂等,根据高分辨率地震资料,运用变面积和变密度剖面显示、水平切片、相干体切片及相位谱分解等方法,完成葡61区块扶余油层精细构造和断裂分析.结果表明:新井构造误差小于5‰,准确识别5~10m圈闭高度的微幅度构造.扶余油层顶面构造特征形态为断裂切割背斜形成的、以地垒、地堑和断阶为主的局部断裂—构造圈闭.综合构造、断裂及砂体发育特征,在研究区优选1个Ⅰ类有利区块,面积为44.3km2;2个Ⅱ类有利区块,面积为82.4km2;5个Ⅲ类有利区块,面积为29.2km2.该研究结果对扶余油层开发具有一定的指导作用.     

冷连轧过程控制中轧制力和前滑模型的综合自适应

为了提高冷连轧过程控制系统中轧制力模型的设定精度,提出了一种轧制力和前滑模型的综合自适应算法.通过建立综合自适应目标函数,以变形抗力和摩擦系数模型中的自适应系数作为寻优参数,并采用Rosenbrock算法求解目标函数,可以同时得到满足轧制力模型和前滑模型计算精度的自适应系数.该模型自适应算法可成功应用于某1 450 mm冷连轧机组.结果表明,采用该模型的综合自适应算法后,轧制力设定精度显著提高,且满足在线控制要求.     

高电位CuV_2O_6正极材料在热电池中的应用

采用固相法以CuO粉末和V2O5粉末为原料制备α-CuV2O6粉末,用X射线衍射分析(XRD)、差热分析(DTA)和粒度分析方法对铜钒氧材料进行了表征,并对其作为热电池正极材料的电化学行为进行了研究。电化学性能测试表明,制备的α-CuV2O6电极单体电池具有较高的放电电压和较大的放电比容量。     

软件度量的研究与进展

介绍了软件度量的发展阶段,分析了当今软件度量的发展程度。在研究软件度量方法框架和软件度量指标的基础上,重点研究了当前的3类度量方法,对各方法中典型产品的功能和特点进行分析。最后给出了软件度量的当前研究难点和将来发展趋势。     

城市生态保育区用地规划控制研究——以上海市崇明生态保育区为例

本文介绍了生态保育区的概念、分类以及城市各类型保育区用地的功能作用,着重研究了城市生态保育区的用地规划控制。通过对上海市崇明生态保育区的具体研究,明确了保育区各类型用地比例,为生态保育区的规划建设提供理论参考。