计算机工程杂志,月刊,本刊重视学术导向,坚持科学性、学术性、先进性、创新性,刊载内容涉及的栏目:特邀论文、专栏、专题、先进计算与数据处理等。于1975年经新闻总署批准的正规刊物。
国家图书馆馆藏上海图书馆馆藏维普收录(中)CSCD 中国科学引文数据库来源期刊(含扩展版)CA 化学文摘(美)哥白尼索引(波兰)Pж(AJ) 文摘杂志(俄)知网收录(中)万方收录(中)北大期刊(中国人文社会科学期刊)JST 日本科学技术振兴机构数据库(日)统计源期刊(中国科技论文优秀期刊)文摘杂志
特邀论文专栏专题先进计算与数据处理体系结构与软件技术移动互联与通信技术安全技术人工智能及识别技术图形图像处理多媒体技术及应用开发研究与工程应用等
关键词:密码协议 事件图 形式化模型 图元
与单轮运行情形不同,多轮并发运行的密码协议存在更为复杂的安全性问题.并发运行密码协议的形式化分析对象包括密码协议的多轮并发运行和多个密码协议的并发运行两种情形,且二者具有统一的形式化模型.基于扩展的串空间模型和Spi演算理论,提出用于并发运行密码协议安全属性验证的事件图模型.图元是事件图的构造单元,它满足消息事件之间的通信关系...
关键词:跨域 可信 数据交换
分析了构成电子政务应用平台支撑之一的数据交换平台功能受到制约的关键因素及现有的解决办法.建立并形式化了域标识和域关系模型,设计了基于域标识和域关系的可信数据交换模型框架,在模型的实现部分,提出了扩展单交换所必需的基础设施,以及模型实现中两个最关键的问题--全局解析机构和域标识解析的解决方法.
关键词:数字水印 水印性能 排列procrustes问题 信息安全
针对一类基于图像分块变换和量化的数字水印技术,提出了以提高水印性能为目标的数字水印方法.该方法从提高水印透明性出发,对水印图像进行行列重排,将水印的优化嵌入归结为一个双排列Procrustes问题,并通过迭代算法获得其近似最优解.实验结果表明,该方法能较大地提高水印的透明性、稳健性、可视性和安全性.
关键词:数字签名 多重签名 广播 elgamal
目前,所有的ElGamal型广播多重数字签名方案都存在一个问题:签名时需要签名者之间或签名者与签名收集者之间交换多次数据以获取同一签名参数,从而导致系统的通信量增大,且易受攻击.该文给出了一种新的基于离散对数问题的广播多重数字签名方案.该方案不需要签名者在签名时多次交换数据以获取同一参数,因此具有更高的实用性和安全性.
关键词:网格简化 边折叠 二次误差测度 三角形重要度
针对目前自动网格简化算法在大规模简化时往往丢失模型重要几何特征的问题,该文提出了一种改进的边折叠三角网格简化算法.在Garland算法基础上引入三角形重要度概念,并加入到误差测度中,使得二次误差测度不仅能够度量距离偏差,而且能够反映模型局部表面几何变化.实验结果表明新的算法在保持二次误差测度快速特点的同时,使得简化模型在较低分辨率...
关键词:特征选择性能评价 网络社区结构 人工免疫网络
利用网络社区模块结构作为特征选择的度量指标,给出了一种基于全局拓扑结构的特征选择性能评价方法.对一种基于免疫学原理的数据压缩和特征提取模型--人工免疫网络进行了验证,通过对数据特征提取前的抗原数据网络和特征提取后的记忆网络的网络社区模块结构的对比,达到对人工免疫网络(aiNET)的特征提取性能评价的目的.实验结果证实了人工免疫网...
关键词:局部灰度概率 方向信息测度 红外小目标检测
提出了一种新的基于局部特征统计的红外图像小目标检测方法.对图像的局部区域灰度概率进行统计,通过阈值分割去除图像中缓慢变化的背景点和弱的边缘点,得到包含强的边缘点、噪声点和目标点的残留图像,利用残留图像内各点的局部方向信息测度的差异,进一步剔除强的边缘点.通过多帧累加判决的方式将真实目标从噪声点中检测出来.实验表明,该方法能够...
关键词:误码协调 奇偶比较 汉明码 量子密钥分发
误码消除是量子密钥分发过程的关键技术之一.分析了奇偶-汉明单向函数纠错算法的原理,给出了对原始量子密钥进行误码协调的步骤及表达式,对这种算法的纠错能力进行了理论和实验分析.结果显示,当原始密钥误码率为11%时,利用该纠错技术能够完全消除误码,且最终密钥生成效率与密钥的原始误码率直接相关.
关键词:媒体指令 单指令流多数据流 dct
二维DCT变换是视频编码协议H.264和MPEG系列标准的主要运算之一.传统的处理器中的运算无法满足视频编/解码的实时性要求.针对二维DCT变换,该文提出了和媒体指令相适应的数据结构和计算方法,最大限度地利用媒体指令的运算能力,在软件设计时避免了数据相关带来的性能下降.实验证明这种快速计算的实现方法能够满足视频应用的实时要求,为编译器设计...
关键词:容错调度 实时系统 软件容错
分析了软件容错模型中的BCE容错调度算法,针对该算法中的反向调度和正向调度两个过程,给出了RMB、DMB、EDFB 3种反向调度算法和RMF、EDFF 2种正向调度算法,指出了反向调度和正向调度相互协调的特性.将各种算法在BCE算法中进行模拟,结果表明EDFF正向调度算法能够与3种反向调度算法更好地协调,从而获得比RMF正向调度算法更高的调度性能.模拟结果表...
关键词:模型驱动体系结构 软件体系结构 平台无关模型 平台有关模型 模型转换
平台无关模型(PIM)到平台有关模型(PSM)的转换是模型驱动体系结构(MDA)中的关键技术,但目前还没有针对该转换的有效的解决方案.从软件工程的实施出发,以抽象代数理论为基础,同时考虑建模元素的语法结构和语义特性,该文提出了一种基于体系结构映射的、可支持模型间自动转换的方法.该方法充分利用软件体系结构在软件开发各阶段间保持的良好...
关键词:路由器设计 缓存计算 poisson模型 分数alpha通信量模型
缓存大小计算是高性能路由器设计中一个必不可少的内容,常规缓存计算方法是基于Poisson通信量模型得到的,不符合网络通信量的实际特征,在使用中存在丢包率较高的问题.已提出的分数Alpha通信量模型能体现通信量的自相似性和非高斯特征,用于缓存溢出概率计算,能得到比其它网络模型更好的结果.基于该模型得到了一个缓存计算方法,在高速路由器转发引...
关键词:网络安全 访问控制 免疫 家族基因
传统的网络访问控制机制大多与身份认证机制分开设计,针对其安全性差、效率低等问题,受人体免疫系统能自动识别并排斥非自体物质原理启发,该文提出了一种基于家族基因的网络访问控制模型(FBAC),给出了模型中网络家族、家族基因、基因证书等定义,建立了基因指派、制定族规、基因签名等用于生成基因证书的机制,描述了网络家族构造和基于家族基因...
关键词:故障管理 告警相关性 贝叶斯网络
利用贝叶斯网络建立通信网告警相关性模型,采用EM算法对不完全观察的隐变量进行学习.介绍了基于贝叶斯网络的基本概念.提出了通信网功能分层结构的思想,建立不同网络层次间的故障传播模型.讨论了从故障传播模型中构造贝叶斯网络.结合SDH over DWDM实验模型,具体讨论了贝叶斯参数学习的实现步骤及结果.
关键词:bpf 无环控制流图 过滤器虚拟机 静态单赋值 冗余谓词消除
BSD包过滤器(BSD Packet Filter,BPF)是BSD Unix操作系统提供的网络数据包捕获及过滤机制的内核组件.该文描述了BPF的组成及工作过程,分析了BPF采用的无环控制流图过滤模式,介绍了此模式基于虚拟机的实现.为了提高过滤器性能,必须解决BPF虚拟机指令生成器处理多个过滤条件组合时存在的指令冗余问题,通过引入静态单赋值(SSA),结合冗余谓词消...
关键词:三次样插值 逆扩散 非线性 图像增强
提出了非线性逆扩散图像增强算法的原则,应用三次样条插值方法构造了该算法的扩散系数,得到了较好的图像增强效果.说明该算法能够对有微弱噪声的图像进行图像增强并保持细节纹理,其扩散系数既满足了逆扩散图像增强的原则,又容易构造.
关键词:图像拼接 图像对准 显微图像 格状图 偏斜校正
针对大规模显微图像的拼接,提出了一种显微图像拼接的全局对准模型.利用2D格状图表示图像的邻接关系,并根据局部对准的可靠性对格状图进行修正,以消除空白区的影响.根据图像投影坐标的误差建立全局对准模型,可以有效地消除误差积累.把系统偏斜校正作为约束条件加入全局对准模型,并利用非线性优化方法得到具有全局一致性的图像对准参数,成功地解...
关键词:支持向量机 高斯核函数 支持向量
支持向量机中核函数及其参数的选择非常重要,该文提出了一种利用支持向量之间的距离求取高斯核函数参数的有效方法.该方法充分利用了支持向量机方法的最优判别函数仅仅与支持向量有关,并且支持向量为高斯核中心的特点.实验结果表明,该方法较好地反映了图像特征的本质,解决了高斯核函数参数在实际使用中不易确定的问题.
关键词:自适应 功率 调制 pomdp
研究了具有ARQ功能的基于衰落信道和数据链路层缓冲区队列状态的资源最优分配问题,为了通过自适应调整功率分配和调制方式,在系统平均功率的限制下,使系统的吞吐量达到最大,该文把这个优化问题构造为马尔可夫决策过程,并提出了用动态规划解决该问题的方法.
关键词:下一代网络 业务逻辑执行环境 业务部署 负载平衡
下一代网络(NGN)中业务部署的负载平衡问题不仅要考虑业务本身对资源的使用,还要考虑业务之间的协作.针对以上特性,该文提出了一种基于递归优化的算法,在减少业务协作对通信带宽消耗的同时,使异构系统达到负载平衡.实验证明了该算法的有效性.
关键词:一致性 分布虚拟环境 时钟同步 回调滞后 坐标转换
一致性问题是分布式虚拟环境中的基本问题.该文分析和总结了分布式虚拟环境中不一致问题产生的原因和将导致的结果,提出用面向对象方法中的对象-属性-事件机制解决实体状态的一致性问题,用软件时钟同步的方法解决时间一致性问题.提出了一个基于回调滞后的事件定序算法,用于解决事件处理顺序的一致性问题,用坐标转换的方法解决空间一致性问题.将...
关键词:模糊理论 神经网络 数据挖掘
提出了一种基于模糊神经网络的数据挖掘算法,把模糊理论和神经网络结合起来构造、训练模糊神经网络,弥补了神经网络结构复杂、网络训练时间长、结果表示不易理解等不足.经过模糊神经网络的建立和训练达到精度要求,实现了运用模糊神经网络方法从数据库中提取知识的目标.
关键词:资源网格 增量挖掘 物流 agent技术
分布在因特网上的物流资源具有地理分散和职权自治的特性,资源结构和接口难以统一.该文以网格、Agent和增量挖掘技术为基础,提出了不通过资源整合就能够实现全局信息挖掘的方法.分析了基于Web的物流资源网格系统,将其划分为物流域的集合实施分级管理.提出了新的面向网格的信息挖掘模型并设计了域内动态资源挖掘算法和域间请求式资源挖掘算法.该...
关键词:vxworks trueffs 错误恢复
Flash存储器虽然应用广泛,但是有限的擦写次数缩短了使用寿命.Flash文件系统必须采用一定策略延长Flash使用寿命,提高Flash使用效率.该文分析了TrueFFS实现上述目标的原理,介绍了在Flash上实现TrueFFS 的方法,并对TrueFFS的性能进行了分析和比较.
关键词:p2p管理 netfilter p2p特征码识别
在介绍P2P技术和Linux内核Netfilter框架的基础上,提出了识别P2P网络数据包的方法―端口识别法和特征码识别法.介绍了特征码识别法,讨论了如何获取P2P特征码并列出部分已知特征码,阐述了如何利用Netfilter框架进行P2P识别与管理,并进行了简单分析与总结.
关键词:固态存储器 闪存 数据管理 航天器
提出了一种用于航天器的高速大容量固态存储器数据管理方案.存储器基于NAND型FLASH芯片,采用并行扩展及流水线操作的技术.向存储区加载一簇有效数据后,系统立即向每簇的空余区加载该簇的使用状态信息,保持了多簇数据连续写操作的流水线顺序,从而保证了系统的平均输入高速率.根据簇使用状态信息在内存中建立的簇分配表,系统实现对存储区高速灵活...
关键词:大规模定制 供需网 系统分析 软件架构
大规模定制作为一种生产模式,能够很好地解决顾客个性化需求与制造成本间的矛盾.在单个企业无法实现这种生产模式时,可以由供需网其他节点企业通过软件平台来实现.该文从大规模定制的4种类型角度,系统地分析了供需网节点企业实施大规模定制的软件系统需求,即给出了该软件系统的功能需求、数据需求、用户界面、流程图及相关说明等内容.该软件系统...
关键词:需求分析 模型 风险 支持向量机 分类
需求分析风险是软件项目风险管理的重要内容.该文以13种风险为基础,建立了一个新的软件项目需求分析风险评估模型,把以往每个软件项目的13种需求分析风险看作一个1×13维行向量,作为SVM的训练向量,把其分成风险低、风险中等、风险高3个类别,并对项目需求分析风险水平进行了预测.
关键词:软件故障 故障定位 代码检测 软件密集型系统
针对现有软件故障定位方法的缺陷,提出了一种基于代码检测的软件故障定位方法,用嵌入式模块获取软件发生故障时的模块运行序列,分析出软件故障可疑模块集及其故障系数,在此基础上对故障模块进行代码的分类检测,根据上述过程中得到的结果进行综合分析运算,得出软件故障的可疑代码集和故障系数,采用代码分析辅助工具进行排查,定位故障.该方法已成...
关键词:检查点设置和卷回恢复 检查点开销 通信阻塞时间
检查点设置和卷回恢复是提高系统可靠性和实现容错计算的有效途径,其性能通常用开销率来评价,而检查点开销是影响开销率的主要因素.针对目前并行程序运行时存在较多通信阻塞时间的现状,该文在写时复制检查点缓存的基础上提出了一种进一步降低检查点开销的方法.通过控制状态保存线程的调度和选择合适的状态保存粒度,该方法能很好地利用通信阻塞时...
关键词:地理本体 owl 空间数据库
针对用E-R模型建立空间数据库概念模型存在的不足之处,将本体论的思想和方法引入到地理信息领域.讨论了地理本体的意义及其表达语言.阐述了空间E-R模型的特点,分析了地理本体和空间E-R模型之间的关系.提出了以地理本体为语义基础设计空间ER模型的思想,并用扩展OWL表示的灌溉本体为例,介绍了从地理本体出发,设计空间E-R模型来建立空间数据库概念...
关键词:物化视图 匹配合并 双分解树
用视图优化查询是提高数据库响应性能的重要手段,所以减少视图的搜索空间有非常重要的意义.该文提出了视图合并的一种新算法―匹配合并法,该算法大大地扩展了视图合并范围.为了更快地进行匹配合并,还提出了一种有效的索引结构―双分解树,通过分解视图集来达到快速合并视图的目的.实验表明,该合并算法改进了数据库的查询性能.
关键词:数据转换 xml shema 本体 本体标注 xquery
提出了一个在金融领域范围内基于本体模式关联数据转换的解决方案.通过本体标注表现XML Schema与本体之间的关系,经过本体推理和匹配完成模式之间元素和路径的匹配映射关系,生成的XQuery脚本可以完成整个数据转换工作.
关键词:文本分类 无监督文本聚类 朴素贝叶斯分类 欧氏距离
利用无监督聚类方法和朴素贝叶斯分类的特点,把UC获得的预分类结果作为朴素贝叶斯分类器的训练样本,将处在聚类结果中类属模糊区域的文本交给训练好的朴素贝叶斯分类器再进行分类,实现了对不带任何类别标记文本的准确分类,可得到较准确的分类结果.
关键词:索引优化 数据访问流 数据模型 流程模型
提出了一种基于数据访问流进行索引优化的方法,该方法通过集成业务流程模型与数据模型,抽取了流程活动中包含的数据访问操作和流程的控制结构形成数据访问流,分析了数据访问流中数据访问操作的频度,为频繁数据访问操作所对应的数据项创建索引,达到改善数据访问性能的目的.实验结果表明,该方法提高了数据查询的速度.
关键词:多变量时间序列 滑动窗口 局部稀疏系数 扩展的frobenius范数 异常数据挖掘
与其它多变量时间序列(MTS)子序列显著不同的子序列,称为异常子序列(含异常数据).该文提出了一种基于滑动窗口的MTS异常子序列的挖掘算法,使用扩展的Frobenius 范数来计算两个MTS子序列之间相似性,使用两阶段顺序查询来进行K-近邻查找,将不可能成为候选异常子序列的MTS子序列剪去,对上海证券交易所股票交易情况MTS数据集进行了异常子序列(...
关键词:服务质量 距离向量 触发更新 状态稳定性
为了满足多种业务需求、优化网络资源,QoS路由需要具备较准确的网络状态信息计算路径.受到网络开销等诸多方面的限制,现有的距离向量等算法难以及时、准确地描述网络状态统计特征,状态的不确定性成为了服务质量研究的难点.该文提出了一种基于状态稳定性更新的距离向量路由算法(SSB-DV),改进了对距离向量算法的周期更新方式.通过分析和仿真实验...
关键词:网格资源监控 轮询 一元线性回归
目前大多数网格资源监控系统的轮询策略采用固定周期,很少考虑动态调整的轮询周期.该文提出了自适应轮询策略,采用了经典的一元线性回归预测模型,解决了固定轮询周期的不足之处,并进行了仿真测试.
关键词:新用户呼损率 切换用户呼损率 丢包率 平均时延 服务质量 无线网络
针对移动网络中新的增值数据业务的增加、性能指标多样化的现状,提出了一种具有共享缓存、支持可变比特率业务的接入网系统模型,给出了性能参数的计算方法、兼顾分组层性能参数(丢包率和平均时延)和连接层性能参数的CAC算法,数值计算结果表明了该方法的正确性.
关键词:网络流 主成分分析 特征值 特征向量
网络流量是由主机间的大量连接组成,并且包含各种各样的数据.大部分研究集中在整体流量的统计性质上,忽视了整体流量中不同网络流之间的微观关系.该文从微观的角度将整体流量进行分析,找出了基于源和目的IP地址的网络流之间的关系,研究了正常网络流和攻击网络流在相关性上的不同.