学术出版新技术应用与公共服务实验室出品
首页
热门 论文降重
免费 免费查重
学术期刊
学术导航
任务中心
论文润色
登录
文献导航

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

计算机学报

Chinese Journal of Computers

CSCDEIJSTSACSTPCD

影响因子 3.6512
本刊是中国计算机领域的有代表性学术刊物，作为一种科学研究档案，代表了计算机领域各个研究阶段的水平。 本刊被《工程索引》（美国）、《科学文摘》（英国）、《数学文摘》（美国）、《科技文献速报》（日本）、《文摘杂志》（俄罗斯）等多种权威系统收录。是科技部科技信息研究所科技论文统计源期刊、中国科学引文数据库来源期刊。
主办单位：
中国计算机学会 中国科学院计算技术研究所
期刊荣誉：
中国科学引文数据库来源期刊  科技论文统计源期刊 
ISSN：
0254-4164
CN：
11-1826/TP
出版周期：
月刊
邮编：
100190
地址：
中国科学院计算技术研究所（北京2704信箱）
出版文献量（篇）
5154
总下载数（次）
49
总被引数（次）
187004
文章浏览
热门刊内文献
年度刊次
目录
  • 1. 数据世系管理技术研究综述
    作者： 周傲英 王晓玲 田秀霞 金澈清 高明
    刊名： 计算机学报
    发表期刊： 2010年3期
    页码:  373-389
    摘要： 世系描述了数据产生、并随时间推移而演变的整个过程,它的应用领域很广,包括数据质量评价、数据核查、数据恢复和数据引用等.数据世系大致可分为不同数据源之间的数据演化过程和同一数据源内部的数据演化...
  • 2. 对等网络信任机制研究
    作者： 代亚非 李勇军
    刊名： 计算机学报
    发表期刊： 2010年3期
    页码:  390-405
    摘要： 对等网络环境下的信任机制是作为一种新颖的安全问题解决方案被引入的,基本思想是让交易参与方在交易完成后相互评价,根据对某个参与方(主体)的所有评价信息,计算该主体的信任度,为对等网络中其他主体...
  • 3. 一种求解认知难题的模型检测方法
    作者： 苏开乐 顾明 骆翔宇
    刊名： 计算机学报
    发表期刊： 2010年3期
    页码:  406-414
    摘要： 用公告逻辑建模并求解和与积认知难题.提出一种动态认知模型,将环境认知模型与公告导致的认知模型线性组合,从而在时态认知逻辑模型检测技术中扩展支持公告逻辑的建模与验证.该模型检测方法不仅可以用于...
  • 4. 基于否证蕴含的极小一阶不可满足子式求解算法
    作者： 张建民 李思昆 沈胜宇
    刊名： 计算机学报
    发表期刊： 2010年3期
    页码:  415-426
    摘要： 解释公式不可满足的原因在软件分析与验证等众多领域都具有非常重要的理论与应用价值,而极小不可满足子公式能够为公式不可满足的原因提供精炼的解释,帮助应用领域的自动化工具迅速定位错误,准确地诊断问...
  • 5. 单变量区间线性不等式抽象域
    作者： 侯苏宁 王戟 陈立前
    刊名： 计算机学报
    发表期刊： 2010年3期
    页码:  427-439
    摘要： 程序变量的值范围信息对于编译器优化、程序分析与验证等应用至关重要.抽象解释理论提供了一种通用框架为程序变量计算近似的但是可靠的值范围.然而该框架下已有的数值抽象域在表达非凸性质方面存在一定的...
  • 6. 基于变更传播仿真的软件稳定性分析
    作者： 张莉 李琳 钱冠群
    刊名： 计算机学报
    发表期刊： 2010年3期
    页码:  440-451
    摘要： 软件自身的复杂性和未来变更需求的不确定性使得软件的稳定性评估十分困难.文中将软件的变更需求看成一系列"原子变更需求"的叠加,把"原子变更需求"的响应过程抽象成初始变更节点的随机选择过程以及由...
  • 7. 一种开放环境下的软件可靠性评估方法
    作者： 吕建 徐锋 陆文
    刊名： 计算机学报
    发表期刊： 2010年3期
    页码:  452-462
    摘要： 目前,软件系统运行环境日益增强的开放性对原有的软件开发技术(包括软件可靠性评估方法)提出了挑战.一些基于软件测试和模拟的方法由于效率上的不足而不再适用;而另一些方法,例如基于状态的可靠性评估...
  • 8. 利用虚拟化平台进行内存泄露探测
    作者： 刘毅 孙逸峰 张彬彬 汪小林 王振林 罗英伟
    刊名： 计算机学报
    发表期刊： 2010年3期
    页码:  463-472
    摘要： 文中利用虚拟机管理器,透明地记录应用程序对资源的申请、释放以及使用情况,提供了探测内存泄露的辅助信息.此机制首先不需要修改或重新编译源程序;其次,带来的性能损失很小.两者结合可以构建在线内存...
  • 9. 含指针程序的单子切片方法
    作者： 吴重强 张卫丰 张迎周 徐宝文 钱巨
    刊名： 计算机学报
    发表期刊： 2010年3期
    页码:  473-482
    摘要： 传统的含指针程序切片方法将指向分析与切片计算分开,增加了一定系统开销,为此文中提出一种可同时进行切片计算和指向分析的单子切片算法.该算法将程序正向切片思想与数据流迭代分析相结合,它是流敏感的...
  • 10. LR(k)任意文法位置的断点调试方法
    作者： 宋淼 李虎 许福 金茂忠
    刊名： 计算机学报
    发表期刊： 2010年3期
    页码:  483-492
    摘要： LR(k)文法能描述所有确定型上下文无关语言,广泛应用于各类分析器生成器中.传统的LR(k)文法断点调试方法仅支持在产生式右部末尾设置断点(后文简称尾部断点),不支持在产生式右部中间何置设置...
  • 11. 基于延后策略的动态多路径分析方法
    作者： 冯登国 苏璞睿 陈恺
    刊名： 计算机学报
    发表期刊： 2010年3期
    页码:  493-503
    摘要： 多路径分析是弥补传统动态分析方法的不足、对可执行程序伞面分析的重要方法之一.现有多路径方法主要采用随机构造或者根据路径条件构造输入进行路径触发,这两者均存在路径分析不全面和缺乏针对性的问题....
  • 12. 网络协同取证计算研究
    作者： 张有东 曾庆凯 王建东
    刊名： 计算机学报
    发表期刊： 2010年3期
    页码:  504-513
    摘要： 网络取证面临着复杂多样的网络入侵环境,尤其是对于复合攻击的取证,为此提出了网络协同取证计算新概念.通过对传统的函数依赖关系理论的扩展,提出了以一定概率相依赖的概率甬数依赖关系及其分析方法与算...
  • 13. 网格安全互操作及其应用研究
    作者： 王凯 羌卫中 覃安 邹德清 邹永强 金海
    刊名： 计算机学报
    发表期刊： 2010年3期
    页码:  514-525
    摘要： 网格计算为地理分布资源的聚合以及大规模计算问题的解决提供了技术途径,国内外大型网格项目都是基于某种网格平台构建,通过这些平台管理着本领域的资源/服务,为了聚合不同网格平台管理的资源/服务,需...
  • 14. 一种基于多维服务质量的局部最优服务选择模型
    作者： 廖桂平 李涓子 胡建强
    刊名： 计算机学报
    发表期刊： 2010年3期
    页码:  526-534
    摘要： 全局最优和局部最优是服务选择的两种策略.现有的全局最优服务选择算法提供端对端约束下最优单解而非可接受的多解,既无法充分体现用户偏好和服务个性,也不利于激励服务提供者优化服务质量.首先,在引入...
  • 15. 自然语言合理句子的生成系统
    作者： 李莉 胡玥 高小宇 高庆狮
    刊名： 计算机学报
    发表期刊： 2010年3期
    页码:  535-544
    摘要： 基于语法规则的使用Chomsky上下文无关文法产生的句子虽合乎语法规则但并不一定合乎语义常理.文中提出一种可以产生合理的自然语言句子的产生系统{T_I,N,B_I,C_I,S,F_I,P_I...
  • 16. 基于Isomap的流形结构重建方法
    作者： 孟德宇 徐宗本 徐晨
    刊名： 计算机学报
    发表期刊： 2010年3期
    页码:  545-555
    摘要： 已有的流形学习方法仅能建立点对点的降维嵌入,而未建立高维数据流形空间与低维表示空间之间的相互映射.此缺陷已限制了流形学习方法在诸多数据挖掘问题中的进一步应用.针对这一问题,文中提出了两种新型...
  • 17. 智能单粒子优化算法
    作者： 吴青华 周家锐 廖惠连 纪震
    刊名： 计算机学报
    发表期刊： 2010年3期
    页码:  556-561
    摘要： 文中在传统粒子群优化(Particle Swarm Optimization,PSO)算法的基础上,提出了智能单粒子优化算法(Intelligent Single Particle Opti...
  • 18. 广义病毒的形式化定义及识别算法
    作者： 何修雄 何鸿君 候方勇 罗莉 董黎明 钟广军
    刊名： 计算机学报
    发表期刊： 2010年3期
    页码:  562-568
    摘要： 恶意软件的定义是多年来安全领域的研究重点.恶意软件包括病毒、蠕虫和木马.目前仅有病毒的形式化定义,蠕虫、木马没有公认的形式化定义.按照传统病毒的定义,不存在准确识别病毒的算法.文中提出代码是...
  • 19. 基于净图描述的通用隐写分析技术
    作者： 林家骏 毛家发
    刊名： 计算机学报
    发表期刊： 2010年3期
    页码:  569-579
    摘要： 针对互联网上大量的隐写软件利用数字图像隐藏秘密消息,文中提出了基于净图描述的通用隐写分析技术.这种隐写分析技术能有效地检测出图像是否含秘密信息,通过提取两种新颖特征,即纹理特征和虚特征值分解...
  • 20. 基于效用的EPON VoD QoS组播实现机制研究
    作者： 刘犁 张晋豫 杨维
    刊名： 计算机学报
    发表期刊： 2010年3期
    页码:  580-588
    摘要： 服务质量无法保证和低效益是IP网络上开展VoD业务面临的主要问题.基于组播业务的网络优先级、用户群的SLA优先级和经济优先级,提出了一个基于效用的EPON VoD组播QoS优先级(效用优先级...
  • 21. 路由协议的符号化测试生成
    作者： 叶新铭 谢高岗 邢熠
    刊名： 计算机学报
    发表期刊： 2010年3期
    页码:  589-595
    摘要： 协议一致性测试用于验证协议实现的正确性.文中根据路由协议的消息复杂特点,提出基于on-the-fly策略符号测试生成与动态执行的算法:建立了一种新的统一符号语义模型,该模型把数据操作和控制都...
  • 22. Petri网极小虹吸的计算方法与性能分析
    作者： 倪丽娜 张军旗 张金泉 蒋昌俊
    刊名： 计算机学报
    发表期刊： 2010年3期
    页码:  596-602
    摘要： 虹吸是Petri网的一种重要结构,可以用来分析所模拟系统的许多重要特性,如可达性、可逆性和活性等.文中首先提出了虹吸子网的概念,并给出了将Petri网划分成虹吸子网的多项式算法,进而给出其性...
  • 23. 基于Snake模型的血管树骨架三维重建技术
    作者： 张天序 彭博 曹治国 桑农
    刊名： 计算机学报
    发表期刊： 2010年3期
    页码:  603-612
    摘要： 从两幅不同角度的造影图像实现血管树的三维骨架重建,传统重建方法常常需要较多的人工干预,才能为每一点找到准确的对应点.文中研究了一种基于Snake模型的重建方法.它在采用多尺度Gabor滤波提...

计算机学报基本信息

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

计算机学报评价信息

该刊被以下数据库收录
期刊荣誉
1. 中国科学引文数据库来源期刊
2. 科技论文统计源期刊

计算机学报统计分析

被引趋势
(/次)
(/年)
学科分布
研究主题
推荐期刊
  • 期刊分类
  • 最新期刊
  • 期刊推荐
  • 相关期刊
一般工业技术 交通运输 军事科技 冶金工业 动力工程 化学工业 原子能技术 大学学报 建筑科学 无线电电子学与电信技术 机械与仪表工业 水利工程 环境科学与安全科学 电工技术 石油与天然气工业 矿业工程 自动化技术与计算机技术 航空航天 轻工业与手工业 金属学与金属工艺
办公自动化(学术版) 兵工自动化 办公自动化 智能制造 传动技术 传感技术学报 传感器与微系统 传感器世界 测控技术 CT理论与应用研究 成组技术与生产现代化 测绘与空间地理信息 电光与控制 电子商务 电机与控制学报 地理信息世界 音响改装技术 电脑编程技巧与维护 电脑高手 电脑技术 电脑开发与应用 电脑迷 电脑时空 智能计算机与应用 电脑与电子
计算机集成制造系统 计算机仿真 自动化学报 计算机技术与发展 计算机应用与软件 计算机辅助设计与图形学学报 小型微型计算机系统 控制理论与应用 遥感学报 传感器与微系统 传感技术学报 制造业自动化 微电子学与计算机 计算机工程与科学 机器人 计算机系统应用 计算机与现代化 测控技术 计算机与数字工程 工业控制计算机 测绘与空间地理信息 电机与控制学报 中文信息学报 福建电脑 控制工程
计算机学报
按字母查找期刊：

联系合作 广告推广: shenyukuan@paperpass.com

京ICP备2021016839号 营业执照 版物经营许可证:新出发 京零 字第 朝220126号