计算机工程杂志,月刊,本刊重视学术导向,坚持科学性、学术性、先进性、创新性,刊载内容涉及的栏目:特邀论文、专栏、专题、先进计算与数据处理等。于1975年经新闻总署批准的正规刊物。
国家图书馆馆藏上海图书馆馆藏维普收录(中)CSCD 中国科学引文数据库来源期刊(含扩展版)CA 化学文摘(美)哥白尼索引(波兰)Pж(AJ) 文摘杂志(俄)知网收录(中)万方收录(中)北大期刊(中国人文社会科学期刊)JST 日本科学技术振兴机构数据库(日)统计源期刊(中国科技论文优秀期刊)文摘杂志
特邀论文专栏专题先进计算与数据处理体系结构与软件技术移动互联与通信技术安全技术人工智能及识别技术图形图像处理多媒体技术及应用开发研究与工程应用等
关键词:本体语言 语义web 描述逻辑
随着对语义Web研究的深入,人们越来越关注在Web上信息内容的表示和检索问题.在语义Web的七层模型中,建立在RDF模式层之上的本体语言层用于形式化描述Web文档中词汇的含义,是建立语义Web的关键环节[5].该文介绍了W3C最新给出的Web本体语言OWL,给出了OWL 3个子语言构造成分的含义说明,并比较了3种子语言间的差别.
关键词:电子商务 电子商务标准 互操作性
综述了电子商务标准的发展状况,对传统EDI与当前几种新型电子商务标准进行了比较,研究了中国电子商务规范cnXML的架构,剖析了利用cnXML进行电子商务交易的过程.
关键词:pci express infiniband 总线技术
分析了PCI/PCI-X架构I/O瓶颈,然后深入阐述第三代I/O技术PCl Express的特性及其体系结构,最后指出PCI Express作为InfiniBandTM的重要补充必将在未来计算机I/O体系结构中扮演举足轻重的角色.
关键词:情境感知计算 普及计算 系统框架 主动数据库
情境感知计算是普及计算引发的新的研究领域.在分析情境感知计算系统模型的基础上,研究并改进了系统开发模型CTK,提出基于主动推理的系统框架ACTK,以智能家庭原型的实现证明了它对情境感知应用的开发和研究更好的支持.
关键词:relax ng 语义模型 属性 元素 数据类型 信息集
根据作者在使用XML工具从事应用软件开发工作中的体会,分析了一种新的XML模式语言--RELAXNG的特点和优越性;并通过实例,将它在语义模型、属性和元素的一致性、数据类型、信息集增加等方面与DTDs和W3C XML Schemas技术进行了比较.
关键词:流量工程 多协议标签交换 ns2 网络设计
目前多协议标签交换(MPLS)的传输层网络设计中主要有两种可选方案.该文将分析和比较在两种方案下离线型流量工程算法的性能.采用网络仿真工具ns2.1b7进行了算法实现和仿真.仿真结果表明,在带宽受限的网络环境下(如无线网络或特种网络),在数据分组有效负载利用率允许的范围内,选择较小的数据分组长度能将离线型流量工程算法的性能与理论最优性能...
关键词:支持向量机 回归 神经网络 密闭鼓风炉 锌产量
为优化密闭鼓风炉的操作参数,建立了锌产量的实时预报模型.该模型采用分类SMO方法训练支持向量机回归模型,并根据若干步的误差来在线校正模型参数,对锌产量进行多步预报,以及时调整操作参数,并能在线学习预报模型.该预报模型的工业仿真表明在只有较少的样本数的情况下,在有效误差范围内能达到90%,且具有很好的实时性.该模型已应用于密闭鼓风炉操...
关键词:入侵检测 异常检测 熵
异常检测是防范新型攻击的基本手段.该文使用信息熵作为理论工具,用正常行为的熵相对于随机行为的熵的比值作为正常行为规则性的度量标准,并结合一个具体的异常检测实例验证了这种度量标准的合理性.
关键词:信息集成 建模分析 if矩阵 知识库
提出了基于矩阵的企业信息集成分析方法模型,并就其实施步骤、性质和特点作了详细介绍.利用矩阵分析模型和信息集成知识库,为信息集成各阶段的实施提供了可选方案.同时,矩阵模型能将企业业务中的信息流进行分组或合并,使基于矩阵分析所生成的信息集成方案能大大简化信息流并提高信息集成整体系统的开放性及实施的成功率.
关键词:多维 包分类 hash表 grid of tric树 rfc算法
包分类是多种网络应用的分类算法--RFC算法,论述了算法的原理和实现算法,将RFC算法与几种常见的分类算法作仿真比较,阐述了RFC算法的优越性.
关键词:网络管理 子网 拓扑发现 拓扑图 性能门限 采集线程 snmp设备
介绍了网管系统中的性能和拓扑管理功能的设计与实现.性能管理可以分为前台实时监视和后台性能数据收集两部分.拓扑主要包括拓扑发现、状态查询和拓扑显示.
关键词:计算机对等联网 活动对等点 超级节点 分级目录
计算机对等联网(peer-to-peernetwork,P2P)技术是目前新一代网络技术研究的活跃领域,而P2P网络模型研究是P2P网络技术研究的重要环节.该文分析了目前两种流行P2P网络模型的不足,通过在P2P网络中引入集中和分级目录概念,根据资源内容建立不同的层次结构,提出了一种新型P2P网络模型.
关键词:遗传算法 异构分布式计算机 任务调度 分布式图像绘制 最早完成时问
在分布式图像绘制中,为提高图像绘制速度,达到图像的实时绘制,缩短任务调度长度,提出了基于最早完成时间(EFT)启发的遗传算法,染色体编码采用问题属性作为基因.实验表明它对于解决异构网络平台下分布式任务调度具有很好的收敛速度,最佳的调度长度和调度方案.应用于分布式图像绘制可以取得良好的实时性和较佳的图像质量.
关键词:zemike矩 图像归一化 不变性 离散化 噪声 bp神经网络
推导了基于Zemik矩的图像归一化标准,实验分析了数字图像离散化和噪声对Zemike矩计算的影响,并提出了相应的改进措施.最后,以BP神经网络作为分类器检验了改进的Zemike矩描述子的性能.试验结果显示改进的Zernike矩描述子能非常有效地保持平移、尺度、对比度和旋转不变性,并且能够有效抑制噪声影响.
关键词:编译器 性能监控 分析 调试
介绍了在基于IA64体系结构的高性能优化编译器ORC的性能调试阶段所开发的工具、利用的方法和积累的经验.实验数据部分给出了ORC性能调试阶段的实际情况,证明了文中介绍的工具、经验和方法在找到新的优化机会、快速定位并排除性能下降和保持性能稳步上升等多方面都是行之有效的.
关键词:机会 机会发现 溯因推理 lm4c 相关性
机会发现(Chance Discovery)是近年来提出的一个新的研究课题,文章考察了溯因推理作为主体"机会"规范和机会发现推理机制的优劣,提出了将Lm4.嵌入到溯因推理中,对Chance Discovery从两个角度进行了扩展,并且实现了在相关性解释下的"机会"规范和机会发现推理.
关键词:linux网络协议栈 ip报文 分流
实时对网络海量信息截取、分析和处理的负载远远超出了单台计算机的处理能力,文章采取在Linux操作系统内核中将IP报文截取,并按照转发策略对IP报文进行重新定向发送给下游处理机的方法,在操作系统底层实现IP报文的分流,满足了对网络海量信息进行实时分析和处理的技术要求.
关键词:xml数据库 xml类型系统 类型理论 逻辑化形式建模
利用形式化模型的形式简洁、描述清晰、逻辑性强、易于扩展以及实用性强等优点,运用基于类型理论的逻辑化形式建模技术对XML类型系统进行了形式化建模,实现了对各种XML数据的类型定义和对XML数据处理过程的类型检验,为可直接存储和检索XML数据的XML数据库DM4提供了一种有效的类型系统设计方案.
关键词:制造控制系统 领域分析 软件构件 软件重用
为了实现制造控制系统软件的有效重用,提出了制造控制系统软件构件的描述模型,保证软件构件描述与可执行代码之间的一致性.通过领域分析,将制造控制系统的软件构件接口与实现分离,信息与功能分离,构件之间通信通过独立的数据对象实现,消除了软件构件之间的网状调用关系,简化了应用软件结构和软件设计,提高了软件的可重用性和重用效率.
关键词:电于货币 手机 电子钱包
介绍了当前电子货币系统的大致框架,对电子货币系统的3个主要参与方以及5个主要过程作了简要说明,然后提出了一个在手机上实现的基于防篡改硬件的电子货币系统,最后对其安全性作了分析并进行了总结.
关键词:语音改变 线性预测 plar参数
讨论了一些语音改变技术的应用场合,分析了语音改变的一般方法,并提出了一种新的针对PLAR(pseudolog area ratio)曲线进行变换的语音改变方法,从而使说话人的语音特征得到改变.该方法采用了基于音段和听觉的方法来改变语谱特征参数,算法简便,计算量少,便于实时处理.用该算法实现了语音通信中个人隐私的实时保护.
关键词:入侵检测 代价平衡 模型
入侵检测系统必须在最小代价的情况下达到最大的安全效果.研究了入侵检测响应的高效模型.将入侵检测的代价分类,分别为损害代价、反应代价和执行代价,并在此基础上对各种入侵进行了分类;分析了这些代价因素的代价规则,建立了入侵检测代价平衡模型,对模型进行模拟分析,找出了代价最优的多规则库的模型.
关键词:地理信息系统 web services net 空间数据库访问引擎
分析了GIS的发展方向和Web Services的优势,在此基础上提出了一个基于Web Services的分布式GIS系统集成框架,并讨论了其中涉及到的关键技术,给出了一个实例和进一步的研究方向.
关键词:统一建模语言 b抽象机 b语言
分析了目前主要的UML形式化方法及特点,提出了基于B语言的转换方法B2F(B-Based Formalization),通过将UML模型转化为B抽象机描述实现UML的形式化描述和验证,并详细分析了基于B2F方法的UML类图的形式化,证明了该方法的可行性.
关键词:mcu dsp双核结构soc 嵌入式系统 bootloader communication
讨论了基于TMS320VC5471 MCU、DSP双核结构SoC的嵌入式软件设计中多处理机体系结构所独有的bootloader设计、IPC(InterProcessor Communication)机制及其交叉开发和调试环境的建立等问题.
关键词:测试数据自动生成 谓词函数 线性约束系统 线性规划 相容性
研究了Gupta方法中的无法找到测试数据的问题;提出了一种算法来解决这一问题,提高了软件测试数据自动生成的有效性.
关键词:安全数据库 blp模型 多级关系模型
安全数据库管理系统的安全策略可以为数据库提供强大的安全功能,现在BLP模型是用得比较普遍的策略模型之一.为了适应BLP模型,采用一种实用的多级关系模型作为安全数据库的基础,这是原有关系模型的扩展.该文描述了多级关系模型的原理和内容,特别对多级关系模型的分解与合并做了详细的阐述.并说明了这个模型适合于在多级安全操作系统上实现多级数...
关键词:iscsi 网络存储 缓冲
iSCSI是一种在IP网络上传输SCSI协议的协议.然而,在IP网络上封装SCSI协议需要大量额外开销来进行SCSI命令的传输和网络中的握手动作.通过对iSCSI协议及美国UNH(university of new hampshire)大学的参考代码实现进行分析,提出了一种改善iSCSI存储系统的性能的缓冲策略.通过对缓冲区进行有效的管理可以缩短系统的响应时间,并提高系统的并行程度,从...
关键词:元数据 联机分析处理 公共数据仓库元模型
元数据在数据仓库和联机分析处理中扮演着重要的角色.该文介绍了自主研制的DM OLAP系统的元数据模型,包括其设计和CWM标准化.同时,提出了基于CWM模型的DM OLAP元数据管理系统的设计.
关键词:面向对象软件测试 可测性设计 软件内建自测试 测试用例 测试语言
根据一种软件可测性设计技术-软件内建自测试的实施方案,该文提出了一种针对C++类测试的测试描述语言TDL,以提高C++类测试数据的存储结构化,方便其共享和复用.重点讨论了TDL语言的核心对象和结构,并给出了一个TDL程序的实例.
关键词:分布式体系结构 构件模型 corba
构件技术是目前软件开发的主流技术,CORBA构件模型是具有代表性的构件模型之一,分布式多层应用系统已成为目前重要的系统结构.文章讨论了基于CORBA构件模型和分布式多层体系结构的软件开发技术在一个分布式信息系统(即某钢管铸造企业管理信息系统)中的应用,并给出了设计步骤及形式化描述.
关键词:j2ee 性能 junitperf 内存泄漏
随着J2EE应用的功能日趋强大,复杂度也会越来越大,性能问题开始暴露和突出.文章基于J2EE的整个开发过程,研究性能问题,包括分析、创建、测试和部署阶段.介绍了用JunitPerf进行自动性能测试,并重点讨论了性能问题中的难题即内存泄漏问题.
关键词:bea系统有限公司 web services soa 开发环境
BEA系统有限公司(Nasdaq:BEAS)是全球领先的基础件(Application Infrastructure)公司,为全球15000余家客户提供企业级软件基础,其中包括《财富》全球500强公司中的本部分公司,近日EPR(Enterprise Portal Rationalization,企业门户合理化)战略,帮助客户遏制Web“灾难”蔓延(Web sprawl)
关键词:虚拟输入队列 早期随机检测 队列管理 公平性
提出了具有不同接入带宽用户共享上行链路时的公平性问题--基于用户的公平性,根据队列管理算法(如早期随机检测和队尾丢弃等)在这种应用场合的公平性缺陷中引入了虚拟输入队列的概念--在路由器的上行输出接口上为每一个输入接口维护一个逻辑队列,以逻辑队列为主体应用队列管理算法.对虚拟输入队列的结构和实现进行了详细描述,并给出了针对虚拟输...
关键词:移动 组播路由 移动ip 移动自组网络
介绍了在两种典型的无线移动环境下的组播路由协议--移动IP网络和Ad Hoc网络,比较了它们的特性和性能.在无线移动环境下实现组播路由协议是一件很复杂的工作,比起固定网络下的组播实现,它的路由模式、转发算法、可靠性、安全性等的实现都更为困难.最后对该领域的前景进行了展望.
关键词:快速以太网 交换机 mac 接收缓冲器 排队论
在进行网络流量分析及存储系统设计时,排队论是一个强有力的理论工具.该文就使用排队论的知识对以太网MAC层接收方缓冲器的设计问题进行了分析,并使用一些合理的参数通过估计对缓冲器的容量及缓冲上限作出了说明.
关键词:网格 globus 服务质量
提出了一种提供服务质量保证的带宽模型,在模拟的网格实验环境下实现了CSAPFBA算法,并根据实验结果分析了CSAPFBA算法的性能.