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

计算机学报

Chinese Journal of Computers

CSCDEIJSTSACSTPCD

影响因子 3.6512
本刊是中国计算机领域的有代表性学术刊物,作为一种科学研究档案,代表了计算机领域各个研究阶段的水平。 本刊被《工程索引》(美国)、《科学文摘》(英国)、《数学文摘》(美国)、《科技文献速报》(日本)、《文摘杂志》(俄罗斯)等多种权威系统收录。是科技部科技信息研究所科技论文统计源期刊、中国科学引文数据库来源期刊。
主办单位:
中国计算机学会 中国科学院计算技术研究所
期刊荣誉:
中国科学引文数据库来源期刊  科技论文统计源期刊 
ISSN:
0254-4164
CN:
11-1826/TP
出版周期:
月刊
邮编:
100190
地址:
中国科学院计算技术研究所(北京2704信箱)
出版文献量(篇)
5154
总下载数(次)
49
总被引数(次)
187004
文章浏览
目录
  • 作者: 汤庸 王驹 蒋运承 邓培民
    刊名: 计算机学报
    发表期刊: 2008年2期
    页码:  185-195
    摘要: 循环术语集是描述逻辑长期以来的研究难点,它的最基本的问题即语义及推理问题没有得到合理的解决.文中分析了描述逻辑循环术语集的研究现状和存在的问题,在Baader的基础上进一步研究了描述逻辑FL...
  • 作者: 周永权 张明 赵斌
    刊名: 计算机学报
    发表期刊: 2008年2期
    页码:  196-206
    摘要: 提出了两种基于进化策略求任意函数数值积分的新方法,其中方法一是基于混合基函数进化策略的数值积分算法;方法二是基于不等距点分割的进化策略数值积分算法.两种算法都采用适用于高维优化问题的单基因突...
  • 作者: 张景中 江建国 王晓京
    刊名: 计算机学报
    发表期刊: 2008年2期
    页码:  207-213
    摘要: 目前的智能几何软件都使用基于搜索法的定理证明器作为推理引擎,其主要缺点是不能可读地证明涉及到几何量代数运算的几何定理,这极大地限制了智能几何软件的实际应用.对一类结论为几何量多项式等式的几何...
  • 作者: 白帆 霍红卫
    刊名: 计算机学报
    发表期刊: 2008年2期
    页码:  214-219
    摘要: 当前大部分重复体识别算法不是依靠于已经标识的重复体数据库就是定义重复体为两个最大长度的相似序列,而没有一个严格的定义来平衡重复体的长度和频率.针对这些问题文中提出了一种基于局部序列比对算法B...
  • 作者: 周斌 张军英
    刊名: 计算机学报
    发表期刊: 2008年2期
    页码:  220-227
    摘要: 旅行商问题(TSP)是组合优化中最典型的NP完全问题之一,具有很强的工程背景和应用价值.文章在分析了标准SOM(Self-Organizing Map)算法在求解TSP问题的不足和在寻求总体...
  • 作者: 刘三阳 孟红云 张小华
    刊名: 计算机学报
    发表期刊: 2008年2期
    页码:  228-235
    摘要: 首先给出一种改进的差分进化算法,然后提出一种基于双群体搜索机制的求解约束多目标优化问题的差分进化算法.该算法同时使用两个群体,其中一个用于保存搜索过程中找到的可行解,另一个用于记录在搜索过程...
  • 作者: 姚宏亮 张佑生 汪荣贵 王浩
    刊名: 计算机学报
    发表期刊: 2008年2期
    页码:  236-244
    摘要: 针对多Agent影响图不能建模动态环境和多Agent马尔可夫决策过程难以表示Agents之间结构关系的问题,提出一种新决策模型--多Agent动态影响图(MADIDs).为了能有效地对MAD...
  • 作者: 吴立军 苏开乐 苏金树
    刊名: 计算机学报
    发表期刊: 2008年2期
    页码:  245-252
    摘要: Clarke和McMillan提出了利用mu演算和OBDDs符号模型检测时态逻辑的方法.这些方法是非常有效的,能用于验证许多具有极大状态空间的实际系统(状态个数可以超过1020).但是,这些...
  • 作者: 吴小兵 陈贵海
    刊名: 计算机学报
    发表期刊: 2008年2期
    页码:  253-261
    摘要: 节点非均匀分布策略能缓解无线传感器网络中的能量空洞问题.文中从理论上探讨这种策略,证明在节点非均匀分布的圆形网络中,如果节点持续向Sink节点发送数据,能量空洞现象将无法避免,而当节点数目满...
  • 作者: 刘立祥 黄蕾
    刊名: 计算机学报
    发表期刊: 2008年2期
    页码:  262-269
    摘要: 如何激励属于不同利益最大化实体的自私节点合作是当前Ad hoc网络研究中的一个热点问题.现有的自私节点检测和激励机制主要针对数据传输阶段,不能适应寻路阶段的特点.文中基于邻居节点中继和生成的...
  • 作者: 王文东 田春岐 程时端 邹仕洪
    刊名: 计算机学报
    发表期刊: 2008年2期
    页码:  270-281
    摘要: 提出一种基于推荐证据的对等网络(Peer-to-Peer,P2P)信任模型RETM(Recommendation Evidence basedTrust Model for P2P netw...
  • 作者: 张毅 李小平 王茜 苑迎春
    刊名: 计算机学报
    发表期刊: 2008年2期
    页码:  282-290
    摘要: 有向无环图DAG(Directed Acrylic Graph)描述的工作流时间费用优化问题是计算网格下一个基本的且难以求解的问题.通过分析DAG图中活动的并行和阔步完成特征,采取由后向前方...
  • 作者: 罗继亮
    刊名: 计算机学报
    发表期刊: 2008年2期
    页码:  291-298
    摘要: 针对广义互斥约束下Petri网的不可控影响子网为状态机的一类禁止状态问题,给出了观测器的设计方法,并基于观测器得到了求解最大允许控制策略的算法.利用观测器将广义互斥约束简化为单禁止库所约束,...
  • 作者: 佟冬 孙含欣 李险峰 程旭 赵雨来 陈杰
    刊名: 计算机学报
    发表期刊: 2008年2期
    页码:  299-308
    摘要: 多端口寄存器堆有助于挖掘指令级和线程级并行性,但同时带来面积、能耗和访问时间的压力.文章面向超标量和SMT处理器,给出了一种方法,即通过增加一个小的活跃值堆(Active Value Fil...
  • 作者: 孙彩霞 张民选
    刊名: 计算机学报
    发表期刊: 2008年2期
    页码:  309-317
    摘要: 当前,对同时多线程(Simultaneous Multithreading,SMT)处理器取指策略的研究大都集中在总体性能的优化上.文中提出一种新颖的SMT处理器取指策略(Controlli...
  • 作者: 张纪林 李建江 王珏 胡长军
    刊名: 计算机学报
    发表期刊: 2008年2期
    页码:  318-328
    摘要: 群通信是影响大规模数据并行系统效率的关键因素,其主要发生在程序不同阶段间的数组重分布与循环划分后的数组重映射这两种情况.在一次通信中显著影响群通信效率常被忽视的因素是消息冲突和消息长度的不一...
  • 作者: 张勇东 林守勋 牛振东 罗海勇 袁武
    刊名: 计算机学报
    发表期刊: 2008年2期
    页码:  329-339
    摘要: 提出了一种新颖的编码特性预测机制,较为充分地利用了视频信源的时空相关性,改进了率失真建模的有效性;利用Lagrangian优化理论推导出两种率失真优化的位分配方案,并实现了相应的码率控制算法...
  • 作者: 冯象初 姜东焕 徐光宝
    刊名: 计算机学报
    发表期刊: 2008年2期
    页码:  340-345
    摘要: 为了更好地放大图像,利用小波变换的思想,提出了一种变分和小波变换相结合的图像放大算法.该算法的思想是先构造一个用Besov范数估计图像正则性的变分泛函,然后在小波域中最小化变分泛函得到放大图...
  • 作者: 王法胜 赵清杰
    刊名: 计算机学报
    发表期刊: 2008年2期
    页码:  346-352
    摘要: 粒子滤波算法受到许多领域的研究人员的重视,该算法的主要思想是使用一个带有权值的粒子集合来表示系统的后验概率密度.在扩展卡尔曼滤波和Unscented卡尔曼滤波算法的基础上,该文提出一种新型粒...

计算机学报基本信息

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

计算机学报评价信息

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

计算机学报统计分析

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