软件学报杂志 北大期刊 CSCD期刊 统计源期刊

一种基于功能需求层次凝聚的程序聚类方法

作者：赵伟; 张路; 梅宏; 孙家骕 刊期：2006年第08期

对大型复杂系统进行聚类分析能够改善软件维护的效率和效果，同时也是获取可复用构件的基础．提出一种基于需求层次凝聚的程序聚类方法来解决这个问题．该方法利用存在于需求描述中的语义信息获取问题域的高层逻辑，结合对源代码的动态分析，最终获取对源代码的分解划分．使用该方法获取的划分结果具有到问题域的映射；并且由于采用了动态的分析...

一种基于PDCA的软件过程控制与改进模型

作者：武占春; 王青; 李明树 刊期：2006年第08期

CMM／CMMI（capability maturity model／CMM integration）自1999年开始为中国软件企业所接受并逐步得以推广，但目前中国实施CMM／CMMI的企业还不多，有些企业实施效果并不理想．通过调查软件企业在实施CMM／CMMI过程中存在的问题，并对发现的问题及其负面影响进行分析，提出了基于PDCA（plan—do—check-action）的软件过程控制与改进模型，...

基于未确知理论的软件可靠性建模

作者：张永强; 孙胜娟 刊期：2006年第08期

将未确知理论应用于软件可靠性建模研究，采用其分析软件故障过程，用未确知数学描述软件失效特征计算软件可靠性参数，并在此基础上构建了一个基于未确知数学理论的软件可靠性模型．新模型改变了传统的建模思路，跳出了传统软件可靠性建模过程中关于失效强度变化的各种统计分布假设的束缚，具有较好的适用性，改善了模型应用中的不一致性问题．

第20届国际科技数据委员会（CODATA）国际学术会议通知

刊期：2006年第08期

一种基于Messy GA的结构测试数据自动生成方法

作者：薛云志; 陈伟; 王永吉; 赵琛; 王青 刊期：2006年第08期

结构性测试是标识测试用例的基本方法之一．由于程序语言的复杂性以及被测程序的多样性，自动生成结构测试数据的一种有效方法是根据程序运行结果指导生成过程，通过不断迭代，生成符合要求的测试数据集．提出一种基于Messy GA的结构测试数据自动生成方法，将测试覆盖率表示为测试输入集X的函数F（X），并利用Messy GA不需要染色体模式排列的先...

一种基于动作语义的UML1．x-2．0模型转换方法

作者：陈秀红; 何克清; 何璐璐 刊期：2006年第08期

虽然UML2．0标准被OMG组织采纳已久，但由于UML1．X标准在工业界的广泛使用，仍然存在大量的实用模型和应用软件，它们在UML2．0标准之下已不能准确描述系统．UML2．0建模工具并不支持从UML1．X模型到UML2．0模型的转换．从顶层元模型的角度比较了这两个版本的不同，采用声明式和命令式混合的模型框架，给出了一种基于动作语义的UML模型转换方法...

多维关注分离的模型驱动过程框架设计方法

作者：段玉聪; 顾毓清 刊期：2006年第08期

当前，许多模型驱动软件项目过程采用多种开发方式相结合的形式．但开发方式的比较、选择、组合操作却缺少系统化的方法指导．提出一种多维关注分离的开发过程框架设计方法．采用一般化、行为化和抽象化作为元关注维。对开发方式进行比较．结合这三维的期望演化曲线，给出过程实现模型框架．对于模型驱动开发过程的提高开发效率、增强可跟踪性和...

P2P数据管理

作者：余敏; 李战怀; 张龙波 刊期：2006年第08期

P2P（peer-to-peer）技术是未来重构分布式体系结构的关键技术，拥有广阔的应用前景．P2P系统的大多数问题都可归结为数据放置和检索问题，因此，P2P数据管理成为数据库领域活跃的研究课题．当前，P2P数据管理主要有信息检索、数据库查询和连续查询3个子领域。取得了许多研究成果．在介绍P2P技术的优点后，指出了P2P数据管理研究的目标．然后针...

国家知识基础设施中的数学知识表示

作者：曹存根; 眭跃飞; 孙瑜; 曾庆田 刊期：2006年第08期

数学知识表示是知识表示中的一个重要方面，是数学知识检索、自动定理机器证明、智能教学系统等的基础根据在设计NKI（national knowledge infrastructure）的数学知识表示语言中遇到的问题，并在讨论了数学对象的本体论假设的基础上提出了两种数学知识的表示方法：一种是以一个逻辑语言上的公式为属性值域的描述逻辑；另一种是以描述逻辑描述的...

大型压缩数据仓库上的Iceberg Cube算法

作者：骆吉洲; 李建中; 赵锴 刊期：2006年第08期

Iceberg Cube操作是OLAP（on-line analysis processing）分析中的一种重要操作．数据压缩技术在有效减小数据仓库所需的数据空间和提高数据处理性能方面的作用越来越明显．在压缩的数据仓库上，如何快速、有效地计算Iceberg Cube是目前亟待解决的问题．简要介绍了数据仓库的压缩，然后给出了在压缩数据仓库中计算Iceberg Cube的算法．实验结果...

挖掘多数据流的异步偶合模式的抗噪声算法

作者：陈安龙; 唐常杰; 元昌安; 彭京; 胡建军 刊期：2006年第08期

挖掘多数据流的异步偶合模式是具有挑战性的工作．主要的研究工作包括：（1）研究Haar小波滤波技术在挖掘流数据的异步偶合模式中的应用；（2）引入小波系数序列来度量数据流的异步局域偶合度；证明了一系列定理，保证了度量方法的正确性；（3）设计了环形滑动窗口和挖掘异步偶合模式的抗噪声增量算法，其时间复杂性小于O（n^）；（4）使用真实...

一种有效的隐私保护关联规则挖掘方法

作者：张鹏; 童云海; 唐世渭; 杨冬青; 马秀莉 刊期：2006年第08期

隐私保护是当前数据挖掘领域中一个十分重要的研究问题，其目标是要在不精确访问真实原始数据的条件下，得到准确的模型和分析结果．为了提高对隐私数据的保护程度和挖掘结果的准确性，提出一种有效的隐私保护关联规则挖掘方法．首先将数据干扰和查询限制这两种隐私保护的基本策略相结合，提出了一种新的数据随机处理方法．即部分隐藏的随机化回...

中国计算机学会优秀博士论文评奖启动通知

刊期：2006年第08期

流测量中基于测量缓冲区的时间分层分组抽样

作者：王洪波; 韦安明; 林宇; 程时端 刊期：2006年第08期

NetFlow是流测量中广泛应用的解决方案，但NetFlow的抽样方法存在一定的缺陷：泛洪攻击时消耗路由器过多的资源；用户很难选择适合所有流量组成情况的静态抽样率，以平衡资源消耗量和准确率．提出了一种易于实现的分组抽样方法．该方法利用测量缓冲区对定长时间内到达的分组进行固定数量的抽样，既可以使抽样率自适应于流量变化，又可以控制资源...

一种大规模传感器网络节能数据协议

作者：石高涛; 廖明宏 刊期：2006年第08期

无线传感器网络的主要功能是实现数据，在接收到信息查询时能够以有效的方式传输给查询者．目前的数据方式通常基于洪泛机制查询信息，浪费了有限的能源．虽然一些最近的数据协议从不同程度上解决了这一问题，但不能保证查询成功率．基于圆形节点分布网络模型提出了一种既能减少能源消耗，又能提高成功率的数据模式--直径．弦模式DCS（diameter-...