杂志简介：《计算机科学》杂志经新闻出版总署批准，自1974年创刊，国内刊号为50-1075/TP，是一本综合性较强的计算机期刊。该刊是一份月刊，致力于发表计算机领域的高质量原创研究成果、综述及快报。主要栏目：网络与通信、信息安全、软件与数据库技术、人工智能、图形图像与模式识别
杂志简介：《计算机科学》杂志经新闻出版总署批准，自1974年创刊，国内刊号为50-1075/TP，是一本综合性较强的计算机期刊。该刊是一份月刊，致力于发表计算机领域的高质量原创研究成果、综述及快报。主要栏目：网络与通信、信息安全、软件与数据库技术、人工智能、图形图像与模式识别
作者：郭宪勇 陈性元 邓亚丹 刊期：2014年第02期
针对目前主流的多核处理器，研究了基于VTD-XML的节点查询执行性能优化，即基于顸读策略从多线程并发执行和提高线程内存访问性能两个方面优化XML节点查询的性能。实验结果表明，提出的多线程XML文档解析框架可以充分利用多核处理器的计算资源，并有效地提高线程的内存访问性能，大大提高了xML节点查询的性能。
作者：谢羿 黄奇珊 张汇川 刊期：2014年第02期
针对无线传感器网络（Wireless Sensor Networks，WSN）中的节点在真实环境中的不可靠感知现象及其对目标跟踪精度的影响，首先分析计算了成对传感器节点感知存在的不确定区域及其边界，在此基础上，提出了一种基于成对节点探测不确定性的目标容错跟踪方法（Tracking with Pairwise Uncertainty of RSSI，TPU-RSSI），即通过匹配分组感知采样得...
作者：张以皓 沈越泓 潘林 刊期：2014年第02期
为了解决混洗交换网络中冲突路由的分组问题，定义了路由的无冲突极大组、最小无冲突分组、特征函数及覆盖函数等概念，并基于这些概念提出了应用布尔代数计算最小无冲突分组的理论和方法。同时，为提高冲突路由分组的效率，提出了计算最小无冲突分组的近似算法。理论分析和实验表明，近似算法不仅具有良好的时间性能，而且具有较高的准确度，它...
作者：谭爱平 陈浩 吴伯桥 刊期：2014年第02期
互联网络中，计算机和设备随时受到恶意入侵的威胁，严重影响了网络的安全性。入侵行为升级快、隐蔽性强、随机性高，传统方法难以有效防范。针对这一问题，提出一种基于SVM的网络入侵检测集成学习算法，该算法利用SVM建立入侵检测基学习器，采用AdaBoost集成学习方法对基学习器迭代训练，生成最终的入侵检测模型，仿真实验表明了该算法的有效性...
作者：傅颖斌 陈羽中 刊期：2014年第02期
随着以微博为代表的在线社交网站的发展，微博用户之间形成了复杂的社会网络。针对微博社会网络，研究了影响微博用户之间关系形成的各种因素，提出了基于链路预测的微博用户关系分析模型。首先分析了网络结构特征在微博社会网络中的作用，同时针对微博社会网络的特点，引入微博属性特征，构造基于随机森林的链路预测模型，并将模型应用于新浪微...
作者：范菁 熊丽荣 徐聪 刊期：2014年第02期
为实现大规模的异构数据集成，解决数据源异地分布的问题，满足不同系统和应用之间的信息交互和共享，设计了一种企业服务总线（ESB）平台下的数据集成模型。该模型采用wSDL和XML描述，能够结合ESB系统的集成场景进行数据集成。提出了一种基于消息流程的负载均衡算法，该算法根据服务执行纽件的负载情况和分布式节点的资源状况进行流程节点分配...
作者：夏家莉 曹重华 王文乐 陈辉 刊期：2014年第02期
针对支持补偿性的实时任务模型，分析实时任务的系统负载执行紧迫度，进而提出基于负载执行紧迫度的实时补偿任务调度策略TSCTTL；通过实验仿真表明，依据实时任务的负载执行紧迫度来调度补偿任务，降低了系统任务的截止期错失率，并提高了系统收益。
作者：李敏 罗惠琼 唐春玲 王强 刊期：2014年第02期
Web交互模型的形式化验证是对Web事件属性进行校验的十分可信的方法。通过一系列的系统模型建立、系统行为分析以及对于模型中关心属性的相关验证，能够让交互模型在设计阶段就能使形式化模型暴露出其所存在的缺陷，而不至于让缺陷保留到编码阶段或者更后面才能被真正地暴露出来，这样使系统模型的生存能力更加强大，同时避免了因后期缺陷暴露而...
作者：武晓春 高雪娟 刊期：2014年第02期
有效地测试、分析和验证计算机联锁软件是保证列车运行安全和旅客生命财产安全的重要手段，而形式化模型是系统测试、分析和验证的基础。以联锁软件的UML非形式化模型为基础，以有限状态机模型为系统形式化模型描述的数学工具，研究UML顺序图（场景）自动转化为有限状态机模型的方法。首先将场景的UML顺序图转化为FSP进程代数模型，然后通过合并...
作者：刘斌 姚莉 郝智勇 龚勇 刊期：2014年第02期
近年来辩论技术在人工智能领域获得广泛关注。然而，在辩论过程中，如何高质高效地构建攻击论据仍然是难以解决的问题。通过分析论据的本质属性，形式定义论据的相关概念及相互关系，结构化论据的知识表示，实现了论据本体的建模。该论据本体的一致性和可用性通过一个辩论实例得以验证。在此基础上构建了一个原型系统，该系统能够在辩论过程中基...
作者：李志 谢强 刊期：2014年第02期
基于传统粒子滤波的运动目标跟踪方法中存在重要密度函数选择困难、缺乏通用性、重采样设计难度大、粒子退化现象难以有效解决等问题。因此提出了一种改进的粒子滤波运动目标跟踪方法，该方法采用人工鱼群算法改进重要密度函数，通过粒子间的不断交互及协调行为，使其状态接近后验分布，从而提高重要密度函数的通用性。在此基础上，结合人工免疫...
作者：包永伟 王霞 吴伟志 刊期：2014年第02期
对象定向概念格和属性定向概念格是经典概念格的两种推广模型。首先，利用对象幂集上的一对对偶近似算子分别定义了对象定向概念格和属性定向概念格上的同余关系。其次，分别基于两类同余关系构造了一个内部算子和一个闭包算子，并研究了内部算子与对象定向概念格的关系以及闭包算子与属性定向概念格的关系。最后将对象（属性）定向概念格之间的...
作者：王丽娟 郝志峰 蔡瑞初 温雯 刊期：2014年第02期
提出基于随机初始化、参数扰动和特征子集映射的多扰动的局部自适应软子空间聚类（I。AC）融合算法（MLACE）。MLACE具有以下特点：（i）多扰动融合：从初始化、参数和特征子集等不同侧面，探测数据内部结构，使之相互融合，从而达到改善聚类正确性的目的；（ii）融合信息提升：根据LAC算法输出的子空间权重矩阵，定义数据属于每一类的概率，形...
作者：王莎莎 江峰 王文鹏 刊期：2014年第02期
现有的基于粗糙集的数据补齐方法在计算任意两个对象之间的相似性时并没有考虑不同条件属性之间的差异性。针对这一问题，引入一种新的加权相似性的概念，并提出一种基于相对决策熵与加权相似性的粗糙集数据补齐算法RDNAWS。RDNAWS算法采用相对决策熵的概念来度量每个条件属性的重要性，并通过计算每个条件属性的重要性以及决策属性集对其的依赖...
作者：马欣荣 刘三阳 段治健 刊期：2014年第02期
在MIMD分布式存储环境下针对系数矩阵为带状或块三对角矩阵的线性方程组提出了含三参数交替方向迭代并行算法。通过引入三参数调整，并适当分裂系数矩阵得到新算法，给出了系数矩阵为若干特殊矩阵时算法的收敛条件。在HPrx2600集群系统上实现了算法，针对不同的算例将其与多分裂方法、BSOR方法和PEk内迭代方法进行了比较。并行计算结果表明，所...
影响因子：0.65
期刊级别：北大期刊
发行周期：旬刊
影响因子：0.51
期刊级别：北大期刊
发行周期：月刊
影响因子：0.73
期刊级别：统计源期刊
发行周期：半月刊
影响因子：0.53
期刊级别：省级期刊
发行周期：旬刊
影响因子：0.91
期刊级别：北大期刊
发行周期：半月刊
影响因子：0.15
期刊级别：省级期刊
发行周期：半月刊
影响因子：--
期刊级别：省级期刊
发行周期：周刊
影响因子：2.11
期刊级别：北大期刊
发行周期：半月刊
影响因子：0.04
期刊级别：省级期刊
发行周期：半月刊
影响因子：3.84
期刊级别：CSSCI南大期刊
发行周期：双月刊
影响因子：--
期刊级别：省级期刊
发行周期：月刊
影响因子：0.67
期刊级别：省级期刊
发行周期：旬刊