计算机工程与应用

计算机工程与应用杂志 北大期刊 CSCD期刊 统计源期刊

Computer Engineering and Applications

杂志简介:《计算机工程与应用》杂志经新闻出版总署批准,自1964年创刊,国内刊号为11-2127/TP,是一本综合性较强的计算机期刊。该刊是一份半月刊,致力于发表计算机领域的高质量原创研究成果、综述及快报。主要栏目:博士论坛、网络、通信与安全、数据库、信号与信息处理 、工程与应用

主管单位:中国电子科技集团公司
主办单位:华北计算技术研究所
国际刊号:1002-8331
国内刊号:11-2127/TP
全年订价:¥ 1080.00
创刊时间:1964
所属类别:计算机类
发行周期:半月刊
发行地区:北京
出版语言:中文
预计审稿时间:1-3个月
综合影响因子:2.11
复合影响因子:0.68
总发文量:17129
总被引量:109244
H指数:73
引用半衰期:3.7842
立即指数:0.0214
期刊他引率:0.8953
平均引文率:8.4761
  • 智能环境基于用户交互模态的情境感知服务

    作者:王军锋 余隋怀 IMRE Horvath 王宁 刊期:2015年第19期

    智能环境系统构成的复杂性和大量的情境信息增加了为用户提供和布局服务的难度。情境感知服务系统能感知系统运行和人机交互情境,根据相应的决策机制选择适当的设备为用户提供服务,从而简化环境设施的功能布局。在决策过程中引入用户交互模态信息有利于系统根据用户的交互能力和对人机界面的偏好提供服务。把情境细分为用户信息、设备信息、软件...

  • 制图综合中河流与建筑物拓扑冲突处理方法

    作者:赵彬彬 刊期:2015年第19期

    一致性是检验空间数据质量的重要指标之一。不一致性的存在将极大地降低空间数据可用性,空间数据不一致性通常表现为空间目标之间的明显矛盾或冲突,多出现于多源多尺度空间数据集成、更新和制图综合等过程中。针对由较大比例尺地图综合派生较小比例尺地图中河流与建筑物之间的拓扑冲突,提出了一种基于Morphing变换的拓扑不一致性处理新方法,并通...

  • 通用型无参考图像质量评价算法综述

    作者:张淑芳 张聪 张涛 雷志春 刊期:2015年第19期

    图像质量评价可有效评估图像采集和传输过程引起的失真或退化,在数字多媒体领域具有广阔的应用前景,无参考图像质量评价算法由于不需要参考图像先验知识,近年来成为图像质量评价领域研究的热点。在对国内外文献进行广泛调研的基础上,从评价算法原理和性能比较两个方面,系统综述了BIQI、DIIVINE、BLIINDS、BLIINDS-II、BRISQUE、NIQE和GRNN等当前...

  • 阔大货物装载加固方案多目标优化模型

    作者:谭政民 彭其渊 陈思 甘蜜 刊期:2015年第19期

    随着运输技术和需求的发展,阔大货物装载加固方案仅仅由承运单位和方案制定单位来确定已经不能满足铁路货物运输的发展,需要在确定货物装载加固方案时将客户需求考虑进去。基于层次分析法建立阔大货物装载加固方案多目标优化模型,首次将货主的客户需求纳入装载加固方案优化目标中,充分考虑方案制定者、方案使用者、客户3方面的需求。优化模型确...

  • CDC-代数上中心化子的刻画

    作者:马飞 张建华 尹琳娟 刊期:2015年第19期

    设A lg L是Hilbert空间H上的一个CDC-代数,φ:A lg L®A lg L是一可加映射。证明了如果存在正整数mn1,满足对于任意的a?A lg L有φ(am+n+1)=amφ(a)an,那么存在A lg L的中心中的元素λ?Z(A lg L),使得对于任意的a?A lg L有φ(a)=λa。

  • 基于ATL的公平交换协议的形式化验证

    作者:李群 陈清亮 刊期:2015年第19期

    如何对电子商务协议进行分析与验证一直是研究的热点,基于ATL(交替时态逻辑)对电子商务协议中的公平交换协议(Fair Exchange Protocols)进行形式化分析与验证,并选取了其中的一个电子合同签署协议进行形式化验证。用ATL语言来形式化描述公平交换协议,并使用ATS(Alternating Transition Systems,交替转移系统)来为公平交换协议进行形式化建...

  • 基于FLcom的模糊知识推理与搜索处理

    作者:赵洁心 潘正华 王姗姗 刊期:2015年第19期

    基于区分矛盾否定、对立否定和中介否定的模糊命题逻辑形式系统FLcom,研究模糊知识及其不同否定的区分与形式表示,以及模糊知识推理与搜索处理。依据FLcom的语义解释,定义模糊命题的否定算子。具体采用Zadeh算子作为模糊推理算法,给出规则路径表的定义,利用规则路径表表示模糊推理规则及搜索过程。通过一个交通事故模型,讨论该模型的模糊推理及...

  • 带有退火和杂交变异思想的改进粒子群算法

    作者:黄炜霖 刘建军 张明 吕照明 伍建 刊期:2015年第19期

    针对粒子群算法的"早熟",进化后期收敛速度慢及精度低等问题,提出了一种改进的PSO算法。为保证初始群体的遍历性,改进算法首先利用了信息熵产生初始群体;为提高进化过程中群体的多样性,将遗传算法中杂交、变异的思想融入了算法中;为提高算法晚期的收敛速度,将模拟退火算法中退火的思想引入到杂交过程中。该算法与其他改进算法进行数值比较,仿...

  • 不含3K_1+K_2和C_4为导出子图的图的色数

    作者:王晓 汪小黎 刊期:2015年第19期

    Gyárfás曾猜想:对于每一个不含森林F作为导出子图的图G,存在整数函数f(F,ω(G))使得χ(G)≤f(F,ω(G)),其中χ(G)和ω(G)分别表示图的色数和团数。以强完美图定理为基础,通过对不含3K1+K2和C4作为导出子图的图的结构进行分析,根据图的独立数进行分类讨论,得到该类图色数的关于团数线性函数的表达式的上界。

  • Gainse-Rescher系统基于子代数的广义重言式

    作者:李顺琴 惠小静 刊期:2015年第19期

    将Gainse-Rescher逻辑系统中的广义重言式理论进行推广,讨论其序稠密子代数中的广义重言式理论,并利用可达广义重言式概念在Gainse-Rescher逻辑系统的序稠密子代数中给出公式集F(S)的一个分划。

  • 基于主动视觉的手眼矩阵和光平面标定方法

    作者:郭新年 白瑞林 王秀平 刊期:2015年第19期

    为解决现有基于主动视觉方法标定手眼矩阵和结构光平面操作较复杂的问题,提出一种基于主动视觉的同时标定手眼矩阵和光平面的方法。通过精确控制机器人做两次相互正交的平移运动,求解手眼矩阵的旋转部分;而后通过两次及以上带旋转运动,求解手眼矩阵的平移部分和光平面方程。该方法简单,无需使用特定靶标,标定过程只需3个特征点,即可实现机器人手...

  • Hadoop平台下计算能力调度算法的改进与实现

    作者:戴小平 张宜力 刊期:2015年第19期

    在计算能力调度算法中没有全面考虑各资源特征的分配是否满足作业多样的服务要求,提出一种基于优先级的计算能力加权调度算法,根据作业的优先级以及提交时间等因素来计算作业的权重。依据作业的权重对作业队列进行排序并分配空闲的slot给队首的作业,从而避免调度陷入局部最优也能更好地满足作业的多样性服务要求。在搭建的Hadoop平台上进行实验...

  • 命题公式的随机真度与推理规则

    作者:李修清 刊期:2015年第19期

    在n值Lukasiewicz命题逻辑系统中,引入命题随机真度的概念,给出了随机真度的一个计算公式,研究了命题随机真度的若干性质。证明了命题逻辑的分离规则、三段论规则以及交推理规则在n值Lukasiewicz命题逻辑系统中成立。

  • 求解0-1背包问题的二进制蝙蝠算法

    作者:吴聪聪 贺毅朝 陈嶷瑛 刘雪静 才秀凤 刊期:2015年第19期

    为了求解离散空间中的最优化问题,提出了一种二进制蝙蝠算法,并引入时变惯性因子来提高算法的全局收敛速度;在此基础上,为提高求解0-1背包问题时找到最优解的机率,利用贪心优化策略对无效的蝙蝠个体进行优化,从而给出了贪心二进制蝙蝠算法(GBBA)。仿真计算结果表明,GBBA算法在寻优能力和收敛性能方面比已有的GMBA算法都更优越。

  • 三时间间隔圆锥补偿姿态更新算法性能分析

    作者:程思微 叶灵军 甘厚吉 刊期:2015年第19期

    构造了四子样旋转矢量算法、优化四子样旋转矢量算法、Savage方法的三时间间隔表示。分析了三时间间隔结构和双速结构的区别。验证了构造的算法和Ignagni等人提出的系列算法在样本数变化时的性能。结果表明,三时间间隔结构不能显著地提高姿态更新算法的精度,但是可以提高算法的效率。