基于回声状态网络的智能合约漏洞检测方法 被引量：1

1

作者 刘春霞 徐晗颖 +2 位作者 高改梅 党伟超 李子路 《计算机应用》 北大核心 2025年第1期153-161,共9页

区块链平台上的智能合约是为链上各方提供安全可信赖服务的去中心化应用程序,而智能合约漏洞检测能确保智能合约的安全性。然而,现有的智能合约漏洞检测方法在样本数量不均衡和语义信息挖掘不全面时,会出现特征学习不足和漏洞检测准确... 区块链平台上的智能合约是为链上各方提供安全可信赖服务的去中心化应用程序,而智能合约漏洞检测能确保智能合约的安全性。然而,现有的智能合约漏洞检测方法在样本数量不均衡和语义信息挖掘不全面时,会出现特征学习不足和漏洞检测准确率低的问题,而且,这些方法无法对新的合约漏洞进行检测。针对上述问题,提出一种基于回声状态网络(ESN)的智能合约漏洞检测方法。首先,根据合约图,对不同语义、语法边进行学习,并利用Skip-Gram模型训练得到特征向量;其次,结合ESN和迁移学习,实现对新合约漏洞的迁移扩展,以提高漏洞检测率;最后,在Etherscan平台搜集的智能合约数据集上进行实验。实验结果表明,所提方法的准确率、精确率、召回率和F1分数分别达到了94.30%、97.54%、91.68%和94.52%,与双向长短时记忆(BLSTM)网络、自注意力机制的双向长短时记忆(BLSTM-ATT)相比,所提方法的准确率分别提高了5.93和11.75个百分点,漏洞检测性能更优。消融实验也进一步验证了ESN对智能合约漏洞检测的有效性。 展开更多

关键词 漏洞检测 智能合约 回声状态网络 迁移学习 区块链

在线阅读 下载PDF 职称材料

基于故障逻辑的民机液压状态监控与故障诊断

2

作者 冯蕴雯 潘维煌 +1 位作者 路成 刘佳奇 《系统工程与电子技术》 北大核心 2025年第3期842-854,共13页

当前民用飞机的监测数据难以有效应用于状态监测与故障诊断,限制了其安全性和可靠性的提升。为此,本文提出一种基于液压系统部件设计与监测数据的决策树模型,用于实现液压系统运行状态的监控;同时提出一种基于故障逻辑与运行数据的迁移... 当前民用飞机的监测数据难以有效应用于状态监测与故障诊断,限制了其安全性和可靠性的提升。为此,本文提出一种基于液压系统部件设计与监测数据的决策树模型,用于实现液压系统运行状态的监控;同时提出一种基于故障逻辑与运行数据的迁移学习模型,用于故障诊断与定位,以提升状态监控能力与故障诊断效率。首先,分析液压系统原理,依据机组操作手册(flight crew operating manual,FCOM)额定参数与监测数据建立运行监控指标,采用决策树模型监控液压系统的运行状态;随后通过故障形成条件梳理成逻辑图,结合逻辑图的输入信号参数采集快速存取记录器(quick access recorder,QAR)数据,开发迁移学习模型实现故障诊断与定位。最后以某型国产民机液压低压故障为例,验证了所提方法的应用效果。结果表明,该运行状态监控方法能有效量化液压系统状态,故障诊断方法则能高效识别故障原因。 展开更多

关键词 状态监控 故障诊断与定位 逻辑图 监测参数 迁移学习

在线阅读 下载PDF 职称材料

用有限状态图来识别系统入侵 被引量：14

3

作者 胡睿 张冬茉 杜蓬 《计算机工程与应用》 CSCD 北大核心 2001年第20期81-84,共4页

文章首先对系统入侵的状态转换进行了研究,通过使用有限状态图的分析方法,分析识别了常见黑客攻击的特征,包括ROOT用户攻击、TCPSYNFLOODING、IP分片攻击等等;最后根据对系统入侵的状态转换图的研究和对攻击特征的分析设计了一个入侵检... 文章首先对系统入侵的状态转换进行了研究,通过使用有限状态图的分析方法,分析识别了常见黑客攻击的特征,包括ROOT用户攻击、TCPSYNFLOODING、IP分片攻击等等;最后根据对系统入侵的状态转换图的研究和对攻击特征的分析设计了一个入侵检测系统。 展开更多

关键词 系统入侵 有限状态图 网络安全 防火墙 入侵检测系统 计算机网络

在线阅读 下载PDF 职称材料

面向对象软件的测试 被引量：3

4

作者 于卫 郭建强 +1 位作者 蔡希尧 陈平 《西安电子科技大学学报》 EI CAS CSCD 北大核心 1998年第6期725-728,共4页

简要介绍了目前常用的几种程序测试方法，分析了测试面向对象程序的特点，并结合应用实例阐述了基于对象－状态转换图的面向对象程序测试方法．最后借助于自动机指导用户的测试用例设计和测试结果预测．

关键词 测试 面向对象 软件开发

在线阅读 下载PDF 职称材料

基于状态转换的SIP容侵模型研究 被引量：1

5

作者 张兆心 张冰 +2 位作者 方滨兴 胡萍 李斌 《通信学报》 EI CSCD 北大核心 2009年第12期1-11,共11页

通过对DoS攻击的原理、方式和特征及SIP网络面对的典型DoS攻击的深入研究,结合基于状态转换的容侵模型、Client Puzzle思想、SIP会话、SIP网络及其代理服务器的特点,提出了基于状态转换的SIP容侵模型,并设计相应的仿真实验环境,对该模... 通过对DoS攻击的原理、方式和特征及SIP网络面对的典型DoS攻击的深入研究,结合基于状态转换的容侵模型、Client Puzzle思想、SIP会话、SIP网络及其代理服务器的特点,提出了基于状态转换的SIP容侵模型,并设计相应的仿真实验环境,对该模型抵御DoS攻击的能力进行测试。测试结果表明该模型可以有效地处理针对计算能力、等待时间和洪水攻击类型的DoS攻击,增强了系统承载DoS攻击的能力,提高了SIP网络的可用性。 展开更多

关键词 SIP DOS 状态转换 容侵模型

在线阅读 下载PDF 职称材料

TCP有限状态机和协议解析在伪警报去除中的应用 被引量：1

6

作者 帅春燕 江建慧 欧阳鑫 《计算机应用》 CSCD 北大核心 2011年第5期1271-1275,1279,共6页

面对入侵检测系统(IDS)产生的海量警报,提出了一种基于协议解析和传输控制协议(TCP)有限状态机的伪警报去除方法。对于无连接的请求/应答协议,同时分析请求数据包的攻击特征和应答数据包的返回状态码来去除伪警报;对于TCP,在协议分析的... 面对入侵检测系统(IDS)产生的海量警报,提出了一种基于协议解析和传输控制协议(TCP)有限状态机的伪警报去除方法。对于无连接的请求/应答协议,同时分析请求数据包的攻击特征和应答数据包的返回状态码来去除伪警报;对于TCP,在协议分析的基础上建立TCP数据包的有限状态机的模型,通过判断系列数据包是否为同一TCP连接、是否包含攻击序列来去除伪警报。在DARPA2000的数据集上的实验结果表明,此方法的误警率平均降低了59.47%,对TCP和请求/应答协议的警报的识别率达到76.67%。该方法简单又有效,依赖IDS的攻击特征库,可以插件的形式在线实现。 展开更多

关键词 入侵检测 请求/应答协议 传输控制协议 有限状态机 协议解析 伪警报

在线阅读 下载PDF 职称材料

传热管自锁夹持器的设计与研究 被引量：1

7

作者 高厚秀 辛露 +1 位作者 廖述圣 韩捷 《组合机床与自动化加工技术》 北大核心 2020年第4期152-154,159,共4页

核电站蒸汽发生器由于受到空间结构、辐射环境等因素的限制,对在其内作业的各项系统和装置都有很高的要求,传热管自锁夹持器在可靠性、安全性等方面要求都比较高,通过对夹持器工作的基本原理进行阐述,对数学模型进行深入的分析,建立增... 核电站蒸汽发生器由于受到空间结构、辐射环境等因素的限制,对在其内作业的各项系统和装置都有很高的要求,传热管自锁夹持器在可靠性、安全性等方面要求都比较高,通过对夹持器工作的基本原理进行阐述,对数学模型进行深入的分析,建立增力机构数学方程,设计基于钢球斜面式的二次增力机构,具有可靠夹持、自锁功能的夹持装置,制定了夹持器卡爪的热处理工艺,同时对夹持器的状态检测等做了设计与研究,以期对蒸发器检修定位机器人研制和优化提供基础。 展开更多

关键词 传热管 夹持器卡爪 状态检测

在线阅读 下载PDF 职称材料

从Scenarios到状态图的算法分析

8

作者 王洪媛 张可 张家晨 《计算机应用研究》 CSCD 北大核心 2006年第3期55-56,63,共3页

采用Scenarios进行需求建模能够反映从用户角度观察到的系统的行为,状态图是系统行为的精确描述。从Scenario到状态图的自动转换是指软件开发过程中从UML需求模型自动生成行为模型的过程,其研究对于细化系统行为,保持开发过程中模型间... 采用Scenarios进行需求建模能够反映从用户角度观察到的系统的行为,状态图是系统行为的精确描述。从Scenario到状态图的自动转换是指软件开发过程中从UML需求模型自动生成行为模型的过程,其研究对于细化系统行为,保持开发过程中模型间的一致性有重要意义。对其研究现状及进展进行了介绍,并对现有算法进行了总结和分类,进一步指出这些算法的不足和今后需要改进的方向。 展开更多

关键词 Scenarios 顺序图 状态图 状态转换

在线阅读 下载PDF 职称材料

容错待命储备系统的任务可靠性计算

9

作者 金宏 张洪钺 李沛琼 《北京航空航天大学学报》 EI CAS CSCD 北大核心 1998年第3期274-276,共3页

讨论了待命储备系统具有容错性能时的任务可靠性计算，由于故障检测器、切换器和待命器件是否可靠，直接影响该容错系统的可靠性．为了正确评估系统的任务可靠性，这里考虑了检测器和切换器存在一定的误警率和误切换率．据我们所知，Ｍ... 讨论了待命储备系统具有容错性能时的任务可靠性计算，由于故障检测器、切换器和待命器件是否可靠，直接影响该容错系统的可靠性．为了正确评估系统的任务可靠性，这里考虑了检测器和切换器存在一定的误警率和误切换率．据我们所知，Ｍａｒｋｏｖ模型是处理这个问题的主要工具，而国内很少有这方面的讨论．本文用Ｍａｒｋｏｖ理论来确定系统的状态及其状态转移矩阵，从而容错可靠性的计算问题得到解决，此外还讨论了有关误差概率的计算模型． 展开更多

关键词 可靠性 待命储备系统 容错性能 任务可靠性

在线阅读 下载PDF 职称材料

用于RTL设计验证的静态错误检测方法

10

作者 马丽丽 吕涛 +2 位作者 李华伟 张金巍 段永颢 《计算机工程》 CAS CSCD 北大核心 2011年第12期279-281,284,共4页

为快速有效地对集成电路设计中潜在的常见错误进行检测,提出一种基于静态分析的错误检测方法。该方法可以自动地提取待测寄存器传输级(RTL)设计的行为信息,检测出设计中常见的错误,如状态机死锁、管脚配置错误。实验结果表明,静态检测... 为快速有效地对集成电路设计中潜在的常见错误进行检测,提出一种基于静态分析的错误检测方法。该方法可以自动地提取待测寄存器传输级(RTL)设计的行为信息,检测出设计中常见的错误,如状态机死锁、管脚配置错误。实验结果表明,静态检测相对于其他验证方法自动化程度高、检测速度快、检测准确度高、检测代码可重用,可以在模拟之前发现设计中的错误。 展开更多

关键词 静态分析 静态检测 设计验证 寄存器传输级 状态机死锁

在线阅读 下载PDF 职称材料

基于多状态跳转模型的场景独立音频事件检测方法

11

作者 王健飞 张卫强 刘加 《中国科学院大学学报（中英文）》 CSCD 北大核心 2019年第2期218-225,共8页

针对不同类型事件设计多状态跳转模型,结合两种深度神经网络实现对传统音频事件检测框架的改进。实验表明,在DCASE2017任务2的开发集数据上,改进后的DNN-HMM系统相比于基线系统取得F值8.9%的相对提升和错误率19%的绝对下降;基于多状态... 针对不同类型事件设计多状态跳转模型,结合两种深度神经网络实现对传统音频事件检测框架的改进。实验表明,在DCASE2017任务2的开发集数据上,改进后的DNN-HMM系统相比于基线系统取得F值8.9%的相对提升和错误率19%的绝对下降;基于多状态跳转模型聚类的卷积神经网络模型(SC-CNN),相比于基线系统取得F值18%的相对提升和错误率30%的绝对下降。 展开更多

关键词 音频事件检测 多状态跳转模型 深度神经网络 迁移学习 多任务学习

在线阅读 下载PDF 职称材料

点-航迹质量评估的联合目标检测跟踪方法

12

作者 张玉涛 周希辰 +1 位作者 匡华星 夏永红 《现代防御技术》 2018年第4期120-126,共7页

针对复杂背景下微弱目标的检测和跟踪问题,提出了一种基于点-航迹质量评估的动态规划方法。该方法在雷达传统的检测跟踪结构的基础上,结合雷达真实目标回波特性和目标的运动规律,在单周期内,根据目标的回波特性提出点迹质量的概念,在进... 针对复杂背景下微弱目标的检测和跟踪问题,提出了一种基于点-航迹质量评估的动态规划方法。该方法在雷达传统的检测跟踪结构的基础上,结合雷达真实目标回波特性和目标的运动规律,在单周期内,根据目标的回波特性提出点迹质量的概念,在进行点迹凝聚处理的同时计算点迹质量的大小;在多周期间,根据目标的运动规律对目标的位置进行外推估计,根据估计值与量测值之间的欧式距离和方位差设计一个置信因子并结合点迹质量来改进航迹指标函数。仿真验证结果表明,该方法能够有效地消除伪航迹,计算量较小,能够提高复杂背景下雷达对微弱目标的检测和跟踪性能,并且结构简单,在工程上易于实现。 展开更多

关键词 检测前跟踪 动态规划 点迹质量 置信因子 指标函数 状态转移

在线阅读 下载PDF 职称材料