杂志简介：《计算机科学》杂志经新闻出版总署批准，自1974年创刊，国内刊号为50-1075/TP，是一本综合性较强的计算机期刊。该刊是一份月刊，致力于发表计算机领域的高质量原创研究成果、综述及快报。主要栏目：网络与通信、信息安全、软件与数据库技术、人工智能、图形图像与模式识别
杂志简介：《计算机科学》杂志经新闻出版总署批准，自1974年创刊，国内刊号为50-1075/TP，是一本综合性较强的计算机期刊。该刊是一份月刊，致力于发表计算机领域的高质量原创研究成果、综述及快报。主要栏目：网络与通信、信息安全、软件与数据库技术、人工智能、图形图像与模式识别
作者：王蓁蓁 刊期：2013年第06A期
在软硬件验证里，模型检验是一个重要手段，至今它已经形成一个庞大的方法论体系。现在我们把模型检验内容从标准方法、抽象解释方法、综合方法3个范畴加以介绍，旨在形成人们对模型检验总的印象，从而全面理解和掌握模型检验各个方法的精神实质和具体情况，有助于将这些方法运用到实际软硬件验证中并从中受到启发，以便进一步发展模型检验理论...
作者：傅嗣鹏 乔俊飞 韩红桂 刊期：2013年第06A期
针对差分进化算法传统变异策略在全局收敛鲁棒性和搜索效率上不能达到一个很好的折衷，并且算法的操作算子固定，导致搜索效率低、易早熟收敛等问题，文中在差分进化算法变异策略性能分析的基础上，提出了一种基于锦标赛选择的变异策略。该策略采用“锦标赛选择”对随机选取的变异向量排序选出基向量，差分向量选择有利于搜索的方向并对其“强化...
作者：刘志忠 王勇 贺毅辉 彭辉 刊期：2013年第06A期
服务组合基于多种基本的组合结构，组合多个已有的服务来满足用户的功能性和非功能性（即QoS）需求。通常，用户的需求直接是端到端的需求，而服务描述本身具有自身的QoS描述。由于所处的层次不同，端到端的QoS需求描述和单个服务的QoS描述存在一定的语义鸿沟。基于层次化本体模型建立QoS本体模型，建立了用户QoS和服务QOS之间的映射关系。并针...
作者：杨妹 杨山亮 赵鑫业 杨政军 周云 刊期：2013年第06A期
指挥与控制是军事分析仿真在线辅助决策系统中研究的主要对象之一。通过分层Agent方法对军事分析仿真在线辅助决策系统的指控关系进行建模，将战役级仿真中的指挥和控制划分成战略层、战术层和执行层，并对各层Agent功能进行描述。系统采用基于BOM组件的高性能RTI仿真方法，最后以一个空地攻防对抗系统的实例说明了该建模方法的应用。
作者：张晓丹 黄海燕 刊期：2013年第06A期
学习矢量量化（LVQ）聚类算法存在严重的对初值敏感的问题，若初值的选择偏差太大，就不会产生好的聚类效果，致使聚类精准度不够。免疫克隆算法具有很强的群体搜索能力，将免疫克隆算法用于优化LVQ聚类算法的初值，并将改进得到的聚类算法用于对IRIS数据集进行分类。分类结果与标准的LVQ算法的比较表明，改进后的聚类算法在稳定性上有了较大幅...
作者：白玉兵 余小游 陈寿辙 殷玲 陈铁军 刊期：2013年第06A期
通过分析雷达探测范围边界与数字地形高程的相对位置关系，提出一种基于几何光学原理的雷达探测范围受复杂地形影响的修正算法。采用雷达传播衰减模型和混合采样方法，应用该修正算法，实现了对复杂地形影响下雷达探测范围的修正。实验结果表明，该算法不仅对复杂地形适应性强，而且表现效果真实直观。
作者：路威 张邦宁 刊期：2013年第06A期
为了解决粒子滤波在粒子数量较少时估计精度不高的问题，提出了一种基于Metropolis-Hastings（MH）变异的粒子群优化粒子滤波算法。该算法将Metropolis-Hastings（MH）移动作为粒子群优化的变异算子，通过将MH变异规则与粒子群的速度一位置搜索过程相结合，使得重采样后的粒子群更接近真实的后验概率密度分布，有效解决了一般的变异粒子群算法容...
作者：张彩霞 程良伦 王向东 刊期：2013年第06A期
信息物理融合系统（Cyber Physieal System，CPS）的特征和功能为离散制造的智能化生产和竞争力的提高提供了有效的思路和途径。本文在现有物联网的基础上，基于CPS概念并结合现有离散制造业的特点，构造离散型制造信息物理融合系统的基本架构，并对该架构和相应功能模块进行了分析。最后，从离散型制造CPS基础理论和系统模型、系统优化调度与自...
作者：段其昌 周华鑫 曾勇 张广峰 刊期：2013年第06A期
针对中长期电力负荷预测，考虑了影响中长期电力负荷的各种因素，提出了一种带扩展记忆的粒子群优化算法（PSOEM）与最小二乘支持向量机（LSSVM）相结合的中长期负荷预测方法。PSOEM比传统PSO收敛速度更快，精度更高，具有更强的寻优能力，因此利用PSOEM算法对LSSVM参数进行优化选择，获得了较优的PSOEM-LSSVM预测模型。通过实例仿真表明，该方...
作者：张忠捷 喻昕 王高才 刊期：2013年第06A期
权限管理是管理信息系统（MIS）中非常重要的组成部分，现有部分系统中的权限管理过于粗糙或混乱，无法实现较为完整细致的权限管理；而其它的权限管理方案理论虽好，但与当今主流的软件开发方式和框架不相符，且不具备可实现性，无法应用于实际开发的信息系统。为此本文基于领域驱动设计的思想，对传统的基于角色访问控制（RBAC）模型进行细化...
作者：郭茂耘 潘丽娟 江红旗 柴毅 刊期：2013年第06A期
防疫管理资源（人员和设备等）的合理有效配置是动物疫情防疫管理关注的问题之一。根据疫点的空间分布情况，基于空间聚类和最大夹角边界确定方法，提出了对疫．景分布进行分类划分的方法。首先研究了将K—Means聚类分析方法应用于疫点的空间聚类分析，实现了疫点按空间亲疏关系的分类。在此基础上，根据最大夹角原理，在聚类结果中确定了每一个...
作者：刘刚 黎放 狄鹏 刊期：2013年第06A期
测试优化选择是个集覆盖问题，而启发式算法是求解集覆盖问题的有效方法。文中将遗传算法、BP神经网络和模拟退火算法进行融合，提出了一种融合算法，该算法充分利用遗传算法全局搜索能力强、BP神经网络训练能力强和模拟退火算法搜索速度快的优点，既避免陷入局部最优的现象，又提高了搜索的效率和精度。该算法已应用于求解测试优化问题。实例证...
作者：张凤清 段书凯 王丽丹 胡小方 刊期：2013年第06A期
将新型的电路元件忆阻器与传统细胞神经网络相结合，构建出体积小、功耗低、计算速度快的忆阻细胞神经网络。用该网络实现对车牌图像定位的预处理，对应的计算机仿真结果验证了方案的有效性。提出的忆阻细胞神经网络将提高硬件电路实现的集成度，同时也有利于车牌识别速度和效率的提高。
作者：赵文红 王巍 刊期：2013年第06A期
近年来，单通道盲分离作为信号处理领域中的重要分支，受到了人们越来越多的关注。粒子滤波和进化算法都是利用一群粒子（个体）进行逼近估计的方法，同时各有各的优势。本文将粒子滤波与进化算法两种方法结合起来，既利用了粒子滤波估计的准确性，又利用了进化算法对收敛性进行保证，提出了一种解决单通道盲分离问题的新方法。文中针对两路同频...
作者：韩丽霞 刊期：2013年第06A期
给出了求解多目标优化问题的一种新解法。定义了多目标优化问题的非劣方向，设计了方向杂交算子和简单的变异算子。标准算例的计算机仿真结果表明，新算法可以快速地找到一组范围广、分布均匀且数量充足的Pareto最优解。
影响因子：0.65
期刊级别：北大期刊
发行周期：旬刊
影响因子：0.51
期刊级别：北大期刊
发行周期：月刊
影响因子：0.73
期刊级别：统计源期刊
发行周期：半月刊
影响因子：0.53
期刊级别：省级期刊
发行周期：旬刊
影响因子：0.91
期刊级别：北大期刊
发行周期：半月刊
影响因子：0.15
期刊级别：省级期刊
发行周期：半月刊
影响因子：--
期刊级别：省级期刊
发行周期：周刊
影响因子：0.04
期刊级别：省级期刊
发行周期：半月刊
影响因子：2.11
期刊级别：北大期刊
发行周期：半月刊
影响因子：3.84
期刊级别：CSSCI南大期刊
发行周期：双月刊
影响因子：--
期刊级别：省级期刊
发行周期：月刊
影响因子：0.16
期刊级别：省级期刊
发行周期：双月刊