课程文献中心 更多>>

关键词： 智能合约   区块链   T5模型   机器学习   漏洞修复  

摘要： 针对以太坊智能合约漏洞修复问题，目前的研究主要集中在人工定义模板的方法上。此方法需要开发者具备丰富的专业知识，面对复杂漏洞时修复效果较差。本文在Solidity智能合约源代码层面，围绕智能合约的漏洞修复技术开展研究。引入机器学习的漏洞修复方式，设计并实现一个T5模型智能合约漏洞修复系统，解决人工依赖的问题。利用数据爬虫技术和数据增强技术，构建相应T5模型训练数据集。利用机器学习技术，训练智能合约漏洞修复T5模型。通过网络爬虫构建了一个测试数据集，对本系统进行多角度的性能评估。在合约修复准确率、gas消耗和引入代码量等方面，与TIPS、SGUARD和Elysium等合约漏洞修复工具进行对比。实验结果表明，本系统修复效果良好，整体性能优于其它漏洞修复工具。

标准号: GB/T 44790-2024

摘要： 本文件描述了用于微量或痕量分析前处理的聚苯乙烯纳米纤维固相萃取性能中的萃取率、批内重复性和批间一致性的检测方法。 本文件适用于聚苯乙烯纳米纤维作为微量或痕量分析中固相萃取吸附剂的性能检测。

关键词： 生物过程   介尺度模拟   计算流体力学   AI优化   机器学习  

摘要： 生物过程是利用活性生物细胞或酶实现底物生物转化的一种绿色可持续、环境友好的加工过程，在生物制造中起着关键作用。具有双重属性的生物过程多层次多尺度间的复杂关联导致生物过程的优化十分困难，深入认识介尺度机理是了解生物过程动态变化和梳理多尺度复杂关系的关键之一。介尺度的数值模拟为介尺度现象的认识提供一种新途径，AI优化与介尺度模拟的结合为生物过程的优化注入了新的活力。本文综述了生物过程中介尺度模拟和AI优化的研究进展，探讨了可能的发展方向，以期促进介尺度模拟和AI优化在生物过程中的应用与发展。

关键词： 双金属复合管   外部硬物   回弹率   凹陷   界面分离  

摘要： 为研究双金属复合管在外部硬物作用下的凹陷演变过程及界面分离机理，建立了压头作用下复合管受力模型，研究了内管和外管径厚比、成型压力、初始成型间隙和运行内压对复合管凹陷及界面分离的影响。结果表明：复合管界面分离距离和回弹率与内管径厚比、成型压力和初始成型间隙成正相关，与外管径厚比成负相关；运行内压越大，界面分离量越小，但回弹率越大；对凹陷管道内部进行充压可减小界面分离量，运行压力2MPa的复合管分离量比充压2MPa工况小5%，随后两种工况分离量差值随着压力增加而降低；相邻凹陷的发生会导致中间管段界面分离量增大，比单凹陷造成界面分离范围更广。

关键词： PID参数优化   深度强化学习   TD3  

摘要： PID控制器在工业控制领域应用广泛，其参数的选择过度依赖于人工经验，效率低且过程繁琐。近年来，深度强化学习因其具有对复杂环境自学习的能力，在很多领域取得了成功应用。本文提出一种基于双经验回放池TD3算法的PID参数优化方法，利用深度强化学习的方法，自主优化PID控制器的参数。在整个优化过程中，将控制问题视为序列决策过程，通过设计智能体的状态、动作空间以及网络结构，将PID参数的优化过程转化为强化学习策略网络权重的更新过程。同时针对TD3算法训练前期探索效率低的问题，在TD3算法的基础上，增加双经验回放池机制，提升了算法训练前期的效率。最后在二阶系统和一阶加纯时滞系统上进行仿真验证，并与基于PSO算法优化PID参数的方法进行对比，实验结果表明，所提算法优化得到的PID参数在控制器上体现的控制性能要优于PSO算法。

关键词： 直冷式制冰机   冰模蒸发器   制冷剂   数值模拟  

摘要： 针对直冷式制冰机在工业应用中的定量研究较少，存在调控机制不明晰，换热能力和制冰均匀性不足等问题，构建了冰模蒸发器制冷剂侧数学模型并利用MATLAB模拟仿真，对比实验数据和模拟结果，分析了换热和流动参数随流动过程和制冰时间的变化。结果表明：水结冰前换热速率比水结冰后高约30%，且制冷剂流量存在明显差异；过热前后单位换热量降低了40.9%，减少过热段可以显著增强换热，提高换热均匀性；过热前水侧和冰侧热阻分别占总热阻的93.4%和91.7%，换热优化时应优先提高水侧或冰侧换热。该模拟程序可以预测流量变化情况、模拟过热段长短，为制冰机的设计和运行控制提供了理论依据和实际指导，有助于提高产品性能并加速制冰过程。

关键词： 多体分离   轨迹预测   安全评估平台   嵌入式神经网络   遗传算法  

摘要： 针对高速飞行器头罩分离等高动态多体分离问题，开展气动特性智能预测与分离轨迹仿真模拟研究，为分离系统设计、分离窗口选择、分离方案优化与评估提供技术支撑。选取典型状态点进行数值计算模拟和网格测力风洞试验，建立气动数据库。采用融合高、低保真度数据的嵌入式神经网络进行学习训练，结合遗传算法对神经网络结构进行优化，得到的气动力系数预测结果与网格测力试验结果相比误差小于5%。采用四阶龙格库塔法求解飞行器六自由度运动方程，建立基于神经网络训练结果的分离轨迹仿真模拟方法，在不同初始分离条件下开展蒙特卡洛分析和灵敏度分析，对影响分离安全的主要因素进行评估。通过与风洞CTS模拟轨迹结果对比分析，平台分离轨迹预测可靠，成本代价较低，可快速提升轨迹模拟能力，更好支撑分离方案设计。

关键词： 芍药   交链格孢菌   生物学特性   植物源农药  

摘要： 目的:明确信阳地区芍药叶黑斑病的病原菌种类及生物学特性,并筛选合适的植物源药剂。方法:从芍药种植区采集病叶,室内分离病原菌并纯化,并进行致病性回接试验,利用形态学和分子生物学对致病菌株进行鉴定;通过研究该病原菌的生物学特性,以明确其最佳培养条件;采用菌丝生长速率法测定3种植物源农药对芍药黑斑病菌的室内毒力。结果:结合形态学和基于r DNA-ITS序列、tef1基因的分子生物学鉴定分析,表明引起信阳地区芍药黑斑病的病原菌为交链格孢菌Alternaria alternata;该病原菌最适培养条件为温度28℃、pH为9,最适生长碳、氮源分别为淀粉和硝酸钾;1%蛇床子素AS、0.5%大黄素甲醚AS和5%大蒜素ME对芍药叶黑斑病菌的EC50分别为19.772、243.245和1 810.685 mg/L。结论:信阳地区芍药黑斑病病原菌为交链格孢菌Alternaria alternata,该病原菌最适培养条件为温度28℃、pH 9,最适生长碳、氮源分别为淀粉和硝酸钾;1%蛇床子素AS对该病原菌有较强抑制作用。

关键词： 肉鸭液体粪污   固液分离   预处理   分离效果  

摘要： 随着我国肉鸭养殖行业的集约化、规模化发展，产生了大量集中的养殖粪污。由于肉鸭养殖粪污固体颗粒细小、水分含量高且较为粘稠等问题，现有的固液分离技术在分离效率和经济效益上都难以达到实际生产运营的要求。本研究通过单因素试验初步明确了含固率、离心转速和筛网目数对肉鸭粪污中化学需氧量（COD）、总氮（TN）和磷酸盐（PO）去除效果的影响。进一步采用Box-Behnken设计进行组合试验，并利用Design expert获得优化参数组合。预测结果显示，当含固率为2%、离心转速为2000 r·min-1且筛网目数为150目时可取得较好的分离效果，其COD、TN和PO的去除率分别可达到79.3%、74.7%和84.7%。以预测的最佳参数通过验证试验得出COD、TN和PO的实际去除率分别为77.6%、69.7%和79.8%，与预测值之间的差异小于5%，表明响应曲面法在预测肉鸭粪污固液分离处理效果方面具有较高的准确性。然而，尽管优化后的参数提高了分离效率，机械固液分离技术对肉鸭粪污中污染物的去除效果仍有限，有待进一步改进以满足实际生产的需求。