杂志简介：《计算机科学》杂志经新闻出版总署批准，自1974年创刊，国内刊号为50-1075/TP，是一本综合性较强的计算机期刊。该刊是一份月刊，致力于发表计算机领域的高质量原创研究成果、综述及快报。主要栏目：网络与通信、信息安全、软件与数据库技术、人工智能、图形图像与模式识别
杂志简介：《计算机科学》杂志经新闻出版总署批准，自1974年创刊，国内刊号为50-1075/TP，是一本综合性较强的计算机期刊。该刊是一份月刊，致力于发表计算机领域的高质量原创研究成果、综述及快报。主要栏目：网络与通信、信息安全、软件与数据库技术、人工智能、图形图像与模式识别
作者：陈刚 陈旭 徐元 边昳 鲁华祥 刊期：2013年第05期
为了提高实对称矩阵特征值分解算法的速度，在FPGA上设计并实现了符合IEEE-754标准的单精度浮点（32-bit）CORDIC算法，以在保证运算精度的前提下，最大限度地优化资源和速度。整个设计是在Xilinx公司的Spar-tan-3xc3sd1800a-5FPGA上实现的。测试结果显示：1）对于3＊3的实对称矩阵（每个矩阵元素是32-bit浮点数），精度达到2^-20；2）设计实现...
作者：崔西宁 王聪琳 裴庆祺 李亚晖 沈玉龙 刊期：2013年第05期
随着航空电子系统的飞速发展，机载操作系统对保证不同安全关键级别的软件互不影响越来越严格，面对这种情况，多重独立安全级别（MILS）嵌入式操作系统应运而生。MILS架构的中间件层采用实时CORBA技术。同时MILSCORBA架构采用分区通信机制进行通信。为了满足分区通信的安全性和MILS架构对分区密级的严格控制，设计了基于实时CORBA技术的MILS架...
作者：潘海玉 张敏 陈仪香 刊期：2013年第05期
根据初始状态、状态之间的转换关系和命题赋值函数是否为分明的，模糊Kripke结构可分为8类。提出将模糊计算树逻辑作为判断模糊Kripke结构之间是否是等价的依据；详细讨论了8种模糊Kripke结构之间的关系。这些结论为设计应用中模型的合理选取提供了理论依据，也为解决模糊计算树逻辑的模型检测问题提供了一种新的方法。
作者：冯定芸 于福生 王晓 刊期：2013年第05期
模糊规则库谐调性是规则库研究中的重要内容。在决定一组新来的模糊规则可否加入到已有规则库时，需要知道它对已有规则库的谐调程度。利用模糊关系方程理论和贴近度定义了模糊规则组之间的谐调度。实验表明此定义能很好地容纳相容规则并排除矛盾规则，这对于知识库的建立和维护是至关重要的。
作者：翟翠红 秦克云 刊期：2013年第05期
主要研究命题逻辑公式中的冗余子句和冗余文字。针对子句集中必需的、有用的、无用的子句，分别给出了一些等价描述方法，进而讨论子句集的无冗余等价子集。另外，得到了子句集中冗余文字的判别方法，借助可满足性给出了冗余子句的一种等价条件。上述结果为命题逻辑公式的化简奠定了一些理论基础。
作者：任飞 谯婷婷 刘俊波 邵杨锋 刊期：2013年第05期
随着中断控制在嵌入式实时系统中的不断广泛应用，中断控制的可靠性是系统设计中面临的重要问题。虽然基于体系结构分析与设计语言（AADL）的形式化方法为这一问题的解决提供了思路，但AADL自身缺少有效的元素和方法来描述和建模中断。为此，提出一种结合AADL与中断控制器的中断控制系统设计方法，并运用GSPN可靠性计算模型对可靠性进行分析，从...
作者：李金屏 黄艺美 刊期：2013年第05期
在利用经典相容关系研究人际关系的基础上，引入了人际关系中的模糊属性。利用截集的概念，研究了满足模糊相容关系即相似关系下的人际关系中社会交际圈的划分、成员活跃度和成员完成各项任务的代价等，并给出了相关算法和讨论。计算结果表明，该模型能够有效描述满足相似关系的社会关系网络。
作者：张拥军 史殿习 肖玺 吴振东 丁博 刊期：2013年第05期
移动设备的计算能力、存储能力、网络带宽、电池续航等都非常受限，而且现有的云服务基本没有针对移动设备的上述特点做优化，严重降低了移动设备访问云服务的质量。针对存在的问题，提出了面向移动设备的数据传输格式优化模型和服务Mashup模型，设计并实现了一个基于的移动云服务访问框架，使得移动设备通过服务器来访问云服务。在4种不同情况...
作者：张赣 梁伟 毕经平 邵定宏 刊期：2013年第05期
目前云计算数据中心规模大，网络设备多，手动配置设备地址不但耗时耗力，而且容易出错。已有自动配置工作未能充分利用数据中心网络拓扑结构特征，导致从规划设计到实际设备配置的映射过程回溯步骤多，效率低。为此，提出了一种基于支点的数据中心网络地址快速自动配置方法PFAC（Pivot-basedFastAutomaticConfiguration）。PFAC通过预处理分析...
作者：魏德宾 潘成胜 韩睿 刊期：2013年第05期
根据分包数据系统的星上数据源特点及随机过程理论，得到星上数据源的模型参数。进一步利用STK和OPNET软件建立卫星网络模型，依据数据源的建模结果为低轨卫星添加业务，并在高轨卫星处收集网络业务量。最后，分别运用R／S分析法、方差-时间图法和周期图法对收集到的卫星网络业务量的自相似程度和突发性的重要参数——Hurst参数进行辨识。仿真结...
作者：刘玉华 郑梅容 许凯华 徐翠 刊期：2013年第05期
针对基于耦合系数的无标度网络演化模型中的节点进行中心化研究，首先对常用的中心化指标进行了分析，接着对经典的无标度（BA）模型和演化的BA-S模型中各节点的几种指标进行了累积概率分布研究，最后对两种模型的中心化程度和效率进行了中心化测试对比研究，结果证明，演化的BA-S模型较BA模型具有更强的鲁棒性以及抗故障的能力。
作者：卢照敢 杨永强 马小飞 刘龙 刊期：2013年第05期
针对多天线OFDM系统中时域信道训练符号采用非正化的数字序列而导致其矩阵求逆运算计算复杂度高的问题，采用多用户CDMA系统上行链路的信道训练符号设计方法，提出了多天线Steiner信道估计方法。该方法通过时域途径设计的训练符号，使所有发射天线的训练符号矩阵成为一个循环矩阵，从而接收机可用离散傅立叶变换矩阵进行对角化，避免了信道估计...
作者：卢先领 王莹莹 王洪斌 徐保国 刊期：2013年第05期
无线传感器网络节点随机分布，针对均匀分簇容易造成网络中能耗不均的问题，提出一种能量均衡的非均匀分簇算法EBUCA（Energy-BalancedUnequalClsteringAlgorithm）。该算法在簇头选举阶段，根据节点的剩余能量、节点所在区域稀疏程度来保证簇头的均匀分布；同时结合各簇头所在区域的节点密度与距sink节点的距离来构造大小不等的簇半径，使节点...
作者：韩建群 伦淑娴 刊期：2013年第05期
Duffing方程是一种重要的动力系统。研究了该系统的数学模型，通过变量分解的方法改变了系统的结构，并证明了运用新结构的Duffing系统实现混沌掩盖的合理性，最后给出了新Duffing系统的运行轨迹和混沌掩盖通信的解调结果。仿真结果表明，所提出的方法是正确有效的。
作者：李亚 彭海云 尚小溥 张润彤 刊期：2013年第05期
随着IT技术的不断发展，IT行业在整个节能减排环节中占据的地位越来越高，由此提出了绿色计算、绿色网络等概念。从绿色网络的概念入手，分析网络中主要设备的节能方式和可能性，提出了在网络管理中增加能耗管理的功能，研究并提出了实现能耗管理应具备的MIB信息，并设计了能耗监视、控制和统计的实施方案，从而可以对网络中的能耗进行定量监视...
影响因子：0.65
期刊级别：北大期刊
发行周期：旬刊
影响因子：0.51
期刊级别：北大期刊
发行周期：月刊
影响因子：0.73
期刊级别：统计源期刊
发行周期：半月刊
影响因子：0.53
期刊级别：省级期刊
发行周期：旬刊
影响因子：0.91
期刊级别：北大期刊
发行周期：半月刊
影响因子：0.15
期刊级别：省级期刊
发行周期：半月刊
影响因子：--
期刊级别：省级期刊
发行周期：周刊
影响因子：2.11
期刊级别：北大期刊
发行周期：半月刊
影响因子：0.04
期刊级别：省级期刊
发行周期：半月刊
影响因子：3.84
期刊级别：CSSCI南大期刊
发行周期：双月刊
影响因子：--
期刊级别：省级期刊
发行周期：月刊
影响因子：0.16
期刊级别：省级期刊
发行周期：双月刊