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

计算机学报

Chinese Journal of Computers

CSCDEIJSTSACSTPCD

影响因子 3.6512
本刊是中国计算机领域的有代表性学术刊物,作为一种科学研究档案,代表了计算机领域各个研究阶段的水平。 本刊被《工程索引》(美国)、《科学文摘》(英国)、《数学文摘》(美国)、《科技文献速报》(日本)、《文摘杂志》(俄罗斯)等多种权威系统收录。是科技部科技信息研究所科技论文统计源期刊、中国科学引文数据库来源期刊。
主办单位:
中国计算机学会 中国科学院计算技术研究所
期刊荣誉:
中国科学引文数据库来源期刊  科技论文统计源期刊 
ISSN:
0254-4164
CN:
11-1826/TP
出版周期:
月刊
邮编:
100190
地址:
中国科学院计算技术研究所(北京2704信箱)
出版文献量(篇)
5154
总下载数(次)
49
总被引数(次)
187004
文章浏览
目录
  • 作者: 朱传琪 李剑慧 臧斌宇 陈彤
    刊名: 计算机学报
    发表期刊: 1998年1期
    页码:  1-9
    摘要: 数组归约的识别是提高并行化编译能力的有效方法,单模变换是开发程序并行性的重要手段.然而,由于归约语句间相关的特殊性,影响了单模变换的实施.本文从归约语句引起的相关本质特征入手,分析了归约语句...
  • 作者:
    刊名: 计算机学报
    发表期刊: 1998年1期
    页码:  9
    摘要:
  • 作者: 孙文隽 常红 李建中
    刊名: 计算机学报
    发表期刊: 1998年1期
    页码:  10-17
    摘要: B+-树是一种有效的数据库存储结构,被普遍应用于各种关系数据库系统.把B+-树并行化,使之用于并行数据库系统显然是一项很有意义的重要工作.本文研究了适用于并行数据库的并行B+-树存储结构,提...
  • 作者: 曹建农 柳颖 谢立
    刊名: 计算机学报
    发表期刊: 1998年1期
    页码:  18-25
    摘要: 很多分布式程序由一组分散在不同处理器结点上的松散耦合的进程协作完成某项任务.这些进程底层的逻辑结构可以用一个图来表示,进程间的通信和同步关系可以用图上的操作来表示.该文描述了面向图结构的模型...
  • 作者:
    刊名: 计算机学报
    发表期刊: 1998年1期
    页码:  25,86
    摘要:
  • 作者: 周琛 孙家广 王建民
    刊名: 计算机学报
    发表期刊: 1998年1期
    页码:  26-33
    摘要: 本文以实际系统为背景,利用Petri网建立分析了CAD系统的多任务模型.我们从最基本的Client/Server的调用模型出发,按调用关系扩展了两类多任务模型:有环模型和无环模型,并利用面向...
  • 作者: 孙国基 曾建潮 杨根科
    刊名: 计算机学报
    发表期刊: 1998年1期
    页码:  34-39
    摘要: Tsai等提出了时间限制Petri网(TCPN),并讨论变迁可激活、可调度规律及其计算公式.然而,由于网拓扑和动态的复杂性,某些概念的逻辑关系及公式有矛盾.本文通过引入调度决策变量、动态标记...
  • 作者: 徐殿祥 樊晓聪 郑国梁
    刊名: 计算机学报
    发表期刊: 1998年1期
    页码:  40-46
    摘要: 在多Agent系统中,个体Agent除了具有自治性、应激性、主动性外,还应当具有社会性以完成只有协作才能解决的问题.这种社会性要求Agent能及时响应其它Agent的服务请求,对自己的行为作...
  • 作者: 于铁峰 何涛 刘慎权 周晓云 唐卫清 戴肖锋
    刊名: 计算机学报
    发表期刊: 1998年1期
    页码:  47-54
    摘要: 本文在现有管道建模研究的基础上,提出了用"对偶点"描述管道构件(管子、管件和设备)的局部连接约束及用扩展的图结构描述管道整体拓扑结构的建模方法.文中分析了管网结构 的组成规律及原有建模方法的...
  • 作者: 刘炳华 顾冠群
    刊名: 计算机学报
    发表期刊: 1998年1期
    页码:  55-61
    摘要: 目前同步计算机会议系统控制方面的能力有限,本文提出一种会议控制协议,基于开放分布式处理参考模型(RM-ODP)控制通道概念,在分析协议需求的基础上,设计了一种组合域名协议原语,并用于协议的形...
  • 作者: 帅典勋
    刊名: 计算机学报
    发表期刊: 1998年1期
    页码:  62-71
    摘要: 本文提出的竞争行波的原理、机制和算法,用于超分布超并行智能处理,克服了传统的符号逻辑串行算法和通常的神经网络方法在人工智能问题求解方面面临的许多困难.本文集中论述了竞争行波中最基本的一类同步...
  • 作者: 帅典勋
    刊名: 计算机学报
    发表期刊: 1998年1期
    页码:  72-79
    摘要: 基于全局同步均质竞争行波的超分布超并行智能处理方法,虽能有效地解决传统的串行符号逻辑方法和通常的神经网络方法所存在的许多问题.但"全局性的同步和均质"这种限制在很多情况下难以满足.本文提出同...
  • 作者: 高大启
    刊名: 计算机学报
    发表期刊: 1998年1期
    页码:  80-86
    摘要: 优化选择隐节点数是人们在应用基于误差反传(BP)算法的有教师的线性基本函数(LBF)前向三层神经网络过程中首先遇到的一个十分重要而又困难的问题.本文从国内外大量应用实例中总结归纳出了一个初定...
  • 作者: 王开铸 赵蕾
    刊名: 计算机学报
    发表期刊: 1998年1期
    页码:  87-91
    摘要: 反编译是软件逆向工程的重要组成部分.控制流恢复是C反编译的重要组成部分.本文首先描述了验证反编译结果与原程序功能等价的模型;其次从数学角度提出了C编译和反编译控制结构的数学模型并给出其性质(...
  • 作者: 王培良 许安国
    刊名: 计算机学报
    发表期刊: 1998年1期
    页码:  92-96
    摘要: 本文给出加权T-图是活网的另一组充分条件,这组条件包含了Teruel等对加权T-图活性分析的结果,方法简单,便于操作.Teruel文中研究了加权单回路网为守恒回路时活的一个充分条件,对一般加...
  • 作者: 林惠民
    刊名: 计算机学报
    发表期刊: 1998年2期
    页码:  97-102
    摘要: 本文引入描述传值并发系统的新模型"带赋值符号迁移图(STGA)".STGA推广了Hen-nessy和Lin提出的"符号迁移图"的概念,允许迁移上带有赋值,从而能将更大的一类传值系统表示为有穷...
  • 作者: 侯建民 李宣东 郑国梁
    刊名: 计算机学报
    发表期刊: 1998年2期
    页码:  103-110
    摘要: 模型验证是对有限状态系统的一种形式化确认方法.近几年,模型验证方法已逐步扩展到实时系统应用中.为解决实时系统的模型验证问题,本文采用离散时段演算作为实时系统规格说明的形式语言,用时间自动机作...
  • 作者:
    刊名: 计算机学报
    发表期刊: 1998年2期
    页码:  110
    摘要:
  • 作者: 戴国忠 李茂贞 董士海
    刊名: 计算机学报
    发表期刊: 1998年2期
    页码:  111-118
    摘要: 多通道界面是利用多个输入通道进行人机交互的新一代人机界面,旨在提高人机交互的自然性和高效性.本文首先阐述了多通道界面的概念和研究问题,然后提出评价多通道界面人机交互效率的一种机制.结合面向任...
  • 作者: 张明义 张颖
    刊名: 计算机学报
    发表期刊: 1998年2期
    页码:  119-126
    摘要: Giordano和Martelli提出了Reiter的缺省逻辑(DL)的两个新变种:CADL(Commitmentto Assumptions Default Logic)与QDL(Quas...
  • 作者: 吴福朝 张钹 张铃
    刊名: 计算机学报
    发表期刊: 1998年2期
    页码:  127-136
    摘要: 本文讨论如何构造在平面刚体运动和伸缩变换下,具有不变性模式识别能力的神经网络,即建立一个前向多层的神经网络.它具有如下性质:若网络能识别某一样本,则同时也能识别该样本经刚体运动及伸缩之后的任...
  • 作者: 李腊元
    刊名: 计算机学报
    发表期刊: 1998年2期
    页码:  137-144
    摘要: 本文提出了一种基于离散动态规划原理的分层动态路由协议(HDRP),它适应于分簇拓扑的动态大型计算机网络(DLCN).文中给出了该协议路由信息更新和路由决策的实现过程,以及它的正确性证明和复杂...
  • 作者: 何平 刘莲君 张健 徐仁佐
    刊名: 计算机学报
    发表期刊: 1998年2期
    页码:  145-153
    摘要: 本文作者以"一切让数据说明问题"为原则,采用人工智能技术,开发出软件可靠性专家系统SRES(Software Reliability Expert System),根据统一的标准,通过对一组...
  • 作者:
    刊名: 计算机学报
    发表期刊: 1998年2期
    页码:  153,封三
    摘要:
  • 作者: 华庆一 葛玮 郝克刚 鱼滨
    刊名: 计算机学报
    发表期刊: 1998年2期
    页码:  154-161
    摘要: 在开发交互式图形应用过程中,一个主要难题是如何表示和建立代表应用模型数据及操作的图形对象并提供直接操作的交互方式,另一个难题是如何有效地表示和管理图形对象之间的关系.OOIGT是作者设计和实...
  • 作者: 于戈 张斌 石祥滨 郑怀远
    刊名: 计算机学报
    发表期刊: 1998年2期
    页码:  162-167
    摘要: 为满足CIMS信息集成平台中全局集成级物理集成策略的需求,本文研究了实例化面向对象视图的有效维护问题,提出了一个实例化面向对象视图的有效维护方法.该方法是代数的和基于等价推理的,它使用对象代...
  • 作者: 何志均 李善平 董金祥 谌潜 车玫 陈德人
    刊名: 计算机学报
    发表期刊: 1998年2期
    页码:  168-175
    摘要: GS-ICCC是一个以自行研制开发的面向对象工程数据库管理系统OSCAR为核心的集成化CAD/CAPP/CAM系统,它的主要特点是按照STEP标准在全局产品数据模型的基础上实现CAD、CAP...
  • 作者: 程晓春
    刊名: 计算机学报
    发表期刊: 1998年2期
    页码:  176-182
    摘要: 本文给出关于删除策略相容性的几个结果:对相同谓词符号配相同锁的子句集,锁归结和删除策略联用完备;对正文字锁大于负文字锁的Horn集,正单元锁归结和删除策略联用完备,输入锁归结与删除策略联用完...
  • 作者: 洪嘉振 王志强 肖立瑾
    刊名: 计算机学报
    发表期刊: 1998年2期
    页码:  183-187
    摘要: 本文用三维空间来解决二维平面问题,从而得出了一个简单的点与有向线段之间关系的判别式,并在此基础上根据凸凹点的性质及有向多边形的性质提出了不用解任何方程组也不用计算三角函数的判定平面多边形的简...
  • 作者: 林守勋 林宗楷 胡斌 郭玉钗 马先林
    刊名: 计算机学报
    发表期刊: 1998年2期
    页码:  188-封三
    摘要: 在CAD/CAM和CIMS等领域的分布协同计算中,分布人工智能领域的多Agent技术已逐步得到越来越多的应用.本文阐述了MACE(Multi-Agent Cooperative Enviro...

计算机学报基本信息

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

计算机学报评价信息

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

计算机学报统计分析

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