【摘 要】
：
在用于构建深度学习模型的深度学习框架中,算子的正确计算对于深度学习模型的正确预测至关重要.然而,已有的深度学习框架缺陷检测方法只能通过比较和推测的方式找到不同深度学习框架之间计算结果相差较大的算子,而且无法检测深度学习模型在训练过程中产生的计算错误,具有很大的局限性.针对此问题,本文设计并实现了基于元算子的深度学习框架缺陷检测方法,通过将不同深度学习框架中算子的共性计算逻辑抽象为“元算子”,支持在不改变模型代码的前提下绑定元算子的具体实现,从而可以细粒度地对比同一模型使用不同深度学习框架的运算结果,进而发
【机 构】
：
高可信软件技术教育部重点实验室(北京大学) 北京 100871;中国民航信息网络股份有限公司 北京101318;中国民用航空局民航旅客服务智能化应用技术重点实验室 北京101318;北京大学(天津滨海
论文部分内容阅读
在用于构建深度学习模型的深度学习框架中,算子的正确计算对于深度学习模型的正确预测至关重要.然而,已有的深度学习框架缺陷检测方法只能通过比较和推测的方式找到不同深度学习框架之间计算结果相差较大的算子,而且无法检测深度学习模型在训练过程中产生的计算错误,具有很大的局限性.针对此问题,本文设计并实现了基于元算子的深度学习框架缺陷检测方法,通过将不同深度学习框架中算子的共性计算逻辑抽象为“元算子”,支持在不改变模型代码的前提下绑定元算子的具体实现,从而可以细粒度地对比同一模型使用不同深度学习框架的运算结果,进而发现缺陷.本文的方法同时支持训练过程和推断过程的缺陷检测,还可以对计算错误的定位进行验证.本文验证了元算子计算的准确性,并评估其运算性能;收集了深度学习框架中已知有错误计算的算子,并将本文方法应用在包含这些算子的深度学习模型上,验证了本文缺陷检测方法的有效性.
其他文献
饮用水总硬度及其所引起的“水垢”问题是近期人们关注的热点水质问题之一.论文基于我国水源水中总硬度的分布情况及离子组成比例,总结了Ca2+、Mg2+、典型阴离子、总溶解固体(TDS)对人体健康的影响.结合国内外针对总硬度限值的控制要求,综合饮用水主要用途、管道输送以及优质(舒适)水的供给需求等方面的内容,探讨了我国饮用水中总硬度限值,建议针对优质饮用(舒适)水中的总硬度含量设置单独的限值;分析了我国饮用水除硬度的基本需求,各类水源水可根据其总硬度含量和成因去除率需要控制在10％～40％,且应适当考虑HCO-
针对海绵城市给排水规划设计中排水性路面建设难、流体管网充满度预测不准确等问题,提出了一种渗透性路面来解决城市内涝问题,并对其建设方式和使用材料进行了说明,同时为了对规划流体管网的排水能力进行预测,将LSTM神经网络和卷积神经网络结合,提出一种改进的LSTM模型对流体管网充满度进行预测.最后,对文中的透水性路面性能和流体管网充满度预测算法进行试验.试验结果表明,渗透性路面的排水能力和降噪能力效果显著,改进后的LSTM模型预测结果准确度提高了2％.预测时间缩短了3倍,大大提高了预测效率.
自来水末端用户小区水质和居民龙头水息息相关,为了提升小区供水水质的精细化管理,以上海市饮用水地方标准为基础,构建评价上海市居民小区饮用水水质评价指数.该指数基于上海市二次供水行业检测要求和与实际影响居民水质的因素,综合选取了在线、实验室检测数据及小区平均水龄等多参数来构建上海市居民小区饮用水水质评价指数.基于小区实际水质监测值,预先模拟了不同数据的水质状况;基于各计算模型评价结果,得出适用于居民小区饮用水水质评价的计算模型,界定了不同水质等级的评价标准.构建的水质指数在反映居民小区整体水质等级的同时,可定
磷矿废水处理自动控制系统是通过投加药剂的形式降解矿井废水中的磷化物含量,使废水中总磷及SS含量达到排放标准.针对磷矿废水除磷工艺的非线性、时变性等特点,提出将模糊控制技术与西门子PLC控制系统相结合的应用研究方法,建立1套适合磷矿废水除磷的自动控制系统.通过对以往数据、经验分析,设定隶属函数及模糊规则;通过仿真分析得出模糊控制技术的应用达到了废水处理自动控制系统对高效处理废水的要求;通过现场试验得出控制系统具备良好的稳定性并可实现对除磷药剂的高效利用.研究结果表明,将模糊控制技术应用到磷矿废水除磷控制系统
工业园区产生的废水通常需要在生化处理后接深度处理过程使之达标排放.随着排放标准中对CODCr排放限值要求的升高,已有深度处理设施往往需要提标升级改造.本研究将Fenton和臭氧两种深度处理方法进行组合,探究Fenton-臭氧及臭氧-Fenton组合工艺对某工业园区污水处理厂生化出水的CODCr降解效果.发现FeSO4·7H2 O、H2 O2、臭氧的最优投加量分别为200、200、45 mg/L,Fenton-臭氧组合工艺能将生化出水的CODCr质量浓度从150.00 mg/L降至40.00～50.00 m
为考察淡水壳菜对原水水质产生的影响,通过室内淡水壳菜的培养,对水质指标及8种嗅味物质的变化进行了研究.结果表明:水中的溶解氧含量随着淡水壳菜培养时间的增加而降低,下降速率为0.018 mg/(L·h);水中的氨氮和总氮含量随着淡水壳菜培养时间的增加而增加,氨氮代谢速率总体为0.6×10-4 mg/(L·h·个),总氮的变化主要受氨氮变化的影响;硝态氮的含量变化较小,而亚硝态氮和总磷基本无变化.另外,水中活体淡水壳菜代谢不产生研究所测定的8种嗅味物质,而有死亡个体的水中会有8种嗅味物质中的3-甲基吲哚和1-
水力停留时间(HRT)是影响AAO工艺脱氮除磷效率的重要因素.采用改良型AAO-MBR工艺处理某农村生活污水,考察了夏季时HRT对处理装置出水效果的影响.试验结果表明,该工艺对低浓度农村生活污水中CODCr、氨氮的去除效果较稳定,平均去除率分别为69.50％、98.90％.TN去除率为26.50％～56.60％,随厌氧段和缺氧段HRT增加而显著提高.TP去除率随好氧段HRT增大而增大,随缺氧段HRT增大呈现先增大后减小的趋势.厌氧段、缺氧段、好氧段适宜HRT分别为2.0、4.0、10.0 h,此条件下装置
水产养殖废水一般在冬季排放,而冬季休耕田需引水灌溉调理土壤性质,因此,文中提出了水产养殖废水养分农田再利用技术.通过小试装置构建模拟休耕田对水产养殖废水进行处理,研究水量、植物类型对水质净化效果的影响,验证土壤、植物、微生物对水质具有综合净化效果.并进一步将小试试验成果用于中试应用试验,探究自然条件下水产养殖废水一次性大量排入休耕田,对地下水背景水质及土壤的影响.结果表明,当水量为300 L/m2时,水质净化效果最好,TN、TP、CODCr去除效率分别为87.6％、57.9％、60.4％;种植植物能显著提
合流制管网溢流(combined sewer overflows,CSOs)是造成我国城镇地表水环境污染的重要原因.文中以广州市东山湖及其相关排水管网为研究对象,通过构建东山湖水动力、水质模型,模拟分析现状条件下CSOs对东山湖水质的影响,以及DN3000支隧建成后对东山湖水质的改善效果.结果表明,DN3000支隧对东山湖CSOs污染防治起到明显作用,该工程建成后,可以保证在典型暴雨时期,东山湖全水域内CODCr、TN、TP均可满足《地表水环境质量标准》(GB 3838—2002)IV类标准.
文中建立了固相微萃取-气相色谱串联两级质谱法测定地表水中的10种藻类代谢产物的含量,研究了萃取时间、萃取温度、萃取剂量、萃取纤维等预处理参数对嗅味物质含量的影响,同时对不同规格的色谱柱进行分离效果比较.结果表明,在萃取时间为25 min、萃取温度为65℃、氯化钠含量为1.7 g的测定条件下,采用50/30μm DVB/CAR/PDMS萃取头进行预处理,HP-5MS色谱柱进行分离,质谱检测器进行测定,可以使检测结果达到最优效果.方法的质量浓度均达到5.00～100.00 ng/L,工作曲线回归方程的相关系数