计算机工程杂志,月刊,本刊重视学术导向,坚持科学性、学术性、先进性、创新性,刊载内容涉及的栏目:特邀论文、专栏、专题、先进计算与数据处理等。于1975年经新闻总署批准的正规刊物。
国家图书馆馆藏上海图书馆馆藏维普收录(中)CSCD 中国科学引文数据库来源期刊(含扩展版)CA 化学文摘(美)哥白尼索引(波兰)Pж(AJ) 文摘杂志(俄)知网收录(中)万方收录(中)北大期刊(中国人文社会科学期刊)JST 日本科学技术振兴机构数据库(日)统计源期刊(中国科技论文优秀期刊)文摘杂志
特邀论文专栏专题先进计算与数据处理体系结构与软件技术移动互联与通信技术安全技术人工智能及识别技术图形图像处理多媒体技术及应用开发研究与工程应用等
关键词:p2p网络 数字内容保护 合谋攻击
分析了Gu等人提出的P2P网络数字内容保护方案,指出其中存在合谋攻击,即当P2P网络中大于门限值的LAA合谋,就可以重新构造网络的秘密多项式函数,得到网络的秘密参数,从而破环P2P网络的数字内容保护机制.基于该方案,提出了一种新的P2P网络数字内容保护方案,不仅具有Gu等人方案的特点,而且能抵抗合谋攻击.
关键词:指令调度 即时编译器 java虚拟机
介绍了一种为即时编译器和时空受限系统设计的轻量级线性复杂指令调度算法.该算法进行指令调度时,不基于传统的DAG图或表达式树,而是基于一种独创的数据结构扩展关联矩阵,其时间复杂性在最坏情况下也能与全部指令长度构成严格的线性关系,仅占用不到1 KB的内存空间.该算法已被Intel为Xscale设计的高性能J2ME虚拟机XORP采用为即时编辑器中的缺省指...
关键词:面向路径测试覆盖准则 遗传模拟退火算法 程序插装
针对测试路径覆盖的可行性问题,给出了一种新的面向路径测试覆盖准则的测试数据自动生成工具.并对Length_N路径覆盖准则进行了定义,运用该准则对被测程序进行静态分析,得到完整路径表(CFG_PT),结合程序插装技术和遗传模拟退火算法自动生成测试数据.实验表明,该工具在实际应用中有较好的效果.
关键词:hnc理论 语境歧义 交互引擎
词语在交际环境中往往有不同于单独出现时的语义,会造成一定的语境语义歧义.HNC理论从交互引擎的角度来考虑计算机如何处理语境语义歧义现象,形成了不同于其他语义网络的消歧办法.该文基于HNC语境理论的整体思路,阐述了计算机在语境框架下如何进行语境歧义消解,服务于提高自然语言处理的准确率.示例说明了该方法是可行且可实现的.
关键词:公平交换协议 rsa密码体制 可验证的加密的签名 信息安全
公平交换协议是安全电子商务的基石,RSA密码体制在电子商务领域中得到了广泛的应用,设计基于RSA密码体制的公平交换协议具有重要的实践意义.文章提出了一种新的基于整数扩环的高效可验证的加密的RSA签名方案,基于该方案设计了一种高效、安全、简单、实用、快速的交换RSA签名的优化公平交换协议,对其安全性和效率进行了分析和比较.
关键词:工作流 工作流建模 元图 可配置 正确性
工作流管理系统是涉及过程、数据、组织资源等多方面的复杂信息系统.该文引入了一种新型的图形结构--元图,提出了基于基本活动配置单元的全息工作流模型,支持工作流模型中所有相关元素的动态配置,并定义了这种工作流模型的正确性,进行了正确性校验,校验算法高效简捷,使之成为一套完善的工作流建模形式化体系.
关键词:密码学 数字签名 部分盲签名
在分析盲签名固有缺点的基础上,引入3个随机参数,完整地解决了Harn签名的部分盲化问题,给出Harn签名的一般性部分盲化方法.通过对参数的不同选取,得到了3个部分盲签名方案并对它们进行效率比较.对提出的方案进行安全性分析,结论是该方案具有完备性、不可伪造性和部分盲性,并且因为使用了Hash函数,所以可以抵抗篡改协定信息攻击.
关键词:图像修补 支持向量机 模式识别 边缘修补 纹理修补
分析了景物图像修补的特点,在此基础上构建了一类景物图像的样本数据集.尝试将支持向量方法引入该领域,采用支持向量机对待修补图像进行分类,利用匹配的模板数据对空洞进行边缘修补和色彩填充,根据空洞外部图像的细微特征对纹理和色彩进行二次修补.实验结果表明该方法的精度优于传统方法,体现了该方法的实用性和有效性.
关键词:磁盘阵列
阐述了国际上典型的数据可靠性算法,分析了CRS算法在存储系统中的编、解码原理,基于CRS算法实现数据存储中间件,结合CRS算法和网格技术提出了高可靠性存储系统的整体架构,在理论上对系统的可靠性进行了证明,在局域网中对存储系统的性能进行了测试.结果表明,基于CRS算法实现的存储系统在保证数据存储可靠性的同时具有极高的存储性能.
关键词:基因调控网络 基因聚类 lcd
科学的基因聚类方法是构建基因调控网络的前提,但仅以聚类作为构建网络的主要手段只能找到共同调控的基因,不能精确反映基因之间的相互作用过程.贝叶斯网络模型通过基于图的方式求得多变量之间条件独立的概率因果关系,但因其计算复杂性受到应用层面的限制.该文综合考虑几方面因素,在对基因进行聚类基础上,通过对调控关系的预测获得对目标基因的...
关键词:无线局域网 多源信息融合 链路自适应 神经网络
针对无线链路固定传输模式吞吐量低,而基于单参数的链路自适应可能误判的问题,提出了一种可有效提高无线网络吞吐量的基于多信道参数信息融合的链路自适应算法.算法根据信道参数的特点,分别采用神经网络在线预测和模糊逻辑推理算法实现载干比(CIR)、包错误率(PER)和信噪比(SNR)对信道质量的局部评估,经过融合中心的合成运算和决策规则,获...
关键词:有色petri网 线性时态逻辑 联锁逻辑
利用自动机理论模型检验算法,检验车站联锁逻辑的有色Petri网模型是否满足预期的性能.通过采用带标签的广义Büchi自动机(LGBA)构建线性时态逻辑,有效地解决了模型检验中的状态空间爆炸问题.该方法的研究增强了有色Petri网的分析和验证能力,利用该方法对车站联锁逻辑的实际问题进行了性能验证.
关键词:船舶管路 蚁群优化 参数 标准差 离散度
通过应用在船舶管路优化布局上的迭代更新蚁群算法,对其中所涉及的各参数进行了大量系统的仿真实验,在整个迭代过程中,为了得到动态平衡,自适应调整参数是一个有效的方法,在实验基础上分析了各参数的不同设置对算法性能的影响,以利于蚁群算法的进一步拓展和推广.
关键词:支持向量回归 参数选择 训练样本信息 免疫遗传算法
为提高支持向量回归算法的学习能力和泛化性能,提出了一种优化支持向量回归参数的混合选择算法.根据训练样本的规模和噪声水平等信息,确定支持向量回归参数的取值范围,用实数编码的免疫遗传算法搜索最佳参数值.混合选择算法具有较高的精度和效率,在选择支持向量回归参数时,不必考虑模型的复杂度和变量维数.仿真实验结果表明,该算法是选择支持向...
关键词:分布式协同设计 对等 分布式哈希表
为了解决分布式协同设计系统中的信息快速检索以及多副本同步等问题,引入了对等模型,给出了该系统的功能模型、信息检索模型等.提出了DHT的对等信息检索方法,保证了用户能够在分布式协同设计系统中快速共享资源.采用基于DHT的分布式互斥等算法作为协同数据的一致性维护方法,给出了系统的具体实现方法和实例.
关键词:图像编码 小波变换 零树量化 spiht 比特分配
SPIHT算法是一种实用、高效的小波零树图像编码算法.针对SPIHT算法存储空间需求大、运算复杂度较高等缺点,提出了一种改进的快速、低存储SPIHT算法,该算法将小波变换所形成的水平、垂直、对角和低频4个子带分成4个处理单元,对每个处理单元分别进行量化编码,并在各单元之间采取近似最优比特分配以提高量化性能.实验结果表明,改进算法在提高峰值信...
关键词:索引 高维度数据 矩形区域查询 最近邻域搜索
Z树能够高效地处理对高维度数据集的矩形区域查询和最邻近搜索.它按照节点的形状变化量优化数据的插入位置,使节点形状趋于合理.文章给出了一个新的无重叠分裂算法,减少超级节点的产生.引入了动态剪枝和重新插入策略,压缩超级节点的数量和体积.提出了矩形节点的球形化方法和最优子树搜索算法.实验表明Z树的矩形区域查询和最邻近搜索的效率远远高...
关键词:web服务 信任模型 惩罚机制
借鉴信任管理概念和Beth信任模型,提出了一种基于推荐的新型自适应Web服务信任模型,给出了相应的信任度和信任度合成的方法,并针对恶意推荐采取惩罚机制.实验证明,该模型可以使得实体的信任度能根据服务经验自适应地变动,并能根据惩罚机制对欺骗的实体进行惩罚,从而在一定程度上减少访问到恶意实体的次数.
关键词:分布式虚拟环境 扫描体 碰撞检测
在分布式虚拟环境(DVE)中,由于网络传输的不确定性,物体的状态信息无法准确及时地传输到其他节点上,从而使得DVE中传统的基于状态序列的碰撞检测算法存在漏检和错检现象.在分析传统方法不足的基础上,提出了DVE中基于扫描体的碰撞检测算法,并给出了算法步骤,通过试验证明了该方法能够有效地避免网络传输所带来的不确定性,同时能为DVE提供具有较...
关键词:面向对象的xml 分布式存储模型 集中式存储模型
针对面向对象的XML数据,提出了2种存储模型.在分布式存储中,对象的一个属性或元素,如果是从超类继承的,其属性值或元素值存放在超类对应的对象中,如果是该类新定义的属性或元素,则放在该类对应的对象中.在该集中式存储中,对象的所有属性值都存放在所属类的对应对象中,超类中没有子类实例的数据,只有直接实例数据.通过典型查询语句,测试、分析了2...
关键词:内核 文件系统 嵌入式应用平台
实时嵌入式操作系统μC/OS-Ⅱ具有开放源码、研究免费的特点,并且通过了FAA安全认证.对μC/OS-Ⅱ内核的改进、文件系统、TCP/IP协议等模块的实现方法进行了讨论,对快速构建基于μC/OS-Ⅱ的嵌入式应用平台提供了方便.
关键词:问题框架 视点 视点一致 视点集成
多视点需求工程方法采用独立、分散的方式标识,表示不同项目人员的需求信息.为生成一份统一的规格说明书,在该方法的后期必须对所有生成的视点进行集成.基于问题框架的思想和方法,该文讨论了视点的一致性、集成方式、集成过程等,提出了一种基于问题框架的视点集成方法.
关键词:需求工程 视点 问题框架 视点表示模型
在多视点需求工程中,视点表示模型与视点需求信息的获取、描述密切相关,影响着后阶段视点一致性的检查和集成.鉴于需求工程领域的发展,该文提出了一种基于问题框架的视点表示模型,展示了该模型的特点及应用.实践表明,该模型具有实用性和可操作性.
关键词:ip路由 前缀长度 最长前缀匹配 二分查找
在研究路由表地址前缀分布特点的基础上,提出了前缀长度二分查找方案.该方案采用前缀扩展技术,将前缀数量相对稀少的若干种前缀合并成一种,降低了查找树的高度,减少了存储器访问次数,提高了查找速度,分析了一种实用的Marker存储算法,探讨了IPv6的路由查找问题.
关键词:软件配置管理 可扩展标记语言 文档类型定义 配置管理描述方法 关系模式映射
结合XML具有可扩展性、灵活性和自描述性特点以及DTD能够为XML文档中的元素属性、元素的拓扑结构等创建规则的能力,提出了利用DTD描述软件配置信息的方法,通过DTD描述实现关系存储的途径,达到了有效地管理软件配置信息的目的.
关键词:科学数据网格 事件驱动 异步消息 数据访问中间件
典型数据网格实例在异构节点之间的数据传输效率低效.为了克服其缺点,提出了一个基于事件驱动的异步消息传输模型,给出了相关定义,论述了该模型的体系结构,并应用于科学数据网格中数据访问中间件当中.初步应用表明,该文提出的基于事件驱动的异步传输模型方案,对于具有数据海量性的科学数据网格具有重要意义.
关键词:模型驱动体系结构 软件体系结构 平台有关模型 web应用框架 代码生成
为解决模型驱动体系结构(MDA)中PSM模型描述存在的问题,以软件体系结构为基础,综合当前J2EE平台下广泛使用的多种应用框架,提取其共同特征并加以抽象分析,建立了一种包括领域构件模型、行为构件模型和界面展示构件模型3部分的J2EE平台模型描述方法.用该方法描述的模型不仅具有J2EE平台的特性信息,还便于向多种目标框架下的代码进行转换.以此为...
关键词:关注点视图 面向方面 领域软件体系结构 管理业务支持平台 软件演化
软件体系结构设计是构建大型管理领域系统的关键步骤,同时面向方面的软件开发已成为解决软件复杂性的有效方法。该文基于面向方面软件开发方法提出了管理领域系统建设的“4+1”关注点视图,针对“4+1”关注点视图提出了面向管理领域、基于服务实现的面向方面软件体系结构。基于该软件体系结构开发的管理业务支持平台及其支持下的软件开发过程...
关键词:空间索引 动态四叉树 移动gis
介绍了常用的空间索引算法,对其性能进行了比较,认为这些算法用于需要动态更新空间索引结构的移动GIS系统中时具有较大的局限性.针对移动GIS系统中对空间索引的特殊要求,提出了动态四叉树空间索引算法,对算法的计算效率进行了分析,实验表明该算法用于移动GIS系统时效果良好.
关键词:对象技术 抽象数据类型 抽象类 数据结构 程序设计
讨论了抽象数据类型的实现方案,并以“线性表”为例,说明对象技术在抽象数据类型实现中的应用.对于一种抽象的数据类型,先将它定义成一个抽象类,再结合某一种具体的存储方式加以实现.采用这种对象技术的特点是,任何存储方式或实现细节的改变都不会影响外界对类的使用.这种设计原则已应用于面向对象版的“数据结构”课程之中,取得了良好的效果.
关键词:web应用 模型驱动的测试 测试模型 测试用例生成
为了保证Web应用软件的质量,需要系统化的方法支持其测试.模型驱动的Web应用测试方法以模型为中心,通过建立Web应用模型描述被测系统,基于该模型产生测试用例,并且使用模型驱动的测试执行工具自动化执行测试,将测试结果返回到各个模型上.该文通过总结比较该领域的研究现状,讨论了实现模型驱动的Web应用测试的关键技术,并提出了目前研究的不足之...
关键词:数据流 卡尔曼滤波 奇异数据检测 奇异数据恢复
为了在线检测并恢复数据流中的奇异数据,该文提出了一种新颖的能够适应数据流动态变化的奇异数据识别修正方法,基于卡尔曼滤波检测下一时刻的奇异数据,引入带有尺度导引的插值小波,根据流值变化的快慢程度确定插值小波的尺度,在不降低奇异数据恢复精度的情况下,恢复奇异数据.
关键词:双调序列 归并排序 双调排序
提出了一种奇序列双调排序算法,通过分析发现,该算法对某些奇双调序列不能得到正确的排序结果.在该算法的基础上,通过增加CCI操作,得到一种改进算法,改进后的算法能对任意奇双调序列进行正确排序,且不增加存储空间,计算复杂度级别也不变.
关键词:中文分词 矩阵约束 歧义消除 分词系统
分词识别和歧义消除是影响信息检索系统准确度的重要因素,该文提出了一种基于语法和语义的使用约束矩阵的中文分词算法.该算法建立在语法和句法的基础上,从语境角度分析歧义字段,提高分词准确率.系统可以将输入的连续汉字串进行分词处理,输出分割后的汉语词串,并得到一个词典.再用《现代汉语语法信息词典》进行处理,实验结果显示分词准确率能提...
关键词:cgf对象 建模 仿真 hla
对于复杂大系统的分析和评估,仿真是一个最重要的手段.但复杂大系统中的元素多、相关性多、建模描述较难.面向复杂分布仿真的技术体系中,HLA是一个重要的标准,针对HLA的建模对于面向HLA的分布式仿真是仿真的关键点.该文提出了一个面向HLA分布式仿真的CGF对象(计算机产生兵力)建模方法.
关键词:事件 构件交互 路由 自动触发 java 容器 选择
提出了一种基于新型事件驱动机制的构件交互方法.这种方法使用统一的事件模型,以一致的方式处理各类事件,包括自动触发的自动事件,显式地调用事件服务API生成的手动事件以及反映事件路由器工作状态的路由事件.这种方法不要求修改构件源代码,且能够以灵活的事件路由器网络作为构件交互的核心,为Java构件交互问题给出了一个新的解决途径.
关键词:关键过程域 软件质量保证 评审和审核 软件过程 软件过程改进
探讨了CMM二级KPA软件质量保证的实施与软件过程改进,描述了实施SQA过程的职能、SQA过程与软件开发过程的关系和SQA过程实施.在CMM二级中,SQA是唯一评审其他5个KPA的过程域.由于它的这种监督性,软件过程改进的大部分信息源来自SQA KPA,SQA在整个软件过程的改进中起着关键的作用,充当SEPG和项目组之间的桥梁.
关键词:对等网络 拓扑测量 网络安全 gnutella网络
测量分析对等网络拓扑结构有利于更好地设计和发展P2P网络.对等网络是Internet上的一层覆盖网络,网络协议多样,节点及节点间的关系变化迅速,获得精确完整的对等网络拓扑数据面临很大困难.研究对等网络协议特点,分析特定的对等网络结构实体成为认识对等网络拓扑特性的一种可选研究方案.以Gnutella网络为测量对象,构造了互反馈结构的Gnutella拓扑...
关键词:高可用性 服务器池 服务切换 心跳技术
Linux virtual server是典型的服务器机群结构,通过双前端负载分配器和后端服务器池提供高可用服务.当后端服务器池发生故障时,故障服务器的工作量将通过负载分配算法重新分配到其他可用的服务器上,结果导致服务器池负担变重,进而可用服务器的故障概率增加.该文设计并实现了高可用N+1冗余结构模型系统,改进了典型的服务器池的上述缺陷.实验表明...
关键词:自适应出度 异质带宽 组播树 应用层组播
按照单播树、多播树和网状3种重叠网络构建方式分析现有的P2P应用层组播结构,提出构建P2P应用层组播时深度与宽度的平衡、如何利用叶子结点、网络波动的影响等几个普遍问题.给出了一种新的自适应出度的P2P应用层组播算法,试验证明利用结点带宽的异质性可以有效平衡深度、结点度,提高叶子结点的利用率.