最新刊期

  • 孙婉春,马冰馨,王有为,周高,赵光年

    DOI:10.14188/j.1671-8836.2023.0145
    摘要:为了研究不同来源黄连花薹的自由基清除活性及其物质基础,对不同来源黄连花薹(湖北省利川市味连、重庆市石柱县味连、四川省洪雅县雅连和云南省福贡县云连)乙醇提取物中总酚、总花青素、总生物碱、总黄酮及蒙花苷的含量进行检测,对其清除1,1′-二苯基-2-三硝基苯肼自由基(DPPH)、2.2′-联氮双(3-乙基-苯并噻唑啉-6-磺酸)二铵盐自由基(ABTS•+)和超氧阴离子自由基(O2•-)的活性进行分析。结果表明:总酚与总黄酮含量以雅连花薹乙醇提取物中最高,分别为118.26±7.07 mg/g(以没食子酸计)和78.39±4.92 mg/g(以芦丁计);总花青素与总生物碱含量以云连花薹乙醇提取物中最高,分别为9.83±2.00 mg/g(以儿茶素计)和86.46±0.38 mg/g(以盐酸小檗碱计);利川味连与石柱味连花薹中总生物碱含量间无显著性差异(P>0.05)。不同来源黄连花薹乙醇提取物对DPPH、ABTS•+和O2•-的清除活性由强到弱依次为:雅连花薹、石柱味连花薹、利川味连花薹及云连花薹。蒙花苷对DPPH、ABTS•+和O2•-的清除活性较低,分别为4.88%~5.54%、12.17%~16.82%和11.37%~12.21%。分子对接结果表明,影响蒙花苷清除自由基活性的主要原因是蒙花苷给电子能力较弱,推测这是蒙花苷对3种自由基的清除活性贡献率较低的内在原因。  
    关键词:黄连花薹;药食同源;蒙花苷;自由基清除活性;物质基础   
    3
    |
    0
    |
    0
    <HTML>
    <网络PDF>
    <引用本文> <批量引用> 55118922 false
    发布时间:2024-04-12
  • 帅晶,黄开明,孙宝林,宋莺

    DOI:10.14188/j.1671-8836.2023.0042
    摘要:利用2002年1月22日—2012年12月31日的SABER/TIMED温度数据,统计分析了平流层顶的变化特征,及其与平流层顶区域重力波和背景纬向风场的相关性。在南北半球0°~30°的低纬区域,平流层顶高度呈现冬夏季较高的半年变化,此时重力波活动较强,而平流层顶温度呈现春秋较大的半年变化;在两半球40°~50°的中纬区域,平流层顶的高度、温度与重力波活动都呈现年变化,其中平流层顶高度与重力波活动的极大值出现在冬季,而平流层顶温度的极大值出现在夏季。相关性分析显示,平流层顶高度与重力波活动强度主要呈正相关,而平流层顶温度与重力波活动强度主要呈反相关;低纬的背景纬向风在春分秋分较大,与平流层顶温度呈正相关,而中纬的背景纬向风则在冬季较强,与平流层顶温度呈反相关;平流层顶的高度、温度与重力波活动强度、纬向风间相关系数都具有南北半球不对称性。并且,平流层顶高度和温度的峰值都随纬度增大,同时,重力波活动和背景风场也随纬度增强,表明平流层顶与重力波活动和背景风场间的相互影响。  
    关键词:平流层顶;重力波;纬向风;SABER/TIMED   
    13
    |
    0
    |
    0
    <HTML>
    <网络PDF>
    <引用本文> <批量引用> 54803144 false
    发布时间:2024-04-08
  • 程喜真,张玉玲,郭浩川,郑玉光,郭慧,马东来

    DOI:10.14188/j.1671-8836.2023.0107
    摘要:利用柱前衍生化气相色谱-质谱联用技术(GC-MS)结合主成分分析(PCA)以及正交偏最小二乘法判别分析(OPLS-DA)等方法对不同产地金银花初生代谢物的化学成分进行了比较,并进行代谢通路的富集分析,探讨了不同产地金银花初生代谢物化学成分的差异代谢机制。共确定了28种初生代谢物、10种初级差异代谢物以及3条主要差异代谢通路。结果表明,不同产地金银花的初生代谢物存在明显差异;不同产地金银花的初级差异代谢物在氨酰-tRNA生物合成,缬氨酸、亮氨酸和异亮氨酸生物合成以及甘氨酸、丝氨酸和苏氨酸代谢途径中存在着显著差异。该方法可为快速区分金银花产地提供理论依据。  
    关键词:金银花;初生代谢物;柱前衍生化;气相色谱-质谱联用技术(GC-MS)   
    18
    |
    3
    |
    0
    <HTML>
    <网络PDF>
    <引用本文> <批量引用> 54048225 false
    发布时间:2024-03-29
  • 马冰馨,莫启贵,王有为,童静,周高,何敬胜,赵光年

    DOI:10.14188/j.1671-8836.2023.0144
    摘要:为调查黄连花薹作为可食用资源的安全性,开展了黄连花薹及其主要生物碱的急性毒性和亚急性毒性试验。在急性毒性试验中,用20 000 mg/kg黄连花薹提取物和743.2 mg/kg生物碱混合物灌胃KM小鼠,14 d内未发现任何毒性反应且无动物死亡现象。在亚急性毒性试验中,以500、1 000、2 000 mg/kg 3个剂量的黄连花薹提取物及37.16 mg/kg的生物碱混合物分别灌胃SD大鼠28 d,对照组和各处理组的动物体重和器官相对质量没有显著性差异,生化、血液和尿液指标检查均在正常范围内,主要脏器无病变,而且未观察到动物死亡现象。上述实验结果证明了黄连花薹作为药食同源原料的安全性。  
    关键词:黄连花薹;药食同源;生物碱;急性毒性;亚急性毒性   
    20
    |
    3
    |
    0
    <HTML>
    <网络PDF>
    <引用本文> <批量引用> 53894543 false
    发布时间:2024-03-28
  • 许卫霞,周水庚,黄定江

    DOI:10.14188/j.1671-8836.2023.0166
    摘要:群不变性是一种重要的先验知识,往往能提升算法性能。孪生支持向量机是一种二分类支持向量机算法,同样可以利用群不变性来提高性能。因此,本文提出将群不变性引入到孪生支持向量机框架中,定义了群不变孪生支持向量机问题,以提升其算法性能。首先,为群不变孪生支持向量机构造了具体的最优化问题,并以有界孪生支持向量机为例,提出了两种具备群不变性的有界孪生支持向量机算法,以此说明该最优化问题有解,故有实际意义。然后,系统研究了群不变孪生支持向量机的一致性,为其相关算法奠定了扎实的理论基础。最后,仍以有界孪生支持向量机为例进行实验。实验表明,群不变性能够提升孪生支持向量机算法性能。  
    关键词:不变性;群不变性;孪生支持向量机;一致性;通用一致性   
    21
    |
    6
    |
    0
    <HTML>
    <网络PDF>
    <引用本文> <批量引用> 53711218 false
    发布时间:2024-03-26
  • 周禹宣,黄勃,虞益军,粟波,臧振森

    DOI:10.14188/j.1671-8836.2023.0183
    摘要:时序数据预测在应对不确定性、降低风险、优化资源配置和提升服务质量等方面都发挥着重要作用,但时序数据存在的多种特性使得预测过程变得复杂、预测精度不高。为此,提出一种基于域信息自增极端随机树模型应用于时序数据预测,采取时序平移器提取时序数据之间的联系,利用特征分解模块消除原有序列的内在噪声,通过基于生成对抗网络的特征增强模块,有效获取时序数据中静态特征与时空特征,从而优化时间预测模型的参数。本文以突发公共卫生事件作为例,对美国各州突发公共卫生事件关键数据的趋势进行预测。实验结果表明,在马塞诸塞州、马里兰州和华盛顿州的突发公共卫生事件数据集中,本文模型在预测每日新增确诊人数上表现突出,但在预测每日新增死亡人数上略有不足。  
    关键词:特征分解;生成对抗网络;极端随机树;域信息增强   
    47
    |
    1
    |
    0
    <HTML>
    <网络PDF>
    <引用本文> <批量引用> 53711116 false
    发布时间:2024-03-26
  • 姜丽,张文彤,肖彤,邓绮,王静怡,沈珺璐,严小军,黄丽萍,徐国良

    DOI:10.14188/j.1671-8836.2023.0132
    摘要:溃疡性结肠炎(ulcerative colitis,UC)是一种结、直肠的慢性非特异性炎症性肠病,因病症长、反复发作、缠绵难愈,被公认为难治疾病之一,且已被证实为结肠癌的癌前病变。中医认为,脾虚湿困是UC的常见病机,健脾祛湿经典方参苓白术散中的人参、茯苓、山药等均属药食同源中药,不良反应少、安全性较高,在治疗UC等复杂慢性疾病有显著优势。本文对近些年参苓白术散抗UC的物质基础和作用机制研究进行综述,并探讨了其在药食同源方面的应用和安全性,可望为参苓白术散在治疗UC中的临床应用和食用保健提供理论依据。  
    关键词:参苓白术散;溃疡性结肠炎;物质基础;作用机制;药食同源   
    35
    |
    12
    |
    0
    <HTML>
    <网络PDF>
    <引用本文> <批量引用> 53699877 false
    发布时间:2024-03-26
  • 薛玮珠,张博,姚瑶,熊玉洁,夏春明

    DOI:10.14188/j.1671-8836.2023.0134
    摘要:针对舌像分割过程中,舌体边缘不连续,复杂背景干扰舌像等问题,提出一种基于Transformer特征通道融合的舌像分割方法。首先通过多级特征融合模块对舌像进行卷积,得到具有位置和特征信息的特征图;然后引入倒置特征金字塔网络模块匹配特征维度;最后将U-Net网络的跳跃连接替换成UCTransNet的CTrans模块,进行舌像的特征通道融合,减少背景信息特征的干扰,实现图像的准确分割。本文选取了Dice值、平均交并比(MIoU)作为评价标准,通过在自采集的舌像数据集上进行训练评估和验证,取得了Dice值为96.81%和MIoU值为93.89%的实验结果。提出的方法在舌像数据集上具有较好的分割效果,可以准确的提取舌体特征。该方法可用于舌诊的标准化研究,提高舌诊的准确性和可靠性,且在其他医疗图像数据集上的泛化能力较强。  
    关键词:深度学习;图像分割;Transformer;舌诊   
    58
    |
    3
    |
    0
    <HTML>
    <网络PDF>
    <引用本文> <批量引用> 50576686 false
    发布时间:2024-03-25
  • 吴娇,杜晓妍,白启荣,王雅妮,于海川

    DOI:10.14188/j.1671-8836.2023.0105
    摘要:采用超高效液相色谱-电喷雾离子化-四级杆飞行时间串联质谱(UPLC-ESI-Q-TOF-MS)分析方法,测定了不同产地(我国海南、广东、广西以及越南、印度尼西亚)及批次的槟榔饮片中4种主要酚类化合物的含量。结果显示:海南产3批槟榔饮片中的4种主要酚类化合物原花青素B1(2.476±0.090 mg/g)、儿茶素(3.379±0.108 mg/g)、原花青素B2(0.108±0.010 mg/g)和表儿茶素(0.454±0.015 mg/g)含量均最高,且相对稳定;广东、广西、越南和印度尼西亚产槟榔饮片酚类化合物含量均明显低于海南,且不同批次4种主要酚类化合物含量变化较大。本研究以多指标酚类化合物来评价槟榔饮片质量,可望为综合开发槟榔新用途提供参考。  
    关键词:中草药;药食;槟榔;超高效液相色谱-电喷雾离子化-四级杆飞行时间串联质谱(UPLC-ESI-Q-TOF-MS);酚类化合物   
    28
    |
    1
    |
    0
    <HTML>
    <网络PDF>
    <引用本文> <批量引用> 50482692 false
    发布时间:2024-03-19
  • 周有文,黄晟鸿,王峰,王淑美,向丽敏

    DOI:10.14188/j.1671-8836.2023.0129
    摘要:龙脷叶为大戟科守宫木属植物,其叶片具有清热润肺、化痰止咳等功效,是一味具有岭南特色的药食两用中药。龙脷叶的化学成分主要包括黄酮类、生物碱类、萜类、糖类及糖类衍生物、苯丙素类、甾体类、脂肪酸及其他类化合物。现代药理学研究表明,龙脷叶具有止咳平喘、抗炎镇痛、抗氧化、抗过敏、抗菌等药理活性。本文系统总结了近年来龙脷叶化学成分、药理活性及质量分析的研究进展,同时对其未来研究方向进行了展望,以期为龙脷叶资源的进一步深入研究和开发利用提供参考。  
    关键词:中草药;药食;龙脷叶;化学成分;药理活性;质量分析   
    19
    |
    1
    |
    0
    <HTML>
    <网络PDF>
    <引用本文> <批量引用> 50240943 false
    发布时间:2024-03-14
  • 沈婉莹,魏晓芳,姚杰,刘晨霄,张春,陆梦柯,唐旭东,葛岚岚

    DOI:10.14188/j.1671-8836.2022.0299
    摘要:茵陈是一种清利湿热,利胆退黄的药食同源中药。本研究通过H2O2氧化应激细胞损伤模型从茵陈中筛选出一种具有显著抗氧化活性的成分原儿茶酸乙酯(EDHB),再通过棕榈酸/油酸(PA/OA)诱导的体外细胞模型模拟脂肪肝中脂滴形成,进一步验证了EDHB的体外抗非酒精性脂肪性肝炎(NASH)作用。体内动物实验通过蛋氨酸-胆碱缺乏(MCD)饮食喂养构建的NASH大鼠模型来评价。结果显示,茵陈中EDHB能有效改善NASH大鼠肝组织病理变化,减轻脂肪变性,降低肝脏转氨酶水平,抑制肝脏炎症因子的表达及转录,并通过激活肝脏核因子红细胞系2相关因子2(Nrf2),有效缓解NASH。  
    关键词:茵陈;原儿茶酸乙酯;氧化应激;炎症;Nrf2;非酒精性脂肪肝   
    162
    |
    202
    |
    0
    <HTML>
    <网络PDF>
    <引用本文> <批量引用> 36848121 false
    发布时间:2024-03-14
  • 武星,殷浩宇,姚骏峰,金小礼

    DOI:10.14188/j.1671-8836.2023.0209
    摘要:为简化工业软件的研发过程,提高图像异常识别的准确性和效率,提出了一种基于增量学习的转炉图像异常识别系统。该系统采用机器视觉技术采集转炉图像,引入深度残差网络形成转炉图像异常识别模型,并利用采集到的图像训练该模型。系统采用低代码开发方法实现,并结合增量学习算法优化了模型的迭代更新。对比基于不同神经网络架构的转炉图像异常识别模型的识别准确率,并在低代码平台中对比了增量学习和全量学习在模型精度和时间消耗上的差异。实验结果表明,本系统在图像异常识别中展现出良好的精确性和稳定性;在低代码开发平台中,基于增量学习的系统软件在处理大规模数据和实时场景中表现出色,为转炉图像异常识别提供了一种高效、低成本的解决方法。  
    关键词:增量学习;转炉图像识别;低代码平台;深度残差网络;异常检测   
    21
    |
    2
    |
    0
    <HTML>
    <网络PDF>
    <引用本文> <批量引用> 50224217 false
    发布时间:2024-03-14
  • 黄勃,李文超,刘进,刘瑾,王文广,杨勇,赵晓丽

    DOI:10.14188/j.1671-8836.2023.0122
    摘要:人工智能技术的发展给人们的生活带来了极大的便利,自然语言处理技术在其中发挥着重要作用。基于Transformer神经网络架构的聊天生成预训练转换器(chat generative pre-trained transformer,ChatGPT),具有强大的语言理解和文本生成能力,可以根据用户输入的信息和问题,快速生成高度匹配用户意图的响应,其精度和反应速度相当出色。本文结合人工智能技术应用于工业领域的特征,介绍了ChatGPT在众多自然语言处理任务中展现出的非凡能力,展望了ChatGPT在工业应用中研发设计、生产运营和经营管理等环节的应用可能性,列举了当前ChatGPT应用于工业领域存在多方面限制,并提出改进方向,以便更好地满足工业应用的需要。  
    关键词:ChatGPT;深度学习;Transformer;大型语言模型   
    41
    |
    9
    |
    0
    <HTML>
    <网络PDF>
    <引用本文> <批量引用> 50039068 false
    发布时间:2024-03-12
  • 涂朝,刘改梅,马伟嘉,张佳钰,王艳

    DOI:10.14188/j.1671-8836.2022.0136
    摘要:运用密度泛函理论(DFT)和含时密度泛函理论(TD-DFT),在PBE0/6-31+G(d,p)水平上,研究了一种苯并噁唑衍生物2-{4-[2-(2-甲氧基乙氧基)-乙基]-[(2-甲氧基乙基)-氨基]-苯基}-5-(5-三氟甲基-苯并噁唑)-苯并呋喃-6-醇(MMTB)在3种溶剂(甲苯、乙醇和二甲基亚砜)中的激发态分子内质子转移(ESIPT)过程,考察了溶剂极性对MMTB光谱性质及ESIPT反应机理的影响。结果表明,在所考察的溶剂中,基态(S0)的稳定构型是烯醇式,而在第一激发单重态(S1)烯醇式结构和酮式结构同时存在,表现出烯醇式和酮式的双荧光发射峰;烯醇式结构的分子内氢键在S1态有所增强,有助于ESIPT过程的发生;随着溶剂极性的增强,氢键增强的程度增大,发生ESIPT所需要克服的能垒减小,即在极性强的溶剂中容易发生ESIPT。  
    关键词:密度泛函理论;激发态分子内质子转移;溶剂效应;势能曲线   
    31
    |
    20
    |
    0
    <HTML>
    <网络PDF>
    <引用本文> <批量引用> 49733404 false
    发布时间:2024-03-11
  • 梁子豪,栗娟,刘进

    DOI:10.14188/j.1671-8836.2023.0214
    摘要:工业互联网背景下的移动边缘计算(Mobile Edge Computing, MEC)通过在靠近终端的位置部署边缘服务器,将计算任务卸载到工业网络边缘,以满足任务实时响应和终端节能的需求。由于工业场景复杂性和环境动态性,卸载决策需要在满足任务时延需求的同时尽可能降低系统成本,为此提出了一个基于深度确定性策略梯度(Deep Deterministic Policy Gradient, DDPG)的工业任务卸载策略。首先构建了一个端边协同的智能工厂MEC系统模型,以降低任务总时延和系统能耗为目标,将卸载问题转化为混合整数非线性规划问题,然后设计采用DDPG算法来得到最优卸载决策,提高服务质量,最大化节约系统成本。仿真结果表明,该策略在降低时延、系统能耗和成本方面相比于其他方法性能更优。  
    关键词:移动边缘计算;深度强化学习;任务卸载;深度确定性策略梯度   
    98
    |
    35
    |
    0
    <HTML>
    <网络PDF>
    <引用本文> <批量引用> 48923428 false
    发布时间:2024-03-08
  • 刘希言,李勇华,程瑞

    DOI:10.14188/j.1671-8836.2023.0225
    摘要:在传统作业方式中,车辆运输盘圆钢材出入物流闸口时的数量核验工作由闸口的核验人员完成,这种人工核验方式耗费人力、成本高,无法满足现代化物流企业的要求。为解决这一问题,采用目标识别技术,设计了一种针对无人闸口高拍视角照片的车载盘圆钢材计数方法。首先,使用改进的YOLOv7模型对高拍视角下的车载盘圆图像进行三次识别,对其堆放形式分类和盘圆检测,其次根据不同的堆放形式提出推算算法,完成盘圆数量的自动推算。将本文提出的方法应用于实际闸口的检测,并进行实用性优化。通过选取合适的目标检测置信度阈值,保证出闸准确率处于较高水平,然后通过三次尝试法,在牺牲少量时间的前提下,引导被拦截车辆调整位置以提高拦截车辆准确率及合法车辆出闸成功率。实验结果表明,改进的YOLOv7模型有效提高了盘圆检测的效果,提出的盘圆数量推算方法精确率达到90%以上;进行实用性优化后,车载盘圆钢材的计数准确率达到97.88%,合法车辆在三次检测内出闸成功率达到98.27%,达到了港口现场作业的可使用性标准。  
    关键词:盘圆计数;推算方法;无人闸口管理系统;港口智能化   
    33
    |
    2
    |
    0
    <HTML>
    <网络PDF>
    <引用本文> <批量引用> 48736609 false
    发布时间:2024-03-07
  • 陆晓骏,樊重俊,梅亚光

    DOI:10.14188/j.1671-8836.2023.0204
    摘要:钢铁作为工业大宗商品的代表性商品,其价格研究可以帮助钢铁行业稳定发展。为了探索钢铁价格的变化规律,提出了一种基于集合经验模态分解(Ensemble Empirical Mode Decomposition, EEMD)方法和Transformer注意力机制模型及自回归移动平均(Autoregressive Integrated Moving Average,ARIMA)模型的组合模型EEMD-TRANSFORMER-ARIMA。将钢铁价格时序数据通过EEMD分解,对分解后的分量数据进行平稳性检测,并使用Transformer模型和ARIMA模型进行预测。实验选取6组典型的钢铁价格数据进行预测,结果表明该组合模型可以精确预测非平稳和非线性的时序数据,为钢铁价格分析提供了一种有效的预测方法,有助于辅助政府和企业进行市场决策。  
    关键词:钢铁价格预测;钢铁期货;集合经验模态分解;Transformer模型   
    16
    |
    4
    |
    0
    <HTML>
    <网络PDF>
    <引用本文> <批量引用> 49960419 false
    发布时间:2024-03-07
  • 冯先哲,陈刚

    DOI:10.14188/j.1671-8836.2023.0258
    摘要:基于重建的检测算法在工业产品自动化缺陷检测中得到了广泛的应用。但是,很多算法重建的图像依然保留了较多的缺陷特征,从而导致检测精度不高。受扩散模型能够建立起噪声和生成图片之间的联系启发,提出了一种基于扩散变分自编码器的工业产品缺陷检测算法。该算法将工业产品中的缺陷视为一种噪声,通过扩散模型的反向去噪过程重建正常图片。在训练阶段,首先利用预训练的基于矢量量化的变分自编码器(Vector Quantized Variational Autoencoder,VQ-VAE)提取工业产品图片的正常特征并添加噪声;然后,再利用扩散模型在去噪的过程中消除缺陷特征并保留正常特征,以得到重建的正常图片,最后通过比较重建图片与对应的原始图片之间的差异来判断产品是否存在缺陷并定位缺陷区域。在测试阶段,将输入图片理解为已经添加噪声的图片进行缺陷检测。实验结果表明,该算法的检测精度较其他算法有明显的提高。  
    关键词:计算机视觉;缺陷检测;矢量量化的变分自编码器;扩散模型   
    66
    |
    11
    |
    0
    <HTML>
    <网络PDF>
    <引用本文> <批量引用> 49719425 false
    发布时间:2024-03-07
  • 尹玲,陈小红,安冬冬,谢越

    DOI:10.14188/j.1671-8836.2023.0208
    摘要:工业软件深度参与研发设计、生产制造、运营管理和维护服务等方面,软件的行为符合业务的需要至关重要。因此,工业软件的开发需要进行需求确认,即确认系统的行为满足利益相关者(应用方的操作人员,通常是生产和运维中涉及到的各方面的工作人员)的要求。业务方面,利益相关者的期望通常表现为关心的事件间的因果关系。针对工业软件的时间融合于行为、复杂度高、规模大等特点,提出一种基于时间事件因果关系检测的需求确认方法,检测用UML+MARTE/CCSL模型表达的系统行为是否满足相应的时间事件因果关系。包括:定义时间事件因果关系表达利益相关者的期望;抽取模型的多图协作下的系统整体行为生成CCSL(clock constraint specification language)规约;结合模型检测技术和社区发现算法检测该行为规约是否满足时间事件因果关系。通过比较实验评估了方法的有效性和实用性,特别是引入社区发现算法处理规模大、复杂高规约效果显著。  
    关键词:基于模型的系统工程;需求确认;模型检测   
    23
    |
    6
    |
    0
    <HTML>
    <网络PDF>
    <引用本文> <批量引用> 49205075 false
    发布时间:2024-03-07
  • 刘慧敏,严飞,张立强,欧长海

    DOI:10.14188/j.1671-8836.2023.0043
    摘要:推测执行攻击及其变种正在不断被推出,攻击在缓存中留下痕迹,再通过缓存侧信道将敏感信息泄露出去。然而,现有的针对Spectre攻击的检测对于Spectre攻击及各类变种的代码模式和现有防御手段分析不足,存在误报和漏报的情况。针对这一问题,提出了一种改进的缓存感知的动态分析方法,以识别多种Spectre攻击。基于攻击原理及代码模式特征对Spectre攻击多种变体进行分析建模,并提出了一种基于最近最少使用替换策略的抽象缓存模型;基于对Spectre攻击及缓存的建模实现了一个缓存感知的Spectre漏洞动态分析检测工具。通过分析建模、缓存状态感知和追踪实现了更全面和准确的检测。在一组微基准及常用的密码库上进行了实验,准确地检测出了所有微基准样本中的Spectre漏洞,并在多个加密算法中检测到了缓存侧信道及Spectre漏洞。实验结果表明,本文所实现的方法具有较好的检测能力。  
    关键词:Spectre攻击;缓存侧信道;侧信道检测   
    12
    |
    2
    |
    0
    <HTML>
    <网络PDF>
    <引用本文> <批量引用> 49948711 false
    发布时间:2024-03-05
批量引用
0