计算机工程杂志,月刊,本刊重视学术导向,坚持科学性、学术性、先进性、创新性,刊载内容涉及的栏目:特邀论文、专栏、专题、先进计算与数据处理等。于1975年经新闻总署批准的正规刊物。
国家图书馆馆藏上海图书馆馆藏维普收录(中)CSCD 中国科学引文数据库来源期刊(含扩展版)CA 化学文摘(美)哥白尼索引(波兰)Pж(AJ) 文摘杂志(俄)知网收录(中)万方收录(中)北大期刊(中国人文社会科学期刊)JST 日本科学技术振兴机构数据库(日)统计源期刊(中国科技论文优秀期刊)文摘杂志
特邀论文专栏专题先进计算与数据处理体系结构与软件技术移动互联与通信技术安全技术人工智能及识别技术图形图像处理多媒体技术及应用开发研究与工程应用等
关键词:在线文献 磁共振成像 塔式梯度方向直方图 塔式关键词直方图 图像分类
为实现在线生物文献磁共振成像(MRI)图像库的构建,利用图像特征的塔式梯度方向直方图(PHOG)和塔式关键词直方图(PHOW)进行互补特征表示,使用支持向量机对MRI图像与非MRI图像以及脑部MRI与非脑部MRI图像进行自动分类。实验结果表明,空间形状信息与局部分布信息融合的特征能提高图像分类的准确率,为构建在线文献中MRI图像库的知识系统提供技...
关键词:非双曲型非线性序列 最小描述长度 梯度下降方法 去噪算法
针对模型未知的非双曲型非线性序列难以实现去噪和轨迹重影的问题,基于模型选取的最小描述长度准则,从过拟合和欠拟合的角度分析边缘误差算法对离散系统的非最优性和不适应性,利用改进的全局误差算法对系统进行建模,结合梯度下降方法的稳定性和Newton-Raphson算法的快速收敛性提出一种融合算法,用于在机器精度内实现非双曲型非线性离散系统时间...
关键词:流体模拟 对流项 数值粘性 半拉格朗日方法
半拉格朗日方法在欧拉模型的液体与烟雾模拟中,因均值运算过多而存在数值粘性的问题,且表面提取算法会抹平液体表面的细节。为此,提出一种稳定且维护细节的液体与烟雾模拟算法。采用精确的数值方法求解对流项,在流体的边界及内部分布隐式的无质量粒子,利用简单的插值策略以及粒子和网格的双向影响,保证数值的稳定性,减少数值粘性,并结合基于显式...
关键词:单粒子翻转 错误传播率 错误暴露率 故障注入 脆弱性
针对星载软件系统因宇宙射线和环境扰动而产生的软件错误及错误传播问题,研究星载软件系统错误传播分析方法。利用该方法从信号和模块2个层面评测软件的可靠性,并根据结果对系统信号或模块的脆弱性进行分析,找出系统较为脆弱的信号与模块,以及最可能传播错误的信号传播路径。定义信号与模块的错误传播率、暴露率等参数,设计参数的计算方法,提出...
关键词:机会网络 边独立时间演化图 生灭过程 laplace后继法则 随机图
根据机会网络中拓扑的高度动态性和随时间演化的特性,提出一种基于边独立演化的时间演化图(E-TEG)模型。该模型采用马尔可夫链和生灭过程刻画演化过程的时间相关性,利用Laplace后继法则估计边的出生和死亡概率,E-TEG最终收敛于非均匀随机图。采用CRAWDAD数据集对模型进行实验,结果表明,E-TEG能够准确反映机会网络中消息传输路径的演化特性。
关键词:边界点 无参数 边界度 聚类 三角剖分
为自动快速地提取聚类的边界点,减少输入参数对边界检测结果的影响,提出一种无参数聚类边界检测算法。该算法不需要任何参数,在生成的三角剖分图上计算每个数据点的边界度,用k-means自动计算边界度阈值,按边界度阈值将数据集划分为候选边界点和非候选边界点两部分,根据噪声点在三角剖分图中的性质去除候选边界点中的噪声点,最终检测出边界点。实...
关键词:工作流 工作流模型 工作流演进 历史记录 虚拟执行
为实现工作流管理系统中工作流演进的控制,解决流程实例动态调整的问题,给出工作流模型相关定义的形式化表示及正确性标准,提出基于数据流相关信息历史记录的虚拟执行算法,适用于模型结构变化及模型存在循环结构等情况。该算法能判断流程实例能否迁移,通过回退和撤销的策略保证工作流实例快速迁移。具体应用实例证明了迁移算法的正确性与可行性...
关键词:决策树 回归测试 测试子集选取 测试需求 测试知识
软件版本的频繁变更及测试资源的限制要求软件回归测试采用新的测试用例集合的生成和约简技术。为此,介绍基于决策树的回归测试子集的选取方法,将测试用例和测试需求作为一种知识表示系统,对测试知识表示系统进行约简,将约简后的系统构造成一棵决策树,由决策树获得被约简的回归测试子集。理论分析证明该方法复杂度较低。
关键词:xml数据 数据压缩 查询处理 重复路径 结构标记树
针对支持查询的XML数据压缩方法存在的路径和数据重复等问题,通过去除XML数据中的重复路径,简化XML数据结构,提出结构标记树的概念及其生成算法,设计一种基于结构标记树的可查询XML数据压缩方法SSTQC,对XML数据进行压缩和组织查询。SSTQC一次扫描XML文档,具有较好的的压缩性能和查询效率。
关键词:时间序列 相似性搜索 角点弯曲度 形态特征 平滑
针对基于点距离的时间序列相似性搜索算法鲁棒性较差的问题,提出一种面向形态的时间序列近似表示方法和相似性度量算法。算法不依赖于时间序列长度和领域知识。在充分利用时间序列时变特征的基础上,以角点为分界点,利用角点处的弯曲度提取时间序列的特征,近似表示时间序列。实验结果表明,该算法具有良好的平移和伸缩不变性及较好的鲁棒性,搜索能...
关键词:竞争学习 组合 聚类
K-Means算法的聚类结果对初始簇的选择非常敏感,通常获得的是局部最优解而非全局最优解。为此,在K-Means聚类算法基础上,引入组合聚类和竞争学习概念,提出一种基于竞争学习的K质心组合聚类算法CLK-Centroid。该算法采用竞争学习策略计算簇的质心,以适应噪声数据和分布异常数据的要求,使用组合聚类策略提高聚类的精度。在数据集上构建多个CLK-Cen...
关键词:本体 描述逻辑 概念包含测试 本体概念分类 扩展标记
研究Pellet系统本体概念分类算法及其优化技术,在此基础上给出一种基于扩展标记的改进算法。该算法通过概念间已知的包含关系,控制分类过程中遍历时概念加入的顺序,并最大程度地双向传播这些关系,从而有效地降低概念包含测试的次数。验证结果表明,该算法的概念分类性能平均提高约22%。
关键词:petri网 加权标识 网模型 最短路径
为解决智能交通系统中交通运输网络分析和最短路径问题,提出加权标识S-图最短路径算法。根据Petri网基本原理和加权S-图的特点,给出交通网络加权S-图的网模型。阐述加权标识S-图最短路径的基本原理、求解加权标识S-图的最短路径定理及证明。通过交通运输网络示例和实验对算法进行验证,对比分析算法性能。结果表明,加权标识S-图最短路径算法能够...
关键词:统一建模语言类图 描述逻辑 依赖属性 知识库 推理
分析基于描述逻辑的统一建模语言(UML)类图形式化方法的研究现状和存在的问题,提出一种基于描述逻辑的带依赖属性UML类图的形式化方法。研究带依赖属性UML类图的数据属性依赖、行为属性依赖和全局属性依赖的描述逻辑形式化问题。给出带依赖属性UML类图向描述逻辑知识库转化的方法,以及带依赖属性UML类图知识库可满足性定理及其正确性证明。
关键词:实时性环境 java虚拟机 增量式收集器 堆空间划分 引用追踪
提出一种适用于实时性环境的Java虚拟机垃圾收集算法。该算法通过对增量式收集器中堆空间划分方式和引用跟踪进行改进,以减少垃圾收集时带来的不确定性暂停,并且该算法可以指定用户在一个时间段内进行垃圾收集,以便使应用程序暂停时间达到最短,从而适用于实时性环境。实验结果表明,该算法能有效减少垃圾收集时暂停的频率和时长。
关键词:海量存储文件系统 性能测试 集群评测 元数据操作测试
为满足海量存储文件系统级性能评测需求,开发一个通用的符合POSIX.1标准的文件系统基准评测工具LZpack,可为不同文件系统的性能评测比较提供一种有效的方法,也可为使用文件系统操作API集合的应用程序设计者提供性能评价的依据。LZpack采用集群评测的评测架构,可以对文件I/O性能及元数据操作性能进行准确评测。对LZpack的系统结构和关键问题进行...
关键词:3g网络 网关位置寄存器 本地路由 呼叫建立 位置管理
针对现有3G系统传递过程中系统开销较大的问题,提出一种改进的基于网关位置寄存器(GLR)的3G网络呼叫建立机制。利用GLR在3G网络中的作用,采用本地路由和缓存策略改进现有3G系统中的呼叫建立机制。仿真结果表明,在该机制中,存在一个最优的移动域门限值来平衡位置更新和终端寻呼的代价,从而获得位置管理总代价最小化。
关键词:无线网络 功率控制 动态博弈 网络吞吐量 惩罚函数
在满足网络吞吐量要求的前提下,研究节点的自私功率控制行为对网络性能的影响。针对非相干频移键控调制方式,证明最优传输策略的存在性,提出一个重复的动态博弈。由于链路会将发送功率从干扰较高的时间段移到干扰较低的时间段,该博弈在某些情况下无法收敛,因此引入惩罚函数确保该博弈收敛,并通过模拟实验验证该方法的有效性和正确性。
关键词:复杂网络 动态流 抗毁性 二维指标 测度指标
为衡量网络结构破坏和动态流变化对网络性能的影响,构造一个具有二维特征的抗毁性测度综合效率指标,利用基于度和介数的节点删除法模拟蓄意攻击,将网络遭遇攻击后动态流的总流动成本的倒数作为网络的综合效率值以评价网络遭遇攻击后的破坏程度,并设计网络抗毁性能评价算法。以某快递企业的配送网络为例进行验证,结果表明对于具有动态流的现实网...
关键词:功率退避 时间退避 功率控制 移动ad hoc网络 mac协议
针对多跳稠密的移动Ad hoc网络面临的网络生存时间、无线资源利用效率以及时延要求等问题,提出一种新的功率控制MAC协议,该协议在功率退避基础上结合改进的时间退避机制,采用较灵活的竞争窗口调节方法有效地缓解冲突。仿真结果表明,该协议可以减少移动节点消耗的功率,提高节点的能量利用效率和系统的吞吐量性能。
关键词:认知网络 功率控制 多目标优化 自适应克隆 自适应变异
跨层资源优化是设计认知无线网络重要的一环,是典型的多目标优化问题。为此,提出一种自适应克隆与邻域选择优化算法解决认知无线网络中的资源优化分配问题。以使用带宽、消耗功率、数据传输速率等指标作为认知网络优化目标,并将其在算法中进行优化。通过2种典型测试函数的仿真比较,结果表明该算法能够有效解决认知无线网络中的频谱资源分配、功...
关键词:垂直分层空时码 排序qr分解 排序串行干扰消除
基于垂直分层空时码的MIMO-OFDM系统提出一种高效的QMC检测算法,该算法对信道矩阵进行一次排序QR分解,对最先检测的信号层采用ML-OSIC算法,用M算法检测中间的信号层,逐层增加保留值M以提高算法有效性,利用串行干扰消除检测余下的信号层。与QRD-M算法相比,QMC检测算法能降低计算复杂度。仿真结果表明,该算法以更低的计算复杂度获得更接近最大似然...
关键词:对等网络 网络编码 资源共享 线性编码 编码向量
传统网络消息传播基于存储转发路由机制,网络节点对于网络消息不进行任何处理,网络编码理论允许节点对传播的信息进行编码处理。基于此,利用网络编码数据包能携带更多网络信息的特点,提出一种对等网络环境下的互惠资源共享方法,保证对等网络资源共享的高可靠性和鲁棒性,并通过仿真实验加以实现。仿真实验结果表明,网络编码互惠资源共享方法能够...
关键词:ad hoc网络 传输控制协议 无线丢包 拥塞丢包 性能改进
为改进传输控制协议(TCP)在无线网络环境下的性能,分析Ad Hoc网络数据丢失的原因,提出一种区分无线丢包和拥塞丢包的算法。该算法通过在发送端检测返回的重复Ack的相对单向传输时延,探测到网络真实的拥塞状况,以便采取合理的拥塞控制措施。仿真结果表明,该算法能够正确区分无线丢包和拥塞丢包,改善Ad Hoc网络的TCP性能。
关键词:基本通信系统 分层思想 对象子网 着色petri网 建模
针对通信系统建模复杂度高、可靠性差、模型缺乏形式化验证方法以及可重用性差的问题,提出一种基于分层思想,并结合面向对象的概念,利用着色Petri网(CPN)对基本通信系统进行建模的方法。该方法融合CPN和面向对象技术的优点,从形式化、可视化的角度描述基本通信系统的运行过程。以一个简单的基本通信系统为例进行建模,证明该模型与实际系统中的...
关键词:无线传感器网络 事件概率 k覆盖 节点能量 网络生存周期
无线传感器网络在对目标区域进行K覆盖过程中易产生大量冗余节点,消耗网络中大量节点能量,并受外界环境因素制约。为此,提出一种基于事件概率的K覆盖算法。根据对监测目标区域节点关注程度的大小赋予不同概率值,通过节点之间信息交换和关联属性确定最小节点集和最大目标集,从而完成对目标区域节点K覆盖,优化网络资源,减少节点能量的消耗。仿真实...
关键词:对等网络 博弈论 激励机制 纳什均衡理论 资源分配
对等(P2P)网络中的搭便车问题使得网络节点只享用信息资源服务而不为系统贡献资源,导致网络中的共享资源不断减少,严重影响P2P网络系统的性能。为此,根据博弈论中的纳什均衡理论提出基于RDEC算法的激励机制。通过模拟实验并对相关数据进行分析,结果表明,该策略能改进P2P网络中资源的公平共享,最大化系统的效用。
关键词:数字水印 混沌数字水印 网格状多涡卷 混沌吸引子 超混沌 密钥空间
基于网格状多涡卷蔡氏混沌系统和离散余弦变换(DCT)理论,提出一种改进的数字水印算法。采用网格状多涡卷蔡氏混沌系统生成的混沌序列作为密钥,增强算法的安全性;利用网格状多涡卷混沌系统复杂的混沌动力学行为,弥补低维混沌系统用于数字水印时密钥空间过小的缺陷。实验结果表明,该方案在抗几何攻击、抗裁剪和密钥空间抗穷举攻击方面具有较好的...
关键词:可证明安全 签密 标准模型 公开可验证性 前向安全性
签密方案可以同时实现保密和认证,且实现代价小于加密和签名之和,但大多数签密方案都没有严格的安全证明。为此,基于椭圆曲线群上的困难问题提出一个可证明安全的签密方案。方案仅需要一次双线性对运算,实现快速。在标准模型下,证明该方案既具有密文不可区分性与签名不可伪造性,也具有不可否认性、前向安全性和公开可验证性。
关键词:灰度水印 自适应融合 拼贴误差 分形编码 峰值信噪比
当前多数水印方法通过实验获取最佳融合参数或直接采用固定的融合参数,但都无法获得理想的效果。为此,提出一种自适应计算融合参数的方法,该方法可以针对不同的载体图像、水印信息及攻击类型计算出对应的融合参数。与现有方法相比,该方法可以避免重复实验,无需对嵌入水印的载体图像所受攻击类型进行预估。实验结果表明,该方法自适应能力强、运算...
关键词:签密 数字签名 加密 基于身份的密码体制 广义签密 双线性对
提出一种基于身份的广义签密算法,该算法以一个密码模块实现签密、加密和签名3种功能,减少密码组件,可满足于更广泛的应用需求。给出详细定义,验证算法的正确性,并对其性能进行分析。分析结果表明:算法同时满足机密性和可认证性,与已有的L-K算法相比,在不考虑预计算的情况下,计算量具有一定优势。
关键词:辫群 共轭问题 p次根问题 安全性
针对辫群上左右子群的可交换特性、共轭查找问题及p次根的难解性问题,提出一个基于辫群的指定验证者签名方案。在指定验证阶段,该方案使用验证者的私钥,使得除了指定的验证者之外,其他人都无法验证签名的合法性。实验结果表明,该方案安全有效,可以满足指定验证者签名的需求。
关键词:智能卡 公钥基础设施 私钥 智能卡操作系统 生命周期
在病毒、木马泛滥的情况下,智能卡终端的安全性得不到保障,因此在智能卡私钥文件的生命周期中(如产生、更换、撤销过程)仍然存在安全风险,导致以私钥安全为核心的各类PKI应用出现各种问题。为此,介绍原有智能卡安全体系,对私钥在整个智能卡生命周期中的使用进行研究,并对潜在的风险进行全面分析,提出一种基于生产公钥证书的智能卡私钥保护方案...
关键词:模型驱动架构 统一建模语言 角色访问控制 安全软件开发 平台无关模型
为提高软件安全性,提出一种基于模型驱动架构(MDA)与统一建模语言(UML)扩展机制的安全软件开发方法。采用UML扩展机制建立系统安全相关的平台无关模型,将软件的安全性分析提前到设计的早期;利用MDA方法进行软件安全属性的建模,降低后期开发的风险与成本。图书管理系统实例验证了该方法的有效性。
关键词:虚拟专用网络 公开密钥基础设施 ipsec协议 数字签名
虚拟专用网络(VPN)中的IPSec协议不能解决通信各方的身份认证问题。为此,在VPN中引入PKI认证技术,描述PKI在VPN中的应用,包括身份认证、密钥管理和访问控制3个方面,给出PKI在VPN中的配置模型与功能模型,并对VPN用户数字签名的实现过程进行分析。
关键词:虚拟机监视器 安全性 超级调用 直接内存传输 虚拟cpu
分析虚拟机监视器的安全性能,结合开源虚拟化软件Xen分析其潜在威胁和漏洞,如超级调用、I/O直接内存传输等。设计并实现一种通过修改Xen VCPU状态信息来破坏虚拟机稳定性的方法,同时给出具体的防范措施,如可以对关键数据结构计算其校验值,及时发现是否被入侵,也可以直接禁止模块的加载,避免一切可能由模块带来的安全性问题。
关键词:结构化对等网络 信誉机制 分布式哈希表 资源共享
提出一种安全结构化对等网络的节点信誉管理机制。使用全局储存方式保存信誉度信息,将文件信誉与节点信誉相结合,避免恶意节点通过修改标识符伪装友好节点的行为。对文件共享系统中的基本操作过程进行分析。在各种节点行为下进行模拟实验,结果证明了该信誉管理机制的有效性。
关键词:不平衡数据集 偏转森林 集成分类器 过抽样
传统的机器学习方法在解决不平衡分类问题时,得到的分类器具有很大的偏向性,表现为少数类识别率远低于多数类。为此,在旋转森林分类方法的基础上,提出一种改进的不平衡数据处理方法——偏转森林。通过对少数类进行过抽样改变训练数据的分布以减小数据的不平衡,采用随机抽取的方式确保生成偏转矩阵的样本间存在差异,从而提高集成分类器的分类精度...
关键词:粗糙集 优势关系 属性依赖度 粒度 相对熵
针对传统粗集理论中属性赋权不一致,甚至相悖的问题,把2个概率分布的相对熵扩展到任意2个单维向量的相对熵,并将相对熵视作一种距离。通过定义属性重要度的代数观和粒度观确定优化权重的取值范围,根据各方案的属性值尽可能靠近理想值、远离负理想值的原理,建立单目标赋权优化模型。针对等价关系的局限性,将优势关系引入属性权重确定方法中。基于...
关键词:粒子群优化算法 混沌 自适应惯性权重 早熟收敛 全局优化
粒子群优化算法在求解复杂函数时,存在收敛速度慢、求解精度不高、易陷入局部最优点等问题。为此,提出一种自适应混沌粒子群优化算法。在基本粒子群算法中引入混沌变量,当算法陷入早熟收敛时进行混沌搜索,同时引入非线性递减的惯性权重。实验结果表明,该算法具有较快的收敛速度和较高的收敛精度,能有效避免早熟收敛问题。