计算机研究与发展杂志 北大期刊 CSCD期刊 统计源期刊

数据流挖掘分类技术综述

作者：王涛; 李舟军; 颜跃进; 陈火旺 刊期：2007年第11期

数据流挖掘作为从连续不断的数据流中挖掘有用信息的技术，近年来正成为数据挖掘领域的研究热点，并有着广泛的应用前景．数据流具有数据持续到达、到达速度快、数据规模巨大等特点，因此需要新颖的算法来解决这些问题．而数据流挖掘的分类技术更是当前的研究热点．综述了当前国际上关于数据流挖掘分类算法的研究现状，并从数据平稳分布和带概念...

多维概念格与多维序列模式的增量挖掘

作者：金阳; 左万利 刊期：2007年第11期

多维序列模式挖掘旨在将一个或多个背景维度信息中发现的关联模式与有序事务序列中发现的序列模式有机结合，从而为用户提供信息内容更加丰富、更具有直接应用价值的多维序列模式．目前虽有一些挖掘多维序列模式的工作，但其关联模式与序列模式的发现过程是基于不同的数据结构分开进行的．提出一种新的概念格结构——多维概念格，它是对概念格的...

二阶微粒群算法

作者：胡建秀; 曾建潮 刊期：2007年第11期

为了提高标准微粒群算法的全局收敛性，提出了一种新的微粒群算法——二阶微粒群算法．首先，介绍了二阶微粒群算法的引入，分析了其收敛性，并且研究了其参数的选择范围．其次，在分析二阶微粒群算法的进化方程的基础上，引出了具有随机惯性权重的标准微粒群算法．再次，在二阶微粒群算法中加入振荡因子来调整微粒的速度变化率，更好地使二阶微...

基于变异的迭代sIB算法

作者：朱真峰; 叶阳东; Gang; Li 刊期：2007年第11期

IB方法使用源变量和相关变量的联合概率分布对源变量进行最大化压缩，使压缩变量最大化地保存相关变量的信息，连续IB算法（sIB）是一种较好的、应用较多的IB算法之一，但该算法存在效率低、优化不充分等问题．为了解决sIB在应用中存在的这些问题，提出了一种基于变异的迭代sIB算法（isIB）．isIB算法首先从相关实验中选取合理的变异率；基于该...

第8届中国粗糙集与软计算学术会议、第2届中国Web智能学术研讨会、第2届中国粒计算学术研讨会联合学术会议（CRSSC-CWI-CGrC2008）征文通知

刊期：2007年第11期

通信协议的实体行为描述语言CPEBSDL

作者：范昊; 吴哲辉 刊期：2007年第11期

提出了一种通信协议的实体描述语言CPEBSDL．CPEBSDL语言是一种描述能力很强的语言，它可以对协议实体的状态、行为及协议实体对资源的控制和访问进行形式化的描述，同以往的描述语言不同，CPEBSDL语言把协议实体之间复杂的交互行为看做是实体对协议中共同使用到的资源的控制和访问，从而简化了交互行为描述的复杂性，便于对协议进行分析和测试...

构造基于信任机制的自组织资源拓扑

作者：王伟; 曾国荪 刊期：2007年第11期

利用P2P覆盖网络（P2P overlay networks）进行资源组织是当前研究的热点，如何保证资源获取的可靠性是研究人员面临的一个主要问题．利用节点的动态自组织属性，基于节点物理位置的拓扑构造可以提高P2P网络的性能，但没有关注P2P网络中恶意节点的问题；基于偏好的拓扑构造可以有效地提高资源共享和搜索的效率，但没有考虑节点实际提供服务的能...

第3届中国高性能计算研讨会会议通知

刊期：2007年第11期

P2P流媒体Cache的置换算法

作者：陈刚; 张伟文; 吴国新 刊期：2007年第11期

P2P流媒体cache是一种有效减少带宽开销、提高对象利用率的技术，通常采用FIFO，LRU等算法置换内容．然而，流媒体不同于web对象，P2P网络也有别于客户／月良务器模式．在分布式应用中这些算法可能影响系统的性能，为此，分析了FIFO和LRU置换算法，提出了基于供求关系的SD算法，以及基于分片副本数量的REP算法，并对其进行评估和比较．针对不同...

SEEL：无线传感器网络下自适应、低延迟的节能媒质接入控制协议

作者：龚海刚; 余昌远; 刘明; 易发胜; 王晓敏; 陈力军 刊期：2007年第11期

无线传感器网络有着广泛的应用前景，然而由于传感器节点能量有限，因此传感器网络上运行的协议必须具备能量有效性以获得较长的生命周期．而媒质接入控制子层是节点能量消耗的主要所在，因此无线传感器网络设计的关键问题之一是媒质的接入控制．提出了一种自适应低延迟的节能MAC协议——SEEL协议。根据当前的网络负载自适应地调节竞争窗口的大...

Call for Papers The Third International Conference on Rough Sets and Knowledge Technology （RSKT2008）

刊期：2007年第11期

CICQ交换机中一类服务可保障的调度策略研究

作者：李季; 曾华燊; 许登元 刊期：2007年第11期

具备QoS保障能力的快速调度算法是高速交换机的首选．基于EPFTS（Ethernet-orientedphysical frame timeslot switching）和CICQ（combined input-crosspoint-queued）交换技术的特点，提出了一类新的调度策略——TRWFS（timeslot reservation weighted fair scheduling）．为确保各端口对上保障业务的预留带宽，TRWFS以各端口对上保障业务预留...

基于DTE策略的安全域隔离Z形式模型

作者：卿斯汉; 李丽萍; 何建波; 沈晴霓 刊期：2007年第11期

基于DTE策略的安全域隔离技术是构造可信系统的基本技术之一．但现有DTE实现系统存在安全目标不明确、缺乏对系统及其安全性质的形式定义和分析的缺点，导致系统安全性难以得到保证．定义了一个基于DTE策略的安全域隔离模型，采用Z语言形式定义了系统状态、基于信息流分析的不变量和安全状态，并借助Z／EVES工具给出验证系统安全的形式分析方法...

Windows环境下信任链传递及其性能分析

作者：李晓勇; 韩臻; 沈昌祥 刊期：2007年第11期

动态多路径信任链（DMPTC）是一个基于软件类型特点的系统可信验证和保证机制．DMPTC对静态的系统软件和动态的应用软件加以区分，并采用不同的方式和策略对软件的装载运行加以控制，使得计算平台只运行那些有可信来源的可执行代码，从而确保平台的可信和安全．DMPTC可以用来防范各种已知和未知的恶意代码，并可以用来加强对生产信息系统中应用...

基于Game理论的μ-演算公理化

作者：刘万伟; 王戟; 陈火旺 刊期：2007年第11期

随着软硬件系统复杂性的不断提高，各种验证技术被越来越广泛的使用．模型检验技术是一种保证软硬件设计、实现正确性的有效技术．在针对软硬件的模型验证技术中，一般采用时序逻辑作为规约语言．模态口一演算是模态和时序逻辑中应用较为广泛的一种，它具有语法成分简洁、表达能力强等特点．扩展了Lange和Stirling基于FocusGame的LTL和CTL的公理...