基于自适应Merkle哈希树的动态数据流审计方案 被引量：2

1

作者 杜建明 董国芳 《计算机工程与设计》 北大核心 2024年第8期2263-2271,共9页

针对现有数据结构不能很好支持动态大数据流及传统Merkle哈希树验证路径过长及单点故障问题,提出一种基于自适应Merkle哈希树的动态数据流审计方案。使用陷门哈希函数构建一个新的自适应Merkle哈希树数据认证结构存储动态数据流,自适应... 针对现有数据结构不能很好支持动态大数据流及传统Merkle哈希树验证路径过长及单点故障问题,提出一种基于自适应Merkle哈希树的动态数据流审计方案。使用陷门哈希函数构建一个新的自适应Merkle哈希树数据认证结构存储动态数据流,自适应扩展树的深度。引入局部权威根节点,解决验证路径过长和单点故障问题。采用BLS签名技术和随机掩蔽技术,保证数据完整性验证过程的隐私保护。安全性分析证明了所提方案是可证明安全的,实验结果表明,所提方案能够高效实现云端数据完整性验证,确定了最佳叶子节点存储区间。 展开更多

关键词 云存储 陷门哈希函数 动态数据流 BLS签名 随机掩蔽技术 隐私保护 动态更新

在线阅读 下载PDF 职称材料

基于动态数据流的密码函数加解密过程分析 被引量：1

2

作者 李继中 蒋烈辉 +1 位作者 舒辉 戴理 《计算机应用研究》 CSCD 北大核心 2014年第4期1185-1188,共4页

在密码函数识别的基础上,采用九元组的形式定义了加解密过程依赖图,提出了基于动态数据流分析的函数依赖图构建框架,并设计了构建算法;采用垃圾调用删除、循环归约的方式对依赖图进行化简;基于标准密码算法依赖图知识库,设计了相似性判... 在密码函数识别的基础上,采用九元组的形式定义了加解密过程依赖图,提出了基于动态数据流分析的函数依赖图构建框架,并设计了构建算法;采用垃圾调用删除、循环归约的方式对依赖图进行化简;基于标准密码算法依赖图知识库,设计了相似性判别算法对依赖图集合进行判别,测试结果验证了方法的可靠性与高效性。 展开更多

关键词 算法识别 密码函数 加解密过程 动态数据流 依赖图

在线阅读 下载PDF 职称材料

基于动态数据流图的嵌入式系统设计 被引量：1

3

作者 吴百锋 彭澄廉 +1 位作者 黄新生 孙晓光 《计算机工程与应用》 CSCD 北大核心 2004年第36期106-108,212,共4页

该文提出一种嵌入式系统软硬件协同设计方法,它以动态数据流图为系统模型对嵌入式系统的功能和性能需求进行描述,由此提供强大的描述、分析能力及可接受的实现规模.通过一种特定的实现结构,以及数据通路的自动综合和实现代码框架的自动... 该文提出一种嵌入式系统软硬件协同设计方法,它以动态数据流图为系统模型对嵌入式系统的功能和性能需求进行描述,由此提供强大的描述、分析能力及可接受的实现规模.通过一种特定的实现结构,以及数据通路的自动综合和实现代码框架的自动生成,设计工作的主体部分可以被有效分解为一系列独立设计任务,能缩短设计周期并提高设计工作的可重用性。 展开更多

关键词 嵌入式系统 软硬件协同设计 动态数据流图

在线阅读 下载PDF 职称材料

动态数据流分析的在线超限学习算法综述 被引量：7

4

作者 郭威 于建江 +1 位作者 汤克明 徐涛 《计算机科学》 CSCD 北大核心 2019年第4期1-7,共7页

动态数据流分析是一个具有广泛应用价值的研究课题,在线学习方法是其中的一种关键技术。在众多在线学习方法中,在线贯序超限学习机(Online Sequential Extreme Learning Machine,OSELM)是一种新颖且实用的在线学习算法,目前已在动态数... 动态数据流分析是一个具有广泛应用价值的研究课题,在线学习方法是其中的一种关键技术。在众多在线学习方法中,在线贯序超限学习机(Online Sequential Extreme Learning Machine,OSELM)是一种新颖且实用的在线学习算法,目前已在动态数据流分析中得到了成功应用。首先,介绍了OSELM的理论基础和算法执行过程;然后,以动态数据流分析为应用背景,对各种改进OSELM算法进行了分类综述,包括基于滑动窗口的OSELM、基于遗忘因子的OSELM、基于样本加权的OSELM以及其他方法,重点论述了各类算法的设计思路和实现策略,并对其优缺点进行了比较和分析;最后,探讨了值得进一步研究的问题。 展开更多

关键词 在线贯序超限学习机 动态数据流分析 滑动窗口 遗忘因子 样本加权

在线阅读 下载PDF 职称材料

有新类的动态数据流分类算法研究 被引量：6

5

作者 武炜杰 张景祥 《计算机科学与探索》 CSCD 北大核心 2021年第1期132-140,共9页

针对有新类的动态数据流分类算法检测新类性能不高的问题,提出一种基于k近邻的完全随机森林算法(KCRForest)。该算法利用动态数据流中已知类样本构建完全随机森林的完全随机树,并根据叶节点平均路径长度将样本空间分成正常区域与异常区... 针对有新类的动态数据流分类算法检测新类性能不高的问题,提出一种基于k近邻的完全随机森林算法(KCRForest)。该算法利用动态数据流中已知类样本构建完全随机森林的完全随机树,并根据叶节点平均路径长度将样本空间分成正常区域与异常区域。通过落入异常区域中样本的k近邻计算该样本离群值。若样本离群值大于设定阈值,则判断样本为新类,否则为已知类。落入异常区域的已知类样本由该样本的k近邻得到样本标签分布,否则取该区域中原训练样本标签分布,投票得到样本标签。当新类样本检测达到一定数量时,利用新类样本信息更新模型,便于检测其他新类。为了验证KCRForest算法检测新类的有效性,分别在4个UCI数据集上进行实验,并与已有算法进行比较。结果表明该算法的新类检测性能优于或与iForest+SVM算法、LOF+SVM算法相当,分类准确率明显高于SENCForest算法。 展开更多

关键词 新类检测 完全随机森林 动态数据流

在线阅读 下载PDF 职称材料

使用后向信息的动态数据流分析

6

作者 吴蓉 李剑慧 朱传琪 《计算机工程》 CAS CSCD 北大核心 2001年第7期103-104,150,共3页

介绍了动态数据流分析的基本方法分析了它在复杂控制流条件下的不足提出了一种能够使用后向信息来进行动态数据流分析的, ,BPD测试方法该方法能够消除动态死码的副作用从一个循环中提取相当部分的并行性。给出了在基准程序包中的的实验... 介绍了动态数据流分析的基本方法分析了它在复杂控制流条件下的不足提出了一种能够使用后向信息来进行动态数据流分析的, ,BPD测试方法该方法能够消除动态死码的副作用从一个循环中提取相当部分的并行性。给出了在基准程序包中的的实验结果验, , SPEC95fpppp.f,证了测试可以获得其他现有方法不能取得的显著的加速比。 展开更多

关键词 并行编译器 后向信息 动态数据流分析 SPEC95 计算机

在线阅读 下载PDF 职称材料

基于动态学习数据流的“伴随式评价”框架设计 被引量：35

7

作者 王小根 单必英 《电化教育研究》 CSSCI 北大核心 2020年第2期60-67,共8页

在“为了学习而评价”的影响下,教学评价日益表现出以数据为导向、追踪教学全过程、面向学生全面发展的“伴随”取向。但囿于时间不足、技术条件限制等原因,数据类型单一、反馈不及时、脱离教学情境等仍然是教学评价所面临的重要难题。... 在“为了学习而评价”的影响下,教学评价日益表现出以数据为导向、追踪教学全过程、面向学生全面发展的“伴随”取向。但囿于时间不足、技术条件限制等原因,数据类型单一、反馈不及时、脱离教学情境等仍然是教学评价所面临的重要难题。随着智慧课堂的介入,更多、更细、更高频率的数据可以得到及时的采集,处理、分析这些数据,将有助于发挥评价的导向、激励、调整功能。因此,研究以智慧课堂中动态学习数据的生成、流动与转换为契机,引入了“伴随式评价”的理念,结合智慧课堂中学情诊断—备课、互动参与—教学、成果检验—迁移三个节点,从评价的时间、目的、内容、主体和工具五个层面构建了“伴随式评价”的设计框架,并面向初中英语课程设计了案例。 展开更多

关键词 动态学习数据流 伴随式评价 智慧课堂 初中英语

在线阅读 下载PDF 职称材料

基于卡尔曼滤波的动态传感数据流估计方法 被引量：27

8

作者 焉晓贞 罗清华 《仪器仪表学报》 EI CAS CSCD 北大核心 2013年第8期1847-1854,共8页

在无线传感器网络应用系统中,众多传感器节点以一定的时间间隔不断采集被监测对象的参数,对于数据中心而言,形成了无线传感数据流。同时数据流中的数据模型可能随时间变化,因此形成了动态的传感数据流。针对目前无线传感数据流估计方法... 在无线传感器网络应用系统中,众多传感器节点以一定的时间间隔不断采集被监测对象的参数,对于数据中心而言,形成了无线传感数据流。同时数据流中的数据模型可能随时间变化,因此形成了动态的传感数据流。针对目前无线传感数据流估计方法中存在的估计精度较低、模型更新不及时和计算复杂度高等问题,提出了基于卡尔曼滤波的动态无线传感数据流估计方法。采用卡尔曼滤波实现估计模型的动态调整,为了降低数据流估计的计算复杂度,采用基于相关分析的多元线性回归估计方法,将卡尔曼滤波和多元线性回归模型有机结合,实现对动态无线传感数据流的准确估计.采用实际传感数据的估计实验结果表明,提出的基于卡尔曼滤波的动态传感数据流估计方法可有效实现动态传感数据流的估计。 展开更多

关键词 无线传感器网络 动态传感数据流 估计 卡尔曼滤拨

在线阅读 下载PDF 职称材料

SpMT WaveCache:开发数据流计算机中的推测多线程 被引量：3

9

作者 裴颂文 吴百锋 《计算机学报》 EI CSCD 北大核心 2009年第7期1382-1392,共11页

推测多线程技术(Speculative Multithreading,SpMT)是通过推测地执行多个线程来开发线程级并行性,提高超标量处理器性能.通过增加额外的硬件单元,比如线程同步单元(Thread Synchronization Unit,TSU)、线程上下文表(Thread Context Tabl... 推测多线程技术(Speculative Multithreading,SpMT)是通过推测地执行多个线程来开发线程级并行性,提高超标量处理器性能.通过增加额外的硬件单元,比如线程同步单元(Thread Synchronization Unit,TSU)、线程上下文表(Thread Context Table,TCT)和线程内存历史表(Thread Memory History,TMH),扩展了事务性内存系统,提高了基于波标量指令集系统结构(WaveScalar ISA)实现的WaveCache模拟器的性能.同时,还提出了一种新的两级线程级事务提交机制.最后,采用了6个来自SPEC、Media和Mibench测试程序集的真实测试程序,评估了推测多线程WaveCache(SpMT WaveCache)的性能.实验表明,SpMT WaveCache比超标量系统结构提高了2～3倍的性能,是一种有效的开发动态数据流计算机性能的方法. 展开更多

关键词 动态数据流计算机 推测多线程 事务性内存 波标量指令集

在线阅读 下载PDF 职称材料

面向数据流嵌入式系统的并发设计方法

10

作者 吴百锋 彭澄廉 《计算机集成制造系统-CIMS》 EI CSCD 北大核心 2003年第z1期70-74,共5页

嵌入式系统复杂度的不断提高和设计周期的不断缩短,需要更快速、有效的设计方法。基于动态数据流图模型技术和面向部件的实现结构,本文描述了一种适用于面向数据流领域嵌入式系统的并发设计方法,这种设计方法在保持一致性的前提下,将一... 嵌入式系统复杂度的不断提高和设计周期的不断缩短,需要更快速、有效的设计方法。基于动态数据流图模型技术和面向部件的实现结构,本文描述了一种适用于面向数据流领域嵌入式系统的并发设计方法,这种设计方法在保持一致性的前提下,将一个嵌入式系统的设计过程分解成一系列相互独立的设计项目,由此,使得设计工作可并发进行。此外,软硬件部件和数据通路实现代码框架的自动生成,不但能显著加速设计过程,而且确保了目标系统的可集成性。 展开更多

关键词 嵌入式系统 软硬件协同设计 动态数据流图

在线阅读 下载PDF 职称材料

概念漂移数据流集成分类算法综述 被引量：13

11

作者 杜诗语 韩萌 +2 位作者 申明尧 张春砚 孙蕊 《计算机工程》 CAS CSCD 北大核心 2020年第1期15-24,30,共11页

针对概念漂移数据流集成分类算法的基本概念、相关工作、适用范围及优缺点等方面进行具体阐述,重点分析突变型、渐变型、重复型和增量型集成分类算法,以及集成分类中的Bagging、Boosting、基分类器组合学习策略与在线学习、基于块的集... 针对概念漂移数据流集成分类算法的基本概念、相关工作、适用范围及优缺点等方面进行具体阐述,重点分析突变型、渐变型、重复型和增量型集成分类算法,以及集成分类中的Bagging、Boosting、基分类器组合学习策略与在线学习、基于块的集成、增量学习关键技术,指出现阶段概念漂移数据流集成分类算法所需解决的主要问题,并对集成基分类器的动态更新与加权组合、多类型概念漂移的快速检测等研究方向进行分析和展望。 展开更多

关键词 动态数据流 集成 分类 概念漂移 增量学习

在线阅读 下载PDF 职称材料

面向数据直方图发布的差分隐私保护综述 被引量：10

12

作者 王红 葛丽娜 +2 位作者 王丽颖 张静 张翼鹏 《计算机应用研究》 CSCD 北大核心 2017年第6期1609-1612,共4页

与匿名隐私保护相比,差分隐私保护作为一种新的隐私保护技术,能抵抗假设攻击和背景知识攻击。差分隐私保护的直方图发布能够直观地表示数据的发布信息,针对国内外在静态数据集和动态数据流方向上的数据直方图发布的差分隐私保护研究现... 与匿名隐私保护相比,差分隐私保护作为一种新的隐私保护技术,能抵抗假设攻击和背景知识攻击。差分隐私保护的直方图发布能够直观地表示数据的发布信息,针对国内外在静态数据集和动态数据流方向上的数据直方图发布的差分隐私保护研究现状进行介绍,讨论有关静态数据集下直方图存在长区间添加噪声而导致的噪声累积、数据可用性低以及动态数据流下隐私预算容易耗尽问题的解决方法,对基于直方图的差分隐私保护各相关算法进行对比与分析,最后总结出目前差分隐私保护技术的应用及未来的研究方向。 展开更多

关键词 直方图 差分隐私保护 静态数据集 噪声 隐私预算 动态数据流

在线阅读 下载PDF 职称材料

基于组件的嵌入式软件开发方法 被引量：9

13

作者 黄新生 吴百锋 朱琦 《计算机工程与设计》 CSCD 2004年第3期327-331,共5页

根据嵌入式软件的特点,提出一种以模型为中心、基于组件的嵌入式软件开发方法。它以动态数据流图为系统模型对嵌入式软件的功能和性能需求进行了描述,由此提供了强大的描述和分析能力;通过基于特定组件模型的实现结构和实现代码框架的... 根据嵌入式软件的特点,提出一种以模型为中心、基于组件的嵌入式软件开发方法。它以动态数据流图为系统模型对嵌入式软件的功能和性能需求进行了描述,由此提供了强大的描述和分析能力;通过基于特定组件模型的实现结构和实现代码框架的自动生成,以DDF定义的系统可以被有效地分解为一系列独立的组件,合适的DDF调度算法一致地表示了系统组件的执行语义,使得并发开发的组件具有良好的可集成性。该方法充分考虑了嵌入式开发的特点,能有效地降低系统复杂性和支持系统组件的并发开发和复用,从而提高了开发效率并降低了开发成本。 展开更多

关键词 嵌入式软件 组件模型 动态数据流图 软件工程 体系结构 DDF模型 嵌入式系统

在线阅读 下载PDF 职称材料

采用故障分析仪诊断汽车故障 被引量：1

14

作者 代凤英 《农机使用与维修》 2011年第3期77-77,共1页

汽车故障诊断仪是维修中非常重要的工具，车辆故障自检终端是用于检测汽车故障的便携式智能汽车故障自检仪，用户可以利用它迅速地读取汽车电控系统中的故障，并通过液晶显示屏显示故障信息，迅速查明发生故障的部位及原因。它一般具有... 汽车故障诊断仪是维修中非常重要的工具，车辆故障自检终端是用于检测汽车故障的便携式智能汽车故障自检仪，用户可以利用它迅速地读取汽车电控系统中的故障，并通过液晶显示屏显示故障信息，迅速查明发生故障的部位及原因。它一般具有如下几项或全部的功能：读取故障码；清除故障码；读取发动机动态数据流；示波功能；元件动作测试；匹配、设定和编码等功能；英汉辞典、计算器及其他辅助功能。 展开更多

关键词 汽车故障 故障诊断仪 故障分析仪 液晶显示屏 辅助功能 汽车电控系统 故障自检 动态数据流

在线阅读 下载PDF 职称材料

以偶然正确性概率为基础的测试充分度准则 被引量：1

15

作者 陈洁 李倩 +1 位作者 赵建华 李宣东 《计算机科学与探索》 CSCD 2011年第7期602-612,共11页

提出了一种基于偶然正确性概率的测试充分度准则。考虑偶然正确性问题对测试的充分度衡量带来的影响,设计了一种算法来计算程序中的一个错误因为偶然正确性的发生而使输出结果正确的概率。根据动静态数据流信息分析,追溯了动态语句实例... 提出了一种基于偶然正确性概率的测试充分度准则。考虑偶然正确性问题对测试的充分度衡量带来的影响,设计了一种算法来计算程序中的一个错误因为偶然正确性的发生而使输出结果正确的概率。根据动静态数据流信息分析,追溯了动态语句实例之间的定义-使用依赖关系,并据此建立了定义-使用依赖关系图。对不同语句结构和跳转条件定义各种影响因子,量化这些影响因子对错误的掩盖程度。给出了一种算法来计算程序的一次执行过程的测试充分度。选取五个C语言程序作为实验对象,计算基于偶然正确性的测试充分度准则与错误发现效率之间的关系,并与语句覆盖度的错误发现率进行了比较。实验结果显示基于偶然正确性的测试充分度准则能较好地发现错误。 展开更多

关键词 测试充分度准则 偶然正确性 动态数据流分析

在线阅读 下载PDF 职称材料