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

软件学报 2008年第06期杂志 文档列表

软件学报杂志算法设计与分析

求解大规模TSP问题的自适应归约免疫算法1265-1273

摘要：从理论上分析了影响多级算法性能的因素，并以此为依据构造了求解TSP问题的自适应归约免疫算法．该算法借助归约集的进化使归约集规模自适应增长，归约边的预测精度不断提高，从而提高了算法在归约后找到全局最优解的概率．实验结果表明，该算法比其他算法获得了质量更高的解．

迭代空间交错条块并行Gauss-Seidel算法1274-1282

摘要：针对并行GS（Gauss—Seidel）迭代算法中数据局部性差、同步和通信开销大的问题，首先改进传统GS迭代，提出了多层对称GS迭代算法．然后给出了以迭代空间条块序作为执行序的串行执行模型．该模型通过对迭代空间进行“时滞”划分，对迭代空间条块内部多次迭代计算提高算法的数据局部性．最后提出一种基于迭代空间条块的并行执行模型．该模型改进了迭代空间网格划分，并通过网格条块重排序减少了cache缺失率、通信启动和同步次数．实验结果表明，迭代空间交错条块并行算法比传统的区域分解方法和红黑排序并行算法具有更好的并行效率和可扩展性．

基于多重分形的聚类层次优化算法1283-1300

摘要：大量初始聚类结果之间存在强弱不同的相似性，会给用户理解与描述聚类结果带来不利影响，进而阻碍数据挖掘后续工作的顺利展开．传统聚类算法由于注重聚类形状及空间邻接性，或者考虑全局数据分布密度的均匀性，实际中均难以解决这一类问题．为此，提出了基于分形的聚类层次优化算法FCHO（fractal-based cluster hierarchy optimization），FCHO算法基于多重分形理论，利用聚类对应多重分形维数及聚类合并之后多重分形维数的变化程度来度量初始聚类之间的相似程度，最终生成反映数据自然聚集状态的聚类家族树．此外，初步分析了算法的时空复杂性，基于合成数据集和标准数据集的有关实验工作证实了算法的有效性．

一种评估近似Pareto前沿多样性的方法1301-1308

摘要：提出了一种评估近似Pareto前沿多样性的方法．它用精确Pareto前沿相对于其近似集合的“暴露程度”来评估多样性，其计算基于精确Pareto前沿，不像其他多样性评估技术基于近似集合进行计算．对于多于两个目标（分量）的近似集合，其他技术不能或者不能很好地评估，计算结果表明，该技术能够很好地评估．并且，在理论上对该方法进行了严格的论证、

基于点的POMDP算法的预处理方法1309-1316

摘要：基于点的算法是部分可观察马尔可夫决策过程（partially observable Markov decision processes，简称POMDP）的一类近似算法．它们只在一个信念点集上进行Backup操作，避免了线性规划并使用了更少的中间变量，从而将计算瓶颈由选择向量转向了生成向量．但这类算法在生成向量时含有大量重复和无意义计算，针对于此，提出了基于点的POMDP算法的预处理方法（preprocessing method for point—based algorithms，简称PPBA）．该方法对每个样本信念点作预处理，并且在生成α-向量之前首先计算出该选取哪个动作和哪些α-向量，从而消除了重复计算．PPBA还提出了基向量的概念，利用问题的稀疏性避免了无意义计算．通过在Perseus上的实验，表明PPBA很大地提高了算法的执行速度．

软件学报杂志系统软件与软件工程

元建模技术研究进展1317-1327

摘要：随着UML（unified modeling language）与MDA（model driven architecture）的兴起和流行，模型已经成为软件开发的核心制品，而模型重要性的提升使得建模语言以及定义建模语言的元模型逐渐成为软件开发中的一个核心要素．软件开发往往涉及多个领域，而不同的领域往往需要不同的建模语言及其建模工具．但是，手工地为不同的建模语言开发建模工具代价高昂．元建模技术是解决这个问题的方法之一，通过元建模，可以根据领域需要定制合适的元模型以定义领域建模语言，进而自动生成支持该建模语言的建模工具．大量的工程实践表明，与领域建模以及MDA相结合，元建模可以大幅度地提高软件开发效率，基于元建模的MDA比基于通用建模语言的MDA更具潜力．在最近的几年中，元建模及其相关技术发展迅猛，不但在技术上取得了长足的进步，而且在产业界也开始出现大规模的商业应用．总结了元建模的现有研究成果，分析和比较了现有元建模工具，探讨了元建模的可能发展方向．对元建模中存在的问题进行分析，并指出了可能的解决途径．

软件体系结构评估技术1328-1339

摘要：作为在软件生命周期早期保障软件质量的重要手段之一，软件体系结构评估技术是软件体系结构研究中的一个重要组成部分．将现有的软件体系结构评估方法划分为3类：基于场号的评估方法、基于度量和预测的评估方法以及特定软件体系结构描述语言的评估方法．按照软件体系结构评估技术的评价框架，分别从评估方法的目标、质量属性、关键技术等方面对这3类方法的特点进行介绍和对比．最后分析了现有研究中存在的不足并进一步探讨了软件体系结构评估技术的研究趋势．

一种可定制的自主构件运行支撑框架1340-1349

摘要：描述了一种动态、可定制的构件自主化的实现手段及运行平台，试图通过对实现自主构件的方法和手段的探索，为开发具有自主性的基于Internet的软件系统提供一定的实践基础和经验．在实现自主构件时，采取了改装已有普通构件的方式，将软件Agent技术和构件技术结合起来，通过为构件定制行为规则和规划来控制和调度构件的行为，使得构件能够根据环境的状态调整自己的行为同时，通过集成可以解释和执行声明式规则的规则引擎，使得可以在不修改构件源代码和重新部署构件的情况下，动态定制和实现构件的自主性行为能力．

一种面向网构软件体系结构的信任驱动服务选取机制1350-1362

摘要：基于信任度评估的思想，从软件服务选取的角度对此问题进行了探讨，提出一种面向网构软件体系结构的信任驱动的服务选取机制：首先，给出一种通用的、机器可理解的应用需求及信任演化策略描述规范：其次，采用一种基于反馈的信任形成及决策机制，并给出一个信任驱动的服务选取算法；最后，给出一种面向网构软件体系结构的信任驱动的服务选取支撑框架，初步实践表明，上述机制为开发可信网构软件提供了有效支持，

一种基于对象网的多视角软件过程模型1363-1378

摘要：基于关注点分离原则，结合多视角软件过程建模与对象网之间的相似性，提出了一种基于对象网的多视角软件过程模型MOPN-SP-net，可以提高软件过程模型的可复用性（reusability）．在使用MOPN-SP-net建模时，得到的多视角软件过程模型是一种多维网．直接分析这种多维网比较困难，为此，提供了一种从对象网到平面网的等价转换规则．且转换前后的模型在合理性准则上保持等价片艮据这个转换规则，可以通过分析转换后平面网模型的合理性得知转换前的对象网的合理性．

统计测试的软件可靠性保障能力研究1379-1385

摘要：研究了统计测试对不同软件的测试能力，提出将测试有效性信息综合到软件可靠性评估模型中，以提高可靠性估计的针对性和精度．通过实验证明了该方法的合理性．该方法为高可靠性的软件质量保障要求提供了途径和可能．

软件学报杂志数据库技术

Skyline查询处理1386-1400

摘要：对目前的Skyline查询方法进行分类和综述．首先介绍Skyline查询处理问题产生的背景，然后介绍Skyline查询处理的内存算法，并从带索引和不带索引两个方面对现有的外存Skyline查询处理方法进行分类介绍，在每组算法后，都对该组算法进行了性能评价，然后介绍不同子空间上的多Skyline查询处理模型——SKYCUBE的概念和相关研究．另外，还介绍了不同应用环境下解决Skyline查询处理的策略以及Skyline查询处理问题的扩展，最后归结出Skyline查询处理后续研究的几个方向．

基于聚类分解的高维度量空间索引B^＋-Tree1401-1412

摘要：为了提高索引性能，高维度量空间索引通常采用K-Means等聚类技术来获取数据的分布信息．但是，已知的工作需要根据经验来确定聚类参数，缺乏对聚类与查询性能之间关系的理论分析．提出了一种基于聚类分解的高维度量空间B＋-tree索引，通过聚类分解，对数据进行更细致的划分来减少查询的数据访问．对聚类与查询代价的关系进行了讨论，通过查询代价模型，给出了最小查询代价条件下的聚类分解数目等理论的计算方法．实验显示，提出的索引方法明显优于iDistance等度量空间索引，最优聚类分解数的估计接近实际最优查询时所需的聚类参数．

第16届全国网络与数据通信学术会议（NDCC2008）征文通知1412-1412

摘要：<正>由中国计算机学会网络与数据通信专业委员会主办,东南大学计算机科学与工程学院、中国人民解放军理工大学指挥自动化学院、计算机网络和信息集成教育部重点实验室、江苏省网络与信息安全重点实验室承办的第16届全国网络与数据通信学术会议(NDCC2008)定于2008年11月上旬(具体时间另行通知)在东南大学召开。一、会议主题:下一代网络的创新和发展

基于能量和频繁模式的数据流预测查询算法1413-1421

摘要：设计了数据流预测查询的新模型，包括局域流能量预测、能量分布模式挖掘及预测序列的重构和数据流能量的度量方法；设计了融合数据流能量回归与基于频繁模式的小波分解预测新方法，并将新算法推广到强偶合多数据流的预测查询；提出了最近最频繁序列模式的新概念，并应用于局域流能量分解；在真实数据上的模拟实验，验证了算法的有效性．

一种从XML数据中发现关系信息的方法1422-1427

摘要：提出了一种发现蕴藏在不同XML文档嵌套结构中的关系信息及其出现模式的新方法．可根据用户兴趣，发现描述不同实体之间联系的关系信息，抽取关系实例及其在文档中的出现模式．具体解决方案是：首先识别和收集包含用户感兴趣的实体的XML文档片段；然后根据文档片段标签的语义和文档片段的结构计算文档片段的相似度，并采用自适应阈值方法按相似度聚类文档片段，使得包含同一种关系的文档片段聚集在同一个片段簇；最后从XML文档片段簇中抽取关系实例及其出现模式．实验结果表明，对于包含有意义标签的各种XML文档，该方法能够准确地识别和抽取出描述指定实体之间联系的各种关系信息．

以活动为中心的个人信息管理1428-1438

摘要：通过分析用户执行多任务的交互场景，基于活动理论，将任务、任务相关的信息以及任务间的关系统一纳入活动研究的框架，提出了以活动为中心的个人信息管理方式；从活动的静态结构、动态演变过程以及活动间的关系3个方面对活动进行建模：针对多活动场景中的用户交互和活动对象的内容提出了计算活动相关性的方法；并在此基础上．实现了以活动为中心的个人信息管理工具——ACPIM（activity—centered personal information management）．评估结果显示：以活动为中心的个人信息管理有助于用户减轻认知和记忆负担，降低交互努力，从而提高工作效率．

软件学报杂志计算机网络与信息安全

无线传感器网络传输控制协议1439-1451

摘要：介绍了无线传感器网络的传输控制问题，总结了近年来提出的各种传输控制协议及主要设计思想．首先引入了传输控制问题的研究背景;然后分别从拥塞控制和可靠保证两个方面介绍代表性的研究工作，对涉及的主要方法进行分类分析;最后进行了各种协议的综合比较，并指出了无线传感器网络传输控制未来的研究方向．