国家自然科学基金(90104008)
- 作品数：5 被引量：10H指数：2
- 相关作者：陈鹏吕卫锋徐莹周轶刚李未更多>>
- 相关机构：北京航空航天大学更多>>
- 发文基金：国家自然科学基金国家重点基础研究发展计划更多>>
- 相关领域：自动化与计算机技术更多>>
- 一种基于有效修剪的最大频繁项集挖掘算法被引量：2
- 2006年
- 对关联挖掘中的最大频繁项集挖掘问题进行了研究,提出了一种基于项集格修剪机制的最大频繁项集挖掘算法.采用项集格生成树的数据结构,将最大频繁项集挖掘过程转化为对项集格生成树进行深度优先搜索获取所有最大频繁节点的过程.其中提高算法效率的一个重要措施是在遍历项集格生成树的过程中对生成树进行修剪.给出了项集格生成树的三个性质,并在此基础上提出了直接超集修剪、间接超集修剪与事务集等价修剪三种修剪机制,尽可能忽略非频繁节点及其所生成的扩展节点以减少遍历的节点数目.试验结果表明,三种修剪机制都能够有效地减少搜索空间,其中事务集等价修剪机制的效果最好,算法的性能与输入数据集的稠密程度相关.
- 陈鹏吕卫锋
- 关键词：数据挖掘关联规则
- R-演算:一个修正程序规约的演算系统被引量：3
- 2002年
- 在一个软件规约（Program specification）的形成过程中,规约总是不断被修改,要么增加新的功能,要么由于出现事实反驳,而改正规约中的错误.规约的新功能是与其逻辑无关的新规则,而它的事实反驳则是其反例.新规则和事实反驳都是由研究者或用户提出来的.极大缩减是在规约出现事实反驳的情况下,对规约的理想修正.这里在一阶逻辑的框架下给出规约的新规则、事实反驳和极大缩减的模型论定义.构建了R-演算.该演算由一组变换规则组成,用以删除规约中与事实反驳矛盾的规则,并最终得到规约的极大缩减.同时证明了R-演算的可达性和完全性.
- 李未
- 关键词：软件规约程序规约
- Internet测量基础架构的研究被引量：4
- 2002年
- 1 引言
随着现代信息技术的发展,Internet及其各种应用构成了现代社会的重要信息基础设施.在Internet的发展过程中,人们一直在对网络进行测量和控制[5].
- 周轶刚徐莹
- 关键词：INTERNET服务质量计算机网络信息基础设施
- WIPMM:一种可扩展的Internet性能管理模型被引量：2
- 2003年
- 基于互联网服务框架WebService提出了一种可扩展的Internet性能管理模型WIPMM,由功能模型、系统模型与软件模型三部分组成。WebService框架被用于构建软件模型,而XML成为软件模型的数据访问接口。由于采用WebService框架使应用程序在Internet中具备良好的互操作性,WIPMM可以很好地将网络测量与性能管理应用扩展到广域网并且改善了可扩展性。在性能管理应用层的性能预报服务中采用了‘算法动态选择’机制,实际上是一种基于误差估计的混合预报建模方法,被用于预报网络性能。采用‘算法动态选择’机制后,预报过程更为有效,预报结果更为准确。
- 陈鹏何蕾孙小宁吕卫锋
- 关键词：INTERNET因特网网络服务服务质量计算机网络
- MADSPM:一种基于移动代理的分布式多流数据处理模型
- 2005年
- 对主要的流数据模型进行了比较分析,讨论了基于概要结构的流数据处理模型---Synopsis模型。在Synopsis模型的基础上引入移动代理,提出了一种基于移动代理的分布式多流数据处理模型MADSPM。最后对基于MADSPM模型的流数据关联规则挖掘问题中需注意的一些问题进行了阐述与分析。
- 陈鹏吕卫锋
- 关键词：移动代理关联规则挖掘
