嵌入式固件模糊测试研究综述

由于设备固件更新速度慢、安全防护弱等问题,导致嵌入式设备给国防军事、社会生活带来便利的同时也引入了大量安全风险.因此,快速找出并修复固件中的安全问题变得至关重要.模糊测试是一种高效识别软件缺陷的测试方法,本文针对此方法展开研究.首先介绍了嵌入式系统及其固件的概念,概括了嵌入式系统的模糊测试流程.其次,分析了嵌入式固件模糊测试技术所面临的挑战以及相应的解决方法;然后,深入研究了基于仿真和基于接口的两种模糊测试技术,从一些先进的模糊测试器中分析当前嵌入式固件模糊测试发展现状;最后,总结了当前固件模糊测试技术存在的不足并提出下一步的研究方向.

代码相似性检测技术综述

代码复用为软件开发带来便利的同时也引入了安全风险,如加速漏洞传播、代码恶意抄袭等,代码相似性检测技术通过分析代码间词法、语法、语义等信息计算代码相似程度,是判断代码复用最有效的技术之一,也是近年发展较快的程序安全分析技术。首先,系统梳理代码相似性检测的近期技术进展,根据目标代码是否开源,将代码相似性检测技术分为源码相似性检测和二进制代码相似性检测,又根据编程语言、指令集的不同进行二次细分;其次,总结每一种技术的思路和研究成果,分析机器学习技术在代码相似性检测领域成功的案例,并讨论现有技术的优势与不足;最后,给出代码相似性检测技术的发展趋势,为相关研究人员提供参考。

固溶冷却方式对新型高强近β钛合金Ti-5321微观组织及力学性能的影响

以新型高强近β钛合金Ti-5Al-3Mo-3V-2Cr-2Zr-1Nb-1Fe(Ti-5321,式中数值为对应元素的质量分数的100倍)为实验材料,研究了固溶冷却方式对钛合金组织演变、相变过程及力学性能的影响。结果显示合金固溶后经不同方式冷却会形成不同类型的组织,在连续加热过程中发生不同的相变,导致时效后α相析出特征明显不同,合金具有不同力学性能。Ti-5321合金固溶后空冷,β相基体中会形成ω和O′两种亚稳相。与水淬态样品相比,空冷态样品时效处理后α相尺寸更小,密度更高,析出强化效果也更高。当时效温度为600℃时,空冷态合金时效后的抗拉强度最高,达到1421 MPa,水淬态合金的抗拉强度为1220 MPa。合金固溶后炉冷α相以板条状析出,形成网篮组织,时效处理不改变组织特征,合金强度最低,塑性最好。

蓝靛果花青素复合液态制剂对Ⅱ型糖尿病小鼠糖脂代谢的影响

目的:探究蓝靛果花青素复合液态制剂(由Lonicera caerulea L.、Polygonatum sibiricum、Inonotus obliquus复配制成,LPI)对Ⅱ型糖尿病(T2D)小鼠糖脂代谢的影响。方法:高脂饲喂结合链脲佐菌素诱导构建T2D小鼠模型,将其随机分为6组进行饲养:空白对照组、糖尿病模型组、低中高剂量样品组和二甲双胍阳性对照组。28 d连续干预后测定并记录小鼠的体质量数据及生理生化指标,并对小鼠的脏器进行病理学观察。结果:LPI各个剂量组均能升高T2D小鼠体重,改善脏器损伤的症状,显著降低血清胰岛素水平(P<0.05)并显著提高HDL-C水平(P<0.05)。LPI各个剂量组可以显著降低空腹血糖值(P<0.05)及胰岛素抵抗指数(P<0.05),改善其葡萄糖耐量(P<0.05),并使T2D小鼠血清TC、TG、LDL-C水平显著降低,且具有剂量依赖性。结论:蓝靛果花青素复合液态制剂可从体质量数据、糖代谢、脏器病理损伤、脂代谢多方面改善T2D小鼠的代谢紊乱情况,为新型天然植物降糖制剂的研发及糖尿病防治提供理论支撑。

自膨胀高聚物浆液劈裂注浆仿真方法研究

为深入研究自膨胀高聚物浆液在土体中的劈裂扩散机制,建立一种模拟高聚物膨胀力作用下土体劈裂缝从启裂、扩展至稳定全过程的二维仿真分析方法。该方法采用扩展有限元方法位移模式和离散方程,利用高聚物密度-围压关系迭代计算浆液膨胀力,用最大拉应力准则判断启裂位置,用相互作用积分方法计算应力强度因子,用最大周向应力准则判断裂缝扩展方向,实现对劈裂缝扩展过程的数值求解,通过与试验结果的对比证明了该方法的适用性。在此基础上分析注浆量、土体弹性模量和断裂韧度对浆脉最终形态的影响规律,结果表明:浆脉长度和宽度均随着注浆量的增大而增大,但其增长速率均随着注浆量的增大而减小;在注浆量相同的情况下,浆脉长度随着土体弹性模量的增大而增大,随土体断裂韧度的增加而减小。该方法能够较好展现浆脉扩展特征,为深入研究浆-土相互作用机制,揭示膨胀性高聚物注浆材料在土体中的劈裂扩散机理奠定基础。

基于深度学习的海上船舶目标检测

为了应对海上开阔环境目标检测面临的挑战,并致力于开发先进的海上目标检测技术,文章提出了一种基于深度学习框架YOLOv5的海上船舶自动检测与识别技术。该技术具备实时检测海上船舶等小目标的能力,并且体积较小,克服了传统目标检测技术在速度和性能上的限制。这项技术的应用能够有效提高航海运输、海上搜救和国防安全等领域的效率和可靠性。实验结果表明,文章提出的针对船舶视觉识别的方案快速而精准,能够验证YOLOv5在船舶检测中的重要价值,为相关领域的应用提供了重要的支持和保障。

基于OpenMV的海上目标检测系统设计

海上目标检测技术在海洋监测、海上救援以及军事应用等方面扮演着重要角色。文章设计了一套基于OpenMV模块和控制模块的海上目标检测系统。该系统能实时采集并处理图像,以实现对海洋环境中小目标的高效精确识别、定位及预警,从而提升海上安全监测的效率和精确度。具体而言,系统运用深度学习框架实时检测海上船舶等目标,突破了传统目标检测技术在效率和性能上的局限,并成功将模型部署到OpenMV平台。实验证明了检测方案的有效性。

钛系PLE-01催化剂生产大中空吹塑专用高密度聚乙烯FHM8255A

使用钛系PLE-01催化剂,在Hostalen工艺高密度聚乙烯装置上生产了大中空吹塑专用高密度聚乙烯FHM8255A,并与采用常规铬系催化剂生产的同类专用树脂进行了对比。结果表明:采用钛系PLE-01催化剂生产的FHM8255A的力学性能更好,杂质含量更低,耐老化性能更好,加工成的容积为200 L的双L环密封桶内外表面光滑,单桶质量、壁厚均匀性均满足要求。在耐跌落试验中,该密封桶表现出了优异的耐跌落性能。

河南省引黄受水区水资源情势分析

为了解河南省引黄受水区水资源开发利用现状,科学认识和掌握水资源的时空分布及其变化规律,为水资源状况评价、水安全评价等提供基础信息支持,以河南省引黄受水区为研究区域,基于2001—2021年气象、水文资料,采用Spearman相关性分析法,识别并分析河南省引黄受水区的水资源情势。结果表明:河南省水资源各要素在时序上变化不大,极端气候条件的影响导致2019年各指标最低、2021年最高,整体基本保持稳定;降水量和蒸散发量是影响水资源情势的重要因子,水资源总量受到降水量影响较大;豫北地区近些年来较为干旱缺水。

基于组合权重TOPSIS模型的河南省引黄受水区水资源承载力研究

为确定河南省引黄受水区水资源承载力状况,构建了包括水资源、生态环境和经济社会3个准则的指标体系,采用基于AHP法和EWM法组合权重的TOPSIS模型,对该区2010-2021年水资源承载力进行评价。结果表明:2010-2021年河南省引黄受水区水资源承载力呈现上升态势,但水资源承载力等级整体偏低,大多数为Ⅲ级(临界),均未达到Ⅰ级(可承载)水平;2021年河南省引黄受水区水资源承载力障碍因子中供水模数影响最大,城市污水处理率影响最小;从水资源和生态环境准则来看,该地区水资源承载力还有很大提升空间,可以从加大水资源管理力度、加强节水宣传等方面加以改善。

高密度聚乙烯的可控微交联反应

采用少量过氧化物进行高密度聚乙烯(HDPE)的化学微交联反应时常伴随HDPE分子链的降解反应,二硫化四甲基秋兰姆(TMTD)可抑制该降解反应。利用DSC、转矩流变测试、旋转剪切流变测试等方法考察了TMTD抑制聚乙烯降解的规律。实验结果表明,TMTD存在下微交联HDPE试样的结晶度稍有降低,拉伸强度和加工性能基本保持不变,冲击强度明显增大。使用TMTD可有效控制HDPE的微交联反应,且通过可控微交联反应可以实现HDPE力学性能的提升。

青蒿素对敏感/抗性疟原虫感染小鼠肠紧密连接蛋白表达及膜流动性影响差异研究

为研究青蒿素对敏感/抗性疟原虫感染小鼠肠紧密连接蛋白表达及膜流动性影响,采用Western blot试验测定目的蛋白表达,TMA-DPH细胞膜流动性试剂盒结合荧光偏振法测定膜流动性,研究青蒿素给药前后对敏感/抗性伯氏疟原虫感染小鼠肠主要紧密连接蛋白ZO-1、occludin、claudin-1表达及细胞膜流动性差异。结果表明:青蒿素敏感/抗性疟原虫感染小鼠肠脏器指数增加,青蒿素处理后脏器指数较模型组亦显著提高;抗性模型组(K-CMC-Na)肠紧密连接蛋白ZO-1、claudin-1水平均较正常组和敏感组显著下调,但occludin表达较正常组上调,与敏感组无显著差异;青蒿素给药后使健康小鼠claudin-1、ZO-1水平异常下调,且显著降低敏感/抗性疟原虫感染小鼠相关蛋白的表达水平,同时青蒿素处理抗性组claudin-1表达较敏感组上调,但occludin、ZO-1水平则显著下降;青蒿素给药显著降低敏感/抗性组小鼠肠细胞膜流动性,且前者较后者更低。这一研究提示青蒿素对疟原虫感染所致的肠道反应可能无治疗作用,反而通过进一步破坏宿主肠道屏障,加重肠炎和感染;同时青蒿素耐药疟原虫感染后引起肠紧密连接和膜流动性的变化,二者是否存在因果关系需深入研究。

基于流态辨识的弧形闸门过流计算

过闸流量的精确计算是实现调水工程闸门自动控制、调度运行系统仿真和工程适时、适量供水的重要前提。在闸后收缩断面为低弗劳德数(约Fr<1.7)的淹没孔流条件下,现有弧形闸门过流计算的经验系数模型和量纲分析模型流量预测误差较大。基于已有试验数据分析,研究提出了闸孔淹没出流的高Fr区和低Fr区的流态辨识参数——综合能耗系数Er,定义为相对开度e/H和潜流比Xr之和,即Er=e/H+Xr,相应的流态辨识方法为:Er<1为高Fr的部分淹没孔流,Er≥1为低Fr的完全淹没孔流。针对闸孔出流的不同流态,即自由孔流、部分淹没孔流和完全淹没孔流,分别建立相应的流量计算模型,采用最小二乘辨识进行模型参数的估计,实例验证表明流态辨识模型整体的预测精度较高,80%预测流量的相对误差|EQ|<±10%,且EQ近似呈正态分布。本文提出的流态辨识方法和计算模型为过闸流量的精确计算提供了新的思路和方法。

面向网络打印机的脆弱性分析

网络打印机处于网络中的关键节点,是许多敏感信息的处理介质。由于厂商对打印机安全关注度不高、设备固件更新周期长、用户安全意识弱等因素,导致黑客对打印机攻击易于成功。研究网络打印机工作原理及PJL、Post Script、PCL等打印机语言特点,利用打印语言的安全缺陷设计针对网络打印机的脆弱性测试脚本,测试拒绝服务攻击、保护绕过和远程代码执行攻击,设计并实现网络打印机脆弱性分析系统。该系统可以利用测试脚本对目标网络打印机进行攻击进而测试目标的脆弱性。最后利用常见品牌的打印机做实验,验证了系统的有效性。

参麻平肝益智汤加减联合银杏叶片对肝阳上亢型血管性痴呆患者MMSE评分及脑血灌注情况的影响

目的:观察参麻平肝益智汤加减联合银杏叶片治疗肝阳上亢型血管性痴呆(VD)的效果及对患者简易精神状态评价量表(MMSE)评分、脑血灌注情况的影响。方法:选取2018年6月~2020年9月在本院接受治疗的肝阳上亢型VD患者114例,采用随机数表法分为观察组和对照组,均有患者57例。其中观察组患者采用参麻平肝益智汤加减联合银杏叶片治疗,对照组患者仅采用银杏叶片治疗。观察两组的治疗疗效和中医证候改善情况,对比治疗前后两组患者脑血流灌注情况、MMSE、神经功能缺损评分(NIHSS)、日常生活能力量表(ADL)评分以及炎性因子浓度变化。结果:观察组中总有效率高于对照组(P<0.05);治疗后,观察组患者的脑血流灌注参数双侧大脑动脉(MCA)、后动脉(PCA)、基底动脉(BA)均大于对照组(均P<0.05),MMSE、NIHSS、ADL、各项中医证候评分以及血清炎性因子白细胞介素-6(Interleukin-6 IL-6)、血清肿瘤坏死因子(TNF-ɑ)浓度均小于对照组(均P<0.05)。结论:参麻平肝益智汤加减联合银杏叶片可显著改善肝阳上亢型VD患者的脑血流灌注状况和神经功能,改善其炎症反应、提高患者的日常生活能力,值得在临床治疗中推广。

河南省引黄受水区水资源空间均衡分析

为了应对河南省引黄受水区水资源不均衡问题并为受水区的水资源合理分配提供参考,利用洛伦兹曲线计算受水区14个地级市的基尼系数,并采用联系数和减法集对势计算方法,对不均衡子区域进行诊断判别。结果表明:2010—2020年,引黄受水区水资源与人口数量及耕地面积的匹配情况处于较均衡或均衡等级,且整体水资源空间均衡等级长期处于均衡和较均衡等级;水资源-人口数量空间均衡等级严峻情况呈现郑州向周边地区辐射的情形,水资源-耕地面积空间均衡等级呈现北差南好的形势;2020年水资源空间均衡脆弱性地区有郑州、濮阳、新乡和安阳,这些城市为水资源均衡分配主要调控对象。

2种手术方法治疗上尿路结石的效果对比研究

目的探讨微创经皮肾镜气压弹道碎石取石术(MPCNL)与体外冲击波碎石术(ESEL)治疗上尿路结石的临床应用效果。方法选取2012年9月至2016年5月海南省第二人民院收治的上尿路结石患者188例,采用抽签法均分为观察组和对照组各94例,对照组采用ESEL,观察组使用MPCNL,比较2组患者的术中出血量、手术时间、住院时间、结石第1次和第2次的清除率及并发症。结果观察组患者住院时间、术中出血量明显高于对照组,差异有统计学意义(P<0.05);观察组手术时间明显少于对照组,观察组第1次手术清除率为93.62%,明显高于对照组(81.91%),第2次清除率为95.74%,高于对照组(87.23%),差异均有统计学意义(P<0.05);但2组患者的并发症发生率比较,差异无统计学意义(P>0.05)。结论 MPCNL与ESEL比较,具有较高的结石清除率,手术时间短及无重大并发症等优点,但术中出血量多,住院时间长,应根据患者实际情况进行手术选择。

选择性氧化制备甲基丙烯醛催化剂及工艺条件优化

采用共沉淀法制备Mo-V-Bi系复合氧化物催化剂,并将其应用于叔丁醇选择性氧化制甲基丙烯醛反应。采用XRD及BET考察焙烧温度对催化剂性能的影响。结果表明,焙烧温度会影响催化剂的比表面积和孔结构,进而影响催化剂性能。低温焙烧的催化剂会形成一种Mo O3的物相,这种物相会抑制产物甲基丙烯醛选择性,而高温有利于催化剂Fe Mo O4、Bi Mo O6物相的生成,两物相的增加有利于提高甲基丙烯醛选择性。对筛选的最优催化剂进行长周期评价,叔丁醇转化率接近100%,甲基丙烯醛选择性为87.1%,达到了良好的工业效果。

基于Arduino的便携式分体收线器设计与实现

针对目前民用领域便携式收线器的设计缺点,设计并实现了一款基于Arduino的便携式分体收线器。该设计采用Arduino单片机和手机APP终端,通过蓝牙模块实现了系统控制;通过光电测速、电机驱动、按钮以及LCD1602液晶显示等模块实现了系统的执行与显示。详细描述了分体式收线器的软硬件设计方案。试验表明,该设计能够有效收纳不同规格的设备线路,运行稳定、便携度高、分类简单,具有较高的实用价值。该研究对涉及大型设备线路生产、应用与管理的工业、制造业、通信等领域的线路智能化远程监管、现场无人化作业、信息平台化建设提出了较为新颖的设计理念,有利于优化现场工作流程、提高工作效率,是未来智能设备发展的趋势。

微纳层叠聚合物复合材料研究进展

综述了微纳层叠技术制备聚合物体系的最新进展,简单介绍了微纳层叠技术的工艺流程,详细介绍了微纳层叠技术对复合材料在电学性能、阻隔性能、力学性能、光学性能、形状记忆方面的提升作用;最后,对微纳层叠技术未来的发展前景进行了展望。