计算机工程杂志,月刊,本刊重视学术导向,坚持科学性、学术性、先进性、创新性,刊载内容涉及的栏目:特邀论文、专栏、专题、先进计算与数据处理等。于1975年经新闻总署批准的正规刊物。
北大期刊(中国人文社会科学期刊)CSCD 中国科学引文数据库来源期刊(含扩展版)统计源期刊(中国科技论文优秀期刊)知网收录(中)维普收录(中)万方收录(中)CA 化学文摘(美)JST 日本科学技术振兴机构数据库(日)Pж(AJ) 文摘杂志(俄)哥白尼索引(波兰)国家图书馆馆藏上海图书馆馆藏文摘杂志
特邀论文专栏专题先进计算与数据处理体系结构与软件技术移动互联与通信技术安全技术人工智能及识别技术图形图像处理多媒体技术及应用开发研究与工程应用等
关键词:低密度奇偶校验 译码算法 最小和算法
针对低密度奇偶校验(LDPC)译码算法性能低的问题,提出一种基于最小和的高效译码算法。该算法从概率的角度分析消息的传递过程中校验节点的更新过程,得到近似的最小和算法等式,并采用动态归一化因子提高译码性能。仿真实验表明,与BP译码算法相比,该译码算法在损失极少译码性能的情况下,不仅减少迭代过程中的计算量,而且提高了译码效率。
关键词:flowshop调度 等待时间受限 混合遗传算法 约束满足 变邻域搜索
针对等待时间受限的Flowshop调度问题,提出嵌入约束满足和变邻域搜索技术的混合遗传算法。该算法基于约束满足思想,通过递归回溯和约束传播修复工件的开工时间,以解消工件在相邻阶段的等待时间受限冲突,根据回溯工件的位置信息设计相应的交叉算子和变异算子,利用变邻域搜索技术增强算法的收敛性。仿真实验表明该混合遗传算法的有效性,并分...
关键词:雷达目标识别 核最近特征分类器 局部最近邻准则 距离像
为了解决核最近特征线与特征平面分类器在计算大数据样本量与高维数时工作量较大的问题,根据局部最近邻准则,提出针对这2种分类器的改进策略,使其不仅能够降低失效的可能性,而且在保证相近识别率的条件下,提高算法的实时性能,利用3类不同飞机实测距离像回波数据对其进行测试,实验结果表明,该改进策略是有效可行的。
关键词:混沌序列 线性复杂度
针对传统密码学中由线性移位寄存器生成的序列在统计特性上的不足,提出一种基于混沌的序列密码生成方法,并在有限精度实现时引入Legendre扰动序列使得输出具有良好的统计特性。用B-M算法对其进行线性复杂度分析,并与等效的线性反馈移位寄存器的复杂度进行比较,结果显示该混沌序列具有良好的非线性特性,保密性好且软件实现简单。
关键词:过程蓝图 多阶段程序表示模型 建模语言 模型驱动程序设计 视图导出
针对传统程序技术长期存在的表示分离、开发低效、质量欠佳、维护困难等问题,提出一种跨越分析、设计和构造阶段的多阶段程序过程表示模型。采用概念、逻辑和实现3层抽象视图、控制流和数据流二级映射的架构及视图导出方法,通过建立映射约束规则和对应关系,实现视图间的联系与统一,保证导出制品的一致性和有效性,使增量迭代、逐步求精的模...
关键词:分类回归树 自助抽样 选择性集成
提出一种应用于回归问题,以分类回归树为基学习器,并综合Boosting和Bagging算法的特点,利用变相似度聚类技术和贪婪算法来进行选择性集成学习的算法——SER-BagBoosting Trees算法。将其与几种常用的机器学习算法进行比较研究,得出该算法往往比其他集成学习算法具有更好的泛化性能和更高的运行效率。
关键词:并行 蚁群优化算法 dna杂交测序
针对求解DNA杂交测序(SBH)问题的相关算法存在解的精度不高及收敛速度慢等问题,建立SBH问题的数学模型,从中抽取启发式信息,提出一种改进的并行蚁群优化算法(IPACO),并将其应用到DNA杂交测序问题中。仿真实验结果表明,该算法解的精度和收敛速度均优于普通串行蚁群算法、禁忌搜索算法和进化算法。
关键词:主存联机分析处理 假设分析 视图
讨论基于主存联机分析处理(OLAP)环境下的What-if分析,规范基于OLAP环境下What-if分析的表现形式及原操作,在此基础上,提出一种基于用户查询结果动态创建HCube或VCube的算法,以支持多版本的What-if分析,介绍系统的体系结构,实现一个原型 系统。
关键词:无线传感器网络 元胞自动机 自组织算法
提出一种分布式、自适应的无线传感器网络元胞自动机(CA)自组织算法,将网络中的每个节点映射成CA中的元胞,通过控制节点在不同时间的状态转换(活跃/睡眠),消除与邻居节点间的频繁通信,从而降低能源消耗。仿真实验结果表明,该算法具有较强的目标检测能力。
关键词:软件体系结构 着色petri网 状态机 形式化描述语言
为了研究软件动态体系结构与静态体系结构的一致性,针对软件体系结构的动态获取提出一套映射规则,该规则将系统运行事件映射为软件体系结构。分别使用着色Petri网和状态机,结合一个Java实例对该映射规则进行简单的形式化描述,总结2种方法的相似处及不同的应用领域。
关键词:fuzzing测试 代码插装 符号化执行 污点分析
设计并实现一种基于符号化执行的Fuzzing测试方法。通过代码插装,在程序执行过程中收集路径约束条件,依据一定的路径遍历算法生成新路径约束条件并进行求解,构造可以引导程序向新路径执行的输入测试数据。提出一种改进的污点分析机制,对路径约束条件进行简化,提高了代码覆盖率和漏洞检测的效率。
关键词:虚拟存储 容灾 文件系统 过滤驱动
基于对虚拟存储技术及其在容灾系统中应用现状的分析,设计一个适用于容灾系统的虚拟文件系统。该系统基于Windows平台,通过在Windows存储栈的层次式结构中添加过滤驱动层来实现上层文件系统与下层卷管理器的隔离。在过滤驱动层中,结合虚拟内存的映射原理和容灾系统的应用需求,实现适用于容灾系统的虚拟存储映射机制。
关键词:紧缩存储 自动机 串匹配
自动机是串匹配算法中常用的数据结构,对自动机实现紧缩存储可以节省算法空间。总结常用自动机紧缩存储方法,分析其原理、时间效率、空间效率和优缺点,给出各种方法与数据稀疏性之间的关系。运用紧缩存储方法实现基本AC算法,对随机数据和真实数据的实验结果证明该算法有效。
关键词:模型驱动架构 服务构件架构 基于构件的软件开发
研究并开发一种模型驱动的服务构件开发工具,提出相应的服务构件开发流程。该工具基于服务构件架构定义构件模型,验证模型的正确性,采用模型驱动开发技术自动生成代码框架,支持构件开发的3个关键步骤,即构件制作、构件组装和构件管理。应用结果证明,该工具能提高软件开发效率。
关键词:特征冲突过滤 特征组合 用户要求表示规范
基于用例图的冲突过滤算法是在使用用例图描述呼叫流程的基础上,利用矩阵运算进行冲突过滤。为解决原算法中矩阵合并开销大及过滤效率不高的问题,为算法增加前提条件,过滤部分不会发生冲突的业务组合,减少结论中类型不确定的组合,从而提高算法的过滤效率,并与其他改进的冲突过滤算法进行比较。
关键词:petri网 库所不变量 划分 并行性分析 并行算法
针对Petri网系统的并行控制与执行,提出Petri网系统的功能划分及其并行算法。采用库所不变量技术对Petri网系统进行功能划分,给出非负库所不变量的功能划分算法。对进程内和进程间的并行性进行分析,给出消息传递环境下Petri网并行算法及应用示例。实验结果表明,该算法能较好地体现Petri网系统的实际运行过程,是实现Petri网系统并行控制和运...
关键词:数据采集 信息采集 半结构化数据
如何在信息量巨大的互联网上准确获取并长期跟踪用户关注的内容,是数据采集和挖掘的重要方面。探讨Web数据采集理论及其应用技术,给出一个半自动采集模型,设计基于旅游业数据的采集系统,验证数据半自动采集的可行性。
关键词:路径覆盖测试 程序插桩 消息队列
分析嵌入式软件动态测试的特点及路径覆盖测试策略,设计动态测试数据采集处理框架,其中包含程序分析与插桩、测试数据采集传输、测试结果分析与处理3大子系统。以静态分析结果指导插桩,采用消息队列机制采集传输数据,并利用测试结果制作初步测试报告。通过测试实例分析模拟采集、处理一条路径数据的过程,证明该框架的可行性。
关键词:工作流 任务分配 负载平衡 经验值
针对面向角色的工作流管理系统中的任务分配问题,提出一种支持任务参与者负载平衡和经验值的任务分配策略,在角色和任务执行者之间建立联系。该策略在对任务参与者进行负载预测的基础上,综合考虑任务参与者的工作负载、对不同类型任务的完成质量和兴趣等因素,根据预测负载偏差,对任务参与者的负载进行等级划分,把任务分配给轻载集合中经验...
关键词:web 服务 代数规约 方法覆盖准则 等式覆盖准则
针对自动测试Web服务,提出基于代数规约测试Web服务的方法,包括描述Web服务的代数规约语言ASOWS。基于Web服务的代数规约,采用方法覆盖准则以及等式覆盖准则自动生成测试用例,在此基础上,设计并实现一个原型工具。结果表明该方法能够自动测试部署在Web应用服务器上的Web服务。
关键词:形式背景 概念格 增量算法 对象内涵
针对增量概念格构造过程中,节点更新和生成元判定效率较低、边更新阶段的复杂度较高等问题,提出基于最大概念的概念格增量构造算法,通过跟踪与概念格中的概念具有相同真实内涵的最大概念,简化生成元的判断过程。该算法缩小了寻找新生节点父节点时的搜索范围,避免对生成元非必要边的判断,提高构造概念格的速度。复杂度分析结果表明,该算法...
关键词:面向服务架构 生命周期 逻辑服务 物理服务
针对面向服务的动态ERP系统在开发过程中存在的逻辑服务与物理服务对齐问题,提出一种服务概念二重性的中间对齐方法,该方法包含了结构一致性和内容隶属关系的描述,在动态ERP库存管理领域中,从服务分类、服务暴露和服务实现3个方面给出该方法的一个应用实例,仿真实验结果表明,该方法能够实现候选逻辑服务向物理服务的无缝转换,完善了动态E...
关键词:多分支 跳转表 索引表 程序切片
对多分支结构编译后的各种实现模式进行研究分析,对复杂条件下典型的多分支语句实现模式进行形式化描述,在多分支结构的识别过程中,分析索引表和跳转表调用指令的格式,提出双特征指令匹配算法。通过程序切片,建立索引表和跳转表调用的表达式标准型,消除多分支语句恢复过程中编译器类型和版本差异的影响,提高了算法通用性。
关键词:数据密集 科学工作流 计算作业
针对数据密集型科学工作流需要大量的数据传送和数据存储的问题,在执行节点可用存储资源受限的情况下,构造计算作业与数据作业分离的工作流模型,设计数据与计算分离后的工作流生成算法,增加数据转送作业、数据清除作业、数据作业及其依赖关系。给出资源受限情况下数据密集工作流的预估存储调度算法,并对其进行系统评价,取得了较好的效果。
关键词:信息系统 生存性分析 模型检查
在运用Jha方法进行信息系统生存性研究时,没有分析不同攻击场景与系统节点失效之间的关联性,也未考虑系统提供多个服务情形下的生存性分析。针对上述问题,提出运用模型检查技术评价系统生存性的改进算法,建立多攻击场景、多个服务情形下系统生存性的计算模型,实例分析证明其具有较好的适用性。
关键词:数据模型驱动 自动化测试 框架
针对当前GUI程序自动化测试过程中存在的问题,设计实现一种基于RFT工具、由数据模型驱动并且支持分布式多平台网络环境的可复用软件自动化测试框架。该框架分离了测试对象、用例数据、用例逻辑和执行控制,实施该框架能够增强测试用例的可复用性,降低测试用例的维护成本,提高测试执行的自动化程度,改善软件回归测试的过程。
关键词:rfid中间件 聚合转换 kdb树 事件过滤
分析RFID中间件查询数据的特点,提出一种对查询数据聚合转换的方法,减少查询索引的存储空间和数据插入时间。分析和比较已有多维查询索引的各方面性能,将多维索引KDB-tree应用到RFID中间件中。实验结果表明,KDB树索引在存储空间成本、数据插入成本和查询时间成本3个方面的综合性能最佳,在点查询上,KDB-tree只须单路径遍历索引树,数据查询...
关键词:元数据 重复记录检测 相似度
对联邦数字图书馆中重复元数据记录进行检测和管理,是保证元数据质量、提高联邦检索服务质量的关键。针对现有联邦数字图书馆中重复记录检测方法计算集中、准确度不高等缺点,提出一种快速高效的相似重复元数据记录检测方法,该方法基于改进的N-Gram方法,适合较大规模联邦数字图书馆。模拟实验结果表明,该方法能有效提高重复检测的性能,加快...
关键词:反编译 识别 库函数 基本块
分析一般函数在反汇编后的结构特征,提出一种基于基本块划分的函数识别技术,将其用于库函数快速识别的设计中。针对库函数识别中的重定位及级联识别等问题,给出解决方案,阐述建立、读取库函数特征数据库的实现方法以及库函数识别算法。实验结果证实,该技术可以准确地识别库函数。
关键词:网络控制系统 传输误差 调度
提出一种基于网络传输误差的控制系统调度方法,分析经典的静态和动态调度策略,给出通信网络的可调度性判据和网络调度下的控制性能稳定性约束。针对不可调度情况,使用网络监测得到网络传输误差,调整传感器的采样周期和在控制器进行数据包补偿的方法,并通过仿真实验验证该方法的有效性。
关键词:移动自组织网络 区分服务 马尔科夫链模型 性能分析
针对无线Ad Hoc网络不能区分数据流优先级的问题,提出一种基于802.11DCF退避算法的改进机制,该机制通过减少高优先级数据流的MAC层重传次数,使发送高优先级数据流(如实时数据流)的节点更容易连接信道,高优先级数据流占有更多带宽资源,从而减少传输时延。分析结果表明,该算法能有效提高高优先级数据流的传输性能。
关键词:leach协议 低能耗 传感器耗能
针对无线传感器网络能量有限的问题,从稳定性的角度出发,提出LEACH协议的低功耗改进方案。借助NS-2仿真对比改进前后协议的运行结果,讨论传感器能耗对协议低功耗改进的影响。仿真结果表明,协议改进后网络生存期和传输数据量分别增加了45.87%和35.16%,变异系数(CV值)得到改善,但当传感器耗能占节点总能量的60%时,协议的改进没有效果。
关键词:扩展三层建模机制 航空电信网 网络测量
介绍当前主流网络仿真建模工具的建模机制,指出该机制在复杂网络条件下建模的不足。提出扩展三层建模机制,基于OPNET网络仿真工具搭建航空电信网仿真平台,在此基础上对网络服务质量进行分析并基于网络测量技术计算网络可靠度。结果表明,该机制对复杂网络的建模是有效的。
关键词:无线传感器网络 点覆盖轮换调度算法 轨迹
分析传感器节点的随机部署方式,提出一种基于节点抛撒轨迹的点覆盖轮换调度算法(NCRS)。根据预置的监测目标点位置和节点抛撒轨迹,节点协商各自的工作角色(监测或中继)。各监测节点建立由未被使用的中继节点构成的路由,实现对监测目标点的多重覆盖。仿真计算结果表明,NCRS能有效提高监测目标点的覆盖度,增加工作传感器的总比例,延长传...
关键词:无线传感器网络 节点定位 变尺度法
针对传统最小二乘法定位精度的不足,将工程控制优化中常用的变尺度法(DFP算法)应用到无线传感器网络定位问题中。该算法避免了计算二阶导数矩阵及其求逆计算,特别是对高维问题具有一定的优越性,从而实现对节点定位的优化计算。仿真实验结果表明,该算法能有效提高节点定位精度。
关键词:ad hoc网络 分簇算法 传输功率 稳定性
Ad Hoc网络中无线节点无规律的移动使网络的路由选择、QoS保障等问题面临新的难题。分层结构在Ad Hoc网络中被广泛应用以减少路由开销,满足网络规模扩充的需要。由此提出一种基于传输功率的分簇算法,通过模拟实验对该分簇算法与其他3种分簇算法进行重入簇和统治集更新方面的性能比较,证明该方法有效提高了簇结构的稳定性。
关键词:chord模型 路由表 异构性
P2P网络中逻辑网络与底层物理网络拓扑不匹配以及路由表冗余问题导致路由效率低下,节点的异构性产生节点瓶颈。针对上述问题,在Chord的基础上利用节点的位置信息提出一种基于位置的层次式模型ALHChord。模拟实验表明,该模型可以有效提高路由效率,解决节点异构性问题,减少整个系统的维护开销。
关键词:无线传感器网络 非均匀分簇 路由算法
针对现有无线传感器网络(WSN)分层分簇路由算法存在的能耗不均衡问题,提出一种能耗均衡的WSN非均匀分簇路由算法。该算法通过在已划分的非均匀区域中构建中间层达到均衡簇首和其他节点能耗的目的,实现WSN整体能耗均衡。实验结果表明,该算法能均衡WSN能耗负载,提高WSN的能量效率,延长100轮~200轮WSN生命周期。
关键词:移动自组网 网络安全 入侵检测
移动自组网具有传统计算机网络及无线通信网络两方面的复杂性。提出移动自组网中基于任务分配的网络入侵检测方案,并描述各主要功能模块的实现,通过模拟实验对方案进行验证。实验结果显示,该方案除了能基本实现传统移动自组网络IDS的功能之外,还能有效节约网络系统的资源,提高网络移动节点的可用性。
关键词:视频水印 小波域 边信息 抖动调制
利用帧内和帧间的边信息,提出一种含边信息的小波域视频水印算法。该算法以抖动调制为基础,以视频帧的运动特征和纹理特征作为边信息,自适应地确定抖动调制的量化步长。实验结果表明,该算法实现了视频水印的盲检测,具有良好的不可见性,对高斯噪声、帧平均、帧删除、帧置换等攻击具有较好的鲁棒性。