小型微型计算机系统

Select

刘晓,李兵,何鹏

2015, 36(9): 1921-1926.

摘要 ( ) PDF全文 ( )

可视化

开源社区开发者合作网络的演化分析是了解群体软件开发及组织过程的重要途径．文中在对SourceForge.net社区开源软件信息收集整理、构建开发者合作网络的基础上，采用社会网络分析与复杂网络的方法，从网络规模、内部结构、人员流动等方面分析网络的演化规律，分析了整个开源社区中开发者合作及迁移的行为特点．研究结果发现，社区内部拓扑结构随时间变化表现出沟通更加频繁，合作更加紧密的特性，连通分量规模呈现幂律分布，新加入的开发者倾向于同社区中已经存在的开发者进行合作，而离开的开发者多是社区中的非核心开发人员，这些发现可以在一定程度上提高开源社区的稳定性以及开发者的工作效率．

Select

基于Coq的命令式语言编译器机械验证的研究与实现

盛枫,窦亮,杨宗源

2015, 36(9): 1927-1931.

摘要 ( ) PDF全文 ( )

可视化

软件的可靠性和可信性越来越受到人们的关注，而编译器作为软件开发的基础，其正确性的验证一直都是个重要且迫切的问题．设计和实现一个小型命令式语言IMP的编译器，该编译器将IMP源代码转换成定理证明器Coq接受的函数式语言表示形式的代码，通过语义分析得到IMP目标代码，在堆栈中执行得到结果．本文的重点是使用交互式定理证明器Coq机械验证函数式语言表示形式的源代码编译执行前后的属性和行为均保持一致．本文的工作为使用堆栈的编译器和其他软件系统的机械化形式验证提供了一种新的思路和方法．

Select

基于时序分析的Web服务QoS协同预测

申利民,陈真,李峰

2015, 36(9): 1932-1938.

摘要 ( ) PDF全文 ( )

可视化

QoS预测是Web服务选取、动态服务组合和面向服务系统性能计算的重要基础.针对环境要素随时间变化导致的Web服务QoS波动问题，提出一种基于时序分析的QoS预测方法.该方法基于历史QoS数据采用融合基于用户和基于项目的协同过滤方法计算不同时间片QoS属性评价矩阵中的缺失项，进而构建Web服务的QoS属性评价时间序列.在此基础上，设计了基于重近轻远原则的预测算法QARSPre，利用时间片步长控制序列权重，同时构造均值绝对偏差序列动态调整具有较大波动序列的权重，削弱因序列波动对预测结果准确性的影响.实验结果表明QARSPre优于传统的QoS预测方法，能够适应不同数据集的变化.

Select

一种基于话题影响力的微博话题溯源方法

杨静,董圆,张健沛

2015, 36(9): 1939-1942.

摘要 ( ) PDF全文 ( )

可视化

针对微博网络容易放大个人观点、导致不良信息扩散传播和影响社会稳定的问题，提出一种基于话题影响力的微博话题溯源方法.该方法针对以往影响力计算方法仅关注单条微博信息或单个用户的不足，分析了用户行为与话题热度变化的相关性，将微博内容和意见领袖的影响力相结合计算话题的影响力强度，根据话题在传播过程中的影响力变化趋势逆向递推，在搜索出的相似话题集合中层层回溯寻找话题源头集合.最后对新浪微博网络数据集进行实验，并以查全率与查准率为评估标准，结果表明，该方法能够追溯出微博话题的源头集合.

Select

一种利用非对称相似度强化信任用户关系的推荐算法

郭景峰,张济龙,章德斌,刘院英,

2015, 36(9): 1943-1947.

摘要 ( ) PDF全文 ( )

可视化

为提高推荐算法的准确率，针对SocialMF中用户将其信任用户同等对待的问题，提出一种在评分数据稀疏情况用于计算信任用户相似度的方法—非对称相似度方法(AC-Sim)，通过AC-Sim来判别存在信任关系用户间是否有共同偏好，并将此偏好信息融合到已有的用户关系网中，达到强化信任网络的目的；其次将强化后的信任网络应用到PMF算法中，评分矩阵在分解过程中，用户特征向量受信任用户影响的同时，也受到与其有共同偏好用户的影响．实验结果表明，与目前较为流行的算法相比，新算法在RMSE和MAE上均取得更好的推荐效果．

Select

云计算环境下基于禁忌搜索的负载均衡任务调度优化算法

孙凌宇,冷明,朱平,李金忠

2015, 36(9): 1948-1952.

摘要 ( ) PDF全文 ( )

可视化

对云计算环境下的负载均衡任务调度问题进行了形式化描述．通过动态规划方法的形式化推导得到了最早完成时间的启发式优先分配策略，并给出了基于该策略的任务调度初始解求解步骤．进而引入了任务交换的收益值概念，提出了基于禁忌搜索的任务调度优化算法．该算法采用禁忌搜索和贪心原则选择任务交换，从而在优化任务调度初始解执行时间的同时改善负载均衡性能．最后，基于CloudSim云计算仿真实验平台下，进行了顺序调度算法、Min-Min算法、Max-Min算法和本文算法的对比实验，实验数据对比表明本文算法在减少任务执行时间的同时，优化了资源负载均衡性能．

Select

基于分层程序频谱的软件故障定位方法研究

叶俊民,何印标,陈曙,董威,舒绍娴

2015, 36(9): 1953-1957.

摘要 ( ) PDF全文 ( )

可视化

基于语句程序频谱的软件故障定位方法，通常利用搜集程序在运行测试用例集合产生的语句覆盖信息来实现故障语句定位，但这种定位技术缺乏语句块筛选机制，从而使定位精度受限.为此，提出一种基于分层程序频谱的软件故障定位方法，其具体思想是将故障定位分为函数故障定位和语句故障定位两个层次，在函数故障定位层次上使用函数调用对程序频谱对程序中的函数发生故障的可疑值进行计算，主动筛选“最有可能”发生故障的函数；在语句故障定位层次上优先处理可疑值较大的函数，计算函数中每条语句发生故障可疑值，根据可疑值大小定位语句故障.实验表明，提出的方法能快速地找到故障语句，缩小故障代码审查区域.

Select

融合占有度和频繁度的协同过滤推荐算法

原福永,高慧敏,李惠清,梁顺攀,

2015, 36(9): 1958-1962.

摘要 ( ) PDF全文 ( )

可视化

个性化推荐技术是解决信息超载问题的最成功的技术之一．当前的个性化推荐系统中存在系统推荐质量不高、推荐算法可扩展性差、数据稀疏时推荐精度低等问题．针对这些问题，提出一种新的融合占有度和频繁度的协同过滤推荐算法．该算法利用占有度高斯权重来优化用户相似度和项目相似度，通过频繁度支持因子将基于用户的协同过滤算法和基于项目的协同过滤算法有策略地融合起来，实现目标预测评分的动态调节．在数据集movielens和netflix上的对比实验结果表明，该算法在目标邻居数目较少的情况下仍具有较高的推荐性能，相比其他参照算法的收敛速度更快，推荐精度较高，具有较好的扩展性．

Select

融合形态和语义相似度的对话短文本聚类

陈国梁,贺樑,胡琴敏,杨静

2015, 36(9): 1963-1967.

摘要 ( ) PDF全文 ( )

可视化

智能对话系统是一种人机交互系统，其产生的对话文本是一种特殊的短文本并蕴含着丰富的信息．这类对话短文本具有口语化、输入错误、同音不同字以及同义不同字等特点，导致现有的经典聚类算法无法进行有效的处理．为了对这类对话短文本进行有效的聚类，提出一种形态和语义相似度相结合的短文本聚类算法，其中形态相似度采用字符串相似度，语义相似度基于HowNet和WordNet词语知识库．通过在多种短文本数据集上实验结果表明，本文短文本聚类算法在中英文短文本数据集上均有较好的聚类效果．在小i机器人对话文本数据集上的聚类纯度指标相对于Kmeans算法和gcluto工具包中的算法分别有20％和7％的提高．

Select

一种可扩展半径的RNA二级结构密度聚类算法

王常武,王秀芹,魏真真,王宝文,刘文远,李永强

2015, 36(9): 1968-1972.

摘要 ( ) PDF全文 ( )

可视化

基于自由能模型预测RNA二级结构时，真实结构可能存在于高于最小自由能一定范围内的次优结构集合中.通过对RNA次优结构集合聚类，选取代表性的结构，可以提高RNA二级结构预测的准确率.针对可变密度的RNA二级结构数据集合，提出了一种可扩展半径的密度聚类算法.算法利用特征选择方法对特征集合进行筛选，选取与聚类相关度较高的特征子集，降低聚类空间的维度.聚类过程，以最大密度对象作为簇的初始聚类中心，根据簇内的密度分布情况和密度变化参数更新簇的半径，直到簇扩展完成.实验表明，该算法可以识别并处理变密度簇，能够有效地聚类RNA二级结构.

Select

基于NRefactory的冗余检测与缺陷研究

寿能,赵逢禹

2015, 36(9): 1973-1976.

摘要 ( ) PDF全文 ( )

可视化

为了揭示冗余与软件缺陷的关系，在冗余分类的基础上，研究了冗余特征与软件缺陷的关联关系.以死代码冗余和条件冗余为例，首先对两种冗余进行了分类和代码特征提取，确定了分类和软件缺陷的关联，然后基于上述关联，使用NRefactory设计了冗余检测算法，完成发现冗余并提示缺陷的检测器.通过对若干项目进行的冗余检测和人工审阅后发现，死代码冗余和条件冗余与软件缺陷有着非常紧密的联系，基于冗余代码的检查可以有效地排除冗余相关的软件缺陷.

Select

动态网络中稳定社区发现

陈小强,周丽华,程超,龙克珍,杨德品

2015, 36(9): 1977-1981.

摘要 ( ) PDF全文 ( )

可视化

现实中的复杂网络通常是动态的．网络中的节点或联系随着时间的推移会发生变化，这种变化势必会造成网络中原本社区结构的改变．然而有些社区是稳定的，在短时间内它们不会发生剧烈变化．挖掘动态网络中的稳定社区有助于揭示动态网络的核心节点集，把握网络中的主要信息，预测动态网络在未来一段时间的动向．因此，挖掘动态网络中的稳定社区是有意义的．结合模式增长的理论与GN算法，提出一种动态网络中的稳定社区发现方法．该方法采用GN算法对动态网络在每个时间片上的静态结构进行社区划分，应用每个时间片上的社区划分结果及给定的稳定阈值挖掘频现节点集，挖掘过程揭示了稳定社区形成的层次结构及动态网络中的稳定节点与联系．

Select

基于角色访问控制中的约束研究

马晓普,赵莉,李瑞轩

2015, 36(9): 1982-1987.

摘要 ( ) PDF全文 ( )

可视化

基于角色访问控制具有比传统自主访问控制和强制访问控制在保证企业安全方面的众多优点，从而成为企业建立安全应用的首选模型，而要确保企业安全需求和管理的有效实施，则离不开确保基于角色访问控制系统安全原则得以实施的一套强制性约束规则.文中从基于角色访问控制系统的优点出发，简要介绍了基于角色访问控制系统中引入约束的必要性，总结了基于角色访问控制系统中的不同约束的定义，阐述了基于约束的角色生成以及基于角色的约束生成的方法及意义，最后对约束研究的发展趋势进行了展望.

Select

卫星异常模式挖掘方法

徐宇航,皮德常

2015, 36(9): 1988-1992.

摘要 ( ) PDF全文 ( )

可视化

及时发现在轨卫星的异常状态是卫星监控的一项重要工作，它不仅关系到卫星的正常使用，也影响卫星的寿命．为了能够及时发现卫星的故障，并且从中提取异常模式，提出一种基于PrefixSpan算法的卫星异常模式挖掘方法．首先通过灰关联分析剔除冗余参数，然后利用各参数阈值提取异常数据集并且通过信息熵对各参数进行离散化，最后使用PrefixSpan算法对异常数据集进行模式挖掘．该方法在数据量大、信息复杂的前提下，实现了对卫星异常模式的挖掘．通过对某卫星数据的实验分析，验证了所提方法的可行性和有效性．

Select

赞助商式广告推荐系统中数据稀疏问题的研究

杨燕,霍晓骏,贺樑

2015, 36(9): 1993-1997.

摘要 ( ) PDF全文 ( )

可视化

广告推荐系统是当前针对网络广告的研究热点．在广告推荐系统中，一般利用使用基于邻域的协同过滤产生推荐，但是这种算法对数据的稀疏性有着一定要求，不适合对稀疏性太高的数据使用协同过滤．本文利用矩阵分解算法解决数据稀疏的问题，并在腾讯搜搜广告日志数据上进行实验．实验结果表明，本文提出的矩阵分解广告推荐算法弥补了数据稀疏带来的弊端，能够取得更高的准确率，召回率以及F指标，对稀疏的数据有着更高的抵抗性．

Select

一种基于遗传算法的测试用例优先排序方法

张卫祥,魏波,杜会森

2015, 36(9): 1998-2002.

摘要 ( ) PDF全文 ( )

可视化

通过测试用例优先排序技术对软件测试用例的执行次序进行优化，能够有效地提高软件测试效率，是软件测试理论研究的一个热点课题.设计了一种新的针对测试点覆盖的测试用例优先排序技术评价指标APTC，可以更好地适用于功能测试或黑盒测试；以APTC及其改进指标APTC_C为基础，提出一种基于遗传算法的智能化测试用例优先排序方法，针对测试点覆盖分别设计了其编码策略、适应度函数、选择算子、交叉算子和变异算子；给出了具体的算法步骤并使用试验数据进行了方法验证，结果表明，该方法可提高软件测试效率和自动化水平，能够取得较好的应用效果.

Select

基于时间感知和用户兴趣重要度融合的文档推荐模型

程树林,刘跃军

2015, 36(9): 2003-2008.

摘要 ( ) PDF全文 ( )

可视化

基于内容的文档推荐系统中，传统的向量空间模型VSM直接使用TFIDF方法确定权值，不能真正体现用户兴趣重要度；同时，由于未考虑用户兴趣随时间变化而发生改变，导致推荐精度较低．因此，提出了基于时间感知和用户兴趣重要度融合的文档推荐模型．首先根据用户浏览行为和相关信息，隐式提取用户兴趣，构建新的用户兴趣向量模型．针对用户兴趣受时间因素的影响，提出使用时间延迟函数对近期浏览的文档赋予更高的时间权值；然后应用灰色关联理论，建立用户兴趣因子序列与文档兴趣度参考序列间关联模型，以确定用户兴趣重要度；进而融合时间因素和用户兴趣重要度建立文档推荐模型．最后设计了一个实验系统，对比所提出的模型与其他两个模型的推荐效果，验证了基于时间感知和用户兴趣重要度融合的模型优于其他模型，能够为用户提供更准确的文档．

Select

本体映射中元素名称相似度计算方法研究

孙煜飞,马良荔,郭晓明,苏凯

2015, 36(9): 2009-2014.

摘要 ( ) PDF全文 ( )

可视化

针对现有本体映射中基于元素名称匹配的方法有效性不高等缺点，设计一种综合的元素名称特征匹配的本体映射方法.该方法引入了词义消歧算法，以确定元素名称词汇在本体上下文中表示的确切含义，并设计了更合理的基于信息量和基于语义边加权的概念语义相似度计算方法.通过选择最佳的词形相似度方法，并适当地组合语义相似度和词形相似度，实现了更有效的本体元素名称匹配策略.实验结果表明，本文方法能够在保持查准率的基础上，明显提高本体映射的查全率.

Select

一种改进PSO的软件测试数据自动生成算法

董跃华,戴玉倩

2015, 36(9): 2015-2020.

摘要 ( ) PDF全文 ( )

可视化

针对粒子群算法存在早熟性和局部搜索性能差的缺陷，在定量研究粒子群聚集度和收敛程度大小基础上，提出一种基于离散度大小的动态调整粒子群参数的优化算法(DPPSO)．在讨论了搜索的测试数据自动生成的模型基础上，以分支路径覆盖作为测试准则，将优化算法应用于生成测试数据，并在考虑分支谓词的结构特征前提下，引入一种新的适应度构造函数．通过对公开的测试程序集进行对比试验，从路径的平均收敛代数和搜索时间两个方面证实改进后的算法性能优于基本的粒子群算法(BPSO)和参数线性变化的粒子群算法(LPPSO)．

Select

互联网宏观拓扑结构的扁平演化趋势研究

刘晓,赵海,王进法,王硕,贾思媛

2015, 36(9): 2021-2025.

摘要 ( ) PDF全文 ( )

可视化

互联网应用层涌现出越来越显著的扁平化现象，明确这种扁平化趋势是否也存在于互联网内部宏观拓扑中对从上层开发利用互联网，以及再设计互联网具有重要意义.本文择取CAIDA机构IPv4、IPv6及AS级网络拓扑数据，对表征网络拓扑扁平化的特征量进行计算并对其时序演化平行对比，结果显示随着网络规模的扩大，网络幂指数逐渐升高，并趋于稳定在2~3之间，表明网络在变得均匀，却远不是均匀网络，网络中“HUB”节点有所减少；平均聚集系数也呈上升趋势，单个节点聚集系数的标准差逐渐减小，表明网络连接更加紧密，且各节点紧密程度差距减小；标准网络结构熵在逐渐向高熵值转变，这表明网络在变得无序且随机.所述现象均表明互联网内部网络拓扑结构在逐渐趋于扁平而紧密，系统在走向一个高熵产生、逐渐平衡的状态.

Select

物联网中一种基于内容的消息路由算法

叶晨,支海邦

2015, 36(9): 2026-2030.

摘要 ( ) PDF全文 ( )

可视化

提出一种面向物联网应用的基于消息内容和订阅条件的路由算法，采用基于多级索引的模型构建了订阅树，有效地减少了不必要的消息过滤和消息转发数量，提高了条件匹配的效率．算法根据过滤器之间的覆盖关系以及各节点间的网络连通状况，构建了消息分发树，使得消息能够选择一条最佳的转发路径，保证了链路代价最小．同时，针对网络的动态变化，设计了消息分发树的调整和路由表的维护策略，以确保准确路由．实验结果表明算法是有效的，性能优于现有方法．同时，在减少不必要的消息过滤，均衡节点负载方面有良好的效果．

Select

一种利用无线地磁节点的智能停车诱导系统

王行甫,及娜,毛续飞

2015, 36(9): 2031-2036.

摘要 ( ) PDF全文 ( )

可视化

针对大城市日益严重的停车难问题，本文设计并实现了一种基于无线传感器网络的智能停车诱导系统，以帮助用户快速找到合适的停车位.本系统采用无线地磁节点监测停车位状态，并通过无线传感器网络与有线局域网相结合的方式进行数据传输.为了满足停车场应用场景的低功耗要求，提出一种基于汇聚树协议（Collection Tree Protocol）的路由协议P-CTP，用以最小化无线传感器网络数据传输的能量消耗，提高系统的生存周期，并保证无线数据传输的可靠性.本文描述了系统的整体架构，并对监测模块的软硬件实现及P-CTP协议的原理与实现进行了详细介绍与分析，通过原型系统实验，评估了系统的能量消耗、丢包率和网络延时等.实验结果表明，系统性能能够满足停车场应用的需求.

Select

一种提高任务QoS的WSNs自适应资源分配方法

张顺华,刘漳辉,郭文忠,

2015, 36(9): 2037-2041.

摘要 ( ) PDF全文 ( )

可视化

在无线传感器网络中，针对资源分配过程中保证任务QoS问题，当前主副版本技术在容错过程未考虑任务QoS均衡和分配过程中未考虑节点能耗和均衡.本文针对改进当前主副版本技术的不足，既考虑先前主副版本技术中的性能，又同时考虑任务QoS均衡和节点能量均衡，并结合非完全信息博弈竞标算法提出一种基于改进的主副版本技术提高任务QoS的无线传感器网络资源分配方法.实验仿真结果表明，该方法较先前的主副版本技术能得到更好的系统容错率，同时又能提高任务QoS均衡率和节点能量均衡率.

Select

HashESU：一种生物网络模体识别高效方法

赵静,钟诚

2015, 36(9): 2042-2046.

摘要 ( ) PDF全文 ( )

可视化

通过模体识别可以获得生物网络结构和功能，生物网络模体识别过程涉及到子图枚举和子图同构的问题，计算量非常大.提出一种高效的网络模体识别算法HashESU，它使用经典算法ESU枚举子图，采用Hash表结构保存生成的子图，利用每个新增结点与已经确定的结点之间的关系，生成子图标识关键字SIK并映射到Hash表中，每个SIK只在第一次生成时才需要调用同构计算，以大大减少调用NAUTY算法进行同构检测的次数、更快地进行查找和插入子图操作，进而加快模体识别的速度.实验结果表明，在模体识别结果质量相同的前提下，HashESU算法的运行效率明显优于著名的ESU算法和使用四分树结构存储子图的QuateXelero算法.

Select

面向物联网的实时复杂事件处理引擎

李想,高红菊,乔颖,王宏安

2015, 36(9): 2047-2053.

摘要 ( ) PDF全文 ( )

可视化

实时响应物理世界中发生的事件，是物联网的重要作用之一．实时检测具有复杂属性的真实事件，是进行实时响应的必要前提．设计并实现了一种实时复杂事件处理引擎，通过高速或实时匹配原子事件与复杂事件模式，判断复杂事件发生．通过启发式复杂事件处理算法，显著提高了处理速度；通过较为精确地估算复杂事件处理程序的最坏情况响应时间，确保在一定截止期内完成事件检测任务，支持时间关键的应用．实验表明，该引擎可以满足物联网实时高速复杂事件检测需求．

Select

交换超立方体网络的t1／k诊断度研究

黄莹,梁家荣,叶良程

2015, 36(9): 2054-2057.

摘要 ( ) PDF全文 ( )

可视化

交换超立方体(Exchanged Hypercube)网络是一种新的超立方体网络的变种，它用s，t两个数字固定它的维度，其中s，t都为整数且s≥1，t≥1．t1／k诊断策略最早由Somani和Peleg提出，它所诊断出的故障节点集中最多包含t1+k个节点，其中最多k个节点是不正确诊断．本文研究了交换超立方体网络的t1／k诊断度问题，用Γ(G，V′)来表示交换超立方体网络G中任意k个节点的集合V′的邻接点数，得出了Γ(G，V′)至少为k(s+1)-k(k+1)／2+1的结论，整数k满足1≤k≤s+2且1≤s≤t，并证明了交换超立方体网络是t1(s，k)／k可诊断的，其中1≤s≤t，0≤k≤s+1，t1(s，k)=(k+1)(s+1)-(k+1)(k+2)／2+1．

Select

一种状态呈现机制中企业通信录的设计与实现方法

林浒,刘丹凤,杨海波

2015, 36(9): 2058-2061.

摘要 ( ) PDF全文 ( )

可视化

企业通讯录和状态呈现都是4G电信网络的基础业务.在IMS标准体系中，企业通讯录和状态呈现独立运行，当企业通讯录发生人员或权限变动时，需要客户端手动更改其用户列表并进行状态订阅的更新，这不仅加大了网络消耗和状态呈现服务器的负载，还影响用户体验.针对这个问题，本文提出了一种将企业通讯录与状态呈现融合的方法，该方法通过定时访问企业通讯录，获取客户端权限范围内的用户列表并写入状态呈现服务器，随后状态呈现服务器将该用户列表发送给客户端，客户端即可一次性获得其用户列表及状态的更新.最后，使用SIPHello软终端和抓包工具验证了该方法的正确性.

Select

一种白盒环境中抗动态攻击的软件保护方法

许广莲,房鼎益,王怀军,李光辉,何路

2015, 36(9): 2062-2066.

摘要 ( ) PDF全文 ( )

可视化

白盒环境是指软件安装（分发）到远程主机后攻击�

选择文件类型/文献管理软件名称

选择包含的内容

过刊目录