检索结果-南通市图书馆

同方期刊数据库

聚合物表面活性剂在水泥基材料气泡调控中的应用现状

在线全文

学校读者我要写书评

暂无评论

高分子材料科学与工程 2024年第4期40卷 166-174页

作者：周红郑淑珍乔文秀徐守芳李因文马登学马建峰临沂大学化学化工学院山东临沂276000 临沂大学材料科学与工程学院功能高分子实验室山东临沂276000

水泥基材料中的气泡调控一直以来都是学科难题,通过多因素提高水泥基材料中气泡的稳定性和可控性,对提高水泥基材料的流变性能和耐久性能具有十分重要的意义。在众多影响因素中,气泡调控型聚合物表面活性剂在水泥基材料气泡调控中起到... 详细信息

水泥基材料中的气泡调控一直以来都是学科难题,通过多因素提高水泥基材料中气泡的稳定性和可控性,对提高水泥基材料的流变性能和耐久性能具有十分重要的意义。在众多影响因素中,气泡调控型聚合物表面活性剂在水泥基材料气泡调控中起到十分关键的作用。文中首先对新拌混凝土中气泡的形成和破灭过程进行了简单介绍,综述了影响气泡稳定性的主要因素,如引气型外加剂、减水剂及纳米颗粒等对气泡稳定性的影响,同时介绍了近年来引气型外加剂的合成研究进展。最后,讨论了水泥基材料中气泡对混凝土性能的重要意义。

关键词：聚合物表面活性剂气泡稳定性水泥基材料流变性耐久性

在线全文

学校读者我要写书评

暂无评论

面向以太坊智能合约的图神经网络漏洞检测

西安电子科技大学学报 2024年

作者：李小涵杨颜博张嘉伟李宝山马建峰内蒙古科技大学数智产业学院西安电子科技大学网络与信息安全学院

智能合约是区块链的重要组成部分，以太坊平台通过部署大量智能合约实现去中心化应用，且智能合约关联着价值数十亿美元数字货币。然而智能合约是由高级语言编写的一段代码，可能存在易受攻击的漏洞，造成巨大的经济损失。目前智能合约... 详细信息

智能合约是区块链的重要组成部分，以太坊平台通过部署大量智能合约实现去中心化应用，且智能合约关联着价值数十亿美元数字货币。然而智能合约是由高级语言编写的一段代码，可能存在易受攻击的漏洞，造成巨大的经济损失。目前智能合约漏洞是以太坊面临的严重威胁之一。传统的智能合约漏洞检测方法严重依赖于固定的专家规则，导致准确率低、耗时长。近年来有研究者使用机器学习方法进行漏洞检测，但其所使用的检测方法没有充分利用智能合约源代码的语义信息。文中将智能合约源代码构建为具有数据流和控制流信息的智能合约图，利用注意力机制为图中节点按照其关键程度分配不同的权重更新图节点特征进行合约漏洞检测。文中对可重入漏洞和时间戳漏洞进行了实验。实验结果显示，与传统的图神经网络检测模型相比，文中模型在两种漏洞检测中准确度分别提高了11.18%，10.06%。实验证明，智能合约漏洞不仅与合约代码的结构特征相关，而且与不同的函数和数据变量有密切的联系。

关键词：区块链以太坊智能合约漏洞检测图神经网络注意力机制

基于AADL的混合关键系统随机错误与突发错误安全性分析

在线全文

同方期刊数据库

学校读者我要写书评

暂无评论

软件学报 2024年第9期35卷 4287-4309页

作者：魏晓敏董云卫孙聪李兴华马建峰西安电子科技大学网络与信息安全学院陕西西安710071 西北工业大学计算机学院陕西西安710072

许多复杂的嵌入式系统都是混合关键系统(mixed-criticality system,MCS).MCS通常需要在指定的关键性(criticality)等级状态下运行,但是它们可能会受到一些危害的影响,这些危害可能会导致随机错误和突发错误,进一步导致执行线程中止,甚... 详细信息

许多复杂的嵌入式系统都是混合关键系统(mixed-criticality system,MCS).MCS通常需要在指定的关键性(criticality)等级状态下运行,但是它们可能会受到一些危害的影响,这些危害可能会导致随机错误和突发错误,进一步导致执行线程中止,甚至导致系统故障.目前的研究仅集中于对MCS的可调度性分析,未能进一步分析系统安全性,未能考虑线程之间的依赖关系.以随机错误和突发错误为研究对象,提出一种集成故障传播分析的基于架构的MCS安全分析方法.使用架构分析和设计语言(architecture analysis and design language,AADL)刻画构件依赖关系.为了弥补AADL的不足,创建新的AADL属性(AADL突发错误属性),并提出新的线程状态机(突发错误行为线程状态机)语义来描述带有突发错误的线程执行过程.为了将概率模型检查应用于安全分析,提出模型转换规则和组装方法,从AADL模型推导出PRISM模型.建立了两个公式,分别获得定量安全属性以验证故障发生的概率,以及定性安全属性以生成相应的正例来求出故障传播路径来进行故障传播分析.最后,以动力艇自动驾驶仪(power boat autopilot,PBA)系统为例,验证了该方法的有效性.

关键词：混合关键系统突发错误模型转换安全性分析概率模型检验

MagDet:基于地磁的无人机GPS欺骗检测方法

在线全文

学校读者我要写书评

暂无评论

计算机学报 2024年第4期47卷 877-891页

作者：魏晓敏李兴华孙聪张海宾马建峰西安电子科技大学网络与信息安全学院

GPS是目前最为广泛使用的基于卫星的导航和定位系统,对于无人机而言,它是一个不可或缺的组成部分,提供了关键的精确位置数据,对导航和任务的成功至关重要.然而,GPS欺骗攻击已经逐渐演变成对GPS依赖系统不断增加的威胁.目前,针对无人机的... 详细信息

GPS是目前最为广泛使用的基于卫星的导航和定位系统,对于无人机而言,它是一个不可或缺的组成部分,提供了关键的精确位置数据,对导航和任务的成功至关重要.然而,GPS欺骗攻击已经逐渐演变成对GPS依赖系统不断增加的威胁.目前,针对无人机的GPS欺骗检测方法大多基于仿真数据提出、依赖于多个无人机或者需要专用设备(例如,软件定义无线电平台和高清摄像头).本文提出一种新颖的基于地磁场的无人机GPS欺骗检测方法——Mag Det(Magnetic field-based Detection method),其基本思想是利用地球内部和周围金属建筑材料不均匀性引起的地磁场异常,通过真实飞行收集位置和磁场强度数据,包括正常和被攻击场景.应用各种机器学习算法来训练这些数据以选择最佳分类器,该分类器可以轻松部署在常见机载计算机中.该方法的检测率超过99.5%,平均错误率(Equal Error Rate,EER)为0.51%,优于现有检测方法.此外,评估了各种因素对Mag Det的影响,以证明其鲁棒性.即使在未访问过的地点(距离6 km),准确率也高于95%,EER为0.49%.

关键词： GPS欺骗检测地磁无人机 GPS欺骗攻击机器学习

在线全文

同方期刊数据库

学校读者我要写书评

暂无评论

基于启发式规则的流式在线日志解析方法

通信学报 2024年第4期45卷 95-113页

作者：蒋忠元陶梅悦赵晓庆方晓彤李兴华马建峰西安电子科技大学网络与信息安全学院陕西西安710071 中国船舶集团有限公司综合技术经济研究院北京100081

为了解决现有日志解析方法中存在的解析不准确、效果不稳定等问题,提出了一种基于启发式规则的流式在线日志解析方法——启发式正则树(HRTree)。其在Drain方法解析结构树基础上,引入启发式规则对日志进行拆分构造,并优化了解析结构树的... 详细信息

为了解决现有日志解析方法中存在的解析不准确、效果不稳定等问题,提出了一种基于启发式规则的流式在线日志解析方法——启发式正则树(HRTree)。其在Drain方法解析结构树基础上,引入启发式规则对日志进行拆分构造,并优化了解析结构树的部分构造方式,从而解决了日志参数过拟合、不同系统日志解析结果不稳定的问题。实现了解析结果分类准确,且参数内容识别准确的解析效果。大量实验结果表明,所提出的HRTree方法在不同的系统日志上均展现了90%以上的解析准确率。

关键词：海量日志日志解析启发式规则 HRTree方法准确率

在线全文

学校读者我要写书评

暂无评论

类聚氨基酸大分子的制备及其减水分散性能

高分子材料科学与工程 2024年

作者：蒋春源陈元丰马建峰李兴建徐守芳李法强李因文临沂大学化学化工学院临沂大学材料科学与工程学院

聚羧酸减水剂因为具有掺量低、减水率高及绿色环保等优点备受青睐，但实际应用中却因受到混凝土骨料中泥含量的影响也常伴有相容性差、减水率低及坍落度损失大等问题。因此，本文从聚合物分子结构设计入手，利用异戊烯醇聚氧乙烯醚（TPE... 详细信息

聚羧酸减水剂因为具有掺量低、减水率高及绿色环保等优点备受青睐，但实际应用中却因受到混凝土骨料中泥含量的影响也常伴有相容性差、减水率低及坍落度损失大等问题。因此，本文从聚合物分子结构设计入手，利用异戊烯醇聚氧乙烯醚（TPEG）和甲基丙烯酸缩水甘油酯（GMA）进行共聚，再利用支链末端功能环氧基团与氨基乙酸（GA）反应制备了类聚氨基酸大分子（PAAs）。采用凝胶色谱和动态光散射对PAAs相对分子质量与分布及其在水溶液中的聚集形态进行了表征，通过水泥净浆和混凝土实验对PAAs减水分散和抗泥敏感性能进行了研究。结果表明，PAAs在水溶液中以纳米聚集体的形式存在，粒径约30～120 nm，而正是由于PAAs聚集体的空间位阻效应有效分散水泥颗粒的同时还能显著阻止混凝土骨料中“泥”（蒙脱土）对PAAs的竞争插层吸附消耗，因而PAAs具有优异的减水分散和抗泥敏感性能，应用前景广阔。

关键词：聚羧酸减水剂类聚氨基酸大分子自组装减水分散抗泥敏感

同方期刊数据库

被动式储能助力下肢外骨骼系统设计与仿真分析

在线全文

学校读者我要写书评

暂无评论

北京工业大学学报 2024年第3期50卷 261-270页

作者：马建峰马卿林孙得成丁永清骆岱鹤陈晓北京工业大学材料与制造学部北京100124 军事科学院系统工程研究院军需工程技术研究所北京100082

为了达到缓解人体行走时的关节压力、减轻关节负担和辅助人体行走的目的,基于人体行走原理提出了髋膝耦合被动式储能助力外骨骼设计方案。髋膝耦合机构用于实现膝关节的离散化助力,是以髋关节运动控制膝关节助力的离合控制方法。该文运... 详细信息

为了达到缓解人体行走时的关节压力、减轻关节负担和辅助人体行走的目的,基于人体行走原理提出了髋膝耦合被动式储能助力外骨骼设计方案。髋膝耦合机构用于实现膝关节的离散化助力,是以髋关节运动控制膝关节助力的离合控制方法。该文运用仿真和实验验证的方法验证了该外骨骼的有效性。运用Adams对人-机模型进行联合仿真,验证外骨骼对人体助力的理论效果。在实际穿戴实验中,通过对比是否穿戴外骨骼人体运动时的能耗来验证外骨骼的真实有效性。对比仿真与穿戴实验数据证明该外骨骼能够降低12%~13%的人体运动能耗。

关键词：被动式髋膝耦合储能外骨骼 Adams仿真人体耗能测试

全断面顶管法在饱和软土地层静安寺站地铁工程的研究与应用

在线全文

学校读者我要写书评

暂无评论

现代隧道技术 2024年第2期61卷 263-271页

作者：朱雁飞郭彦王金一马建峰潘伟强上海隧道工程有限公司上海200032 上海市交通建设工程安全质量监督站上海200120

上海地铁14号线静安寺站是采用大断面矩形顶管暗挖工艺建造地铁车站主体结构。为解决地下工程施工与地质环境以及周边建筑矛盾的问题,文章基于静安寺地铁车站主体结构工程,提出一种适用于饱和软土地层中心城区地铁车站建造的全断面顶管... 详细信息

上海地铁14号线静安寺站是采用大断面矩形顶管暗挖工艺建造地铁车站主体结构。为解决地下工程施工与地质环境以及周边建筑矛盾的问题,文章基于静安寺地铁车站主体结构工程,提出一种适用于饱和软土地层中心城区地铁车站建造的全断面顶管暗挖施工方法。该工法创新性地提出深覆土洞门密封止水技术、深埋管节自补偿止退技术、土体改良管节减摩-浆液固化技术、钢-混凝土复合顶管管节结构、复合管节钢壳拼装吊装技术和复合管节内衬浇筑技术,攻克了地铁车站顶管施工可能存在的深覆土近间距顶管掘进和超大断面顶管管节施工等工程难题,实施效果良好,可为同类地层地铁建设提供参考和借鉴。

关键词：饱和软土超大断面顶管掘进复合管节地铁工程

在线全文

学校读者我要写书评

暂无评论

基于序参量的云边端分布式体系协同安全评估

网络与信息安全学报 2024年第3期10卷 38-51页

作者：范其纲蒋忠元李兴华马建峰西安电子科技大学网络与信息安全学院陕西西安710126

基于云边端的分布式计算体系成功服务于众多应用,已经成为一种主流,具有受众广、用户体验好、安全期望高等特点。然而,近年来针对云、边、端的攻击事件频发,给用户造成严重的安全隐患与巨大经济损失。当前云、边、端的防御机制各自为战... 详细信息

基于云边端的分布式计算体系成功服务于众多应用,已经成为一种主流,具有受众广、用户体验好、安全期望高等特点。然而,近年来针对云、边、端的攻击事件频发,给用户造成严重的安全隐患与巨大经济损失。当前云、边、端的防御机制各自为战,抵御风险的能力差异大,全域安全风险消除难。事前配置和事后“亡羊补牢”式的安全手段难以满足高负载、高实时的云边端协同网络的安全需求。其根源在于云、边、端分层架构各自为营,未形成有效的协同防御体系,导致产生跨域安全治理难度大、实时性差、协同一致性评估难等问题。提出了实时感知、动态决策、积极防御三位一体的云边端协同安全架构,深度融合云、边、端,形成安全协同能力,并进行严格理论一致性证明;提出了基于序参量的协同安全评估模型,实现云、边、端风险感知一致,策略决策一致,攻击防御一致,实行高效率、低成本的安全风险协同防护,最大化系统性安全收益;对一致性理论与评估模型进行仿真验证,结果证明了提出的协同安全体系以及一致性评价模型的正确性与有效性。

关键词：云边端协同一致性安全评估序参量

同方期刊数据库