一种基于函数依赖的跨合约模糊测试方案

随着区块链应用的快速发展和智能合约的广泛使用,由智能合约引发的安全事件急剧增多,导致基于区块链的数字资产产生了巨大损失。目前,虽然部分工具可以检测智能合约安全漏洞,但是它们主要针对单个智能合约进行检测,未考虑跨合约之间的交互依赖关系,因此会产生较多的误报。针对上述智能合约漏洞检测工具在跨合约场景下误报率较高和性能消耗过大的问题,文章提出一种基于函数依赖的跨合约模糊测试方案FIFuzz。该方案提出ContractRank算法进行合约间依赖关系建模,采用函数重要度来表征函数在合约间交互过程中的重要程度,并在后续模糊测试模块中加以利用。模糊测试通过基于函数重要度的交易序列生成策略和基于合约地址映射关系的地址类型数据生成策略来提高检测效率,缩减跨合约漏洞检测的搜索空间。另外,通过合约调用模拟来降低漏洞检测的假阳性率。与相关工具的对比实验表明,FIFuzz的漏洞检测时间相对其他工具缩短了80%,检测到的漏洞数量是其他工具的两倍,检测跨合约漏洞的准确率也明显高于其他工具。实验结果表明,FIFuzz能够有效提升跨合约漏洞的检测准确率,降低误报率,并减小时间开销。

胀锁型锚索双向加固窄煤柱试验研究与工程应用

针对沿空掘巷窄煤柱非对称变形问题,提出了对穿锚索双向加固窄煤柱技术,设计了伸长型和胀锁型两种对穿锚索结构及工艺,开展了对穿锚索拉拔试验,试验表明两种锚索结构均满足抗拉要求,从锚索破坏形态、施工便捷性和材料经济性等方面对比分析,确定胀锁型对穿锚索为窄煤柱双向加固的首选。进一步通过相似模型试验与数值模拟研究了不同加固方式下煤柱承载变形规律和对穿锚索受力特征。结果表明:双排紧密型对穿锚索加固试件较未加固试件峰值荷载提高了96.04%,且随着锚索排数及数量的增加,窄煤柱双向加固稳定性越来越高,胀锁型对穿锚索提高了煤柱破坏前的能量储存量和临界破坏点。最后,在济宁三号煤矿123_(下)04工作面运输巷开展胀锁式对穿锚索加固窄煤柱工程试验,监测显示对穿锚索锚固力超过220 kN,锚索加固区煤柱帮鼓量降低70%,窄煤柱整体稳定性好,窄煤柱双向加固技术可行,为沿空掘巷工程提供了新技术途径。

地震-波浪联合作用下考虑冲刷效应的跨海斜拉桥振动台试验研究

针对跨海桥梁服役期内可能遭受地震、波浪以及冲刷效应影响的问题,开展地震与波浪联合作用下考虑冲刷效应的跨海斜拉桥振动台试验,研究地震与波浪联合作用下冲刷效应对斜拉桥动力特性及关键截面动力响应(加速度、位移和应变)的影响规律。研究表明:随着冲刷深度的增加,斜拉桥自振频率逐渐降低;冲刷深度的增加,降低了桥塔桩基础侧向约束,引起地震与波浪联合作用下桩顶动力响应明显增大,且增幅比其他位置更为显著;边墩墩顶加速度和相对位移均大于辅助墩墩顶,桥墩抗震设计时,应采用不同配筋率和不同的截面尺寸对边墩和辅助墩开展差异化设计;考虑冲刷效应明显增大了地震与波浪联合作用下塔底、边墩和辅助墩墩底等关键截面的应变,相较于无冲刷工况,大冲刷工况下塔底、边墩及辅助墩墩底应变分别增加39%、36%和42%,抗震设计时应高度重视。

输电铁塔装配式基础抗剪键连接的剪切性能

预制构件连接方法及其界面剪切性能影响整个输电铁塔装配式基础的受力和变形.针对螺栓连接易松动、变形大之类的问题,提出采用高强灌浆料灌注成形的十字形抗剪键作为输电铁塔装配式基础连接方案.采用室内剪切试验和数值模拟,研究该抗剪键连接的剪切性能,并与常用的螺栓连接进行对比分析.结果表明:十字形抗剪键剪切破坏模式为剪断型脆性破坏,破坏形态表现为以抗剪键为中心向外略有扩展成菱形.和螺栓连接相比,抗剪键连接的剪切强度略低,但剪切刚度显著提高.浇筑过程中灌浆料外溢对界面抗剪强度有提高作用.抗剪键的抗剪性能与灌浆料强度正相关,但提高灌浆料强度对抗剪性能提升并不明显.抗剪键深度对抗剪性能有影响,但在抗剪键深度超过20 mm后,抗剪键的抗剪性能不再提高.根据剪切试验和数值模拟结果,建议十字形抗剪键设计为长200 mm、宽20 mm、深20 mm.

复杂受荷下盾构隧道原型结构试验平台的研发与实证

盾构隧道结构在全寿命周期中往往将面临诸多复杂荷载状态,如注浆、偏载、偏转等非对称偏不利工况。为验证结构在这些复杂荷载状态下的适用性,探究结构力学性能,开展足尺原型结构试验研究往往是最为直接而有效的手段。既有原型试验主要关注隧道结构在简单对称荷载条件下的力学性能,鲜有关注复杂非对称荷载状态。为拓展原型试验的适用范围,提出了适用于不同断面盾构隧道结构的原型试验平台和用于模拟复杂荷载状态的试验荷载设计方法。该方法适用于任意加载点布置和液压站分组的试验系统,可对注浆、偏载、偏转等复杂荷载状态下结构响应进行精确模拟。通过类矩形盾构隧道、双圆隧道和圆形隧道的偏载原型结构试验研究,验证了试验平台和试验荷载设计方法的适用性。进一步针对试验关键参数的分析表明,控制目标权重系数的调整能有效满足不同的试验模拟要求;基于试验荷载设计方法优化的迭代算法能有效考虑计算模型或边界支承条件的非线性;环箍钢绞线和千斤顶的组合加载模式能将拟合误差水平降低至千斤顶加载模式的1/5,但需要删去部分加载点使试验荷载合理且适用;对于越复杂的结构和荷载,精确模拟结构状态需要的试验系统独立荷载组数越高,对试验平台的要求也越高。

增生性瘢痕的影响因素分析及风险预测模型研究

目的探究增生性瘢痕的影响因素并建立风险预测模型。方法选择2021年4月至2023年4月我院收治的102例增生性瘢痕患者作为增生性瘢痕组,102例伤口痊愈后未转化为增生性瘢痕的患者作为对照组。比较两组临床资料,采用随机森林算法筛选变量,并通过多因素Logistic回归分析影响增生性瘢痕形成的因素;相关性E值法对研究结果的灵敏度进行分析;将多因素分析结果中的β值代入回归方程y=1-1(/1+e^(-z)),建立预测模型并评价其预测效能。结果随机森林算法筛选出9个变量,多因素Logistic回归分析结果显示,年龄≤30岁、瘢痕史、家族瘢痕史、创面愈合不良史、辛辣饮食习惯、伤口类型为烧伤、转化生长因子β1(TGF-β1)水平升高等,是导致增生性瘢痕形成的危险因素(P<0.05),采取瘢痕预防措施、肿瘤坏死因子α(TNF-α)水平升高为保护因素(P<0.05);E=1.984,95%CI下限为1.216,研究结果的灵敏度较高;当模型预测增生性瘢痕形成概率为0.85时,约登指数最高(74.38),预测效果最好,预测准确度、灵敏度和特异度分别为89.03%、85.73%、88.65%。预测模型的ROC曲线下面积为0.847(95%CI:0.782~0.913,P<0.001),区分度较好;十字交叉试验结果显示,训练集和验证集模型参数的拟合度较高(Nagelkerke R2=0.602),模型较稳定。结论年龄、瘢痕史、饮食习惯、血清炎症因子水平等与增生性瘢痕的形成有关,临床上应采取个性化干预措施,以降低增生性瘢痕形成率。

液化场地大直径变截面单桩动力响应研究

为研究不同地震动强度下液化场地大直径变截面单桩的动力响应规律,基于振动台试验,选取5010波,在地震动强度0.10g~0.45g作用下,研究液化场地砂土孔压比和大直径变截面单桩桩顶水平位移、桩身弯矩、桩身加速度时程响应及桩基损伤等变化规律.试验结果表明:饱和砂土孔压比随着地震动强度的增大上升明显,地震动强度≥0.30g时,饱和砂土孔压比稳定值在0.9附近,此时砂土完全液化;在0.45g地震动强度作用下,桩身加速度、桩顶水平位移及桩身弯矩均达到最大;桩身不同位置处加速度峰值出现时刻均滞后于输入地震波加速度峰值出现时刻,且桩顶及变截面的加速度响应比桩端的响应更弱;不同地震动强度作用下,桩身弯矩最大值均出现在液化土层和非液化土层分界处,且变截面处弯矩小于土层分界面处;地震动强度达到0.30g时,大直径变截面单桩桩身发生损伤.因此,液化场地下大直径变截面桥梁单桩基础抗震设计时,应该重点考虑饱和砂土层分界处、变截面处的抗弯能力,以确保单桩桩身强度满足抗震要求.

应用霍普金森压杆试验分析柠条动态力学特性

为研究柠条的动态力学特性,采用分离式霍普金森压杆(SHPB)装置对柠条的横纹、顺纹试件进行动态压缩试验。通过改变驱动气压,使撞击杆分别以12、19、26 m·s^(-1)的初速度对入射杆撞击,比较不同应变率时,柠条试件的应力表现、破坏形态。结果表明:在相同的冲击能作用时,柠条顺纹试件的动态屈服应力强于横纹试件;随着应变率的提升,顺纹试件的动态屈服强度变化程度高于横纹试件,且应变率效应亦强于横纹试件。由动态应力-应变特性可知,柠条横纹试件经历弹性变形和弱强化两个阶段,顺纹试件经历弹性变形和压溃两个阶段。对柠条横纹试件动态屈服点后的应力-应变特性曲线,采用修正后的Johnson-Cook(J-C)本构模型进行拟合,获得良好的拟合度。

改进萤火虫算法的武器目标分配问题研究

武器目标分配(WTA)是指挥控制和任务规划领域的关键问题之一,萤火虫算法求解武器目标分配问题具有参数设置简单、执行效率高等优点。针对传统萤火虫算法易陷入局部极值,收敛速度和精度不高的弊端,从以下三个方面进行改进:初始化萤火虫序列编码时融入PWLCM混沌优化以提高全局搜索能力;设置受迭代次数控制的服从半高斯分布的非均匀步长因子以兼顾算法的搜索能力和收敛性;设计基于排序的萤火虫更新策略同时融入交叉变异操作以提高算法的效率和准确性。为验证改进算法的先进性,先利用其求解4种典型测试函数的最优解,再求解WTA问题,并与传统萤火虫算法进行对比,仿真实验结果表明,改进后算法的评价函数值提高了2.1%,迭代次数减少了52.9%,改善了传统算法易陷入局部极值的缺点,提高了收敛速度和精度,提升了武器目标分配的效果。

大断面斋堂隧道爆破近区围岩损伤研究

爆破荷载作用下隧道爆破近区围岩损伤特性研究较少.以斋堂隧道为工程背景,通过现场声波测试和数值模拟的方法,研究了隧道围岩损伤效应及毫秒延期爆破中不同段炮孔对围岩损伤的影响.研究结果表明:隧道围岩损伤范围约为2.4 m,隧道围岩累积损伤由爆炸冲击损伤和爆破振动损伤两部分组成.隧道保留岩体根据损伤分布特征情况可划分为4个不同区域,即严重破坏区、强扰动区、弱扰动区和未扰动区.其中,严重破坏区和强扰动区主要受崩落孔VI和周边孔影响;弱扰动区中的“带状损伤”则是各个段位炮孔综合作用的结果.

地浸采铀过程中含矿层渗透性演化的示踪试验

铀资源既是核军工基石又是核电发展的粮仓,在当前复杂国际形势与大力发展核电的时代,更是一种不可或缺的重要资源。随着内蒙古巴彦乌拉铀矿地浸采铀的运行,矿层堵塞、铀浸出量下降等问题逐渐浮现。为探明地浸采铀过程中含矿层渗透性的演化特征,在巴彦乌拉铀矿床C10采区某试验单元开展了井间示踪试验。试验结果表明,地浸一年后含矿层砂岩孔隙度与渗透性降低,其原因与含矿层砂岩孔隙发生堵塞有关。地浸二年后各方向渗流通道溶浸液流速较地浸一年均有不同程度降低,且下降幅度相较于前一年更大。但在试验单元三个渗流方向即KZ13238-KC13036、KZ13238-KC13038和KZ13238-KC13438方向均产生了优势渗流通道。表明随着采区的运行,含矿层孔隙堵塞情况日益严重,含矿层渗透性不断降低。研究结果可以为地浸中含矿层渗透性演化特征提供示踪证据。

红花采摘机器人移动平台设计与分析

针对红花采摘移动平台自走能力差,在不平整田间地面工作时位姿发生倾斜等问题,设计一种红花采摘移动平台,并对移动平台的整体性能进行理论分析,确定移动平台结构设计的合理性。通过ANSYS静力学分析模拟移动平台在弯曲、扭转工况下的位移量和等效应力,得到移动平台最大变形量为2.95 mm,发生在移动平台的右后轮位置;最大应力为235.8 MPa,发生在后轮车架连接位置;整体位移量和应变较小,移动平台结构满足要求。对设计的移动平台进行越障与爬坡性能试验,试验结果表明:移动平台可以顺利启动并保持一定速度匀速行走,动力性能良好,极限越障高度为61.2 mm,纵向极限倾翻角等于19.7°,横向极限倾翻角为18.3°。设计的移动平台具有较好的结构和性能,可为红花采摘作业机械提供综合应用平台并可为后续的实地田间试验提供支撑。

跨断层工程结构研究中地震断层作用研究综述

强震断层地震动的破坏作用主要表现为断层破裂引起的方向性效应和断层盘间错动引起的滑冲效应。其中断层盘间的滑冲错动会使跨断层结构面临严峻的错断风险,是跨断层结构抗错断设计、分析和进行防灾减灾决策必须考虑的内容和前提。但目前有关跨断层工程结构设计地震动的确定尚缺乏统一的方法和规定。通过对近年来跨断层结构破坏机理研究中的输入地震动,尤其是模型试验中地震动的选取和加载方式的归纳与总结,分析了断层作用地震动选取和加载方法的特点与局限性。针对现阶段强震断层地震动选用和试验加载方式中存在的问题进行探讨,提出断层作用下设计地震动的选取思路和方法,以期为跨断层工程研究输入地震动的选用提供借鉴,也为强震断层地震动模拟方法的研究提供参考。

基于药品说明书的32种头孢菌素类抗菌药物皮肤过敏试验、交叉过敏警示标志的调查与分析

目的:收集在我国上市的头孢菌素类抗菌药物药品说明书,探索其在使用过程中存在的问题。方法:通过查阅国家药品监督管理局(NMPA)官方网站获取已上市的头孢菌素类抗菌药物目录,利用MCDEX软件(网络版)、用药助手软件(手机版)以及药智数据等数据库收集目标药物的药品说明书,对其中涉及皮肤过敏试验要求、交叉过敏警示标志的内容进行分类汇总分析。结果:符合纳排标准的32种头孢菌素类抗菌药物涉及267个品规,共计3579份药品说明书;311份药品说明书强调在使用前要求或建议进行皮肤过敏试验;每份药品说明书均有交叉过敏警示标志,但描述各不相同;绝大多数药品说明书的禁忌项将头孢过敏史列为禁用情形,少数药品说明书中明确规定了青霉素过敏为禁用的条件。结论:目前我国头孢菌素类抗菌药物的药品说明书对皮肤过敏试验的标注仍存在分歧;药品说明书中禁忌项的描述对于交叉过敏过度夸大,一定程度上可能造成部分患者不能再接受青霉素和头孢菌素类抗菌药物治疗,有待进一步规范。

PM_(2.5)浓度时空分布特征及驱动因子分析——以华中地区为例

近年来,华中地区极端恶劣天气多发,空气污染程度愈发严重。作为我国重要的经济交通枢纽,针对其空气污染进行研究十分必要。基于多源遥感数据,采用MK检验方法分析2000-2021年华中地区PM_(2.5)浓度时空分布特征,采用地理探测器方法探讨影响该地区PM_(2.5)浓度的因子。结果表明:华中地区PM_(2.5)浓度呈“北高南低,东高西低”分布特征;地区年均PM_(2.5)浓度呈倒“V”形分布特征,2000-2009年PM_(2.5)年均浓度显著上升,2010-2021年显著下降。在所有驱动因子中,相对湿度的驱动力最强(q=0.733),其与碳排放组合为最强交互因子(q=0.84)。交互探测结果显示社会因子和自然因子交互解释效果大于其他因子交互,表明地区PM_(2.5)分布受自然因素和社会因素共同影响。

无人自主系统跨域协同作战试验初探

随着战争形态由信息化向智能化转变,利用无人自主系统在多维空间实现跨域协同效能聚合成为联合作战的重要发展方向,无人自主系统跨域协同作战试验是适应战争形态发展需要应运而生的新型作战试验组织形式。梳理了无人自主系统跨域协同作战试验鉴定的发展动态,分析了试验特点规律和试验能力需求。基于系统工程方法,从时间维、逻辑维和知识维构建了无人自主系统跨域协同作战试验系统工程的三维结构模型,为系统化、程序化、规范化开展作战试验提供参考借鉴。

基于时序聚类及改进Pettitt的系统谐波阻抗估计

针对谐波电压与电流数据出现严重无序性,导致常规非干预式方法难以对系统谐波阻抗进行准确的实时估计,提出一种基于时序聚类及改进Pettitt的系统谐波阻抗估计方法。首先,运用时序聚类中互相关系数原理使谐波电压和电流序列平移对齐并筛选出强相关性的数据。然后,为了规避阻抗突变的影响,提出基于二元分割的Pettitt方法对阻抗突变点进行检验。最后,使用再生权最小二乘法,通过赋权重系数进一步减小异常值对结果的影响。仿真与实例结果表明,本文方法可以有效降低背景谐波波动和阻抗突变对系统谐波阻抗估计带来的误差。

十字剪切板试验在岩土勘察工程中的应用

十字剪切板试验可以对岩土层剪切性能进行测定,该试验提供了可靠的地质基础数据,为工程设计、施工和运营提供了科学依据。其独特之处在于能够全面、直观地揭示岩土层的物理力学性质,为工程的稳定性和安全性评估提供关键信息。十字剪切板试验的高度精准性使其成为岩土工程勘察中的重要工具,为工程在各个阶段的可靠性提供重要保障。在岩土勘察实践中,该试验的广泛应用为工程领域的科学发展和进步提供了有力支持。

乘用车备胎舱对路噪的影响和优化

针对某SUV车型低频路噪轰鸣声问题,实车道路排查测试发现备胎舱与车内轰鸣声存在强相关,并结合前期的仿真分析结果,识别出备胎舱是引起车内轰鸣声主要原因。通过充分利用截面几何力学特性指导结构优化,提高备胎舱刚度,使其模态频率与问题频率避频,达到改善驾乘人员的乘坐舒适度。同时也为后续车型开发过程中提供借鉴,备胎舱结构设计开发,不仅要满足承重的性能指标要求,还要兼顾NVH性能指标,特别是在共平台车型开发过程中,此性能指标制定尤为重要,如果舒适性能指标制定合理,可以有效避免共用底盘件不同车型由于配置产生的其他NVH问题,也可以间接减少物理试验的投入,降低开发成本。