计算机工程杂志,月刊,本刊重视学术导向,坚持科学性、学术性、先进性、创新性,刊载内容涉及的栏目:特邀论文、专栏、专题、先进计算与数据处理等。于1975年经新闻总署批准的正规刊物。
国家图书馆馆藏上海图书馆馆藏维普收录(中)CSCD 中国科学引文数据库来源期刊(含扩展版)CA 化学文摘(美)哥白尼索引(波兰)Pж(AJ) 文摘杂志(俄)知网收录(中)万方收录(中)北大期刊(中国人文社会科学期刊)JST 日本科学技术振兴机构数据库(日)统计源期刊(中国科技论文优秀期刊)文摘杂志
特邀论文专栏专题先进计算与数据处理体系结构与软件技术移动互联与通信技术安全技术人工智能及识别技术图形图像处理多媒体技术及应用开发研究与工程应用等
关键词:安全切换 历史信息 上下文传递机制 低轨卫星 强制中断概率 多普勒频移
针对低轨(LEO)卫星网络切换中切换点受限、切换频繁等问题,提出一种基于平面扇形角定理的任意点切换定位算法,并设计上下文传递模式下基于性能优化策略的安全切换方案。应用平面扇形角定理求解切换点经纬度坐标,从而避免应用球面三角形内角和定理的局限性,计算得到临近空间中任意切换点的位置坐标。从两方面对切换协议进行性能优化:选择与飞...
关键词:社交网络 炒作群体 炒作微博 社团模块度 网络直径 平均最短路径 支持向量机
微博是舆论传播的中心和渠道,同时参与舆论的形成、发展与引导过程,其自媒体、意见领袖参与等因素在一定程度上造成了微博谣言、虚假炒作、社会动员等现象。针对炒作微博的传播特点,分析其群体的隐蔽策划现象,挖掘出普通微博和炒作微博在传播网络结构、转发增量统计等方面的差异。通过社交网站的应用程序接口对目标微博的所有评论、转发和点赞用...
关键词:物联网 3g网络 认证 椭圆曲线 dh密钥交换 群组通信
无线局域网与3G网络互联可作为物联网业务的承载。针对现有接入认证方案中的安全和群组通信问题,提出一种基于可扩展身份验证协议认证框架的群组接入认证协议。在初始化和注册阶段完成设备群组的建立,在认证和密钥协商阶段实现设备的安全接入。与传统EAP-AKA协议相比,该协议采用基于椭圆曲线密码体制的Diffie-Hellman密钥交换协议以保证前向安全...
关键词:多源网络编码 数据完整性 聚合签名 同态哈希函数 向量合并算法 离散对数问题
基于同态向量哈希函数和向量合并算法,提出一种能够抵御污染攻击的多源网络编码数据完整性验证方案。通过信源节点计算发送向量的哈希值,利用私钥对该哈希值进行签名,并将消息向量、哈希值以及哈希值的签名发送至中间节点。中间节点和信宿节点基于系统公钥,验证来自不同信源节点的线性编码消息的完整性。实验结果表明,当信源节点数大于200时,该...
关键词:web服务组合 多主体系统 模型检测 图状反例 抽象 精化
Web服务组合现已成为跨组织业务流程集成的关键技术,然而在松耦合开发模式和开放的互联网运行环境下,其正确性、可靠性、安全性等可信性质难以得到保证。为解决该问题,提出一种Web服务组合形式化验证方法,将基于图状反例向导的抽象与精化方法应用于多主体系统(MAS)模型检测工具(MCTK)中,大幅缓解模型检测的状态爆炸问题,从理论上证明该验证...
关键词:距离补偿 估计距离 不均匀度 偏离度 无线传感器网络
传统的DV-Hop定位算法在估计网络平均跳距时,采用锚节点之间的物理直线距离代替信号实际传播距离,两者之间存在的距离误差会引起平均跳距估计不精确,从而导致较高的节点定位误差。针对该问题,提出一种改进算法。分析物理直线距离和实际传播距离存在误差的原因,将其总结为节点随机布置导致的节点间距离不均匀,以及实际传播路径与物理直线距离的偏...
关键词:无线传感器网络 拥塞控制 离散滑模控制 趋近律 滑模变结构
为解决无线传感器网络逐跳节点拥塞控制问题,在节点网络层与链路层之间引入水槽流入与流出的数学模型,提出一种针对逐跳节点级链路层帧缓冲区队列长度的拥塞控制模型,并采用基于趋近律的离散滑模控制结构作为该模型的控制器,控制过程简便且易于实现。仿真结果表明,与常规的PID控制、模糊PID控制相比,该模型在响应速度、延迟时间等方面性能较好。
关键词:内容中心网络 缓存 内容热门度 中介中心度 缓存替换 缓存冗余
内容中心网络(CCN)作为一种主要的未来网络架构,以命名的内容作为网内的主要元素之一,在网络研究中受到广泛关注。针对已有的CCN缓存方案内容副本替换严重的问题,提出一种内容热门度与节点中介中心度约束的缓存机制PopBetw。在基于节点中心度的基础上,从内容本身的属性热门度出发,避免非热门内容的不必要缓存,降低每个节点的缓存负荷,提高网络...
关键词:微电网 能量管理系统 分布式电源 开放服务网关 面向切面编程
微电网需要能量管理系统(EMS)对分布式电源进行实时优化控制,但传统软件开发模型及中间件技术在模块热插拔及代码侵入性等方面尚有不足。为此,依托安徽工程大学100k W光伏微网项目,提出一种基于分布式开放服务网关(D-OSGi)的微网能量管理系统。阐述D-OSGi的扩展方法、EMS软件逻辑层划分、能量优化调度策略及SCADA图元变更机制,给出系统在宣...
关键词:任务调度器 形式化验证 分离逻辑 coq证明工具 最高优先级
以μC/OS-Ⅲ内核中的任务调度器为研究对象,选取调度相关的核心代码,验证调度器代码满足优先调度最高优先级任务的性质。基于分离逻辑与SCAP验证理论,利用Coq辅助证明工具,通过定义机器模型、操作语义、逻辑断言以及推导规则构建验证框架。在验证框架中,定义内核数据结构和内核相关性质的逻辑描述,模块化地对内核代码进行推理。验证结果表明,μC/O...
关键词:智能电视终端 资源预测 markov模型 资源缓存算法 多维多选择背包问题 启发式算法
针对智能电视终端应用间资源竞争导致的系统性能下降问题,基于资源消耗预测,提出一种智能终端资源缓存算法。根据系统记录的各应用程序的资源消耗统计数据,应用Markov模型预测下一时间段可能出现的资源瓶颈和应用的资源状态,利用应用的资源状态动态调整应用权重,并以最小化应用切换时间为目标,将资源缓存问题转化为多维多选择背包问题,采用轻量...
关键词:固态存储器 铁电随机存储器 存储协议 i2c总线 数据查询
为简化嵌入式系统利用NAND闪存保存大容量数据的设计复杂性,提出一种利用铁电随机存储器(FRAM)构建固态存储器实现快速高效存取的方法。制定串行FRAM与RAM相结合的最优存储协议,给出查询存储器块的概念和串行FRAM存储数据的快速查询算法,介绍串行FRAM与RAM相结合的存储协议和FM24W256的块读写算法。51单片机的电机驱动总成载重测试仪设计与工...
关键词:三网融合 视频服务网 共享资源池 资源分配 分布式最优控制 受限梯度上升
针对三网融合背景下的视频服务网,研究实时服务提供设备(RSPE)的节点共享资源池的资源配置,提出一种完全分布式的最优控制解决方案。分别将物理计算资源和RSPE节点视为计算资源的共享池和资源消费者,给出RSPE节点之间的信息传播策略和分布式优化算法,从而实现资源池的分布式最优控制。仿真结果表明,在RSPE节点变化较小的情况下,该方案可保证节...
关键词:安卓平台 近场通信 点对点通信 移动终端 读卡器 应用协议数据单元
为实现不同近场通信(NFC)设备间的互通,以NFC设备的点对点通信(P2P)为研究对象,设计并实现基于Android平台的NFC移动终端与读卡器之间的点对点(P2P)通信方案。NFC移动终端与读卡器以NFC数据交换格式(NDEF)的数据为通信单元,在简单NDEF交换协议的基础上,一方作为客户端发送传输消息请求,另一方作为服务器对客户端的请求做出响应。通过应...
关键词:网络编码 分布式存储系统 准循环 再生码 最小存储再生码 数据修复
传统纠错码编码方案能够提高系统容错能力,但在数据修复时会占用大量带宽。为此,基于循环结构,构造一种面向分布式存储系统的准循环最小存储再生码。根据该准循环再生码的冗余系数向量权重和修复带宽边界,设计一种改进的节点修复算法,证明其修复带宽在最好情况能达到最小割下界,在最坏情况下也优于最大距离可分码的修复带宽。实验结果表明,该再...
关键词:机器类型通信 随机接入信道 拥塞控制 均匀分布 网络服务质量 最大熵原理
在基于3GPP长期演进技术的机器类型通信(MTC)应用背景下,针对无线接入网络中随机接入信道的拥塞问题,提出一种改进的拥塞控制策略,MTC器件利用基站广播信息自适应调整各自的接入时间,避免由于大量MTC器件同时发起随机接入而引起接入碰撞的问题,实现基站的负载均衡及信道资源的合理分配。基于最大熵原理证明各MTC器件接入时间的均匀分布是最优...
关键词:分布式并行处理系统 多变量 路由策略 平均延迟 最小化 流量强度
针对分布式并行处理系统中路由算法数据包的路由选择问题,提出一种改进的最优化路由策略。从输入数据包得到数据包前后到达时间分布Pt(x)和包大小分布Pp(x),采用权值函数通过对平均前后到达时间、平均包大小和向量的不断学习获得所有包的最小化平均延迟。仿真结果表明,该策略不仅在处理器数量发生变化,而且在包前后到达时间分布和包大小分布...
关键词:单粒子翻转 数据容错 线性分组码 故障注入 星载计算机 纠错码
针对单粒子翻转可能带来的数据流错误,设计一种改进的数据流错误纠错方法。利用线性分组码的相关理论,分析常用数据流容错方法的容错能力,从线性分组码的编译码原理出发给出一种低复杂度编译码算法,基于该编码的容错方法能够以较少的开销纠正单粒子翻转造成的单比特数据错误。实验结果表明,该方法能够有效纠正单粒子翻转造成的数据错误,与常用的...
关键词:多重洪泛 低工作周期 无线传感器网络 洪泛次数 节点能耗
针对低工作周期的无线传感器网络存在数据成功传输率低的问题,提出一种基于洪泛的数据传输机制,即多重洪泛机制(MF)。使用MF时网络中节点在有数据需要发送时,会尝试洪泛K次数据,洪泛次数K由网络需要的成功传输概率决定。仿真实验结果表明,引入多重洪泛未大量增加网络中传输数据分组的数量,节点能耗相比传统的路由算法没有明显增加,同时减少分...
关键词:无线传感器网络 部署信息 区域划分 指纹识别 模式匹配 密钥预分配
随着无线传感器网络(WSN)的广泛应用,其安全问题尤其突出,WSN的密钥分配和管理受到越来越多研究者的重视。通过收集节点的部署信息对区域进行划分,提出一种根据指纹识别进行模式匹配的密钥预分配方案。该方案将网络划分成多个较小区域,同时将密钥种子池分成多个与其对应的子密钥种子池。节点通过挑选相应区域内种子生成模式和文本,根据匹配成...
关键词:无线射频识别 present算法 自主标准 安全标签 数字基带 低功耗
针对无线射频识别(RFID)标签芯片中存在的安全问题,设计一款具有安全功能的UHF RFID标签基带,该基带遵循我国自主射频识别空中接口协议GJB7377.1-2011。通过研究RFID标签的设计需求和安全策略,给出基于PRESENT加密算法和安全协议的标签安全性设计方案。基带设计采用寄存器分时复用、功耗管理、多时钟域设计、门控时钟等低功耗策略。实验结果表...
关键词:强不可伪造性 存在不可伪造性 标准模型 系统参数 目标抗碰撞杂凑函数
在重签名中,一个拥有重签名密钥的半可信者可以把受托者的签名转换为委托者对同一消息的签名(即重签名),但该者不能单独生成受托者或委托者的签名。标准模型下的重签名方案多数是存在不可伪造性的,无法阻止敌手对已经签名过的消息重新伪造一个合法的签名。为此,利用基于密钥的目标抗碰撞杂凑函数,提出一种新的双向重签名方案。在计算Diffie-He...
关键词:认证 智能卡 时间戳技术 口令 多服务器环境
基于智能卡的多服务器远程认证方案,存在不能抵抗伪造攻击、重放攻击和中间人攻击等问题。针对上述安全性缺陷,提出一种改进的身份鉴别方案。该方案利用自验证的时间戳技术,解决基于时间戳技术的认证方案中存在的时钟同步问题,同时将时间戳作为随机数,有效地避免遭受重放攻击。安全性分析结果表明,与基于智能卡的多服务器远程认证方案相比,该方...
关键词:p2p网络 模糊评价 访问控制 多级安全 授权 安全策略
应用社会信任网络构建的基本原理,给出一种新的P2P访问控制模型。将P2P节点间的信任关系分为直接信任、信任知识和推荐信任3个方面,利用模糊理论对P2P节点进行信任评价,通过扩展多级安全机制实现访问控制,在P2P中的节点间进行交互时,主体节点根据目标节点的信任等级授予其不同的访问权限,以达到保护P2P网络安全的目标,引入加密与数字签名等安全...
关键词:信任模型 双重属性值 分组 时间衰减函数 惩罚因子
为提高P2P信任模型对恶意节点的抑制能力,提出一种改进的分组P2P信任模型。利用模糊推理规则结合信任值和贡献值,将网络中节点划分为若干不同等级的小组,通过小组等级限制节点的资源访问权限。在直接信任度的计算中引入时间衰减函数反映节点的实时情况,并设置惩罚因子对节点的恶意行为进行惩罚。在推荐信任度的计算中结合小组等级计算推荐节点可...
关键词:无线传感器网络 极限学习机 混合 入侵检测 信任管理 分簇
在研究机器学习算法的基础上,提出一种基于极限学习机(ELM)的混合入侵检测方案。将无线传感器网络分为感知层、数据汇聚层和核心控制层,在每层分别设置与其相适应的入侵检测方案,并在能量充足的核心控制层布置信任管理模块和ELM模块。信任模块可以及时筛去异常节点,相比于支持向量机算法训练速度更快,可提高入侵检测效率。实验结果表明,该方案...
关键词:网络流量势能 分布式拒绝服务攻击 时间序列 流量检测 支持向量机 darpa数据集
在分析分布式拒绝服务(DDo S)攻击现状与发展趋势的基础上,提出一种基于时间序列的网络数据流量势能分析模型,并构造相应的网络流量势能序列。利用自回归模型拟合得到网络数据流量的多维参数向量,以此为依据描述单位时间内网络数据流量势能的稳定性。采用基于支持向量机的方法对网络数据流量的特征参数向量进行分类和训练,获得与训练模型相匹...
关键词:无线射频识别 密码协议 所有权转移 通信安全 身份认证 物联网
针对无线射频识别(RFID)技术标签在生命周期内安全转移其所有权的问题,提出一个不依赖可信第三方参与转移的、基于Hash函数的RFID标签所有权转移协议。采用挑战响应机制,使用Status标志位来标识标签当前所有权归属。其中新旧所有者分别与目标标签共享不同的密钥,并与其传递通信数据来认证参与转移实体的身份,从而认证新所有者获得目标标签的所...
关键词:控制流完整性 进阶精简指令集机器架构 合法地址白名单 动态二进制分析 攻击矢量定位
通用平台目标二进制代码运行时控制流的提取主要依赖于处理器硬件特性,或其动态二进制插桩工具,该平台的控制流完整性验证方法无法直接移植到进阶精简指令集机器(ARM)架构中。为此,基于控制流完整性验证技术,设计一种用于ARM架构,利用缓冲溢出漏洞检测控制流劫持攻击的方法。该方法在程序加载时、执行前动态构建合法跳转地址白名单,在目标二进...
关键词:磷虾觅食算法 局部搜索能力 对立策略 精英交叉算子 混沌搜索 收敛速度
为解决磷虾觅食(KH)优化算法在处理高维多模态函数优化问题时存在局部搜索能力不强、收敛速度慢等问题,利用一种贪婪的精英交叉算子加速其收敛速度,使用基于逻辑自映射函数的混沌搜索算子避免局部极值的吸引,采用对立搜索算子提高初始种群的质量。结合上述3种算子提出一种改进的磷虾觅食算法。在7个标准测试函数上的仿真实验结果表明,与KH及其...
关键词:不确定规划 强规划解 分层状态 贪心策略 模型检测 智能规划
为提高求解效率,设计一种求强规划解的简化分层算法。以传统分层算法为基础,引入贪心选择策略,对每个非目标状态的动作进行筛选,去除对求解强规划解无益的动作,加快状态向下搜索的速度,并在改进分层的基础上,优化求强规划解策略,由于在求解过程中会存在大量重复搜索,因此建立一个集合保存已访问状态的信息,避免对状态的重复搜索。分析结果表明,...
关键词:分位数 时间序列 模式分类 离心机 振动信号 小波
高速运行的离心机设备,其振动状态检测数据通常呈现出明显的非线性、正态分布和大样本的特征,数据波动的随机性使得其趋势特征难以捕捉。为此,提出一种新的时间序列模式分类方法。采集离心机设备运行状态的振动信号时间序列进行分析,根据对称原理提取序列数据的分位数,构建特征向量,采用欧氏距离函数构建相似性度量,建立模式分类的判定依据,使用...
关键词:压缩感知 飞行时间质谱 稀疏表示 白酒香型 k近邻法 最小冗余误差
目前多数白酒分类方法需要进行特征选取,但特征选取算法会增加计算复杂度,限制特征数量,而且选取结果的好坏直接影响识别效果。为此,提出应用压缩感知理论对白酒香型进行分类的方法。通过压缩感知对白酒飞行时间质谱进行整体分析,运用训练数据构造冗余字典作为稀疏基,选择高斯随机矩阵作为测量矩阵,通过求解最小l1范数得到反映白酒香型特征的稀...
关键词:粒子群优化 复杂网络 社区结构 社区挖掘 局部搜索 模块密度
为解决复杂网络社区结构挖掘的优化问题,根据复杂网络拓扑结构的先验知识,提出一种基于离散粒子群优化的社区结构挖掘算法。将粒子的位置和速度定义在离散环境下,设计粒子的更新规则,在不需要事先指定社区个数的前提下自动判断网络的最佳社区个数,给出局部搜索算子,该算子可以帮助算法跳出局部最优解,提高算法的收敛速度和全局寻优能力。实验结...
关键词:遗传算法 自适应交叉 变异概率 适应值 交互环境 不确定性
传统交互式遗传算法在优化隐式性能指标时会使用户产生疲劳,影响优化质量与优化效率。为此,提出一种改进的交互式遗传算法。采用二元排序确定适应值评价的不确定度,根据评价序列的最大信息差异计算种群的收敛率,通过收敛率衡量种群进化状态,基于适应值不确定度和种群收敛率设计自适应交叉算子和变异算子,给出交叉概率和变异概率的计算公式,利用...
关键词:海量人脸图片 局部二值模式特征 图片签名 多比特编码 倒排索引 快速检索
为了在大规模的人脸数据库中准确快速地检索到所需图像,提出一种相似人脸检索方法。提取人脸图片的局部二值模式特征,通过建立投影矩阵将特征从欧几里德空间映射到汉明空间实现降维,再采用改进的多比特编码方法对降维后的特征进行编码,并生成图片签名,以曼哈顿距离取代汉明距离衡量签名之间的相似度,根据图片签名集合构建倒排索引表,通过倒排索...
关键词:粒子群优化 边界变异 双重限制 搜索空间 越界 早熟收敛
为解决粒子群优化(PSO)算法中粒子越界和早熟收敛等问题,在比较国内外学者提出的边界变异策略基础上,提出一种新的边界变异策略——双重限制变异策略。针对粒子越界时速度和位置变异方向的不同情形,通过同时限制粒子的更新位置和更新速度,将粒子控制在搜索空间范围内。利用5种测试函数进行实验,结果表明,与其他4种边界变异策略相比,双重变异策...
关键词:无线传感器决策网络 智能agent 规则agent 多样性 数据融合 决策表
为实现无线传感器网络(WSN)原始感知数据融合中不确定分析的量化决策和智能处理,在WSN层次化的数据融合机制下,引入粗糙集理论的决策表和决策网络智能技术,设计智能型和规则型2类Agent,由此构建多层Agent数据融合的无线传感器决策网络(WSDN)模型,并研究层间智能Agent型和属性间规则Agent型WSDN的多样性。应用结果表明,该模型能较好地适用于...
关键词:图像信息 视觉语言模型 图像分类 背景区域 显著图
传统基于视觉语言模型(VLM)的图像分类方法在参数估计阶段,通常采用最大似然估计的方式统计视觉单词的分布,忽略了图像背景噪声对该模型参数估计的影响。为此,提出一种新的图像分类方法。利用基于视觉注意的显著性检测算法提取图像中的显著区域和背景区域,构建的图像带有显著图标识的视觉文档,训练视觉单词的显著度权重和条件概率,并使用显著...
关键词:交通标志 多特征协同 多阈值 曲率链码 尺度归一化 支持向量机分类
针对交通场景图像中交通标志因颜色失真、形状失真和尺度变化导致漏检严重的问题,提出一种颜色特征、形状特征和尺度特征的多特征协同方法。从交通场景图像计算颜色增强图,利用多阈值分割方法和闭合轮廓曲率直方图链码表达,并对提取的形状轮廓的曲率直方图进行尺度归一化处理,融合颜色特征和归一化后的形状特征构成区域的特征向量,采用支持向量...