富浩
- 作品数：2 被引量：4H指数：2
- 供职机构：浙江大学计算机科学与技术学院更多>>
- 发文基金：航天支撑技术基金国防科技技术预先研究基金航天科技创新基金更多>>
- 相关领域：自动化与计算机技术更多>>
- 基于锁集合算法的增强型数据竞争检测方法被引量：3
- 2009年
- 针对锁集合算法误报率高的缺点,采用增强型数据竞争检测方法对锁集合算法及算法实现两方面进行改进.增强型锁集合算法提出了更强必要条件的检测算法.该算法通过分析线程结束情况和理解变量的线程信息,精化数据竞争检测条件.算法实现采用系统体系结构扩展的方法,通过扩展锁表部件,将集合操作精确映射到位图操作,进一步提高检测精度和减少误报.实现了无干扰免插桩检测技术,避免了二进制代码插桩带来的干扰性和不确定性问题.与同类系统的对比实验结果表明,该方法能够有效地将误报率减小到0.67,并且具有很高的检测效率.
- 富浩蔡铭董金祥金星龚宜
- 关键词：数据竞争
- 增量式频繁闭合序列挖掘算法被引量：2
- 2009年
- 在许多场合挖掘频繁闭合序列时,输入串数据库呈现实时动态增长的特点.分析Bide算法,给出并证明了闭合序列前缀中任意一个项目的后向扩展事件(BEE)项目交集随前缀的生长单调不增的定理,据此对BEE累计操作进行了优化,使其性能平均提高了4.8%.定义了闭合序列树作为频繁闭合序列的表示形式,并阐述了它的3个性质.分析发现,当新增输入串不同时包含前缀串和频繁项目时,两次连续挖掘的结果是相同的,给出了相应的定理和证明,据此实现了增量式频繁闭合序列挖掘算法BideInc.实验验证了BideInc算法的正确性,使用该算法后挖掘性能平均提高了47%.
- 石怀东蔡铭吴洪森董金祥富浩
- 关键词：知识发现数据挖掘
