计算机工程

计算机工程杂志 北大期刊 统计源期刊

Computer Engineering

杂志简介:《计算机工程》杂志经新闻出版总署批准,自1975年创刊,国内刊号为31-1289/TP,是一本综合性较强的计算机期刊。该刊是一份月刊,致力于发表计算机领域的高质量原创研究成果、综述及快报。主要栏目:特邀论文、专栏、专题、先进计算与数据处理、体系结构与软件技术、移动互联与通信技术、安全技术、人工智能及识别技术、图形图像处理、多...

主管单位:中国电子科技集团公司
主办单位:华东计算技术研究所;上海市计算机学会
国际刊号:1000-3428
国内刊号:31-1289/TP
全年订价:¥ 640.00
创刊时间:1975
所属类别:计算机类
发行周期:月刊
发行地区:上海
出版语言:中文
预计审稿时间:1-3个月
综合影响因子:1.54
复合影响因子:0.58
总发文量:12710
总被引量:84790
H指数:59
引用半衰期:3.9183
立即指数:0.0236
期刊他引率:0.8259
平均引文率:8.9813
  • 一个安全的P2P网络数字内容保护方案

    作者:王晓明 刊期:2007年第15期

    分析了Gu等人提出的P2P网络数字内容保护方案,指出其中存在合谋攻击,即当P2P网络中大于门限值的LAA合谋,就可以重新构造网络的秘密多项式函数,得到网络的秘密参数,从而破环P2P网络的数字内容保护机制.基于该方案,提出了一种新的P2P网络数字内容保护方案,不仅具有Gu等人方案的特点,而且能抵抗合谋攻击.

  • 即时编译器中的轻量级指令调度算法

    作者:史晓华; 刘超; 金茂忠; 郭鹏 刊期:2007年第15期

    介绍了一种为即时编译器和时空受限系统设计的轻量级线性复杂指令调度算法.该算法进行指令调度时,不基于传统的DAG图或表达式树,而是基于一种独创的数据结构扩展关联矩阵,其时间复杂性在最坏情况下也能与全部指令长度构成严格的线性关系,仅占用不到1 KB的内存空间.该算法已被Intel为Xscale设计的高性能J2ME虚拟机XORP采用为即时编辑器中的缺省指...

  • 面向路径的测试数据自动生成工具

    作者:李宝林; 李志蜀; 陈良银; 邢建川; 叶军 刊期:2007年第15期

    针对测试路径覆盖的可行性问题,给出了一种新的面向路径测试覆盖准则的测试数据自动生成工具.并对Length_N路径覆盖准则进行了定义,运用该准则对被测程序进行静态分析,得到完整路径表(CFG_PT),结合程序插装技术和遗传模拟退火算法自动生成测试数据.实验表明,该工具在实际应用中有较好的效果.

  • HNC语境框架及其语境歧义消解

    作者:缪建明; 张全 刊期:2007年第15期

    词语在交际环境中往往有不同于单独出现时的语义,会造成一定的语境语义歧义.HNC理论从交互引擎的角度来考虑计算机如何处理语境语义歧义现象,形成了不同于其他语义网络的消歧办法.该文基于HNC语境理论的整体思路,阐述了计算机在语境框架下如何进行语境歧义消解,服务于提高自然语言处理的准确率.示例说明了该方法是可行且可实现的.

  • 简单快速的优化公平交换协议

    作者:马昌社 刊期:2007年第15期

    公平交换协议是安全电子商务的基石,RSA密码体制在电子商务领域中得到了广泛的应用,设计基于RSA密码体制的公平交换协议具有重要的实践意义.文章提出了一种新的基于整数扩环的高效可验证的加密的RSA签名方案,基于该方案设计了一种高效、安全、简单、实用、快速的交换RSA签名的优化公平交换协议,对其安全性和效率进行了分析和比较.

  • 支持动态可配置的全息工作流建模与分析

    作者:崔立真; 王海洋 刊期:2007年第15期

    工作流管理系统是涉及过程、数据、组织资源等多方面的复杂信息系统.该文引入了一种新型的图形结构--元图,提出了基于基本活动配置单元的全息工作流模型,支持工作流模型中所有相关元素的动态配置,并定义了这种工作流模型的正确性,进行了正确性校验,校验算法高效简捷,使之成为一套完善的工作流建模形式化体系.

  • Harn签名的部分盲化

    作者:禹勇; 杨波; 杨国庆; 张琴 刊期:2007年第15期

    在分析盲签名固有缺点的基础上,引入3个随机参数,完整地解决了Harn签名的部分盲化问题,给出Harn签名的一般性部分盲化方法.通过对参数的不同选取,得到了3个部分盲签名方案并对它们进行效率比较.对提出的方案进行安全性分析,结论是该方案具有完备性、不可伪造性和部分盲性,并且因为使用了Hash函数,所以可以抵抗篡改协定信息攻击.

  • 一种景物图像修补新方法

    作者:蔡勇; 肖建; 蒋刚 刊期:2007年第15期

    分析了景物图像修补的特点,在此基础上构建了一类景物图像的样本数据集.尝试将支持向量方法引入该领域,采用支持向量机对待修补图像进行分类,利用匹配的模板数据对空洞进行边缘修补和色彩填充,根据空洞外部图像的细微特征对纹理和色彩进行二次修补.实验结果表明该方法的精度优于传统方法,体现了该方法的实用性和有效性.

  • 基于CRS算法的高可靠性存储系统的设计

    作者:那宝玉; 张毓森 刊期:2007年第15期

    阐述了国际上典型的数据可靠性算法,分析了CRS算法在存储系统中的编、解码原理,基于CRS算法实现数据存储中间件,结合CRS算法和网格技术提出了高可靠性存储系统的整体架构,在理论上对系统的可靠性进行了证明,在局域网中对存储系统的性能进行了测试.结果表明,基于CRS算法实现的存储系统在保证数据存储可靠性的同时具有极高的存储性能.

  • 基于因果关系挖掘的概率基因调控网络的构建

    作者:张宏怡; 张军英 刊期:2007年第15期

    科学的基因聚类方法是构建基因调控网络的前提,但仅以聚类作为构建网络的主要手段只能找到共同调控的基因,不能精确反映基因之间的相互作用过程.贝叶斯网络模型通过基于图的方式求得多变量之间条件独立的概率因果关系,但因其计算复杂性受到应用层面的限制.该文综合考虑几方面因素,在对基因进行聚类基础上,通过对调控关系的预测获得对目标基因的...

  • 无线网络中的链路自适应算法

    作者:段中兴; 张德运 刊期:2007年第15期

    针对无线链路固定传输模式吞吐量低,而基于单参数的链路自适应可能误判的问题,提出了一种可有效提高无线网络吞吐量的基于多信道参数信息融合的链路自适应算法.算法根据信道参数的特点,分别采用神经网络在线预测和模糊逻辑推理算法实现载干比(CIR)、包错误率(PER)和信噪比(SNR)对信道质量的局部评估,经过融合中心的合成运算和决策规则,获...

  • 联锁逻辑形式化模型检验的研究

    作者:杜军威; 徐中伟; 宋波 刊期:2007年第15期

    利用自动机理论模型检验算法,检验车站联锁逻辑的有色Petri网模型是否满足预期的性能.通过采用带标签的广义Büchi自动机(LGBA)构建线性时态逻辑,有效地解决了模型检验中的状态空间爆炸问题.该方法的研究增强了有色Petri网的分析和验证能力,利用该方法对车站联锁逻辑的实际问题进行了性能验证.

  • 迭代更新蚁群管路敷设系统参数的敏感性分析

    作者:范小宁; 林焰; 纪卓尚 刊期:2007年第15期

    通过应用在船舶管路优化布局上的迭代更新蚁群算法,对其中所涉及的各参数进行了大量系统的仿真实验,在整个迭代过程中,为了得到动态平衡,自适应调整参数是一个有效的方法,在实验基础上分析了各参数的不同设置对算法性能的影响,以利于蚁群算法的进一步拓展和推广.

  • 支持向量回归参数的混合选择

    作者:王强; 陈英武; 邢立宁 刊期:2007年第15期

    为提高支持向量回归算法的学习能力和泛化性能,提出了一种优化支持向量回归参数的混合选择算法.根据训练样本的规模和噪声水平等信息,确定支持向量回归参数的取值范围,用实数编码的免疫遗传算法搜索最佳参数值.混合选择算法具有较高的精度和效率,在选择支持向量回归参数时,不必考虑模型的复杂度和变量维数.仿真实验结果表明,该算法是选择支持向...

  • 基于对等模型的分布式协同设计系统

    作者:陈冬芳; 薛继伟; 王征 刊期:2007年第15期

    为了解决分布式协同设计系统中的信息快速检索以及多副本同步等问题,引入了对等模型,给出了该系统的功能模型、信息检索模型等.提出了DHT的对等信息检索方法,保证了用户能够在分布式协同设计系统中快速共享资源.采用基于DHT的分布式互斥等算法作为协同数据的一致性维护方法,给出了系统的具体实现方法和实例.