-
题名动态数据流分析的在线超限学习算法综述
被引量:7
- 1
-
-
作者
郭威
于建江
汤克明
徐涛
-
机构
盐城师范学院信息工程学院
南京航空航天大学计算机科学与技术学院
-
出处
《计算机科学》
CSCD
北大核心
2019年第4期1-7,共7页
-
基金
国家自然科学基金(61603326
61379064
61273106)资助
-
文摘
动态数据流分析是一个具有广泛应用价值的研究课题,在线学习方法是其中的一种关键技术。在众多在线学习方法中,在线贯序超限学习机(Online Sequential Extreme Learning Machine,OSELM)是一种新颖且实用的在线学习算法,目前已在动态数据流分析中得到了成功应用。首先,介绍了OSELM的理论基础和算法执行过程;然后,以动态数据流分析为应用背景,对各种改进OSELM算法进行了分类综述,包括基于滑动窗口的OSELM、基于遗忘因子的OSELM、基于样本加权的OSELM以及其他方法,重点论述了各类算法的设计思路和实现策略,并对其优缺点进行了比较和分析;最后,探讨了值得进一步研究的问题。
-
关键词
在线贯序超限学习机
动态数据流分析
滑动窗口
遗忘因子
样本加权
-
Keywords
Online sequential extreme learning machine
Dynamic data stream analysis
Sliding window
Forgetting factor
Sample weighting
-
分类号
TP181
[自动化与计算机技术—控制理论与控制工程]
-
-
题名以偶然正确性概率为基础的测试充分度准则
被引量:1
- 2
-
-
作者
陈洁
李倩
赵建华
李宣东
-
机构
南京大学计算机科学与技术系
-
出处
《计算机科学与探索》
CSCD
2011年第7期602-612,共11页
-
基金
国家高技术研究发展计划(863)No.2007AA010302~~
-
文摘
提出了一种基于偶然正确性概率的测试充分度准则。考虑偶然正确性问题对测试的充分度衡量带来的影响,设计了一种算法来计算程序中的一个错误因为偶然正确性的发生而使输出结果正确的概率。根据动静态数据流信息分析,追溯了动态语句实例之间的定义-使用依赖关系,并据此建立了定义-使用依赖关系图。对不同语句结构和跳转条件定义各种影响因子,量化这些影响因子对错误的掩盖程度。给出了一种算法来计算程序的一次执行过程的测试充分度。选取五个C语言程序作为实验对象,计算基于偶然正确性的测试充分度准则与错误发现效率之间的关系,并与语句覆盖度的错误发现率进行了比较。实验结果显示基于偶然正确性的测试充分度准则能较好地发现错误。
-
关键词
测试充分度准则
偶然正确性
动态数据流分析
-
Keywords
test adequacy criterion
coincidental correctness
dynamic data-flow analysis
-
分类号
TP311
[自动化与计算机技术—计算机软件与理论]
-
-
题名使用后向信息的动态数据流分析
- 3
-
-
作者
吴蓉
李剑慧
朱传琪
-
机构
复旦大学并行处理研究所
-
出处
《计算机工程》
CAS
CSCD
北大核心
2001年第7期103-104,150,共3页
-
文摘
介绍了动态数据流分析的基本方法分析了它在复杂控制流条件下的不足提出了一种能够使用后向信息来进行动态数据流分析的, ,BPD测试方法该方法能够消除动态死码的副作用从一个循环中提取相当部分的并行性。给出了在基准程序包中的的实验结果验, , SPEC95fpppp.f,证了测试可以获得其他现有方法不能取得的显著的加速比。
-
关键词
并行编译器
后向信息
动态数据流分析
SPEC95
计算机
-
Keywords
Run-timeParallelismPrivatizationParallelizing compiler
-
分类号
TP314
[自动化与计算机技术—计算机软件与理论]
-