计算机工程杂志,月刊,本刊重视学术导向,坚持科学性、学术性、先进性、创新性,刊载内容涉及的栏目:特邀论文、专栏、专题、先进计算与数据处理等。于1975年经新闻总署批准的正规刊物。
北大期刊(中国人文社会科学期刊)CSCD 中国科学引文数据库来源期刊(含扩展版)统计源期刊(中国科技论文优秀期刊)知网收录(中)维普收录(中)万方收录(中)CA 化学文摘(美)JST 日本科学技术振兴机构数据库(日)Pж(AJ) 文摘杂志(俄)哥白尼索引(波兰)国家图书馆馆藏上海图书馆馆藏文摘杂志
特邀论文专栏专题先进计算与数据处理体系结构与软件技术移动互联与通信技术安全技术人工智能及识别技术图形图像处理多媒体技术及应用开发研究与工程应用等
关键词:可重构计算 核心单元 随机petri网 结构分析 性能分析
利用随机Petri网对可重构核心单元进行建模,对其可达性、有界性、安全性等结构特性进行逻辑正确性验证,并对其稳态概率、变迁概率、吞吐量等性能特性进行数量化求解。在好、中、差3种速率情况下讨论动态重构对计算任务完成时间的影响,分析结果表明,可重构核心单元的动态重构响应越及时,其任务处理时间就越少。
关键词:支持向量机 人脸检测 人脸特征定位 眼睛检测 多姿态眼睛定位
提出一种多姿态人脸特征定位方法,在Adaboost定位的人脸区域中划分眼、鼻和嘴的搜索区域,利用眉眼和鼻嘴整体特征,通过大规模多姿态五官样本训练的支持向量机在搜索区域中确定候选眼、鼻及嘴区域。对候选眼、鼻及嘴区域进行筛选与合并以确定最佳位置,实现多姿态人脸上五官的准确定位。实验结果表明,该方法具有较好的精确性和鲁棒性,能适应复杂背...
关键词:ip追踪 概率包标记 动态概率包标记 压缩边分片采样 分布式拒绝服务
针对压缩边分片采样算法复杂度和重构路径误报率过高的问题,提出一种改进的压缩边分片采样概率包标记方法,即重叠哈希分片(OHF)的概率包标记方法。该方法在不增加包标记位的前提下,通过构造相邻的IP哈希分片之间的4位哈希关系,降低重构算法复杂度,同时改善边采样误报率。在NS2环境下的仿真实验表明了OHF方法的有效性。
关键词:语义优选 最小描述长度 潜在语义聚类 无指导学习 期望极大化
为实现谓语动词对论元的自动选择,提出基于最小描述长度(MDL)和潜在语义聚类(LSC)的语义优选方法。基于MDL原则计算与动词搭配的名词的δsc值,根据LSC模型的EM算法求取动、名词的搭配概率P(v,n),并针对每一对动、名词计算δsc和P(v,n)之和,将其作为衡量两者语义关联度的标准。实验结果表明,该方法的F1值达到85.26%,优于单独使用MDL或LSC方...
关键词:人脸识别 核主成分分析 模糊最大散度差 核最大散度差 特征提取
针对核最大散度差(KMSD)方法在人脸识别中存在边缘类和次优性问题,提出一种基于核主成分分析(KPCA)与模糊最大散度差(FMSD)的人脸识别方法(KFMSD)。利用KPCA方法提取人脸的非线性结构特征,选取投影后类间散度大于类内散度的特征向量作为最优投影轴,采用FMSD方法,根据隶属度函数将样本的原始分布信息完全融入人脸的特征提取中,采用最近邻...
关键词:数据挖掘 聚类算法 二分k均值 并行化 群集系统
二分K均值聚类算法在二分聚类过程中的初始质心选取速度方面存在不足。为此,提出以极大距离点作为二分聚类初始质心的思想,提升算法的运行速度。研究如何在群集系统中进行快速聚类,根据二分K均值聚类算法的特性,采用数据并行的思想和均匀划分的策略,对算法进行并行化处理。实验结果表明,改进后的算法能获得比较理想的加速比和较高的使用效率。
关键词:描述逻辑 角色表达式 知识库 安全性
针对角色描述能力较弱的问题,在现有描述逻辑SHIQ中增加角色表达式对角色进行描述,形成描述逻辑SHIQb。给出SHIQb的相关定义,并证明若SHIQb知识库中所有角色表达式都是安全的,那么该知识库在现有的推理机KAON2上的推理仍然是Polynomia Time这一定理。在此基础上,提出一种能够判断角色表达式是否安全的算法。
关键词:网构软件 动态演化 业务一致性 接口自动机 体系结构描述语言
为提高网构软件的可信性,提出一种网构软件演化的业务一致性验证方法。基于接口自动机对由XYZ/ADL描述的系统进行语义解释,定义XYZ/ADL到接口自动机的转换规则,给出检验系统业务一致性的3个规则,结合实例给出业务一致性的检验过程。通过模型检测器Spin证明该方法能够验证网构软件演化的业务一致性。
关键词:数据仓库 联机分析处理 动态推理控制 静态推理控制 数据立方体
基于数据立方体的静态推理控制方法在联机分析处理(OLAP)系统中的访问有效性不高。为此,提出一种基于数据立方体的动态推理控制方法。该方法以提高OLAP系统访问有效性为目的,实时处理在线查询,分析查询方体的推理威胁,阻止其推理产生,并动态返回可访问方体集。实验结果表明,该方法可提高推理系统的有效性,且与静态推理控制方法有相同的安全性...
关键词:无线移动环境 数据广播 周期广播 偏斜调度 zipf分布
针对数据广播中用户访问时间最小化的问题,提出一种变长数据项的偏斜广播调度脱机算法。该算法在数据广播的平方根规则基础上,确定每个数据项的广播频率和在信道上的平均实例间隔,以此为依据选择生成周期广播序列。实验结果表明,该算法获得的平均访问时间接近于理论最优值,平均误差率在6%左右。
关键词:数据挖掘 粗糙集 约简 区分矩阵 区分能力指数
根据决策表定义条件属性区分能力指数DI(a)的概念,给出DI(a)的若干性质。定义拟等价类的概念,提出基于区分能力指数的决策表相对约简算法,该算法基于分治策略,用属性a代替相应区域的区分元素,从而减小算法搜索的空间。实验结果表明,该算法具有较高的搜索效率,能够得到全部或大部分约简。
关键词:操作系统 负载均衡 异构 集群 软件配置管理
研究银河麒麟操作系统的软件包构建系统,针对该系统存在的负载不均、可用性差等不足,实现基于总体可用系统资源的负载均衡调度算法,优化系统的调度策略。实验结果证明,该算法可明显提高构建系统的资源利用率,加强系统性能,增强系统的可用性和高效性,并生成操作系统发行版本。
关键词:工作流 关系型规则 活动型规则 冲突检测 可达关系
在关系型规则和活动型规则形式描述工作流合并需求的基础上,提出一种基于可达关系的合并规则冲突检测算法。通过记录每条规则应用后的可达关系矩阵,以及新增可达关系对应的规则集方式,为合并规则集中存在冲突的若干规则组合进行较为准确的定位。实例分析表明,该算法为规则集的合理调整提供直接依据,可有效实施工作流的合并。
关键词:核密度估计 数据流 演化 分箱规则 网格
将面向大规模数据集的基于网格重心的分箱核密度估计理论扩展到数据流应用领域,在引入密度衰减技术的基础上,指出对于演化数据流以网格重心取代网格离散数据点集合的分箱核密度估计方法的近似误差是可控的,由此构造多维演化数据流核密度估计算法。实验结果表明,该方法在保持足够计算精度的同时能够精确捕获数据流的实时演化行为。
关键词:关系数据库 数据转换 结构化查询语言 递归查询 表函数
针对关系表达式难以进行无限制一到多数据转换的问题,通过关系代数的扩展表达一到多数据转换,采用递归查询和表函数实现无限制一到多数据转换,在每个输入元组上产生一个或者多个输出元组。递归查询通过创建初始结果,递归获取结果集,并返回最终结果集;表函数声明变量集合,使用过程体和游标循环访问表,迭代输出元组。实验分析不同参数影响因素下有...
关键词:用户数据报协议 有限状态机 自动重发 请求重发 正向替换 逆向替换
针对传统用户数据报协议(UDP)传输可靠性低的问题,提出一种利用有限状态机(FSM)控制UDP传输数据的设计方法。为传输过程中的通信双方分别设计不同的状态;构造数据包格式,每个数据包携带命令字以表明不同状态;增加数据包校验位,保证数据传输的一致性;通过正向替换和逆向替换消除并恢复数据中存在的保留关键字;在发送过程中采用自动重发机制和...
关键词:ad hoc网络 离散粒子群优化 dsr协议 链路稳定因子
提出一种基于改进离散粒子群优化算法的DSR协议——P-DSR。引入智能作为粒子,将求解Ad hoc网络的最优路由问题等效为0-1组合优化问题,将链路稳定因子作为粒子群优化算法的适应值函数。仿真结果表明,与传统DSR协议相比,P-DSR协议具有较低的端到端时延及较高的数据包投递率。
关键词:内容分发网络 对等网络 混合搜索 资源知名度 bloom滤波器 心跳检测
为提高流媒体系统中混合搜索算法搜索决策的准确性,减少传统资源知名度分发过程中消息报文的开销,提出一种流媒体系统的资源知名度生成与分发算法。生成算法基于全局变化率,采用心跳检测机制检测节点的被动离开;一致性分发算法利用Bloom滤波器进行资源知名度的分发。与传统资源知名度生成与分发算法相比,该算法能更真实地反映资源的动态变化,减...
关键词:长期演进 分组调度 信道质量指示 粗略反馈
无线信道的非理想特性会使用户设备反馈给演进型基站(eNode B)的下行信道质量指示(CQI)参数值产生误差,从而降低调度器灵活调度的性能。为此,给出一种基于修正CQI反馈参数的快速分组调度方法,该方法在指数平滑预测模型及二次移动平均预测模型的基础上,利用CQI先验信息,通过组合预测对eNode B接收到的CQI参数值进行修正。仿真结果表明,该方法...
关键词:无线mesh网络 自组织网络 动态源路由 网络模拟器 服务质量
分析动态源路由(DSR)协议,提出一种基于节点状态的路由算法(NSBDSR),并将其作为WAM网络的路由协议。该算法能避免网络中间节点为转发分组而必须保持最新路由的问题,使节点仅维护与之通信的节点路由。在NS-2上的仿真结果表明,NSBDSR能有效降低路由中断概率,增加路由流量,减少网络时延和丢包率。
关键词:以太网无源光网络 光网络单元 动态分组 带宽分配
提出一种基于动态分组的以太网无源光网络(EPON)带宽分配算法。设计动态组成员策略,动态分配各个光网络单元(ONU)的上行带宽。通过获取的ONU负载情况,计算各个ONU权重,根据计算的权重分配剩余带宽,并根据负载变化,调整各个分组的组成员。仿真结果表明,该算法的平均包延时较小。
关键词:无线传感器网络 协作感知 双层监测机制 目标跟踪 外层侦测机制 内层定位机制
通过在无线传感器网络中引入双层监测机制,提出一种基于象限定位的目标跟踪方法。该方法依据位置关系选取相关性高的内外层节点,利用外层节点的快速侦测和内层节点的准确定位对移动目标进行定位跟踪,同时向汇聚节点快速上传移动目标轨迹。理论分析和实验结果表明,该方法可以降低无线传感器网络功耗,提高目标定位精度。
关键词:深空通信 ccsds文件传输协议 定时器 延时 协议数据单元
为在深空环境下可靠地传输文件,研究CCSDS的异步否定确认信息型文件传输协议CFDP的文件传输机理,根据动态调整定时器的方法,提出一种改进的CFDP协议延时估算算法。在带宽有限的情况下,接收端通过预测单程时延判断网络状况,根据网络状况优化设置NAK触发时刻和定时器时限值。在NS2下的分析结果表明,改进算法的文件传输时间较少,吞吐量较大。
关键词:随机早期检测算法 传输控制协议 离散模型 稳定性 参数设置
随机早期检测(RED)队列管理算法的参数设置主要依赖于使用者的经验,并且其相关理论指导存在一定缺陷。为此,提出一种全面设置RED参数的方法。采用数学期望方法,分析TCP/RED拥塞控制机制离散模型的稳定状态行为,推导网络稳定状态期望值与RED参数的解析关系式。仿真结果表明,该方法可以提供准确有效的RED参数设置。
关键词:射频识别 安全标签 hummingbird算法 时钟翻转 数据翻转
Hummingbird加密算法因实现所需面积较小、功耗较低而适用于低成本射频识别标签的安全加密。为此采用SMIC 0.13μm工艺对Hummingbird算法进行硬件实现,通过降低时钟翻转频率和数据翻转频率减少动态功耗。仿真实验结果证明,Hummingbird算法可以满足电子标签对硬件开销、功耗及响应时间的实际应用要求。
关键词:小世界模型 无线ad hoc网络 路由协议 aodv协议 认证理论
传统无线Ad Hoc网络AODV路由协议的通信效率较低、安全性较差。为此,提出一种基于小世界模型的认证式路由协议。借鉴小世界网络图快速搜索路径的优点,该协议无需通过广播的方式查询路由信息,从而减轻AODV协议由于广播路由而造成的网络负载,同时采用认证理论提高通信的安全性。分析结果证明了该协议的有效性。
关键词:半脆弱数字水印 多小波 半色调技术 篡改恢复
提出一种多小波域可恢复半脆弱数字水印算法。将缩小的原图像半色调图置乱后作为水印,采用分块自适应量化索引调制将水印嵌入到图像多小波域的低频系数中;利用被篡改的图像半色调图和提取水印的差异进行篡改定位;通过提取水印的逆半色调图实现篡改区域的近似恢复。仿真实验结果表明,该算法有效,且篡改定位精度较高。
关键词:信任模型 激励机制 p2p网络 信任重建 直接信任 间接信任
针对P2P网络提出一种信任模型。通过区分直接信任和间接信任,使推荐信任度主要依赖节点以往的成功推荐次数而非直接信任度,以抵御拥有较高直接信任度的节点对正常节点进行诋毁或欺骗。为避免非恶意节点因为网络延时等原因导致服务失败而被孤立出网络,引入激励机制和信任重建机制,定期提高非恶意节点的信任值,使其能重新加入网络,从而加强网络的...
关键词:环签名 双线性对 安全性
结合签名和环签名方案的优点,以双线性对为基础,提出一种新的基于身份的环签名方案,并证明其满足环签名方案的所有安全性要求,即可区分性、不可伪造性、无条件匿名性、不可否认性和可验证性。与现有方案的效率相比,新方案中计算消耗最大的双线性对运算开销从O(n)降到了O(1),效率得到提高。
关键词:高级加密标准 电磁侧信道攻击 防护逻辑 半定制流程 动态差分掩码逻辑
根据改进的动态差分掩码防护逻辑以及集成电路的半定制流程设计高级加密标准S盒,采用TSMC0.18μm工艺实现基于3种不同逻辑单元的S盒,并对其抗电磁侧信道攻击性能进行评估。实验结果表明,基于掩码防护逻辑的S盒电磁辐射与输入数据相互独立,能克服双轨电路信号线不平衡导致的信息泄漏问题,从而增强电路的抗电磁侧信道攻击能力。
关键词:入侵检测 聚类分析 模糊c均值 欧氏距离 简单匹配系数
为提高网络入侵检测系统的入侵识别能力,提出一种基于模糊C均值(FCM)聚类的入侵检测模型。该模型包括数据预处理器、FCM聚类处理器、类中心集更新器和检测系统,可以同时处理数值属性与符号属性。实验结果表明,与其他模型相比,该模型具有较低的误警率和较高的检测率。
关键词:rsa密码算法 cache计时攻击 滑动窗口算法 微架构分析
研究RSA签名算法和Cache计时攻击原理,分析OpenSSL0.9.8a中的RSA实现过程,针对RSA滑动窗口算法中的访问初始化表操作,提出一种Cache计时攻击方法。实验结果表明,该方法在1次攻击中可获得1 024 bit密钥中700 bit以上的密钥,与传统基于统计方法的计时攻击相比,所需样本更少。
关键词:数字水印 arnold变换 离散余弦变换 直流分量 鲁棒性
针对变换域数字水印算法中水印信息鲁棒性和不可感知性之间的矛盾,提出一种基于人类视觉系统特征的离散余弦变换(DCT)数字水印算法。对水印信息进行Arnold置乱变换,将水印信息量化嵌入到载体图像的DCT域直流分量中。实验结果表明,该算法能有效抵抗噪音干扰、裁剪和压缩编码等攻击,具有较好的鲁棒性。
关键词:数据库加密 加密存储与查询 最佳桶划分 密文索引 过滤效率
现有支持快速查询的数据库加密方案未给出字符字段的划分值提取方法。针对该问题,提出一个基于最佳桶划分的数据库加密存储与查询方案。该方案利用最佳桶划分思想提取索引字段的划分值,通过提取代加密字段的索引值以及转换查询数据库的SQL语句实现加密字符型数据的存储和查询。实验结果表明,该方案具有较高的首次查询命中率和稳定的过滤效率,能...
关键词:无证书签密 双线性对 可公开验证 保密性 不可伪造性
根据安全无证书签密模型,提出一种基于双线性对的可公开验证的高效无证书签密方案。该方案由密钥生成中心(KGC)、签密方、解签密方和验证方组成,使用盲化技术以及用户公钥和秘密值先于KGC部分私钥生成的方法提高密码系统的信任等级,在公开验证时只需将明文和密文提交给验证方。分析结果表明,该方案具有安全保密性、不可伪造性、不可否认性,并...
关键词:无线mesh网络 密钥管理 基于身份的密码体制 门限秘密共享
提出一种适用于无线Mesh网络的基于身份和门限秘密共享的密钥管理方案。该方案采用门限秘密共享技术实现系统私钥的分布式生成和传输,无需公钥证书的参与,只需在离线可信任机构处进行注册,将用户身份标识作为公钥,从而降低用户终端的存储和计算代价,并且可实现系统和用户私钥的周期性更新。分析结果表明,该方案安全性高、实用性强。
关键词:互信息 粗糙集 属性约简 特征选择 网络入侵检测
高维网络数据中的无关属性和冗余属性会导致入侵检测速度慢及效率低下。为解决该问题,提出一种基于快速属性约简的网络入侵特征选择方法。以网络数据的条件属性与类别属性之间的互信息为度量去除无关属性,采用基于粗糙集正区域的属性重要性计算公式作为启发信息,设计一种快速属性约简算法去除网络数据的冗余属性,实现网络入侵特征子集的优化选择...
关键词:无线公钥基础设施 认证与密钥协商协议 认证测试 协议分析
针对当前3G网络身份认证与密钥协商方案存在扩展性差、用户身份信息易泄露的问题,提出一种基于无线公钥体制的安全增强型无线认证与密钥协商协议,实现实体间的双向身份认证,保护空中接口及有线通信链路,防止用户和接入网络身份标识泄露。该方案支持数字签名,可提供不可否认性业务。形式化方法验证分析表明,该协议能够满足安全需求。
关键词:木马识别 通信指纹 启发式 深度包检测 数据流
对比传统木马检测技术的原理及特点,根据网络数据流检测木马的需求,提出一种基于网络通信特征分析的木马识别方法。引入通信指纹的概念扩展通信特征的外延,用实验方法归纳木马在连接、控制和文件传输阶段表现出的通信指纹信息,设计并实现一个启发式木马网络通信指纹识别系统。测试结果表明,该系统运行高效、检测结果准确。
关键词:单点登录系统 口令同步 混合密码传输协议 最优非对称加密填充算法 rsa算法
针对现有单点登录(SSO)系统难以有效支持口令同步的问题,设计一个安全性和扩展性更好的SSO系统模型,利用最优非对称加密填充算法修改明文,采用RSA加密算法产生数字证书,在此基础上改进混合密码传输协议,以更好地实现SSO系统中服务器、客户端服务器及认证机构三者之间的传输应用。通过对口令同步的实现,验证该方案相比原协议即时性更强、口令密...