检索结果-维普期刊中文期刊服务平台

基于GATv2-TCN联合优化的WSN数据流异常检测算法: 1; 作者苏宇杭马俊 +3 位作者樊津瑜陈博行周家城尹博然《计算机工程与科学》北大核心 2025年第5期843-850,共8页; 在传感器网络中,通过对数据流进行异常检测能够及时发现故障并报警,以确保系统安全可靠运行。然而WSN数据流异常检测仍面临2大难题:1)不同时间序列间复杂的相关性有待深入挖掘;2)在正常/异常样本分布极度不平衡的数据集中异常样本不易... 展开更多; 关键词无线传感器网络数据流异常检测 GATv2 TCN; 在线阅读下载PDF 职称材料

基于模型检测的数据流异常测试技术研究被引量：2: 2; 作者陈涛许金超钮俊《计算机工程与应用》 CSCD 北大核心 2011年第25期1-4,共4页; 程序的执行体现为数据在变量中的流动。对C/C++源代码中变量定义使用情况进行分析,针对变量未赋值就使用、变量重复赋值和变量定义后未使用三种数据流异常情况,使用程序阅读自动机,把程序转换为变量状态机,使用ALCCTL时序逻辑和模型检... 展开更多; 关键词变量使用软件测试数据流异常模型检测; 在线阅读下载PDF 职称材料

一种检查面向对象程序中数据流异常的方法被引量：2: 3; 作者郭健强蔡希尧《计算机研究与发展》 EI CSCD 北大核心 2000年第6期672-676,共5页; 数据流异常是指程序中与变量使用有关的不合常规的“可疑”情况．仅靠传统的数据流异常检查技术不能发现面向对象程序中与实例变量有关的数据流异常，将方法序列规范与传统的检查技术结合起来，提出了一种能检查对象的实例变量的数据流... 展开更多; 关键词数据流异常程序静态分析面向对象程序设计; 在线阅读下载PDF 职称材料

一种面向审查的过程内数据流异常自动检测方法被引量：2: 4; 作者卞磊刘超金茂忠《南京大学学报（自然科学版）》 CAS CSCD 北大核心 2010年第1期71-76,共6页; 审查是预防代码缺陷的重要手段,但审查耗时,浪费人力,需要自动化工具对其进行辅助.数据流异常是审查中着重检查的缺陷之一,本文提出了一种基于有穷自动机的过程内数据流异常的检测方法.此方法首先对被测过程进行静态分析,得到被测过程... 展开更多; 关键词审查过程内数据流异常有穷自动机静态检测; 在线阅读下载PDF 职称材料

基于微簇的桥梁监测数据流异常识别研究被引量：3: 5; 作者吴运宏舒昕 +1 位作者王戒躁闫光辉《计算机应用与软件》 CSCD 2016年第9期46-50,96,共6页; 针对桥梁健康监测系统中的数据流异常问题,提出一种基于微簇的数据流异常检测框架。首先对原始采集信号进行数据合并、缺失值填补等预处理;由于监测系统各传感器测点数据间存在一定的关联,利用主成分分析法提取桥梁主要特征参数,去除重... 展开更多; 关键词桥梁健康监测数据流异常识别多传感器网络主成分分析微簇; 在线阅读下载PDF 职称材料

一种检查面向对象程序中数据流异常的方法: 6; 作者郑云《系统工程与电子技术》 EI CSCD 北大核心 2001年第1期70-72,96,共4页; 数据流异常是指程序中与变量使用有关的不合常规的“可疑”情况。仅靠传统的数据流异常检查技术不能发现面向对象程序中与实例变量有关的数据流异常 ,我们将方法序列规范与传统的检查技术结合起来 ,提出了一种能检查对象的实例变量的数... 展开更多; 关键词程序设计面向对象数据流异常; 在线阅读下载PDF 职称材料

面向异常数据流的多分类器选择集成方法被引量：3: 7; 作者杨融泽柳毅《计算机工程与应用》 CSCD 北大核心 2018年第2期107-113,共7页; 传统的多分类器选择算法产生较大的计算和存储开销。另外,多分类器对异常数据流的预测稳定性是解决概念飘移的重要因素。通过引入改进的决策轮廓矩阵和支持熵解决了每个分类器集合之间模糊差异度问题,并将支持熵作为差异度度量的输入衡... 展开更多; 关键词选择集成异常数据流决策轮廓矩阵支持熵差异度量; 在线阅读下载PDF 职称材料

题名基于GATv2-TCN联合优化的WSN数据流异常检测算法: 1; 作者苏宇杭马俊樊津瑜陈博行周家城尹博然; 机构青海师范大学物理与电子信息工程学院青海师范大学高原科学与可持续发展研究院(物联网重点实验室) 青海大学计算机技术与应用学院; 出处《计算机工程与科学》北大核心 2025年第5期843-850,共8页; 基金青海省自然科学基金(2021-ZJ-916)。; 文摘在传感器网络中,通过对数据流进行异常检测能够及时发现故障并报警,以确保系统安全可靠运行。然而WSN数据流异常检测仍面临2大难题:1)不同时间序列间复杂的相关性有待深入挖掘;2)在正常/异常样本分布极度不平衡的数据集中异常样本不易检出。提出一种基于GATv2-TCN的异常检测算法。采用GATv2和TCN来建模特征和时间维度的复杂关系,并优化预测和重构模块。采用4个数据集对所提算法进行性能验证与分析。实验结果表明,所提算法获得了较高的F 1和AUC,特别是在不平衡的数据集中各项指标均高于基线模型,具有较好的WSN数据流异常检测效果。; 关键词无线传感器网络数据流异常检测 GATv2 TCN; Keywords wireless sensor network data flow anomaly detection GATv2 TCN; 分类号 TP212.9 [自动化与计算机技术—检测技术与自动化装置]; 在线阅读下载PDF 职称材料

题名基于模型检测的数据流异常测试技术研究被引量：2: 2; 作者陈涛许金超钮俊; 机构同济大学计算机科学与技术系国家高性能计算机工程技术中心同济分中心安徽财经大学计算机科学与技术系; 出处《计算机工程与应用》 CSCD 北大核心 2011年第25期1-4,共4页; 基金国家自然科学基金(No.90718015) 国家高技术研究发展计划(863)(No.2007AA01Z425 +6 种基金 No.2009AA012201) 安徽省自然科学基金(No.11040606M151)~~; 文摘程序的执行体现为数据在变量中的流动。对C/C++源代码中变量定义使用情况进行分析,针对变量未赋值就使用、变量重复赋值和变量定义后未使用三种数据流异常情况,使用程序阅读自动机,把程序转换为变量状态机,使用ALCCTL时序逻辑和模型检验工具,验证程序是否满足定义的可信模式。提出了新的静态查找变量使用故障的方法。该方法已应用于面向故障的软件测试系统中。; 关键词变量使用软件测试数据流异常模型检测; Keywords variable referenced software testing data flow anomaly model checking; 分类号 TP311.5 [自动化与计算机技术—计算机软件与理论]; 在线阅读下载PDF 职称材料

题名一种检查面向对象程序中数据流异常的方法被引量：2: 3; 作者郭健强蔡希尧; 机构西安电子科技大学软件工程研究所; 出处《计算机研究与发展》 EI CSCD 北大核心 2000年第6期672-676,共5页; 文摘数据流异常是指程序中与变量使用有关的不合常规的“可疑”情况．仅靠传统的数据流异常检查技术不能发现面向对象程序中与实例变量有关的数据流异常，将方法序列规范与传统的检查技术结合起来，提出了一种能检查对象的实例变量的数据流异常的方法．当类中方法的调用顺序符合该类的方法序列规范时，应用提出的方法能保证发现所有的介于不同方法之间的数据流异常．; 关键词数据流异常程序静态分析面向对象程序设计; Keywords data flow anomalies, data flow analysis, program static analysis, object-oriented programming; 分类号 TP311 [自动化与计算机技术—计算机软件与理论]; 在线阅读下载PDF 职称材料

题名一种面向审查的过程内数据流异常自动检测方法被引量：2: 4; 作者卞磊刘超金茂忠; 机构北京航空航天大学软件工程研究所; 出处《南京大学学报（自然科学版）》 CAS CSCD 北大核心 2010年第1期71-76,共6页; 文摘审查是预防代码缺陷的重要手段,但审查耗时,浪费人力,需要自动化工具对其进行辅助.数据流异常是审查中着重检查的缺陷之一,本文提出了一种基于有穷自动机的过程内数据流异常的检测方法.此方法首先对被测过程进行静态分析,得到被测过程的逻辑路径;而后基于有穷自动机和已获得的逻辑路径,通过每个数据项的状态迁移来判断数据流是否存在异常.本文介绍的方法面向审查,并不局限于某种特定的语言,并且一定程度上提高了数据流异常检测和审查的效率.; 关键词审查过程内数据流异常有穷自动机静态检测; Keywords inspection intra-procedural data flow anomaly finite automaton static detection; 分类号 TP301.1 [自动化与计算机技术—计算机系统结构]; 在线阅读下载PDF 职称材料

题名基于微簇的桥梁监测数据流异常识别研究被引量：3: 5; 作者吴运宏舒昕王戒躁闫光辉; 机构中铁大桥局武汉桥梁特种技术有限公司桥梁结构健康与安全国家重点实验室兰州交通大学电子与信息工程学院; 出处《计算机应用与软件》 CSCD 2016年第9期46-50,96,共6页; 基金国家自然科学基金项目(61163010) 东湖国家自主创新示范区现代服务业试点项目(2011-dhfwy-029); 文摘针对桥梁健康监测系统中的数据流异常问题,提出一种基于微簇的数据流异常检测框架。首先对原始采集信号进行数据合并、缺失值填补等预处理;由于监测系统各传感器测点数据间存在一定的关联,利用主成分分析法提取桥梁主要特征参数,去除重叠信息;利用密度聚类算法把数据流转换成微簇,进行微簇的实时生成,并根据微簇更新机制进行微簇维护,对数据流进行分类。通过对湖北某大桥监测数据的实验表明,该方法具有较好的异常识别能力,可以自适应概念漂移现象。; 关键词桥梁健康监测数据流异常识别多传感器网络主成分分析微簇; Keywords Bridge health monitoring Data stream anomaly detection Multi-sensor networks Principal component analysis Micro cluster; 分类号 TP306.1 [自动化与计算机技术—计算机系统结构]; 在线阅读下载PDF 职称材料

题名一种检查面向对象程序中数据流异常的方法: 6; 作者郑云; 机构固原师范专科学校; 出处《系统工程与电子技术》 EI CSCD 北大核心 2001年第1期70-72,96,共4页; 基金 "九五"国防预研基金; 文摘数据流异常是指程序中与变量使用有关的不合常规的“可疑”情况。仅靠传统的数据流异常检查技术不能发现面向对象程序中与实例变量有关的数据流异常 ,我们将方法序列规范与传统的检查技术结合起来 ,提出了一种能检查对象的实例变量的数据流异常的方法。当类中方法的调用顺序符合该类的方法序列规范时 ,应用提出的方法能确保发现所有的介于不同方法之间的数据流异常。; 关键词程序设计面向对象数据流异常; Keywords Data flow analysis\ \ Program analysis\ \ Object-oriented programming; 分类号 TP311 [自动化与计算机技术—计算机软件与理论]; 在线阅读下载PDF 职称材料

题名面向异常数据流的多分类器选择集成方法被引量：3: 7; 作者杨融泽柳毅; 机构广东工业大学计算机学院; 出处《计算机工程与应用》 CSCD 北大核心 2018年第2期107-113,共7页; 基金国家自然科学基金(No.61572144) 广东省自然科学基金(No.2014A030313517) +3 种基金 No.2015B010128014) No.2014J4100201); 文摘传统的多分类器选择算法产生较大的计算和存储开销。另外,多分类器对异常数据流的预测稳定性是解决概念飘移的重要因素。通过引入改进的决策轮廓矩阵和支持熵解决了每个分类器集合之间模糊差异度问题,并将支持熵作为差异度度量的输入衡量标准,使分类器集合之间的差异度计算更加稳定高效,并在此基础上提出了一种基于差异度集成的异常数据流检测方法并实现其算法;该方法应用在异常分类器选择模块,主要包括三个步骤:构建决策轮廓矩阵、整合支持熵、分类器集合差异度度量。实验结果表明,该算法对异常流量的预测精度和稳定性相比其他算法较好,由于分类器训练时间达到10^(-2)s左右,基本上能够适应数据流量检测的实时性需求。; 关键词选择集成异常数据流决策轮廓矩阵支持熵差异度量; Keywords selection integration abnormal data flow decision contour matrix support entropy difference measure; 分类号 TP393.08 [自动化与计算机技术—计算机应用技术]; 在线阅读下载PDF 职称材料

	题名	作者	出处	发文年	被引量	操作
1	基于GATv2-TCN联合优化的WSN数据流异常检测算法	苏宇杭马俊樊津瑜陈博行周家城尹博然	《计算机工程与科学》北大核心	2025	0	在线阅读下载PDF 职称材料
2	基于模型检测的数据流异常测试技术研究	陈涛许金超钮俊	《计算机工程与应用》 CSCD 北大核心	2011	2	在线阅读下载PDF 职称材料
3	一种检查面向对象程序中数据流异常的方法	郭健强蔡希尧	《计算机研究与发展》 EI CSCD 北大核心	2000	2	在线阅读下载PDF 职称材料
4	一种面向审查的过程内数据流异常自动检测方法	卞磊刘超金茂忠	《南京大学学报（自然科学版）》 CAS CSCD 北大核心	2010	2	在线阅读下载PDF 职称材料
5	基于微簇的桥梁监测数据流异常识别研究	吴运宏舒昕王戒躁闫光辉	《计算机应用与软件》 CSCD	2016	3	在线阅读下载PDF 职称材料
6	一种检查面向对象程序中数据流异常的方法	郑云	《系统工程与电子技术》 EI CSCD 北大核心	2001	0	在线阅读下载PDF 职称材料
7	面向异常数据流的多分类器选择集成方法	杨融泽柳毅	《计算机工程与应用》 CSCD 北大核心	2018	3	在线阅读下载PDF 职称材料