计算机学报期刊
出版文献量(篇)
5154
总下载数(次)
49
总被引数(次)
187004

计算机学报

Chinese Journal of Computers

CSCDEIJSTSACSTPCD

影响因子 3.6512
本刊是中国计算机领域的有代表性学术刊物,作为一种科学研究档案,代表了计算机领域各个研究阶段的水平。 本刊被《工程索引》(美国)、《科学文摘》(英国)、《数学文摘》(美国)、《科技文献速报》(日本)、《文摘杂志》(俄罗斯)等多种权威系统收录。是科技部科技信息研究所科技论文统计源期刊、中国科学引文数据库来源期刊。
主办单位:
中国计算机学会 中国科学院计算技术研究所
期刊荣誉:
中国科学引文数据库来源期刊  科技论文统计源期刊 
ISSN:
0254-4164
CN:
11-1826/TP
出版周期:
月刊
邮编:
100190
地址:
中国科学院计算技术研究所(北京2704信箱)
出版文献量(篇)
5154
总下载数(次)
49
总被引数(次)
187004
文章浏览
目录
  • 作者: 黄育潜
    刊名: 计算机学报
    发表期刊: 2008年3期
    页码:  353-371
    摘要: 在文中,通过引进M-粘连代数、M-剪切代数与M-重组代数等概念,达到了使与标志集M相关联的DNA计算可按所引进代数中给出的代数定律来推演的目的.进而研究了这些代数的一系列性质,得到了许多有价...
  • 作者: 华保健 王志芳 葛琳 陈意云
    刊名: 计算机学报
    发表期刊: 2008年3期
    页码:  372-380
    摘要: 在高可信软件的各种性质中,安全性是被关注的重点,其中软件满足安全策略的证明方法是研究的热点之一.文中根据作者所设想的安全程序的设计和证明框架,为类C语言的一个子集设计了一个指针逻辑系统.该逻...
  • 作者: 曾庆田
    刊名: 计算机学报
    发表期刊: 2008年3期
    页码:  381-390
    摘要: Petri网的进程是用于系统行为和状态描述的有效工具,Petri网的进程表达式可以给出系统全部进程的描述,但是对于任意无界Petri网而言求取其进程表达式十分困难.文中首先考察结构简单的S-...
  • 作者: 张仕健 章隆兵 胡伟武 许彤
    刊名: 计算机学报
    发表期刊: 2008年3期
    页码:  391-399
    摘要: 随着以嵌入式微处理器为核心的容错系统在航空、航天、核电等高可靠领域的广泛应用.如何迅速、方便、低成本地评估这些系统中的容错机制是一个重要的问题.传统的可靠度评估方法需要一个详细的硬件原型才能...
  • 作者: 张为华 朱传琪 王鹏 臧斌宇
    刊名: 计算机学报
    发表期刊: 2008年3期
    页码:  400-410
    摘要: 划分是把程序中不同的计算和数据分配到并行处理系统的不同处理机来充分利用并行系统的计算资源、提高程序处理速度的一种优化技术.划分的效果对程序在并行系统上的执行效率将产生至关重要的影响,因此划分...
  • 作者: 田昕 田金文 谭毅华
    刊名: 计算机学报
    发表期刊: 2008年3期
    页码:  411-418
    摘要: 设计了一种具有二进制特点且消失矩为4的高性能9/7小波基,提出了其VLSI高速实现结构.该小波基的提升系数的分母均可转化为2的幂次有理数,有利于简化VLSI设计.实验结果显示,其压缩性能和C...
  • 作者: 周毓明 徐宝文 钱巨
    刊名: 计算机学报
    发表期刊: 2008年3期
    页码:  419-430
    摘要: 堆内存的大量使用使得Java程序上数据依赖关系的精确提取仍存在许多困难.对于堆空间上的依赖提取,通常的做法是先对堆上空间进行命名,再据此分析依赖关系.然而该方法不能在多个定义间进行强更新.故...
  • 作者: 屈波 徐宝文 聂长海
    刊名: 计算机学报
    发表期刊: 2008年3期
    页码:  431-439
    摘要: 优先级技术是一种高效实用的回归测试技术.文中针对现有优先级技术未能有效使用测试用例设计信息的不足,提出了一组新的回归测试优先级动态调整算法.与已有方法相比,新算法充分考虑了测试用例的设计信息...
  • 作者: 关新平 李欣 杨会龙 龙承念
    刊名: 计算机学报
    发表期刊: 2008年3期
    页码:  440-449
    摘要: TCP在高带宽时延积网络中不能获得良好的性能,主要表现为低的吞吐量和大的窗I=1震荡.HSTCP算法解决了传统TCP算法在高带宽时延积网络下的性能瓶颈,但HSTCP在拥塞点时会产生大量的数据...
  • 作者: 党德鹏
    刊名: 计算机学报
    发表期刊: 2008年3期
    页码:  450-455
    摘要: 考虑到移动计算环境的诸多限制以及移动数据库应用的特征,传统冲突可串行化在不对称通信的数据广播环境中显得过于严格而不必要.为此,文中提出一种并行亚可串行化并发控制协议.首先,形式化定义来可串行...
  • 作者: 姚益平 王怀民 陈春鹏
    刊名: 计算机学报
    发表期刊: 2008年3期
    页码:  456-466
    摘要: 当前,分布式系统具有越来越大的规模,而且可能层次地分布在广域网上,这些属性增加了保证分布式系统中时序关系的难度.向量时钟可以准确地探测事件间的时序关系,但是向量时钟的维度与节点数相同,就引起...
  • 作者: 刘增基 杨君刚 石增增 赵瑞琴 邱智亮 鲍民权
    刊名: 计算机学报
    发表期刊: 2008年3期
    页码:  467-475
    摘要: 分组交换三级Clos网络信元调度算法可分为集中式和分布式两种实现方式.分布式调度具有良好的可扩展性,适于在高速大容量环境中应用.然而由于分布式调度会带来同一分组各个信元间的乱序问题,给其实现...
  • 作者: 冯志芳 哈明虎 宋士吉 高林庆
    刊名: 计算机学报
    发表期刊: 2008年3期
    页码:  476-485
    摘要: 进一步讨论了拟概率的一些性质,给出了拟概率空间上的拟随机变量及其分布函数、期望和方差的概念及若干性质;证明了拟概率空间上的Markov不等式、Chebyshev不等式和Khinchine大数...
  • 作者: 何贵青 田沄 郝重阳 陈世浩
    刊名: 计算机学报
    发表期刊: 2008年3期
    页码:  486-492
    摘要: 针对图像融合效果评价问题,利用灰色关联分析的小样本特性和整体比较机制,结合先验知识和量化评价,提出了一种基于多层次灰色关联分析的图像融合效果综合评价方法,评价结果易于定量表示,更加精确、客观...
  • 作者: 姚辰 王挺 王越超
    刊名: 计算机学报
    发表期刊: 2008年3期
    页码:  493-501
    摘要: 基于旋转体的摄像机定位是单目合作目标定位领域中的涉及较少并且较为困难的一个问题,传统的基于点基元、直线基元及曲线基元的定位方法在用于旋转体定位过程中都存在相应的问题.文中设计了一种由4个相切...
  • 作者: 杨光 杨静 谢志强 谭光宇
    刊名: 计算机学报
    发表期刊: 2008年3期
    页码:  502-508
    摘要: 为了在满足约束条件的前提下使不同时刻加入到作业集合中的全部作业所用的加工总时间尽可能地少,提出算法:根据动态的作业集合构造虚拟加工树,虚拟加工树上的叶结点代表最先加工的工序,虚拟根节点代表最...
  • 作者: 叶卫国 张德富 韩水华
    刊名: 计算机学报
    发表期刊: 2008年3期
    页码:  509-515
    摘要: 为求解正交矩形Packing问题提出了一个新颖而有效的砌墙式启发式算法.该算法主要基于砌墙式启发式策略,其思想主要来源于砖匠在砌墙过程中所积累的经验:基于基准砖的砌墙规则.对国际上公认的大量...
  • 作者: 崔竞松 彭蓉 曾祥勇
    刊名: 计算机学报
    发表期刊: 2008年3期
    页码:  516-521
    摘要: 时间动作锁(Time-Action-Lock,TAL)指的是实时系统处于一种时间无法继续同时又没有任何动作能够发生的状态.Behzad和Kozo在时间自动机的几何学基础上提出了一种针对TAL...
  • 作者: 刘磊 金龙飞
    刊名: 计算机学报
    发表期刊: 2008年3期
    页码:  522-528
    摘要: 偶图反应系统是一种新的理论工具,其基础是一种强调位置和连接的移动计算图形化模型--偶图,偶图范化了π演算和移动Ambient演算的特征,能够表示具有位置和移动性质的复杂系统.偶图反应系统为普...
  • 作者: 付树军 王文洽 穆成坡 阮秋琦
    刊名: 计算机学报
    发表期刊: 2008年3期
    页码:  529-535
    摘要: 在过去的十几年中,偏微分方程在图像增强中得到了越来越多的研究和应用.该文提出了一个保持特征的双向耦合扩散框架.这个框架沿着等照度线(边缘)的梯度方向,利用柔和的边缘判定实施反向扩散以锐化边缘...
  • 作者: 屈玉贵 方木云 赵保华
    刊名: 计算机学报
    发表期刊: 2008年3期
    页码:  536-542
    摘要: 提出一种先走[+h]边、当走[+h]边不利时才走[+1]边的[+h]边优先寻径策略;得出[+h]边优先最短路径和双环网络的"竹筏"(一种新L形瓦)型空间解;"竹筏"中节点之间的[+h]边优先...

计算机学报基本信息

刊名 计算机学报 主编 高文
曾用名
主办单位 中国计算机学会 中国科学院计算技术研究所  主管单位 中国科学院 中国科协
出版周期 月刊 语种
chi
ISSN 0254-4164 CN 11-1826/TP
邮编 100190 电子邮箱 cjc@ict.ac.cn
电话 010-62620695 网址 cjc.ict.ac.cn
地址 中国科学院计算技术研究所(北京2704信箱)

计算机学报评价信息

期刊荣誉
1. 中国科学引文数据库来源期刊
2. 科技论文统计源期刊

计算机学报统计分析

被引趋势
(/次)
(/年)
学科分布
研究主题
推荐期刊