摘要：随着机器学习在社会各领域中自主决策场景的广泛应用,人们对机器学习框架中潜在漏洞的担忧也在日益增加.然而,由于其复杂的实现,针对框架的系统化、自动化测试成为一项艰巨的任务.现有对机器学习框架测试的研究在生成有效测试数据方面尚不成熟,导致测试数据无法通过合法性校验并因此无法检测到目标漏洞.本文提出了ConFL,一种基于约束的机器学习框架模糊测试工具.ConFL能够自动从框架源代码中提取约束而无需任何先验知识.在约束的指导下,ConFL可以生成能够通过校验的有效输入,并执行到框架更深层次的代码逻辑.此外,本文设计了一种算子分组调度技术来提高模糊测试的效率.为了证明ConFL的有效性,本文主要在Tensor-Flow框架上评估了其性能.测试发现,与现有的SOTA工具相比,ConFL能够覆盖更多的代码行,并生成更多有效的测试数据;在相同版本的TensorFlow框架上,ConFL能检测出更多的已知漏洞.此外,ConFL在不同版本的TensorFlow中发现了84个未知漏洞,这些漏洞全部被官方修复并被分配了CVE编号,其中包括3个严重漏洞,13个高危漏洞.最后,本文还在PyTorch和PaddlePaddle中进行了通用性测试,迄今为止发现了7个漏洞.

摘要：在“双碳”以及阶梯电价政策的双重背景下,通过技术升级降低吨铝电耗成为电解铝企业生存和发展的“生命线”。国内某公司350 kA系列铝电解槽采用沈阳铝镁设计研究院有限公司铝电解节能技术进行内衬优化升级,取得了降低铝液直流电耗321 kWh/t-Al的节能效果,全部推广后预期节电约1.12亿度/年,减少CO_(2)排放约6.5万吨/年。

摘要：本文通过对比分析某企业420 kA电解槽原铝产品各杂质元素含量与3N铝产品需求成分的差距,分析铝电解生产流程中各环节带入杂质来源情况,并针对杂质来源提供了采用普通铝电解槽直接生产3N铝的改进措施,成功生产出质量稳定的3N铝产品。

摘要：【目的】抗鸟撞性能一直是飞机适航性的重要检验因素之一。为探究某民机机头侧壁板的抗鸟撞性能,采用铆钉失效占比评估法、能量法以及剩余承载力评估法这3种方法进行评估。【方法】通过PAM-CRASH软件模拟3种构型侧壁板的鸟撞情况,验证了数值模型的有效性,并基于3种试验件的鸟撞破坏情况对上述方法的可靠性进行评估。【结果】研究结果表明,铆钉失效占比越低表明结构的抗鸟撞性能越好;结构的铆钉吸能占比大小提升且蒙皮吸能占比大小降低时,结构的抗鸟撞性能得以提升;剩余承载力评估法能够定量化分析抗鸟撞性能,当损伤因子越低,其抗鸟撞性能越好。【结论】对侧壁板试验件抗鸟撞性能评估法的适用性与局限性进行总结,为后期民机的安全设计和研究开发提供有价值的参考。

摘要：温度会对鱼类的营养需求产生影响,为研究不同温度条件下不同饲料方案对大菱鲆(Scophthalmus maximus L.)幼鱼生长和氧化应激的影响,确定不同温度下最适合的饲料方案。设计了等脂等能的4种实验饲料,分别为45%蛋白15%糊精的低蛋白组(LP组)、50%蛋白10%糊精的对照组(CON组)、55%蛋白0%糊精的高蛋白组(HP组)和50%蛋白20%糊精的高糖组(HC组)。在3个温度条件下(15、18和21℃)挑选初始质量(7.50±0.10) g的幼鱼进行8周的养殖实验,并对生长、抗氧化应激指标和抗氧化指标应激相关基因表达情况进行研究。研究显示,15℃时,CON组和LP组的特定生长率(SGR)显著高于HP组(P<0.05),且CON组和LP组肝脏丙二醛(MDA)含量显著低于HP组和HC组(P<0.05)。18℃时,CON组的SGR最高,显著高于LP组(P<0.05);且CON组肝脏MDA含量最低(P<0.05)。21℃时,HP组有最高的SGR和最低的饲料系数(FC)(P<0.05),且HP组肝脏MDA含量显著低于LP组和HC组(P<0.05)。在本实验3种温度条件下HC组肝脏MDA含量都最高;同时,CON组和HP组可通过上调Nrf2-ARE信号通路中相关基因来提高鱼体抗氧化能力。研究结果表明,在低温度下适合投喂低中蛋白饲料,在适温度条件下适合投喂中蛋白饲料,在高温度条件下适合投喂高蛋白饲料,高糖饲料会导致严重的氧化应激。

摘要：目的:探讨线上密室逃脱游戏教学对腹腔镜胆囊切除术病人疾病认知、术前焦虑及满意度的影响。方法:采用整群抽样法抽取医院2021年8月—2022年8月收治的198例腹腔镜胆囊切除术病人为研究对象,按照随机数字表法分为对照组和观察组,各99例,对照组采用传统教育模式,观察组在对照组基础上采用线上密室逃脱游戏进行健康教育,采用自行设计的腹腔镜胆囊切除术病人疾病认知问卷、焦虑自评量表(SAS)、满意度调查问卷测评两组病人干预后疾病认知、术前焦虑及护理满意度情况。结果:两组病人干预后疾病认知评分、焦虑自评量表(SAS)评分及护理满意度比较,差异均有统计学意义(P<0.05)。结论:线上密室逃脱游戏教育有助于提高腹腔镜胆囊切除术病人疾病认知水平,降低术前焦虑水平,提升护理满意度。

摘要：为研究大菱鲆(Scophthalmus maximus L.)的赖氨酸需求量,评估饲料中赖氨酸含量对大菱鲆的血浆生化指标、消化酶活性以及抗氧化和免疫功能的影响,本研究设计了5种等氮(约50%粗蛋白)和等脂(约12.5%粗脂肪)的饲料,饲料中赖氨酸含量分别为1.69%、2.49%、3.32%、4.11%和4.90%,进行了10周的饲养实验。对大菱鲆的生长性能、消化酶活性、肝脏抗氧化和免疫能力等指标进行测量。研究表明,当饲料中赖氨酸添加量增长到3.32%时,大菱鲆的生长性能逐渐提升,此后呈稳定趋势,而缺乏赖氨酸会对大菱鲆的生长和饲料利用造成不利影响。随着饲料中赖氨酸含量从1.69%增加到4.90%,全鱼粗脂肪降低、粗蛋白含量增加。此外,大菱鲆的肝体比(HSI)也随着饲料赖氨酸含量的增加而降低。在肠道消化酶活性方面,脂肪酶和胰蛋白酶表现出随饲料赖氨酸含量的增加先升高后降低的趋势,均在3.32%时活性最高。饲料中赖氨酸添加量的改变不影响血糖含量,但1.69%组和2.49%组的血浆甘油三酯(TG)和总胆固醇(T-CHO)含量显著升高。饲料中适宜的赖氨酸含量能够提高大菱鲆肝脏的抗氧化能力,并通过调节非特异性免疫,缓解炎症反应。本研究结果表明,当饲料中赖氨酸水平为饲料干质量的3.19%(饲料蛋白质的6.39%)左右时,能够最大限度地发挥赖氨酸的有效功能。

摘要：沈阳院铝电解绿色深度节能技术是针对国家双碳战略和行业阶梯电价背景而形成的一整套技术体系。其从铝电解工艺本质切入,着手于磁流体稳定性提升、良好热平衡维持和系统性节能降耗三个方向,包含了磁场原位升级技术、网络化自均衡母线技术、节能长寿命阴极及内衬技术、双侧精准集气技术以及相配套的生产操作及管理技术等。该技术体系已经在超过45条电解系列上应用,涉及了从180到600 kA的所有国内电解槽型,直流电耗最低达到了12200 kWh/t-Al以下。该技术的应用有助于缓解电解铝生产企业的节能降碳压力,同时提高电解生产的安全性和稳定性。

摘要：磁场是电解槽磁流体稳定性的决定性因素,本文对铝电解槽的磁流体稳定性进行研究,通过采用自均衡网络化母线技术降低电解槽垂直磁场,改造后的垂直磁场平均降低47.5%,且四个象限磁场强度分布均匀。通过瞬态磁流体模型及流动场稳定性分析验证,500s左右后电解槽可自行恢复稳定状态,界面变形减小1.2cm,证明采用自均衡网络化母线技术后的电解槽自平衡能力及抗波动能力均得到增强,从而节省直流电耗150kWh/t-Al。

摘要：某企业500 kA铝电解槽通过采用“CompoGX”技术并集成阳极组合节能技术,开展节能技术集成工业试验研究。试验结果表明:试验槽炉底压降为196 mV,槽平均电压为3.858 V,电流效率为93.5%,铝液直流电耗达到12297 kWh/t-Al,节能减碳效果显著。