计算机工程杂志，月刊，本刊重视学术导向，坚持科学性、学术性、先进性、创新性,刊载内容涉及的栏目：特邀论文、专栏、专题、先进计算与数据处理等。于1975年经新闻总署批准的正规刊物。
- 主管单位：中国电子科技集团公司
- 审稿周期：1-3个月
- 周期：月刊
- 主办单位：华东计算技术研究所;上海市计...
- 创刊：1975年
- 出版地区：上海
- 国际刊号：1000-3428
- 语言：中文
- 国内刊号：31-1289/TP
- 类别：信息科技
- 起订时间：
- 全年订价：¥640.00
- 现用名：计算机工程
- 邮编：201808
北大期刊(中国人文社会科学期刊)CSCD 中国科学引文数据库来源期刊(含扩展版)统计源期刊(中国科技论文优秀期刊)知网收录(中)维普收录(中)万方收录(中)CA 化学文摘(美)JST 日本科学技术振兴机构数据库(日)Pж(AJ) 文摘杂志(俄)哥白尼索引(波兰)国家图书馆馆藏上海图书馆馆藏文摘杂志
特邀论文专栏专题先进计算与数据处理体系结构与软件技术移动互联与通信技术安全技术人工智能及识别技术图形图像处理多媒体技术及应用开发研究与工程应用等
-
基于Bit承诺的合同网模型
关键词：合同网 bit承诺 agent安全 rsa算法
在分析现有合同网模型的基础上，针对合同网协商过程中的安全问题，利用Bit承诺协议和RSA算法，给出一个具有安全性的合同网协商模型，保证Agent之间信息的安全传输，防止协作Agent反悔、拒绝履行承诺。该协商模型满足不可否认性和强可验证性，投标价格保密安全，技术简单，通信量小。
-
基于小波估计和直方图特征的LSB匹配分析
关键词：隐写分析 lsb匹配 图像恢复
针对隐写分析中的难点——空域LSB匹配隐写进行检测和分析，描述LSB匹配加性隐写的特点，将匹配隐写建模为图像受到一定强度的脉冲噪声干扰，采用小波变换对退化的图像进行恢复作为载体的估计。对检测图像和恢复图像提取多个直方图特征比值作为特征向量，利用支持向量机对500幅高质量未压缩的自然图像组成的载体、载密图像库进行检测，结果证明...
-
实时数据组播调度动态带宽分配方案
关键词：组播调度 数据分发 带宽分配
针对多通道组播调度中数据分配不均带来的带宽浪费问题，提出3种动态带宽分配方案。根据数据项平均长度或数量改变分配优先级，对不同方案进行性能分析。实验表明，动态分配比静态分配最多可提高43％的带宽利用率，其中平均数据项长度最短优先分配最好。
-
面向人机工程学测试的虚拟手仿真模型
关键词：虚拟现实 虚拟手 碰撞检测 数据手套 人机工程学
以人机工程学测试为目标提出虚拟手仿真模型，建立虚拟手运动学模型。提出一种曲线拟合的校准方法，以获取精确的数据，更好地控制虚拟手的运动。建立弹簧模型计算手与被抓取物体之间的受力，以视觉渲染的形式将其反馈给用户。实验结果表明，虚拟手可自然地抓取三维虚拟物体，视觉反馈的使用可免于购买昂贵的力反馈设备。
-
分布式多主题网络爬虫系统的研究与实现
关键词：网络爬虫 多主题 分布式
提出一种基于数据抽取器的分布式爬虫架构。该架构采用基于分类标注的多主题策略，解决同一爬虫系统内多主题自适应兼容的问题。介绍二级加权任务分割算法，解决基于目标导向、负载均衡的URL分配问题，增强系统可扩展性。给出基于Trie树的URL存储策略的改进方法，可以高效地支持URL查询、插入和重复性检测。
-
RDF（S）三元组的推理控制算法
关键词：资源描述框架 访问控制 推理控制
为实现资源描述框架（RDF）数据的访问控制，提出一种RDF（S）三元组的推理控制算法，通过计算推理依赖图得到三元组的逻辑表达式，对敏感三元组的逻辑表达式求析取范式进而得到推理控制问题的候选解和最优解。实验表明，该算法能够有效地阻止非法推理，合理控制语义信息的丢失。
-
畜禽养殖环境智能终端的设计与实现
关键词：环境测控 智能终端 模糊控制
开发基于无线传输的智能环境调控系统，整个系统由上位机、测控终端及外设等组成。测控终端由MSP430F149、无线传输模块及诸检测模块等组成，是测控系统的核心。为解决养殖环境非线性、测量参数滞后等问题，采用模糊控制算法，通过模拟人的思维方法并借鉴人工操作经验实现畜禽养殖环境的智能控制。
-
改进的形态学骨架提取算法
关键词：最大圆盘 数学形态学 骨架提取 中轴
针对由传统最大圆盘骨架提取算法提取出的骨架连通性差且无法保持一致的单像素宽度问题，提出一种改进的形态学骨架提取算法。将连通性保持与形态学运算相结合，在收缩目标提取骨架的过程中通过引入虚拟骨架点实现骨架曲线连通性保持，而单像素宽度细化及伪分支剔除等后处理过程的引入则进一步提高骨架描述目标形状及拓扑特征的能力。相关仿真研...
-
基于Web服务的客户关系管理系统
关键词：web服务 服务发现 服务组合 客户关系管理系统
在客户关系管理（CRM）系统中引入Web服务的概念，提出一个基于Web服务的客户关系管理系统的框架，有效解决传统CRM系统异构兼容性不足、服务器负担重等问题，以一个实例阐述基于Web服务的客户关系管理系统的运作方式。总结基于Web服务的客户关系管理系统相对于传统CRM系统的特点。
-
基于Java的SNMP网络管理系统
关键词：网络管理 系统模型 java技术 web服务
将Web服务技术应用于网络管理中，提出一个通用的分布式与集中式相结合的网络管理系统模型。在实现其基本功能的同时运；用Java技术建立并部署应用程序，采用封装技术提高系统的扩展性和灵活性。基于用户界面层、中间层和存储层的3层体系结构，设计并实现该网络管理系统。
-
基于SCA的遗留系统移植研究与实现
关键词：面向服务架构 遗留系统 服务组件框架
针对传统遗留系统在面向服务计算移植过程中存在的重复性和多样性问题，提出一种基于服务组件框架（SCA）的遗留系统移植方案，将遗留系统移植到SCA组件系统中，通过python扩展生成器生成可以被该脚本调用的模块，在硬件平台上进行模拟，实验结果表明，该方案是可行的，能够避免因面向服务实现形式的差异而造成的重复移植。
-
基于文本挖掘的话题发现技术
关键词：话题发现与跟踪 层次聚类 文本挖掘 动态阈值
在分析灾害新闻特点的基础上，提出一种基于文本挖掘的话题发现技术，采用基于平均分组的层次聚类算法，对灾害新闻资料进行组织，从而生成新闻专题，为用户提供个性化服务，并形成专题检测系统，同时介绍基于时间和地点权值向量的相似度计算模型以及基于时间的动态阈值模型。实验结果表明，该算法能够获得较好的性能。
-
基于面向对象程序的类动态更新研究
关键词：动态更新事务 类 面向对象
从理论和实际2个方面出发，对面向对象程序动态更新的不同侧面进行研究，提出解决面向对象程序动态更新的方法。引入动态更新事务的概念，既克服了面向对象程序更新只能对类实行一些简单更新的限制，又保证了更新的类型安全性。对于Java程序设计，提出一种可动态更新程序的Java设计方法。实验结果表明，该方法是有效可行的。
-
基于SHOIN（D）的UML类图形式化方法
关键词：uml类图 描述逻辑 形式化
UML模型一致性自动检测的主要任务是解决形式化问题。描述逻辑是一阶谓词逻辑的可判定子集，具备强大的知识表示和推理功能。针对UML模型形式化问题，提出基于描述逻辑的形式化方法，分析UML类图各模型元素与描述逻辑SHOIN（D）的对应关系，提出UML类图的SHOIN（D）形式化方法，给出UML类图转换为SHOIN（D）知识库的正确性证明。
-
数据流查询计划的并行迁移策略
关键词：数据流 查询计划 并行迁移策略
数据流中的查询计划需要不断进行适应性优化，针对该特征提出一种查询计划的并行迁移策略。该策略能确保在输出过程中不丢。失元组或产生冗余元组，维持正确的元组输出时序。实验结果证明，该策略可以使查询计划平滑过渡，避免迁移过程出现无元组输出的空自期，在系统资源紧张和数据流流速过大时，维持较少的中间元组数和较大输出速率。
-
基于P2P的自适应分布式k最近邻搜索算法
关键词：k最近邻搜索算法 度量空间 相似性查询
k最近邻搜索算法无法满足数据挖掘的分布性、实时性和可扩展性要求，针对该问题提出基于P2P的自适应分布式k最近邻搜索算法[0]（P2PAKNNs）。闸述GHT＊结构，定义高维数据相似度函数HDSF（X,Y），论述GHT。中的插入算法、范围查找算法和搜索算法。给出P2PAKNNs的实现过程，通过实验证明典正确性。
-
XML数据类型验证算法的改进
关键词：树自动机 xml schema模式 类型 验证
介绍几种XML Schema类型验证算法，并对其中基于树自动机的算法进行研究，针对它在验证嵌套复杂类型XML文档过程中存在的问题，提出一种改进算法，为每个终结符增设一个处理状态标志，从而对以XML文档表示的数据类型进行验证。通过实验测试其性能，结果表明该算法是有效的。
-
基于Log似然比的特征选择算法
关键词：文本分类 向量空间模型 特征选择
针对基于向量空间模型文本分类系统中特征选择算法存在的问题，提出一种基于Log似然比的特征选择算法，引进Log似然比统计量，在考虑稀有事件对分类结果产生正面影响的同时，较好地控制其对分类产生的负面影响。采用KNN分类方法，将Log似然比特征选择算法与典型特征算法进行比较，实验结果表明，该算法能够获得良好的性能。
-
基于贝努利大数定律的数据分布算法
关键词：分布式存储 数据分布 自适应
数据量的快速增长，使得研究能够自动适应存储节点动态变化的数据分布方法成为分布式文件系统领域的难点和热点。基于贝努利大数定律提出一种自适应存储节点规模动态变化的数据分布算法，通过理论分析和实验证明，该算法能够实现在节点规模动态变化过程中数据分布的均衡性，并能保证迁移的数据量从统计意义上最优。
-
关联规则的快速更新算法
关键词：最大频繁项集 数据挖掘 更新 频繁模式树
针对基于支持度变化的最大频繁项集维护问题、频繁项集与最大频繁项集互转换时的维护问题，提出3种相应算法。在挖掘最大频繁项集的过程中不断调节支持度大小，以实现其快速更新。基于最大频繁项集子集的支持计数，将现有最大频繁项集转换为频繁项集。
-
基于CEGAR偏序化简的并行程序死锁检测
关键词：模型检测 cegar算法 偏序化简
针对并发程序的模型检测存在大量的冗余交互和严重的状态空间爆炸问题，提出以迁移标记系统为建模语言计算Persistent Set并完成偏序化简的算法。将算法和CEGAR算法结合起来，实现对并发C程序的并行死锁检测。结果证明该算法在减缓状态空间爆炸和模型验证的效率方面较以往的算法有所提高。
-
设计模式在民航信息平台中的应用
关键词：面向服务体系结构 设计模式 面向服务设计 服务接口模式 服务网关模式
为了在面向服务设计中有效提高系统的灵活性、敏捷性，以民航综合信息平台为背景，使用设计模式构建面向服务的应用系统。针对民航综合信息平台的核心服务设计，提出服务接口和服务网关2种面向服务的设计模式，将其实现在应用系统中，以验证设计模式在面向服务系统设计中的有效性。
-
基于JSON和IoC的AJAX-RMI插件
关键词：异步javascript和xml技术 json序列化 动态存根生成 同构对象
异步JavaScript和XML（AJAX）客户端的JavaScript与服务组件之间的通信存在较大阻抗，AJAX服务构件难以与现有MVC框架进行无侵略集成。基于结构化XML的数据交换体系占用系统资源和传输带宽较大，其结构不能有效适配客户和服务器系统。针对上述问题设计基于JSON数据交换、能与目前主流MVC框架进行无缝集成的AJAx远程方法调用插件MyAJAX，结合控制...
-
基于本体与工作流的知识服务系统
关键词：工作流 知识管理 知识服务 本体
研究并实现一个基于本体和工作流技术的知识服务平台WFBK-Service，将业务过程控制与知识管理过程相集成，结合工作流技术对工作项进行解析，提出相应的领域本体分析、知识服务策略、知识推送等技术，根据工作项本身的信息提供知识服务，以便企业员工在执行工作任务时能得到与其工作相关的知识。
-
基于单元的孤立点检测算法改进及应用
关键词：数据挖掘 孤立点检测 单元 纳税行为
研究基于单元的孤立点检测算法，给出数据空间的单元格划分及数据对象分配算法。针对该算法中阈值M设置的不足，对算法进行改进并应用于纳税行为的分析。与其他孤立点检测算法对比的结果表明，该算法不仅能有效挖掘纳税行为中的孤立点，还能确定孤立点的位置，有利于对纳税行为的分析。
-
基于Voronoi图的反向最近邻查询
关键词：反向最近邻 voronoi图 凸包
为了解决反向最近邻查询问题，利用Voronoi图及数据集中点的凸包进行反向最近邻查询，通过判断查询点与凸包的位置关系，可去除大量的数据点，并且给出在数据点被加入或删除后，对查询点的反向最近邻变化情况的判断方法与算法。为了便于查询，设计相应的空间存储数据结构。比较分析表明，该方法在处理多个查询点的反向最近邻时有一定的优势。
-
基于本体的概念语义相似度度量
关键词：本体 语义相似度 信息量
针对概念语义相似度度量问题，提出结合基于图理论和信息量2种方法的语义相似度度量算法。计算2个概念在概念图中连接的路径长度、局部密度以及在连接2个概念之间的路径上连接关系的连接力度，结合连结路径权重和信息量来度量概念之间的语义相似度。实验结果表明，该算法能取得较好的度量效果。
-
会话流中Top-k闭序列模式的挖掘
关键词：加权调和平均数 调节因子
在会话流中挖掘Top—k闭序列模式，存在因相关比率P的大小而导致的内存消耗和挖掘精度之间的冲突。基于False—Negative方法，提出Tstream算法，制定2种约束策略限制ρ。基于该策略设计加权调和计数函数，渐进计算每个模式的支持度。实验结果证明了该算法的有效性。
-
基于能力感知的人机任务调度算法
关键词：人机交互 调度算法 能力感知
传统人机任务调度算法由于通过率较低等原因，会造成任务迟滞和系统效率低下。基于能力感知机制，提出一种新型的人机交互式任务调度算法。从操作序列和基本I／O中发现并抽取操作员情绪等信息，根据操作员的处理能力、兴趣及任务的特征进行调度，采用推荐方法、管理任务。实验结果表明，该算法具有较高的通过率、响应率和用户满意度。
-
基于模型驱动的ETL模型映射方法
关键词：逻辑模型 概念模型 数据集成
针对AP模型的特点，给出元模型中对象的形式化定义，优化模型映射算法，提出一种基于模型驱动、从概念模型到逻辑模型的映射方法。改进后的算法能够映射基于数据抽取-加载-转换（ETL）工作流的单源数据或多源数据，并发执行各状态节点，提高了执行的效率。实验结果表明，该方法为模型驱动式ETL设计及数据集成中快速实现ETL奠定了良好基础。
-
MELOF算法的理论分析与拓展
关键词：数据挖掘 异常检测 局部异常因子 记忆效应 melof算法
介绍LOF算法、记忆效应以及MELOF算法，对记忆效应进行理论证明，验证MELOF算法的正确性，同时分析该算法的不足和记忆效应的一些特性。针对MELOF算法中的不足进行改进，介绍未来的研究方向，即参数自动选择和利用分而治之思想提高运行效率等。
-
无环XML文档的研究
关键词：规范化 二义性
无环数据库有许多优良特性，因此，无环成为判断数据库模式优劣的重要特性。针对以上情况，以关系数据库中无γ环数据库模式为参考，给出XML文档中无XML—γ环的相关定义、表示、特征及无XML-γ环的XML数据模式的设计方法，理论分析证明，所设计的规则是有效的。
-
基于流水线技术的虚拟仪器运行性能提升
关键词：虚拟仪器 流水线 吞吐率 延迟
虚拟仪器的软件系统串行处理结构适合采用流水线技术来提升运行性能。根据该特性，研究连续采样的虚拟仪器系统的工作过程，以及自适应流水线的吞吐率与延迟2个性能指标，结合实例测试运行性能。结果显示，流水线技术能在不增大延迟的情况下，大幅提高连续采样的虚拟仪器软件系统的吞吐率。
-
短波信道平方根卡尔曼自适应均衡算法研究
关键词：短波突发通信 自适应均衡 平方根卡尔曼算法
针对短波突发通信的特点，基于判决反馈均衡器，研究平方根卡尔曼自适应均衡算法。该算法的参数选取对均衡的收敛速率和信道的衰落速率敏感，探究一种改进的平方根卡尔曼算法，运用Matlab工具对2种算法的性能进行仿真比较。仿真结果表明，在短波信道下，改进算法克服了原算法的缺点，具有很好的稳定性，并且不会牺牲收敛速率，其性能优于平方根...
-
无线传感器网络MAC协议的研究与分析
关键词：无线传感器网络 介质访问控制协议 设计策略
针对不同的传感器网络应用，研究人员从不同方面提出多个无线传感器网络介质访问控制（MAC）协议，其中包括S-MAC，PMAC，DEANA，EMACs，Z—MAC以及AIMRP等协议。通过分析各类MAC典型协议特点，归纳其设计原则和分类方法，比较各协议间的性能差异，结果证明无线传感器网络MAC协议呈现多样性的特点，设计MAC协议需要兼顾能量效能和网络性能2个方...
-
WSN中一种改进的TopDisc分簇算法
关键词：无线传感器网络 拓扑控制 分簇
针对拓扑发现（TopDisc）算法构建的网络灵活性不强、重复执行算法的开销过大和没有考虑节点的剩余能量等缺点，对原算法进行分析与改进，并用OPNET网络仿真工具进行模拟仿真与性能分析。仿真结果证明，改进的TopDisc算法在节能性与稳定性等方面比原有算法有较大的提高。
-
无线传感器网络中能量均衡路由算法及实现
关键词：无线传感器网络 能量均衡 地理区域划分 路由
提出并实现一种基于地理区域划分的多基站局部移动的能量均衡路由算法（RPEB）。该算法基于多基站区域划分方法实现节点的“伪非均匀”分布，即在密度相等的条件下，越靠近基站，节点数量越多，从而达到能量均衡的目的，避免节点密度高所导致的冲突。在Micaz节点搭建的实验平台上实现RPEB算法，实验结果表明，该算法有效延长了网络生命周期，提...
-
WSN软实时系统的DVS控制优化算法
关键词：无线传感器网络 软实时系统 动态电压调节 线性规划
为降低无线传感器网络（WSN）软实时系统中的能量消耗，建立能量消耗数学模型，引入离散事件系统框架中的优化控制问题使目标函数最小化，采用线性规划方法求解，得到一种可扩展的低复杂度算法，并对该算法进行优化。数值结果表明，应用优化算法对WSN节点进行动态电压调节，能在满足时限要求的基础上更大程度地节省节点能量。
-
一种节能的无线传感器网络分簇时间同步算法
关键词：无线传感器网络 时间同步 分簇
提出一种节能的无线传感器网络分簇时间同步算法（CBTS）。利用高性能的晶体振荡器稳定性原理，通过高性能簇头组成簇状拓扑结构实现时间同步，取得延长簇的同步更新周期和减少簇内节点双向同步交换数据包次数成效。实验结果表明，CBTS算法与TPSN算法相比，在精度一定条件下，能有效降低整个网络的能耗。
-
基于层次管理的按需路由协议研究
关键词：自组网 动态源路由协议 中心节点 树型拓扑
动态源路由（DSR）协议能较好适用中小型对等自组网络环境，但在非对等网络环境中面临一定应用局限。针对该问题，分析DSR协议的特点和存在问题，结合非对等环境和层次路由思想，提出新的协议CDSR，对CDSR路由协议进行性能评估。仿真结果表明，该协议具有较好的执行效能，可提升网络性能。
