计算机工程杂志是由中国电子科技集团公司主管，华东计算技术研究所;上海市计算机学会主办的一本北大期刊。
计算机工程杂志创刊于1975，发行周期为月刊，杂志类别为计算机类。
杂志介绍
计算机工程杂志
-
主管单位：中国电子科技集团公司
-
主办单位：华东计算技术研究所;上海市计算机学会
-
国际刊号：1000-3428
-
国内刊号：31-1289/TP
-
发行周期：月刊
-
全年订价：￥640.00
杂志介绍
计算机工程杂志是由中国电子科技集团公司主管，华东计算技术研究所;上海市计算机学会主办的一本北大期刊。
计算机工程杂志创刊于1975，发行周期为月刊，杂志类别为计算机类。
主管单位：中国电子科技集团公司
主办单位：华东计算技术研究所;上海市计算机学会
国际刊号：1000-3428
国内刊号：31-1289/TP
发行周期：月刊
全年订价：￥640.00
关键词: 域间通信 双环形缓冲区 共享内存 授权表
I/O密集型虚拟机需要频繁地进行域间通信,为解决现有虚拟机域间通信效率低、延迟大的问题,提出一种基于双环形缓冲区的用户域与驱动域域间通信优化方法。在用户域中建立与驱动域共享的双环形缓冲区,由虚拟机监控器依据I/O任务表对驱动域的访问权限进行控制,减少处理器模式切换和内存映射开销。实验结果表明,与原虚拟机域间通信机制相比,使用该优...
关键词: 云计算 存储安全 非可信云服务提供商 差分方程 秘密共享
针对非可信云计算服务提供商窃取用户隐私数据的问题,以齐次常系数线性差分方程为工具,将秘密共享技术应用到云计算环境中,提出一种新的(m+1,t+1)门限秘密共享方案。通过对用户隐私数据的解密密钥进行管理,利用齐次常系数线性差分方程为用户与云服务提供商分别分配特殊秘密份额与普通秘密份额,在没有用户参与的情况下,云服务提供商不能恢复用户...
关键词: gibbs采样 分布估计 重采样 移动云 数据存储
为提高移动云数据存储远程服务器的计算和存储能力,提出一种改进的移动云数据存储算法。利用表决数据分配和表决数据处理框架,构建考虑节点失效概率的重采样期望传播时间计算模型,并建立整合能源效率和容错性的表决动态网络。采用概率分布估计对动态网络模型进行存储路径优化,应用Gibbs采样解决分布估计的样本数据高维耦合和无监督训练问题。实...
关键词: 复杂事件处理 云计算 仪器控制 测量 数据流处理 物联网 商业过程管理
复杂事件处理(CEP)是一种针对实时事件流进行检测、处理、分析和挖掘的有效手段。对CEP的核心概念、基本构成要素等进行介绍。梳理CEP技术的主要应用,包括物联网、云计算、网格计算、商业过程管理及计算金融等领域。基于上述应用,阐述基于云计算的分布式并行CEP技术。通过分析流处理系统的需求,指出基于云计算的CEP技术是未来CEP系统发展的一个...
关键词: 虚拟机放置 数据中心 数据密集型结构 数据传输时间 数据节点 虚拟机
在数据密集型结构的数据中心平台中,数据的传输时间是影响整体任务完成时间的重要因素。优秀的虚拟机放置优化方法所需数据传输时间较少,可缩短整体任务完成时间。为此,构建虚拟机放置的优化模型,实现数据传输时间的最小化。证明该模型是一个NP-Complete问题,并设计启发式算法对其进行求解。实验结果表明,该方法能合理优化虚拟机放置位置,有效减...
关键词: 云存储 安全去重 公开验证 完整性验证 隐私保护 数据安全
针对云存储中的数据安全问题,提出一种支持安全去重与公开验证的数据完整性验证方法。该方法结合所有权证明和可恢复性证明的优点,利用数据分块、随机抽样和动态系数策略,实现用户端安全去重和数据完整性验证。通过引入双线性对和纠删编码,用户可以无限次检测数据是否完好无损,并对损坏的数据进行修复。引入随机掩码技术,能够有效隐藏用户数据信...
关键词: 实时计算 拓扑结构热边 调度算法 负载均衡 网络通信
Storm分布式实时计算系统采用轮询调度算法达到任务均衡分配的目的,但Storm默认调度算法未考虑计算节点间的网络通信开销,可能造成topology处理时延高、集群吞吐量低等问题。为此,引入Storm topology热边的概念,通过减少网络传输的tuple数量,将热边关联的源executor和目标executor调度到同一工作节点执行,提升Storm集群的计算性能。实验结果表明...
关键词: 几何拓扑学 遥感卫星 对地覆盖法 网格点法 图形边点集合
在遥感卫星对地覆盖方法中应用网格点法时,当目标分析区域大且精度要求高时存在时空复杂度高和计算效率低的问题。为此,基于几何拓扑学提出一种新的遥感卫星对地覆盖方法。将卫星每次过境轨迹和目标分析区域都理解为几何图形,对其做交集运算求得覆盖区域,并对每次过境区域图形做并集运算求得总覆盖区域,再分析其他覆盖特性。在运算过程中仅使用...
关键词: 接收机自主完好性监测 多假设解分离 完好性风险 连续性风险 垂直保护门限
为降低飞行器精密垂直引导进近过程中的完好性风险和连续性风险,使接收机自主完好性监测(RAIM)算法能提供水平方向和垂直方向上的完好性保障,提出一种基于多假设解分离的RAIM算法来求解最优垂直保护门限(VPL)。在满足全球导航卫星系统(GNSS)完好性和连续性的前提下,优化GNSS系统对各假设故障模式的完好性风险和连续性风险分配,得到最优VPL。仿真...
关键词: 流媒体边缘云 资源调度 会话迁移 流行度分布 动态阈值分配 迁移代价
云模式下的流媒体服务系统需要有效与平滑的资源调度。传统的last-minute迁移大多只将负载信息用于迁移策略计算,但当流行度动态波动时,间接且单一的方法无法做出准确的策略调整。为此,将流行度分布应用于迁移模型中,提出一种基于动态阈值分配的会话迁移策略,依据流行度分布,确定每台服务器上各类视频的会话分配阈值,通过分配阈值的指导性避免请...
关键词: 浮点运算 数学函数 申威26010处理器 数据分段 指令调度
Intel,AMD和IBM都具有针对自身特点的向量扩展库。相比于传统的标量计算,向量化技术带来的加速比较高。为此,针对申威26010处理器开发向量数学库软件。在分析函数常用级数法和迭代法算法的基础上,结合三角函数、反三角函数、指数函数和对数函数研究一种高效向量化算法,并对其进行实现与优化,使其支持函数高精度和高性能计算,并且满足浮点运算的...
关键词: 声学多普勒流速剖面仪 现场可编程门阵列 信号处理 硬件加速 复数运算
针对声学多普勒流速剖面仪的高速信号采集和处理对运算实时性与易升级的需求,提出一种基于现场可编程门阵列(FPGA)的软硬件协同设计方法。阐述声学多普勒剖面仪的测流原理,选择FPGA作为单一的信号处理器,使用Verilog HDL语言描述易于用硬件实现的模块,如同步采集、低通滤波及复数相关运算等计算量大的模块。采用FPGA内部的MicroBlaze软核作为系...
关键词: 嵌入式设备 同源性分析 固件 漏洞 第三方库
嵌入式设备的制造过程研产分离,导致不同的固件可能包含相同的第三方库,进而相同设备的不同版本甚至是不同设备的固件中都存在大量相同的已公开漏洞。针对该问题,基于第三方库同源性分析提出一种嵌入式设备固件漏洞检测方法,为固件漏洞修复提供参考,减少不必要的重复分析。通过对固件分类,并采用二进制差量分析、字符串常量匹配、模糊哈希3种方...
关键词: 操作系统 存储保护 进程代数 pat工具 形式化验证
传统汽车标准存储模块的安全性较低,汽车电子操作系统在访问存储模块时会出现访问越界和数据冲突等问题。为此,提出一种操作系统的存储保护机制。运用进程代数给出满足存储保护机制的形式化验证框架,从逻辑上讨论AUTOSAR存储保护机制的重要性,使用进程代数方法对该机制建立形式化模型,并根据AUTOSAR规范,抽取无死锁性、安全性、活性等性质,运用...
关键词: 多核 实时调度 周期 同步机制 数据结构
传统实时任务对共享数据的访问通常采用锁机制,该机制可能会引起死锁、优先级翻转以及CPU饥饿的现象。如果应用在混合关键系统中,可能会导致关键级别翻转。针对上述问题,提出一种跳表与布隆过滤器相结合的同步方法。该方法将混合关键任务的优先级调度队列采用跳表数据结构存储,实现该数据结构的无锁算法,并通过基于锁机制的布隆过滤器判断其是否...
关键词: 嵌入式系统 电子地图 快速输出算法 冗余数据过滤 mapinfo系统
针对嵌入式系统处理器速度慢和存储空间受限的情况,通过对MapInfo地图数据的分析及数据格式的设计,提出一种基于Cohen-Sutherland算法的电子地图快速输出算法,结合过滤冗余数据并应用优化策略加快地图显示的速度。在VxWorks操作系统下设计并实现嵌入式电子地图绘制程序,应用结果表明,该算法程序运行流畅,地图显示速度快并且轮廓清晰,可满足嵌入...
关键词: web服务 服务组合 统一建模语言模型 过程模型 服务发现 服务匹配
在现有服务发现方法中,单一考虑原子服务或服务组合的方式难以满足用户日益增长的需求。针对该问题,设计一个基于模型转换的Web服务匹配框架。在服务发现过程中综合考虑组合Web服务的执行过程信息和服务质量需求信息,为Web服务组合的匹配设计完整的过程:将UML模型转换为过程模型,再将过程模型转换为过程图,最后计算2个Web服务组合的相似度。实验...
关键词: 突发集中性访问 流行度预测 周期性 置换优先级 命中率
随着计算机系统对突发集中性问题访问规模的不断扩大,传统的最近最少使用(LRU)、最近最不常使用(LFU)等缓存替换算法已经难以满足高命中率、低延迟的要求。为此,针对数据突发集中性访问模式的特点,基于该模式对数据内容流行度变化趋势的影响,设计一种突发集中性访问模式的策略。该策略根据缓存的访问次数、访问时间、流行度预测等缓存信息,周期...
关键词: 卷积神经网络 现场可编程门阵列 加速器 流水线 并行化
现有软件实现方案难以满足卷积神经网络对运算性能与功耗的要求。为此,设计一种基于现场可编程门阵列(FPGA)的卷积神经网络加速器。在粗粒度并行层面对卷积运算单元进行并行化加速,并使用流水线实现完整单层运算过程,使单个时钟周期能够完成20次乘累加,从而提升运算效率。针对MNIST手写数字字符识别的实验结果表明,在75 MHz的工作频率下,该加速...
关键词: 贝叶斯分类器 贝叶斯网络 循环滑动窗口 数据集
Web服务器缓存能在一定程度上减少网络拥塞现象和用户的访问延迟,减轻服务器负载。然而Web缓存的缓存命中率和字节命中率较低,并不能很好地起到加速网络请求响应的效果。为此,研究监督学习方法,使用树扩展朴素贝叶斯分类器对Web日志数据进行分类,进而预测可能会再次访问到的Web对象,并结合最近最少使用(LRU)算法,提出一种新的缓存策略。实验结果...
关键词: 网络模拟 流量约简 模拟性能 模拟真实性 吞吐量
在大规模网络模拟中,由于网络流量较大导致网络模拟的性能大幅度降低。针对该问题,提出一种对网络端点流量进行缩减的网络模拟方法。该方法通过对原始网络模拟场景中的网络流量、路由器队列长度等网络模拟动态参数进行协同约简,降低模拟的计算开销,通过对约简后的网络模拟结果进行拓展,还原出原始网络模拟场景的真实结果。实验结果表明,流量约简...
关键词: 媒体访问控制 可靠性 非饱和态 马尔科夫链 数据传输
为提高802.15.4网络媒体接入控制(MAC)层数据传输可靠性,提出一种基于非饱和态的节点工作过程的Markov链模型,对节点状态的稳态概率进行推导计算。研究影响数据包在MAC层传送可靠性的两个因素,即节点访问信道不成功和最大重传次数限制,并推导出可靠性性能的分析式。分析参数minBE,NB,λ以及两个因素对可靠性的影响。实验结果表明,与没有休眠机制...
关键词: 家居网络 控制器局域网 蓝牙网络 低辐射 网络覆盖
目前家居网络大多基于WiFi和ZigBee等进行无线覆盖,但由于家庭无线路由器的配置不同,网络可能覆盖不均匀,并且过多的无线网络设备会导致辐射能量过高。为此,提出一个基于控制器局域网(CAN)和蓝牙网络的智能家居协同网络架构,并进行原型系统实现。该架构包括家庭骨干网络和末端网络,网络骨干部分利用CAN搭建,末端网络通过蓝牙网络搭建。实验结果...
关键词: 无线传感器网络 连通支配集 能量有效 构建算法 主干网
现有的连通支配集构建算法大多过程复杂、步骤冗余、耗能较多,且不能适应网络动态拓扑的变化。为此,提出一种能量有效的构建算法。该算法通过单阶段快速构建能适应节点小范围移动的连通支配集,简化构建过程,其支配节点的选择考虑节点额外覆盖范围大小、节点剩余能量等因素,使得主干网生存时间大大延长,避免频繁构建主干网带来的能耗。仿真结果表...
关键词: 延迟容忍网络 动态多维度组合 动态选择 多维度 局部拓扑图 最佳传递集合
为提高延迟容忍网络中数据包的传递命中率、减少网络传输延时和网络开销,提出一种基于动态多维度组合的拓扑图路由算法。每个节点动态地选择其他一些节点,这些节点与该节点在多个维度的每一个维度中的排名都在前s等级,通过这种方式每个节点构成自身相对静态的局部拓扑图。随着时间的推移,动态选择体现在每个节点所选择的构成自身局部拓扑图的节...
关键词: 动态网络 最短路径树 路由器 动态最短路径树算法 维护算法
现有的动态最短路径树算法在某些边的权值频繁变化时,会造成动态网络中的最短路径树频繁更新,而且当网络中的路由器毁坏或增加新的路由器时,该算法难于应用到构造最短路径树中。针对上述问题,提出一种最短路径树的维护算法。对权值频繁变化的边进行处理,避免将其加入到最短路径树中,减少最短路径树的更新次数,当网络中的路由器毁坏或者增加时,通...
关键词: 车载自组网 可靠路径 备用副本回退机制 数据包投递率 通信质量
针对车载自组网在不良道路环境中通信质量不佳的问题,提出一种路由优化算法。借助车载全球定位系统和电子地图设备获取车辆的速度、移动方向及车辆间的相对位置等信息,计算并选取理论上最可靠的通信路径进行消息传递。当消息传递因外界地形环境阻碍无法顺利进行时,利用备用副本回退机制避开通信障碍区,提高通信可靠性。仿真结果表明,与无线自组...
关键词: 自适应退避调整 介质访问控制 网络时延 网络吞吐量 能耗 无线传感网
在无线传感网中,为了使整个网络持续高效地工作,需要降低节点能耗、减少网络时延以及提高网络吞吐量。为此,提出一种自适应退避调整消息认证码算法,每个节点根据当前网络状态采用一个固定传输尝试率并且动态调整其退避窗口大小,从而对成功传输一帧长度的时隙进行调整。仿真结果表明,与基于模型的帧调度算法和渐近最佳退避算法相比,提出的算法可...
关键词: 异构网络 通信业务 运动感知 无缝切换 候选网络集
针对异构网络环境下紧耦合方式中的网络切换问题,提出一种结合通信业务和运动感知的切换算法。根据终端移动性初步筛选出候选网络集,依据终端多业务特性从候选网络集中选择出最优网络进行切换。在不同业务下与基于运动感知的切换算法进行实验对比,结果表明,该算法既能避免不必要的切换,又能降低切换阻塞率。
关键词: 微分方程 移动自组网 病毒传播 传播模型 稳定性
在移动自组网(MANET)中,针对节点的移动性导致网络拓扑结构动态变化的特点,利用微分方程提出MANET中的病毒传播模型,并对构建的微分方程系统进行平衡点存在性和稳定性分析,得出病毒传播的阈值及消亡条件,从而进一步研究节点移动速度、通信半径、免疫成功率和免疫失效率对MANET中病毒传播的影响。选取相应的实验参数,对系统进行仿真实验,结果验证...
关键词: 异常检测 安全特征 云模型 判定矩阵
网络流量的复杂性、难以预测性以及人们主观评测的差异性等不确定因素,使得网络流量的异常检测成为网络安全防护领域研究的难点问题。通过对流量安全特征的分析提取和范围限定,引入云模型理论,提出一种基于云模型的异常流量检测方法,实现异常检测定性与定量的转换。在已有流量样本的基础上生成异常态势的标尺云,针对待测流量综合利用正向与逆向...
关键词: 服务器辅助验证聚合签名 共谋攻击 半可信服务器 非法签名者 双线性对
为提高服务器辅助验证聚合签名的安全性,在共谋攻击和自适应选择消息攻击下,提出一种新的服务器辅助验证聚合签名的安全模型。分析了牛淑芬等人(计算机应用研究,2015年第7期)提出的基于聚合思想的服务器辅助验证签名方案的安全性,发现该方案无法抵抗服务器与非法签名者的共谋攻击。针对该安全性缺陷,在新的安全性定义下提出一种改进方案,并在共...
关键词: 口令破解 身份认证 概率口令猜测 个人信息 简写结构
用户口令猜测研究是口令安全性研究的重要组成部分之一,根据用户个人信息和用户口令之间的联系,分析用户个人信息的结构特点,扩展Weir的概率语境自由语法方法,基于用户姓名首字母简写结构,提出一个概率口令攻击方法。通过训练找到用户姓名首字母简写结构,引入到用户口令结构生成算法中,从而生成新的更有效的口令结构,并使用训练集中学习出来的个...
关键词: 无线射频识别 椭圆曲线密码 双向认证协议 ban逻辑 安全
针对无线射频识别(RFID)中阅读器与标签之间的无线通信安全问题,基于椭圆曲线密码算法,提出一种RFID双向认证协议。描述新协议过程,给出安全性分析,该方案不仅提供了RFID系统中阅读器与标签的双向认证,而且满足防范重放攻击、窃听攻击、中间人攻击等安全要求,并利用BAN逻辑证明新协议的安全性。安全性分析结果表明,该协议基于椭圆曲线离散对数困...
关键词: 粗糙集 增量式属性约简 二进制区分矩阵 核属性 属性频率
增量式属性约简算法是动态数据挖掘技术的重要研究内容。为降低区分矩阵的存储空间,结合二进制区分矩阵便于计算以及形象直观的优点,给出一种压缩二进制区分矩阵的方法。将二进制区分矩阵的存储空间从|C|+1列简化成3列。通过动态更新二进制区分矩阵实现增量式求核,并以核为出发点,提出一种的增量式属性约简算法。通过实例计算及仿真实验验证了该...
关键词: 集成算子 得分函数 精确函数 决策 客观权重
介绍Support-intuitionistic模糊集(SIFS)的概念,定义SIFS运算法则和客观权重,在此基础上提出SIFS加权算术平均算子和加权几何平均算子并证明相关定理。建立基于SIFS模糊信息的决策方法及定义SIFS得分函数和精确函数,利用SIFS支持度确定目标属性的权重使得属性权重成为客观值,加强集成结果的客观性。通过实例验证了该决策方法适用于处理基于SIFS...
关键词: 分布式数据库 层次聚类算法 查询矩阵 相似度矩阵 事务聚类 并发查询时间
针对分布式数据库系统在使用分配算法时需要预先指定事务执行站点的情况,通过分析分布式数据库查询代价模型,提出一种事务分类部署策略。利用层次聚类算法对查询事务进行分类并将同类事务部署至同一站点,在聚类过程中为查询事务构造查询矩阵和相似度矩阵,降低查询事务执行时间。实验结果表明,在相同的分片冗余条件下,当测试表数据量大于100万条...
关键词: 异质信息网络 同质信息网络 分类算法 链路预测 元路径
在异质信息网络中,节点与链接的异质特性和复杂性会增加链路预测的难度。针对该问题,提出一种采用综合拓扑特征表示的链路预测方法。对不同的元路径根据异质和同质信息网络拓扑特征获得异质和同质数据,将逻辑回归模型作为链路预测模型,并综合拓扑特征进一步提高预测准确率。在异质的movielens电影数据集上进行实验,结果表明,该方法可有效提高异...
关键词: 超图 多模态特征 共享熵 模块度 分类器
传统的模式识别方法认为特征是相互独立的,容易忽略多模态特征之间多元的关联性,从而造成识别的误差。为此,基于超图模型,提出一种新的特征整合方法。定义共享熵的计算方法用以表示多个特征之间的关联程度,以每个特征作为顶点,特征之间的多元关系作为超边。对形成的超图,定义模块度函数取代传统的切边数,作为衡量子超图的社团特性强弱的指标,应...
关键词: 功能磁共振成像 功能连通性 受限玻尔兹曼机 主成分分析 区间估计 体素削减
为解决受限玻尔兹曼机(RBM)在功能磁共振成像(fMRI)脑功能连通性检测中遇到的体素数量过多和模型参数难以选择的问题,提出一种结合主成分分析(PCA)和Bootstrap区间估计的受限玻尔兹曼机方法,选出fMRI数据中的部分体素,从而削减体素数量。以经体素削减处理后剩余体素的时间过程作为样本,采用改进的学习算法训练RBM,根据模型权重参数重建脑功能网...
若用户需要出版服务，请联系出版商，地址：上海市嘉定区澄浏公路63号，邮编：201808。