计算机工程杂志,月刊,本刊重视学术导向,坚持科学性、学术性、先进性、创新性,刊载内容涉及的栏目:特邀论文、专栏、专题、先进计算与数据处理等。于1975年经新闻总署批准的正规刊物。
国家图书馆馆藏上海图书馆馆藏维普收录(中)CSCD 中国科学引文数据库来源期刊(含扩展版)CA 化学文摘(美)哥白尼索引(波兰)Pж(AJ) 文摘杂志(俄)知网收录(中)万方收录(中)北大期刊(中国人文社会科学期刊)JST 日本科学技术振兴机构数据库(日)统计源期刊(中国科技论文优秀期刊)文摘杂志
特邀论文专栏专题先进计算与数据处理体系结构与软件技术移动互联与通信技术安全技术人工智能及识别技术图形图像处理多媒体技术及应用开发研究与工程应用等
关键词:时间序列预测 支持向量机 多尺度 数据挖掘
介绍了相空间重构和基于支持向量机的时间序列预测建模技术,提出了复杂时间序列的多尺度分解方法,对支持向量机回归与预测的各项参数设置进行了试验分析.对股票数据进行建模和预测,结果表明支持向量机对复杂时间序列具有较好的预测效果.
关键词:神经网络 反向工程 曲面建模 点云
在分析现有重构方法局限性的基础上,提出了一种基于神经网络的点云数据重构三维网格形状的新算法.首先对点云数据平滑处理;然后进行特征线提取,并以特征线为基础对曲面进行分割.该方法能直接从神经网络的权值矩阵得到曲线的控制顶点/曲面的控制网格,通过神经网络的权值约束实现曲线段/曲面片之间的光滑拼接.能显著提高逼近网格的品质,从而实现了...
关键词:模式聚合 隐含语义分析 文本分类 向量空间模型
根据模式聚合理论(PA)和隐含语义分析理论(LSA)提出了一种文本分类新方法--TCBPL方法,该方法应用PA理论和LSA理论来构造向量空间模型,大大削减了特征向量的维数,同时增强了稀有词的作用,并在特征向量中引入了语义成分,从而提高了分类的速度和精度.
关键词:寄存器重命名 指令凋度 依赖
指令间的依赖关系是阻碍指令调度发挥作用,进而影响指令级并行的主要障碍.寄存器重命名是解决控制依赖和数据依赖的一种重要技术.研究并实现了一种指令调度中的寄存器重命名技术.它在164.gzip和186.crafty上分别取得了约5%和3%的加速比.
关键词:混沌 遗传算法 组播路由 服务质量
提出了一种基于混沌优化和遗传算法的新颖的QoS组播路由算法,该路由算法把混沌系列和遗传算法结合起来,并提供了一种新的编码方式和一种自适应的变异遗传操作,从而克服了传统遗传算法中存在的早熟现象,加快了收敛速度.仿真结果显示,该文提出的算法在解题的精度和收敛速度等方面都优于遗传算法.
关键词:区域网络化制造 资源优化配置 资源优选 动态联盟
根据成都、德阳、绵阳地区制造资源的特点,分析了成德绵区域网络化制造资源优化配置的必要性和迫切性.结合成、德、绵区域网络化制造系统的开发实践,先对资源优化配置系统的总体结构进行分析,再对总体结构下的各个部分,尤其对设备资源的优选进行了详细分析和探讨,并进一步提出了各个部分的实现策略.最后给出实现的实例.
关键词:组合导航 神经网络 卡尔曼滤波 航位推算
提出了将神经网络模型(NNM)概念应用于组合导航系统,并给出了基于RBP网的NNM训练过程,基于传统模型的卡尔曼滤波算法与神经网络相结合,有效地解决了GPS信号被屏蔽时的航迹预测问题,最后对GPS/DR组合导航系统进行动态仿真,仿真结果表明,采用该算法的组合导航系统定位精度高、可靠性好.
关键词:线性时态逻辑 robdd
模型检验是一种重要的形式化自动验证技术.检验一个模型是否满足LTL公式,可以把LTL公式转换为一个表示相同无穷状态序列的ω自动机,通过转换后的ω自动机与系统自动机的乘积判空来进行模型检验.由于自动机的体积是模型检验的一个关键性问题,为了得到尽可能小的自动机,在LTL公式转换为ω自动机之前,对LTL公式进行预处理来减少冗余,然后基于ROBDD,通...
关键词:多agent 协商联盟 算法
通过对DDSS中的多agent协商机制的分析,阐述了agent系统的协商联盟的概念,对构建agent协商联盟作了说明,并对协商联盟进行了公式化描述;提出了多方协商算法构建agent协商联盟,给出了算法的流程图和文字描述.协商联盟的建立是Agent协商机制的关键,也是提高系统的性能,增强其解决问题能力的关键,并使DDSS具有更好的灵活性.
关键词:snmp协议 网络管理 通用性和可扩展性
根据网管软件的现状,对SNMP转换存在的通用性问题进行了较深入的研究,提出通过构造通用适配器和动态载入XML设备模板的方法,实现具有较好通用性的SNMP转换,使基于SNMP的网络管理延伸至更广泛的领域.
关键词:基于策略 服务质量 移动ip 切换 自适应
提出了一种移动IP网络中基于策略的切换架构,并对其运行机制进行了描述.仿真分析表明,该架构能针对网络资源的动态变化、特定的业务类型和用户的定制服务要求,用抽象的策略对切换请求和过程进行自适应判定和动态控制,从而有效改善切换性能.
关键词:图像融合 小波分析 图像处理
针对退化图像空间分辨率较低的问题,提出了一种基于归一化方差的多分辨率图像融合方法.该方法首先对图像进行二层小波分解,然后根据小波系数的统计特征来定义归一化方差,并以此作为图像融合测度来对退化图像进行多分辨率特征融合,从而得到包含更多信息和有效特征的融合图像.试验结果表明,融合后的图像在保留细节信息和光谱信息上均能获得较好的...
关键词:数字签名 密钥管理 消息摘要
开发了一种基于密钥集中式管理的数字签名方法,并在开发的办公自动化系统中予以实现.该方法利用MD5算法来抽取公文信息指纹,利用RSA公开密钥算法在公文信息指纹上实施签名,从而保证了公文信息的完整性,并通过一种密钥生产管理系统来生产并管理办公自动化系统中所有合法用户的公/私密钥对,从而保证签名的真实性与安全性,并为用户使用密钥提供方便...
关键词:人工免疫 淋巴细胞 下推自动机 hmm
有些淋巴细胞的构造模型,如r-邻域位线性构造模型,识别能力不够强,尤其对正则表达式缺乏识别能力.该文以下推自动机模型为原理,提出了一种自动机模型的淋巴细胞,这种淋巴细胞具有比有限自动机更强的识别能力,同时利用相近的入侵具有相似性这一点,引进了一个经验队列,配合HMM中状态转移概率的概念,对状态转移进行评判.最后给出了模型具体的设计方...
关键词:信任管理 分布式授权 凭证 凭证链
分析了RT0信任管理语言及其语义,添加了凭证类型.RT0中证明授权请求是通过构建凭证链进行,通过对前后向链构建规则进行分析,总结并完善了凭证链构建时非线性结构的处理.提出了角色推论深度的概念,讨论了链构建时的推论深度控制机制,解决了对授权安全级别进行控制的问题.给出了使用栈管理待处理角色表达式的方案,使链构建有序进行.
关键词:任务调度 遗传算法 多队列backfilling
针对移动机器人导航控制中信息处理量大、任务多的情况,提出了一个适用于移动机器人的分布式计算框架,并在此框架的基础上设计了一种任务调度方法--GMBSA,该方法以资源为基础,首先对任务执行时间进行预测,然后运用遗传算法结合多队列Backfilling方法进行任务调度,达到最小化任务执行时间的要求,最终实现资源的优化分配,满足了机器人导航控制中的...
关键词:空间信息网格 分布式系统 任务凋度 多线程 负载平衡
空间信息网格是利用网格技术实现空间信息资源的共享、管理和提供空间信息服务的系统和各种的空间信息服务的基础设施,任务调度是分布式系统和网格系统最具有挑战的问题之一,Java语言里的多线程机制很好地解决了这一问题.该文主要研究了SIG中的任务调度技术,通过实验确定分布式系统里的线程数目,使系统性能获得局部最优.
关键词:分布式电子商务 服务 服务供应链
讨论服务供应链建立过程的模型.首先讨论服务供应链相关的基本概念,然后在已有概念的基础上详细分析简单的链状服务供应链的建立过程并给出了相应的模型.随后分析建立过程中算法的复杂性,并在该基础上提出了优化方法.
关键词:专利分类 向量空间模型 领域知识
根据改进的词语权重计算方法构造给定文本的特征向量,并用之从专利分类的领域知识――国际分类表IPC中直接提取类别的概念向量和待分类专利文本的特征向量,然后采用向量空间模型实现专利的自动分类,该方法不需要大量的训练样本,具有较高的分类正确率和执行速度.
关键词:可测性设计 逻辑内建自测试 测试点插入
随着集成电路工艺进入深亚微米阶段后,电路复杂度的不断提高,特别是片上系统的不断发展,主要包括验证测试和制造测试的芯片测试,正在面临着巨大的挑战,传统的使用自动测试设备的测试方法越来越不能满足测试需要.各种用于提高芯片可测试性的可测性设计方法被提出,其中逻辑内建自测试方法已经被证明为大规模集成电路(VLSI)和SOC测试的一项有效的可...
关键词:进化算法 测试自动化 嵌入式操作系统 并发性能测试
给出了一种基于进化算法产生系统负载来测试嵌入式操作系统性能的解决方案.该方法能较真实地模拟系统所遇到的实际情况,对嵌入式系统和嵌入式操作系统的测试具有一定的普遍意义.
关键词:时间序列 规则 数据挖掘 算法
提出了新颖的时间序列模式和规则挖掘技术.该技术先把待挖掘的时间序列转换成子时间序列数据,然后利用子时间序列所隐藏的知识,来指导对原时间序列的挖掘,从中提取模式或规则.给出了时间序列模式和规则的挖掘算法,并举例说明该算法是有效和可行的.
关键词:集群系统 动态调度算法 梯形自调度技术 群调度
通过比较目前几种集群任务调度算法,选择基于集中队列的动态调度算法--梯形自调度算法(TSS),实现了一个基于集群的任务调度系统GTS.GTS是一个用户级的任务调度系统,它建立于Linux之上,主要负责对用户任务的调度.通过测试,GTS系统可以胜任集群工作站中的任务调度并在结点数较多的情况下大幅度提高应用问题的性能.
关键词:问题解决标记语言 owl 语义web horn子句
提出了将OWL和Horn子句相结合构建β-PSML语言,它既可以表示OWL中不能表示的多元关系,又可以表示Horn子句难以表示的有丰富等级结构的领域模型.提出的β-PSML语言是一种语义Web中新的知识表示方法,利用该β-PSML语言的推理功能可以完成语义Web中的查询.
关键词:基于构件的软件工程 软件体系结构 构件接口模型 接口规约 行为协议
借鉴软件体系结构的思想,提出了面向体系结构的构件接口模型,它既能表达体系结构设计的高层抽象构件,又能表达底层代码级别的实现构件.同时基于该模型,运用顺序通信进程,提出了两级构件接口行为协议规约方法,能够有效规约大粒度复杂软件构件的行为交互协议.
关键词:预测算法 预测区间 分布式系统
现在分布式系统中调度组件包含了预测主机负载的算法.根据这些算法得出的结果,可以看出预测的区间长度会直接影响调度结果.为此,设计了一个模拟试验,获得了预测区间长度与调度结果之间的关系,对改进调度系统中预测算法提出了一些建议.
关键词:工作流 审计信息 xml模式
通过分析工作流审计信息包含的内容,对工作流事件进行编码,基于XML Schema给出了工作流系统审计信息的通用表达,并讨论了审计信息的分析过程.该工作为异构工作流系统之间实现审计信息的交换、访问和分析建立了基础.
关键词:软件工程学 软件数据 评价指标法 偏离度法 中心知识法
提出了3种实用的软件数据挖掘方法:评价指标法,中心知识法,偏离度法.介绍了这3种常用软件数据挖掘的概念,给出了它们的具体模型,最后对这3种软件数据挖掘方法进行了比较和评价.
关键词:远程存储访问 动态进程加载
MPI-2的实现研究,主要是远程存储访问和动态进程加载两部分的实现,也是曙光4000A上基于mpich-1.2.5..10实现MPI-2的经验总结,文章介绍了远程存储访问和动态进程加载两部分的实现思路和和其中两个主要难题的解决方法.
关键词:软件测试 测试数据 遗传算法 控制依赖图路径
分析了软件测试的相关概念,提出了利用控制依赖图路径生成测试数据的方法,给出了一个完整的解决方案,通过具体实例表明其有效性.
关键词:eca规则 dfa 直接代码生成 表驱动代码生成
通过对复合事件的自动机检测模型的研究,讨论了构造事件表达式的自动机模型的完整过程.给出了在DFA向程序转化的过程中两种代码产生算法:直接代码生成算法,表驱动代码生成算法.
关键词:vowlan 服务质培保证 点协调功能 分布式协调功能 轮询
就802. 11 WLAN中MAC层点协调功能(PCF)状态下点协调器(PC)对各个站点分配媒体访问权的轮询机制进行分析并加以改进,通过引入不同优先级的业务区分机制,提出一种新的轮询调度算法,从而提高站点数据接入服务的性能,以满足VoIP over WLAN应用的QoS需求.
关键词:软件测试项目 度量 测试用例 项目管理 缺陷
对软件测评实验室承担的软件测试项目所需的度量进行了综述、分类和研究,列举了常用的项目度量、过程度量和产品度量,给出了典型度量的使用实例.
关键词:接入网关 服务质量 voip
随着下一代网络的发展,客观地要求为Internet用户提供高性价比的网络接入设备,该文详细地从应用场景、关键技术、系统实现、QoS保证机制和语音的QoS仿真等方面阐述自行设计的宽带接入网关,提供了一种接入网关的完整解决方案.
关键词:网络存储 远程 消息 文件传输
给出了远程控制管理中网络存储功能的设计,实现了基于网络将操作者本地机中的文件与远程控制的计算机互访存储的系统,实现了本地机对远程计算机中的文件进行删除、存储等操作.
关键词:移动ad hoc网络 分级结构 虚拟拓扑 源根最小生成树 逻辑代价
分级结构适用于大规模移动Ad Hoc网络(MANET),但是分级拓扑结构难以维持,并且MANET的移动性带来了结点通信的稳定性和通信开销问题.该文提出了MHSR协议以形成分级拓扑结构,并引入 '逻辑代价'的概念,在此基础上寻找源结点和目的结点间'逻辑代价'总和最小的路径,以达到在网络稳定性得到充分保证的情况下降低通信开销的目的.
关键词:无线传感器网络 多传感器系统 网络协议 信息融合
无线传感器网络是一种与传统网络不同的、具有能量有限、自组织等特点的无线Ad Hoc网络,其网络协议的设计面临新的挑战.该文采用信息融合与多传感器管理的策略,采用UML建模工具进行分析,提出了一种无线传感器网络数据链路层设计模型,通过减少控制包的开销,优化传感器结点有效数据的传输和能量消耗等,从而使数据的传输与差错控制、能量消耗等性能...
关键词:自相似性 hurst参数 离散小波包变换
网络流量的自相似参数估计方法有多种,但研究表明这些方法在准确性或计算上都有一定的局限性.该文在小波包分解的基础上,考虑信号能量在分解过程中的分布,得到基于小波包分解的Hurst参数估计方法.通过对两组合成数据的参数估计,表明该方法在继承了小波变换的计算优势的基础上,能得到更精确的估计结果.把该方法应用于计算实际互联网流量的自相似...
关键词:嵌入式系统 linux 无线网 路由协议
在简述无线网络系统构架和嵌入式系统一般设计方法的基础上,提出了一种基于嵌入式Linux系统的新颖无线专网,并论述了网络系统的设计过程与实现方法.首先讨论了如何根据系统要求进行硬件设计,然后就系统设计、系统引导程序、无线网络路由协议等关键技术难点作了详细论述,提出了相应问题的实际可行解决方法,最后简述了系统的应用前景.
关键词:网络拓扑 web方式显示 svg
提出了用SVG结合XML-RPC的方法来实现Web方式的网络拓扑显示:用SVG描述网络拓扑,提供无失真缩放、动画等表现形式;用XML-RPC实现客户端网络拓扑图与服务端的通信,完成用户对网络拓扑图的编辑、保存等交互动作.给出了采用这一方案的网络拓扑显示模块的设计与实现,以及实际应用的效果.