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

计算机科学期刊
出版文献量（篇）
18527
总下载数（次）
68

计算机科学

Computer Science
曾用名： 计算机应用与应用数学

CSCDJSTCSTPCD

影响因子 1.4378
《计算机科学》主编陈国良，系中国科学院院士、全国首届高等学校国家教学名师。读者对象是大专院校师生，从事计算机科学与技术领域的科研、生产人员。我刊坚持 “前沿学科”与“基础研究”相结合、“核心核术”与“支撑技术”相结合、“倡导”与“争鸣”相结合，活跃计算机科学与技术领域的学术气氛，为我国的计算机科学与技术立于世界之林、达到国际先进水平奋斗而矢志不渝。
主办单位：
重庆西南信息有限公司(原科技部西南信息中心)
期刊荣誉：
2001年重庆市优秀期刊；2004年第三届重庆市优秀科技期刊；2005年重庆市优秀期刊编辑部；2010年第六届重庆市期刊综合质量考核“十佳科技期刊”  2012年重庆市出版专项资金报刊资助项目（重庆市新闻出版局）；2013年重庆市出版专项资金重点学术期刊资助项目（重庆市文化委员会）  2014年重庆市出版专项资金期刊资助项目（重庆市文化委员会）；2015年“中国国际影响力优秀学术期刊” 
ISSN：
1002-137X
CN：
50-1075/TP
出版周期：
月刊
邮编：
401121
地址：
重庆市渝北区洪湖西路18号
出版文献量（篇）
18527
总下载数（次）
68
文章浏览
年度刊次
目录
  • 391. 从构造性证明中提取程序
    作者： 庞建民 戴超 石铠源 赵荣彩
    刊名： 计算机科学
    发表期刊： 2007年5期
    页码:  269-272
    摘要： 通常情况下,我们很难确定一段给定的程序是否符合它的规范,程序提取是一种从构造性证明中提取函数式程序的机制,其构造特性很好地保证了生成程序的正确性.这就为我们提供了一种开发正确性软件的方法.本...
  • 392. UML与Z结合的建模过程及其应用
    作者： 张广泉 张永常 祝义 黄志球
    刊名： 计算机科学
    发表期刊： 2007年5期
    页码:  273-276
    摘要： 软件体系结构建模是软件设计过程中的关键环节,论文首先讲述了目前工业界面临的一些问题,指出在软件体系结构建模过程中引入形式化方法的必要性,然后提出了UML与Z结合的建模过程,最后通过一个实例来...
  • 393. 高性能存储系统的读请求的建模和预测
    作者： 魏文国
    刊名： 计算机科学
    发表期刊： 2007年5期
    页码:  277-279
    摘要： 为了改善高性能计算系统的I/O性能,本文设计和实现了一个读请求的空间和时间特性的综合预测模型-马尔可夫空间模型与自回归集成的移动平均时间模型,该模型在应用程序执行过程中被自动识别;每个新的请...
  • 394. 基于PROBE方法的DWFC内聚度量改进
    作者： 张为群 肖瑶
    刊名： 计算机科学
    发表期刊： 2007年5期
    页码:  280-284
    摘要： 利用有向带权伪图(Directed Weighted False Chart,DWFC)表示面向对象程序中类内部成员间的依赖关系,提出一种基于DWFC的面向对象类内聚度量方法,结合PSP(P...
  • 395. 基于XML Schema技术的编译符号表生成方法
    作者： 甘勇 聂南 谢晓东
    刊名： 计算机科学
    发表期刊： 2007年5期
    页码:  285-287
    摘要： 传统的编译中间代码通常不能在移动、嵌入式和分布式等环境之间转换,而符号表的构造与管理贯穿整个中间代码的生成过程.本文提出一种基于XML Schema及其相关技术生成编译中间代码的符号表的方法...
  • 396. Petri网的空标识及相关性质研究
    作者： 于枫 吴哲辉 吴振寰
    刊名： 计算机科学
    发表期刊： 2007年5期
    页码:  288-290,封3
    摘要： 在一个网系统中,如果每个库所中的标志数都等于0,则说这个网系统中的标识是一个空标识.文[1]通过例子指出空标识可以是一个网系统的初始标识,也可以是具有非空初始标识的网系统的一个可达标识.文[...
  • 397. 论程序设计课程教学中的同构化创新思想教育——"对→好→巧→妙→绝"的算法设计案例
    作者： 周启海 李朔枫 杨祥茂 黄涛
    刊名： 计算机科学
    发表期刊： 2007年5期
    页码:  291-封3
    摘要： 本文基于同构化基本原理,提出了"算法是程序之母,程序是算法之子"的程序设计教学指导原则;并通过"对→好→巧→妙→绝"的典型同构化算法设计创新案例,阐明了应该和可以"寓同构化创新思想教育于算法...
  • 398. 普适计算面临的安全挑战
    作者： 徐芬 沈海波 洪帆 王琴 郭亚军 陈利
    刊名： 计算机科学
    发表期刊： 2007年6期
    页码:  1-3,12
    摘要： 分析了普适计算面临的安全挑战,给出了普适计算需要解决的几个安全问题,它们分别是:动态信任模型、认证、访问控制和隐私保护.并指出了这些安全问题的一些解决思路.
  • 399. SSON:一种基于结构化P2P网络路由的语义覆盖网络结构
    作者： 于婧 汪斌强
    刊名： 计算机科学
    发表期刊： 2007年6期
    页码:  4-6,18
    摘要： 本文基于结构化P2P网络路由机制,采用基于主题划分的方法,提出了基于结构化P2P网络路由的语义覆盖网络SSON.SSON通过结构化P2P网络的标识符映射机制,根据资源类别将结点组织成层次化的...
  • 400. 覆盖多播路由的算法及协议研究综述
    作者： 吴家皋
    刊名： 计算机科学
    发表期刊： 2007年6期
    页码:  7-12
    摘要： 虽然IP多播的性能优势无可否认,但是它却面临着部署上的困难.近年来,覆盖多播作为提供多播服务的另一可行途径正不断为人们所认可.本文对覆盖多播路由的算法和协议进行了综述研究,提出了通用的覆盖多...
  • 401. 基于CPi-calculus的网格服务行为研究
    作者： 周静 曾国荪
    刊名： 计算机科学
    发表期刊： 2007年6期
    页码:  13-18
    摘要： 当前基于网格服务组合的编排方案(choreography proposals)只给出服务描述层面上的定义,没有提供任何推导方法来保证基于此编排方案的服务的一致性.如何验证组合服务行为的正确性...
  • 402. 语义Web服务的自动化组合方法:研究综述
    作者： 李梦君 李舟军 王杰生
    刊名： 计算机科学
    发表期刊： 2007年6期
    页码:  19-23,29
    摘要： 语义Web服务的提出是为了解决Web服务资源在语义Web中的智能化整合问题,而语义Web服务的自动化组合技术作为这个整合过程中的一个关键技术正在蓬勃发展.本文考察了来自人工智能领域、形式化方...
  • 403. SL-SOAP:一个大型分层视频组播代理自组织协议
    作者： 姜志宏 孙晓 沙基昌 王晖 陶钧
    刊名： 计算机科学
    发表期刊： 2007年6期
    页码:  24-29
    摘要： 针对大型分层视频组播层次化自适应体系HALVM中层次化代理的位置和功能如何动态配置和管理的核心问题,本文在研究和分析了层次化代理的逻辑构成和视频组播原始拓扑结构特点的基础上,利用共享丢失模型...
  • 404. NGI中一种基于食物链算法的柔性QoS组播路由算法
    作者： 刘彭程 王兴伟 王军伟 黄敏
    刊名： 计算机科学
    发表期刊： 2007年6期
    页码:  30-33,57
    摘要： 针对下一代互联网(Next Generation Internet,NGI)难以精确测量和用户服务质量(Quality of Service,QoS)需求难以完全表达的特点,设计了一种基于食...
  • 405. 无线传感器网络的管理
    作者： 刘俊涛 刘晶晶 孙利民 牛建伟
    刊名： 计算机科学
    发表期刊： 2007年6期
    页码:  34-37,52
    摘要： 无线传感器网络是一个资源受限、应用相关的任务性网络,与现有网络特性显著不同,传统的网络管理不再适用于无线传感器网络.本文在简要说明无线传感器网络基本特性和面临挑战的基础上,给出了一个通用的无...
  • 406. 基于社会学原理的P2P网络模型REC
    作者： 唐九阳 张维明 汤大权 肖卫东
    刊名： 计算机科学
    发表期刊： 2007年6期
    页码:  38-40,67
    摘要： 集中式的P2P网络模型规模受限,完全分布的P2P网络模型往往混乱低效.借鉴社会学的相应原理,类比人类社会的聚群,针对节点能力的异构性,将系统中的节点进行分层;针对节点参与资源共享的不同动机,...
  • 407. 基于网络延迟的P2P路由算法的研究
    作者： 王传殊 王意洁
    刊名： 计算机科学
    发表期刊： 2007年6期
    页码:  41-43,97
    摘要： 近年来,P2P计算应用已经超过Web应用而成为占用互联网带宽最多的网络应用.针对目前P2P系统中采用的随机选择邻居节点的方法会降低路由效率以及增大网络开销方面的问题,在分析Chord方法特点...
  • 408. 无线Ad Hoc网络P2P流媒体分发缓存算法
    作者： 左冬红 杜旭 杨宗凯
    刊名： 计算机科学
    发表期刊： 2007年6期
    页码:  44-46,80
    摘要： 无线Ad Hoc网络由于其传输时延较长,网络拓扑动态变化以及高丢包率,给流媒体在无线网络中的分发带来了挑战.但随着移动通信终端设备存储能力的提高,在无线Ad Hoc网络中进行P2P的流媒体分...
  • 409. P2P分布式存储系统
    作者： 侯孟书 卢显良 王晓斌 田荣华
    刊名： 计算机科学
    发表期刊： 2007年6期
    页码:  47-48
    摘要： 设计了一个基于P2P的分布式存储系统.该存储系统采用高可扩展的P2P体系结构,将大量分散的节点组织成一个逻辑网络,充分利用原先被忽视的端系统资源,构建大规模分布式存储系统.该存储系统采用高效...
  • 410. 适合GEO卫星网络的分层组播拥塞控制算法
    作者： 刘功亮 郭庆 顾学迈
    刊名： 计算机科学
    发表期刊： 2007年6期
    页码:  49-52
    摘要： 针对GEO卫星网络高误码率、长延时的特点,提出了一种适合GEO卫星分层组播的拥塞控制算法,SLMCC.采用系统瓶颈处的队列信息作为调整层的依据,能够及时对网络状况做出反应,解决了卫星网络长延...
  • 411. 支持流媒体的应用层组播研究
    作者： 吴慧中 张谞 肖亮
    刊名： 计算机科学
    发表期刊： 2007年6期
    页码:  53-57
    摘要： 在当前没有IP组播支持以及大多数端主机访问带宽有限的Internet网络条件下,普通的端主机提供实时流媒体应用服务缺乏有效的通信手段,应用层组播是解决这一问题的有效通信技术.针对网络电视、视...
  • 412. 基于OpenRouter模型的ForCES协议实现技术研究
    作者： 关中
    刊名： 计算机科学
    发表期刊： 2007年6期
    页码:  58-60
    摘要： 本文在对基于OpenRouter模型的ForCES协议进行研究的基础上,重点介绍了基于OpenRouter模型的原型系统实现的相关技术,并对ForCES协议实现的关键技术进行了详细分析.
  • 413. ADHSNT自发现层次存储网络拓扑模型设计
    作者： 刘庆江
    刊名： 计算机科学
    发表期刊： 2007年6期
    页码:  61-63
    摘要： 当存储网络的数据节点达到数以百计的时候,手工设计所产生的结果往往不能很好地适合需求.自动生成存储网络的拓扑设计,可以处理这些问题.因此本文在研究了广域网络存储虚拟化形成的拓扑结构的基础上,指...
  • 414. 基于DF的协作节点选择及功率分配策略研究
    作者： 于宏毅 徐晓建 赵雄伟 郭金淮
    刊名： 计算机科学
    发表期刊： 2007年6期
    页码:  64-67
    摘要： 对于无线通信系统来说,特别是单天线节点无线通信系统,采用协作通信技术可以有效地提高系统性能.其中,协作节点选择及协作策略是协作通信需要考虑的两个基本问题.以容量最大化为目标,基于DF中继模式...
  • 415. 无线局域网中基于信号强度的室内定位
    作者： 张明华 张申生 曹健
    刊名： 计算机科学
    发表期刊： 2007年6期
    页码:  68-71,75
    摘要： 确定用户的位置信息有利于向用户提供方便高效的服务,基于接收信号强度的无线局域网室内定位是定位领域的一个新的研究热点.研究的难点在如何克服随机因素对信号的干扰,使定位方法具有健壮性、适应性.本...
  • 416. 一种基于最长前缀匹配的分段式IP查表方法
    作者： 张文柱 王炫
    刊名： 计算机科学
    发表期刊： 2007年6期
    页码:  72-75
    摘要： 基于最长前缀匹配,本文提出了一种新的IP转发表搜索方法.该方法在实现过程中依赖的主要硬件是一片逻辑控制器以及高速的DDR Ⅱ(Double Date RateⅡ)SDRAM(Synchron...
  • 417. 基于查找树的IP地址分类算法研究
    作者： 王晓勇 邱玉辉
    刊名： 计算机科学
    发表期刊： 2007年6期
    页码:  76-77
    摘要： 随着Internet的大规模发展,越来越多的网络业务需要对IP地址进行适时、快速分类.在分析二叉Trie树的基础上,改进了其结构,提出了基于256-叉查找树的IP地址分类算法,并详细介绍了其...
  • 418. 基于Web日志分析的Web QoS研究
    作者： 田昌鹏
    刊名： 计算机科学
    发表期刊： 2007年6期
    页码:  78-80
    摘要： Internet的服务模式正由传统的数据通信与信息浏览向电子交易与服务转变,需要对不同的用户或HTTP请求提供区分服务和性能保证.本文通过对网络Web服务器日志中记录的大量用户信息进行Web...
  • 419. 基于Netfilter的数据包捕获技术研究
    作者： 任勋益 李惠娟 王汝传
    刊名： 计算机科学
    发表期刊： 2007年6期
    页码:  81-83
    摘要： 在Linux下通常的数据包捕获系统,通过Libpcab函数框架实现,而在该体系下实现的包捕获存在着一些缺陷.在Linux2.4版本后,Linux使用了Netfilter框架,便于用户构建自己...
  • 420. 基于无线传感器网络的信誉形式化模型
    作者： 冯健昭 张焕国 杨波 肖德琴
    刊名： 计算机科学
    发表期刊： 2007年6期
    页码:  84-87,100
    摘要： 无线传感器网络的安全威胁不仅发生在节点之间传递信息的时候,还发生在节点产生信息的时候,因此,单靠密码学和认证无法阻止传感器网络内部的攻击以及节点的异常行为.本文提出了一种基于无线传感器网络的...

计算机科学基本信息

刊名 计算机科学 主编 陈国良
曾用名 计算机应用与应用数学
主办单位 重庆西南信息有限公司(原科技部西南信息中心)  主管单位 重庆西南信息有限公司（原科技部西南信息中心）
出版周期 月刊 语种
chi
ISSN 1002-137X CN 50-1075/TP
邮编 401121 电子邮箱 jsjkx12@163.com
电话 023-63500828 网址 www.jsjkx.com
地址 重庆市渝北区洪湖西路18号

计算机科学评价信息

该刊被以下数据库收录
期刊荣誉
1. 2001年重庆市优秀期刊；2004年第三届重庆市优秀科技期刊；2005年重庆市优秀期刊编辑部；2010年第六届重庆市期刊综合质量考核“十佳科技期刊”
2. 2012年重庆市出版专项资金报刊资助项目（重庆市新闻出版局）；2013年重庆市出版专项资金重点学术期刊资助项目（重庆市文化委员会）
3. 2014年重庆市出版专项资金期刊资助项目（重庆市文化委员会）；2015年“中国国际影响力优秀学术期刊”

计算机科学统计分析

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

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

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