杂志简介：《计算机工程与应用》杂志经新闻出版总署批准，自1964年创刊，国内刊号为11-2127/TP，是一本综合性较强的计算机期刊。该刊是一份半月刊，致力于发表计算机领域的高质量原创研究成果、综述及快报。主要栏目：博士论坛、网络、通信与安全、数据库、信号与信息处理 、工程与应用
杂志简介：《计算机工程与应用》杂志经新闻出版总署批准，自1964年创刊，国内刊号为11-2127/TP，是一本综合性较强的计算机期刊。该刊是一份半月刊，致力于发表计算机领域的高质量原创研究成果、综述及快报。主要栏目：博士论坛、网络、通信与安全、数据库、信号与信息处理 、工程与应用
作者：李杰 孙尧 刊期：2013年第20期
现代防御技术的迅速发展使得水面舰艇的攻击效果大大下降，水面无人舰艇自主编队集群攻击技术已经成为未来海战的关键技术之一，多水面无人舰艇之间的任务规划是保证无人舰艇顺利、高效完成任务的关键。将水面无人舰艇集群攻击任务规划问题看成是多约束的任务分配过程，建立任务规划模型，提出了基于分布式拍卖机制的粒子群优化算法，该算法结合...
作者：魏林 付华 尹玉萍 刊期：2013年第20期
针对于求解一般的整数规划问题，提出了和声蚁群耦合算法。采用和声搜索更新种群策略和个体扰动策略改善了蚁群算法过早收敛的问题，同时采用蚁群算法对寻优路径信息素的正反馈来加快和声搜索收敛于最优路径。实验结果表明，相比于蚁群算法和和声搜索算法，新算法大大提高了一般整数规划问题的搜索效率。
作者：李亚群 段万春 孙永河 杜元伟 刊期：2013年第20期
在群组DEMATEL（决策试验与评价实验室）分析过程中，科学合理地集成群组专家意见是保证群决策有效性的技术核心。然而现有文献不仅没有对群组专家意见的集成机理作出科学合理的解释，而且还存在单专家对因素关系判断过于主观武断的问题。为克服上述缺陷，在概述传统群组DEMATEL及系统分析其缺陷的基础上，提出了一种基于证据理论的群组DEMATEL...
作者：刘华森 程文明 任扬志 刊期：2013年第20期
针对集装箱起重机学员培训周期长、安全性差等问题，提出一种基于3D图形渲染引擎（OGRE）的虚拟现实技术，实现集装箱起重机半物理仿真操作培训的方法。设计集装箱起重机司机室硬件操作平台，使用OGRE渲染引擎驱动集装箱货场的三维虚拟场景；建立防摇吊具摆动的动力学模型，模拟起重机吊具的残余摆动；并用以太网通讯实现起重机联动台等实物硬件...
作者：何丽 饶俊 赵富强 刊期：2013年第20期
服务器执行任务产生的能耗是云计算系统动态能耗的重要组成部分。为降低云计算系统任务执行的总能耗，提出了一种基于能耗优化的最早完成时间任务调度方法，建立了服务器动态功率计算模型，基于动态功率的服务器执行能耗模型，以及云计算系统的能耗优化模型。调度策略根据任务的截止时间要求和在不同服务器上的执行能耗，选择不同的调度算法，以...
作者：陈媛嫄 刘正捷 刊期：2013年第20期
情境感知是移动和普适计算研究中一个重要的组成部分。现有研究大多从技术的角度进行情境感知系统的设计和实现。由于缺少对人的情境感知机制的认识，导致系统的情境感知行为和人的期望之间存在着很大的差距。在活动理论和人的情境感知理论的基础上，提出了基于活动的情境感知模型，用于描述特定活动中人的情境感知过程；并在该模型的基础上，提...
作者：赵专政 印俊 刊期：2013年第20期
针对认知角色不能表达个体间双向关系的问题，在描述逻辑ALCK中加入逆角色得到ALCIK，以扩充其表达能力，在能够捕获最小知识和实现自省推理的同时可以更加方便地对实际问题建模，给出了ALCIK的语法和语义，并且在Tbox为空集，Abox中无K算子的情况下，设计了ALCIK概念的查询表算法，根据概念结构归纳证明了表算法的可靠性和完备性，并且一定会停...
作者：欧阳广 彭成 李倩倩 刊期：2013年第20期
建立软件交互行为模型是认识软件的内部机理和运行规律的基础。根据监控收集的典型的电子商务软件交互日志文档，挖掘其中的不变量约束规则，借鉴有限状态机构造方法构建动态模型。为确保模型的确定性和完备性，对模型进行精化和抽象，并给出了相应的建模算法。通过实例证实了该方法的正确性和有效性。
作者：张群慧 李仁发 刊期：2013年第20期
云计算环境下的资源合理调度是当前的研究热点，针对粒子群优化算法的不足，引入膜计算理论，提出一种基于膜计算改进粒子群优化算法的云资源调度算法（PSO—MC）。对云资源调度问题进行分析，建立云资源调度的目标函数，受到膜计算的启发，将粒子放入膜中，主膜内粒子进行精细化局部寻优，辅助膜内的粒子进行全局搜索，通过膜区域之间信息传递...
作者：马振明 刊期：2013年第20期
在有界交换整剩余格上引入了一类新的滤子——n-重MTL-滤子，并给出了它的一系列的刻画。
作者：罗毅平 刘欢 刊期：2013年第20期
针对具有时滞的复杂网络，研究了此类系统的保性能控制问题。利用Lyapunov,％性定理和线性矩阵不等式工具，得到了时滞复杂网络保性能控制存在的充分条件。设计的具有增益摄动的状态反馈控制器，既可以保证系统渐近稳定，又可使系统的性能指标满足一定的要求，最后通过数值算例验证了设计方法的可行性。
作者：丁德武 刊期：2013年第20期
Petri网既有严格的数学表达方式，又有直观的图形描述形式，是当前生物化学系统模拟和定性分析的一个有力工具。作为标准Petri网的一个重要扩展，随机Petri网使得可以定量地分析生物化学系统。建立了两个典型的生物化学系统的随机Petri网模型：Schlogl系统和转录调控系统，并使用Gillespie随机仿真算法模拟了这些生化随机Petri网模型的状态演化...
作者：彭立 杨恒伏 刊期：2013年第20期
为了判定描述逻辑SHIN的ABox一致性，提出了一种Tableau算法。给定TBoxT、ABoxA和角色层次H，该算法通过预处理将彳转换成标准的ABoxA’，按照特定的完整策略将一套Tableau规则应用于A1，直到将它扩展成完整的ABoxA”为止。A与r和H一致，当且仅当算法能产生一个完整且无冲突的ABoxA”。算法所采用的阻塞机制可以避免Tableau规则的无限次执行，该...
作者：任杰 王海 高岭 陈东棋 高全力 刊期：2013年第20期
如今嵌入式设备上的数据交互越来越频繁，其通讯子系统的能耗也随之增加。在有线或无线的通讯环境中，TCP协议运用最为广泛，但传统的TCP协议并不能满足用户的节能需求。从能耗角度对比了标准TCP协议、基于TCP协议改进的XCP协议、基于UDP协议改进的ReliableBlastUDP（RBUDP）和UDP-basedDataTransport（UDT）＂bS-S＆，进一步分析各协议的拥塞控...
作者：张龙翔 刊期：2013年第20期
密钥协商是实现参与者在公平的开放环境下建立会话密钥的重要手段。最近，Alvarez等人提出了一种新的密钥协商协议，该协议的会话密钥是通过分块上三角矩阵的幂乘得到的。但研究发现，该协议并不安全，其安全参数可以简单地通过计算一个方程组来获得。详细分析了该协议，并提出了一种切实可行的攻击方法，而且该方法可以推广到使用类似技术设计...
影响因子：0.51
期刊级别：北大期刊
发行周期：月刊
影响因子：0.15
期刊级别：省级期刊
发行周期：半月刊
影响因子：0.94
期刊级别：北大期刊
发行周期：月刊
影响因子：0.79
期刊级别：北大期刊
发行周期：月刊
影响因子：0.55
期刊级别：统计源期刊
发行周期：月刊
影响因子：0.58
期刊级别：北大期刊
发行周期：月刊
影响因子：0.93
期刊级别：北大期刊
发行周期：月刊
影响因子：0.62
期刊级别：北大期刊
发行周期：月刊
影响因子：0.61
期刊级别：北大期刊
发行周期：月刊
影响因子：0.62
期刊级别：统计源期刊
发行周期：月刊
影响因子：0.45
期刊级别：统计源期刊
发行周期：月刊
影响因子：0.57
期刊级别：省级期刊
发行周期：半月刊