摘要：智能合约是一种被大量部署在区块链上的去中心化的应用.由于其具有经济属性,智能合约漏洞会造成潜在的巨大经济和财产损失,并破坏以太坊的稳定生态.因此,智能合约的漏洞检测具有十分重要的意义.当前主流的智能合约漏洞检测方法(诸如Oyente和Securify)采用基于人工设计的启发式算法,在不同应用场景下的复用性较弱且耗时高,准确率也不高.为了提升漏洞检测效果,针对智能合约的时间戳漏洞,提出基于数据流传播路径学习的智能合约漏洞检测方法Scruple.所提方法首先获取时间戳漏洞的潜在的数据传播路径,然后对其进行裁剪并利用融入图结构的预训练模型对传播路径进行学习,最后对智能合约是否具有时间戳漏洞进行检测.相比而言,Scruple具有更强的漏洞捕捉能力和泛化能力,传播路径学习的针对性强,避免了对程序整体依赖图学习时造成的层次太深而无法聚焦漏洞的问题.为了验证Scruple的有效性,在真实智能合约的数据集上,开展Scruple方法与13种主流智能合约漏洞检测方法的对比实验.实验结果表明,Scruple在检测时间戳漏洞上的准确率,召回率和F1值分别可以达到0.96,0.90和0.93,与13种当前主流方法相比,平均相对提升59%,46%和57%,从而大幅提升时间戳漏洞的检测能力.

摘要：作为一种先进推进系统,脉冲爆震发动机热端部件的热载荷随着工作频率和飞行马赫数的提高而大幅增加。发汗冷却具有很高的冷却效率和更低的冷却剂消耗,使其成为脉冲爆震发动机燃烧室壁面冷却的理想方案。开展发汗冷却与爆震燃烧耦合研究,是爆震发动机发汗冷却设计的理论基础。为了探索发汗冷却的固体和流体结构对爆震燃烧的影响规律,本文采用实验方法,研究了不同多孔介质结构和单相发汗冷却对充分发展爆震燃烧传播过程的影响。结果表明,爆震波在多孔介质壁面上传播时发生减速,但不会引起爆震波解耦。单相发汗冷却引发爆震燃烧失效的主要原因是冷却剂的稀释作用使得局部当量比低于燃料的可爆极限。当冷却剂注入率超过12.5%时,爆震燃烧解耦。

摘要：水相圈闭是非常规天然气开发面临的主要储层损害问题之一,采用岩心驱替实验无法直观揭示孔隙内部气水两相分布和流动演化过程,因此,对水相圈闭损害微观作用机理的认识有待提高.根据致密砂岩铸体薄片,设计出一维通道和二维孔隙网络两种玻璃芯片模型,可视化研究了孔隙尺度下渗吸和返排过程中气-水界面演化和两相流动行为;结合岩心驱替实验,探讨了孔隙尺度气-水界面演化与致密砂岩宏观气体流动的关联机制.结果表明:(1)孔隙尺度下气-水界面随含水饱和度的增加由水膜水气-水界面向毛管水气-水界面演化,并主要通过卡断和绕流两种形式破坏气体流动连续性;(2)优势通道既是孔隙尺度下水相返排的快速走廊,也是气泡运移和贾敏效应发生的主要通道,是造成储层产水但不产气的一个重要原因;(3)孔隙尺度下气-水界面演化引起的水封气现象是水相圈闭损害的具体微观作用形式,宏观表现为岩心尺度上水相难以彻底返排和气体渗透能力不能完全恢复.实验结果可为储层岩石孔隙尺度下水相圈闭作用机理和气水可动性分析提供理论依据.

摘要：超分辨荧光显微镜突破了光学衍射极限造成的空间分辨率限制,使得生物学家能够在生命体和细胞具有活性的状态下,对其功能与结构进行高精度动态记录,有望揭示更多重要的生命现象细节。然而,由于超分辨荧光显微技术的成像视场、深度、分辨率、速度等不易兼得,所以解卷积作为一种最有效且直接的求解逆问题的框架,被广泛应用于增强超分辨显微镜的时空分辨率。研究人员聚焦于通过相应算法设计实现高质量显微图像的重建,在一定程度上克服了超分辨荧光显微镜的硬件限制,可以更好地恢复生物信息。本文首先介绍了解卷积方法的基本原理及其发展历程,接着列举了不同解卷积技术在不同模态下的重建原理和效果以及这些技术在生物学上的应用,最后总结了基于深度学习的解卷积方法在超分辨荧光显微镜技术上的最新进展和未来的发展潜力,并对包括傅里叶环相关的定量评估图像重建质量的方法的最新进展进行了阐述。

摘要：针对传统红外热斑故障检测算法由于特征表达能力不佳造成算法易受复杂背景干扰以及对密集目标、小目标故障检测精度低的问题,提出一种基于高阶空间交互的光伏组件热斑故障检测网络。首先,设计高阶空间交互模块,并将其引入YOLOv5主干网络进行全局交互建模,提升网络对密集目标的检测精度;其次,为突出复杂背景下故障目标的关键特征,设计基于协同注意力的特征提取模块重构颈部网络;然后,在颈部网络设计多尺度特征增强融合模块以提高检测网络对不同尺度特征的充分利用;最后,设计自适应特征融合检测头以提高模型对小目标的感知能力。实验结果表明,相较于7种经典检测算法,所提出的算法检测精度最高,精度可达84.3%。

摘要：针对航空母舰飞行甲板上舰载机弹药保障面临的调度效率不高的问题,提出一种基于Unity3D的舰载机弹药调度三维虚拟演示方法,构建了面向航空母舰飞行甲板上舰载机弹药调度的三维虚拟仿真系统。通过定义系统,建立面向航空母舰舰载机弹药运输、装载调度过程的问题模型以及路径确定、顺序约束、装载位置补偿等处理规则,使用改进离散灰狼优化算法实现了调度过程优化求解。参照公开的场景信息搭建了航空母舰飞行甲板上舰载机弹药调度保障虚拟交互场景,设计了执行不同控制任务并能实现彼此之间交互控制的系统脚本,通过在系统虚拟场景实体模型上分别加载实现了虚拟场景的可控实时演示。对场景实例的优化求解与仿真演示验证了所提方法的有效性和可行性。

摘要：为了探明高速列车与最不利长度隧道耦合作用下列车气动阻力变化规律,以某动车组为计算模型,基于滑移网格技术和计算流体动力学(CFD)理论,采用k-ε两方程湍流模型对最不利隧道内8辆编组单车穿越和双车等速交会时的气动效应进行了三维数值模拟,并结合遂渝线上二岩隧道实测数据对计算方法的可靠性进行了验证。结果表明:(1)列车所受气动阻力变化与列车头尾部的压差变化有直接关系,压差的升高和降低会引起阻力的增大和减小。(2)在隧道内以时速300 km单车穿越和双车交会过程中,整车最大气动阻力分别发生在列车入隧道后3.1 s和2.8 s时刻,阻力系数分别达到1.37和1.49,且此时头车阻力在整车中占比最大,分别为34.67%和36.57%。(3)当列车头头交会和头尾交会时,尾车阻力占比最大,分别为56.79%和37.33%;当列车尾尾交会时,头车阻力占比最大,为44.62%,而尾车阻力此时接近为0。(4)列车行驶速度提高会引起气动阻力迅速增大,当列车时速从250 km提升至400 km时,隧道内单车穿越和双车交会整车气动阻力平均值分别增大了132%和150%。研究结果可为车隧设计提供一定的参考。

摘要：“双碳”目标的实施加速了新型电力系统发展。然而,新型电力系统的转动惯量和调节能力逐渐难以适应复杂多变的负荷变化。因此,开发更高效、更快速的调频资源参与自动发电控制(automatic generation control,AGC)已成为刻不容缓之事。但是,不同调频机组之间的异质性显著,包括机组模型、容量和响应速度的差异,这对AGC提出了挑战。为了提升异质调频资源参与AGC的性能,该文提出了一种分布式协同AGC方法。首先,基于分布式固定时间一致性理论提出了一种分布式固定时间区域控制偏差(area control error,ACE)发掘算法。随后,各AGC机组根据获取的ACE信息设计独立的PI控制器参与频率调节。在ACE调节的最后阶段,根据各机组出力的标幺值,设计了分布式固定时间功率均分控制器,控制低速AGC机组承担更多的功率调整量,从而释放高速AGC机组的容量并为下一轮AGC服务做好准备。通过对包含5种不同调频单元的两区域电力系统进行仿真研究,验证了所提分布式协同AGC方法的性能。结果表明,所提方法可以有效地提高系统的调频性能,且能够在设计的时间内实现期望的有功功率分配。

摘要：性能优异的聚合物电解质需要兼具较高的离子电导率和良好的机械性能.深入理解聚合物的结构和分子动力学及其与材料宏观性能之间的关系,对于从分子尺度设计高性能聚合物电解质至关重要.本文选取玻璃化转变温度低、氢键缔合基团位于链端的非晶遥爪型聚丙二醇模型体系,通过化学修饰端基合成了分子量为1000,2000和4000的两端端基均为烯丙基的聚丙二醇,并利用宽频介电谱研究了链端基团相互作用强度及分子量对聚丙二醇多尺度动力行为的影响.实验结果表明,具有两种不同端基的聚丙二醇均出现了对应链段尺度的α松弛和对应整链尺度的Normal Mode松弛.在相同温度下,端基相互作用会同时影响两个松弛过程,相互作用越强,松弛时间越长.由于端基含量随分子量减小而增加,分子量越小,缔合端基对高分子动力学的影响越明显.此外,利用高分子玻璃化熵理论研究了端基缔合强度和分子量对遥爪型高分子熔体链段动力学的影响,理论预测与实验结果定性一致.研究结果为聚合物电解质的分子设计提供了指导.

摘要：将焦距的内涵由零视场拓展至全视场,局部焦距可被用来表征各视场处极小视场角增量光线对应的像高增量,畸变则等效为随视场变化的局部焦距。继而,将局部焦距引入光学系统的设计过程用于畸变的表征与控制,可获得算测融合的效果。针对鱼眼镜头大视场、中央视场分辨率高且无畸变的成像目标,通过对局部焦距的追迹计算和优化控制,设计了全视场角160°,50%中央视场满足f-tanθ等线投影的鱼眼镜头。针对有限物距曲面物体复杂成像场景,通过对局部焦距的调控变换,为多种曲率半径数值的凸、凹物面设计了相应的广角镜头,满足了120°视场范围内物方等分辨率投影映射的效果。