计算机研究与发展期刊
出版文献量(篇)
7553
总下载数(次)
35
总被引数(次)
164870

计算机研究与发展

Journal of Computer Research and Development

CSCDEIJSTAJCSTPCD

影响因子 2.0843
本刊是中国科学院计算技术研究所和中国计算机学会联合主办、科学出版社出版的学术性刊物、中国计算机学会会刊,我国第一个计算机刊物。主要刊登计算机科学技术领域高水平的学术论文、最新科研成果和重大应用成果。
主办单位:
中国科学院计算技术研究所 中国计算机学会
期刊荣誉:
2000年获中科院优秀期刊二等奖 
ISSN:
1000-1239
CN:
11-1777/TP
出版周期:
月刊
邮编:
100190
地址:
北京中关村科学院南路6号
出版文献量(篇)
7553
总下载数(次)
35
总被引数(次)
164870
文章浏览
目录
  • 作者: 刘又诚 周伯生 王云
    发表期刊: 2000年1期
    页码:  1-8
    摘要: UML标准建模语言是面向对象技术领域中的重要成果.使用UML解决现实世界中的问题是当前该领域的研究热点.UML集成化支持环境既可提高建模的效率,也可在一定程度上保证所建模型间的一致性;通过模...
  • 作者: 吴国新 翟明玉 顾冠群
    发表期刊: 2000年1期
    页码:  9-16
    摘要: Internet可靠多点投递拥塞控制研究是当前可靠多点投递协议研究的活跃领域.许多多点投递拥塞控制机制已经提出来了.文中首先提出Internet可靠多点投递拥塞控制的基本问题,然后概述解决这...
  • 作者: 田盛丰 黄厚宽
    发表期刊: 2000年1期
    页码:  17-22
    摘要: 文中介绍一个利用数据库中的大量数据进行决策的方法.对于仅涉及数据库中部分数据的问题,对数据库中与当前问题相关的数据采用具有强泛化能力的支持向量机方法学习分类规则和回归函数,完成对当前问题的分...
  • 作者: 潘云鹤 陈建国
    发表期刊: 2000年1期
    页码:  23-29
    摘要: 文中提出了一个宏单元布局的均场退火网络求解方法.算法用一个三维二值换位矩阵将问题映射为神经网络,建立包含时延约束、重叠约束和优化目标的能量函数,再用均场退火方程迭代求解.每个单元只能放置在布...
  • 作者: 张瑞岭 董韫美
    发表期刊: 2000年1期
    页码:  30-36
    摘要: 文法推断研究如何从语言的有限实例,通过归纳推断获取语言的文法定义.文中提出一个基于逐步求精的上下文无关文法推断方法,以尝试将文法推断用于替代或帮助传统手工的文法构造工作.文中的推断方法以An...
  • 作者: 乔颖 戴国忠 须德
    发表期刊: 2000年1期
    页码:  37-44
    摘要: 文中对基于角色访问控制(role-based access control,RBAC)研究中的两大热点--模型的建立和实现进行了较深入的研究,提出了一种新的RBAC模型--NRBAC模型.这...
  • 作者: 吴泉源 周健 孙海燕 王怀民 腾猛
    发表期刊: 2000年1期
    页码:  45-49
    摘要: 随着CORBA等分布计算技术的发展,分布式应用开始关注系统的可靠性、可用性、开放性、计算资源共享与可重用等问题.面向Agent的分布计算技术是解决上述问题的有效手段.文中基于面向Agent的...
  • 作者: 周兴铭 王东霞 窦文华
    发表期刊: 2000年1期
    页码:  50-54
    摘要: 生存性是ATM网络中亟待解决的问题.文中针对当前研究中已提出的ATM网络生存性资源管理机制的不足,基于网络中各种服务不同的生存重要性,引入了故障恢复过程中的资源剥夺,并改进了预先的空闲容量规...
  • 作者: 傅晓明 张尧学 郭国强
    发表期刊: 2000年1期
    页码:  55-60
    摘要: 在INTERNET上应用RSVP时,新增通信量和时空开销问题是RSVP研究的关键问题之一.文中提出了利用RSVP隧道和QoS请求聚合体解决此问题的方案,核心内容是:QoS请求聚合体代表多个具...
  • 作者: 叶以正 张乃通 来逢昌 王进祥
    发表期刊: 2000年1期
    页码:  61-65
    摘要: RS码已经广泛应用于通信系统、计算机系统、存储介质、网络和数字电视中,以提高数据的可靠性;RS(255,223)码是美国航空航天局(NASA)和欧洲空间站(ESA)在深空卫星通信系统中所采用...
  • 作者: 叶以正 毛志刚 王涛
    发表期刊: 2000年1期
    页码:  66-72
    摘要: 文中在分析Java虚拟机及字节码特性基础上,研究了Java处理器中的指令合并技术.对3种合并策略:2条指令的合并、3条指令的合并及4条指令的合并进行了分析比较,并分别实现了这3种合并策略.研...
  • 作者: 俞瑞钊 姜华 陈奇
    发表期刊: 2000年1期
    页码:  73-79
    摘要: 各主题数据库结构的复杂性、以及共享数据指标变量之间广泛的相关性,是异构数据库实现共享的重要障碍.目前的许多研究是针对异构数据库结构复杂问题,提出实现一致性访问的策略,但这些解决方案无法使系统...
  • 作者: 吴立德 朱兴全 薛向阳
    发表期刊: 2000年1期
    页码:  80-85
    摘要: 文中首先针对镜头Shot分割在基于内容的视频检索中的重要性,介绍了现在普遍采用的镜头分割新方法,同时针对这些方法的不足,提出了一种基于自动门限选取的镜头分割及分类方法,该方法能同时检测视频中...
  • 作者: 孙家广 胡事民 袁波
    发表期刊: 2000年1期
    页码:  86-94
    摘要: 在变量化设计过程中往往存在多解性,从所有可能的解中找出符合设计意图的有效解是变量化设计中的一个重要问题.导致变量化设计存在多解性的主要原因是:①几何约束系统处于欠约束状态;②约束方程(组)的...
  • 作者: 方海 林惠民 许文
    发表期刊: 2000年1期
    页码:  95-101
    摘要: 带赋值符号迁移图(STGA)是刻画一般传值进程的抽象计算模型,在STGA上可以用"on-the-fly"实例化算法来验证传值进程之间的互模拟等价.由于STGA的一个结点对应于具体迁移图的许多...
  • 作者: 刘磊 宋力彤 赵东范
    发表期刊: 2000年1期
    页码:  102-108
    摘要: 文中基于数据流分析(DFA)技术,通过引进循环中变量之间的相互依赖关系,提出一种过程式语言部分求值的处理方法.利用该方法能有效地解决过程式语言部分求值中循环展开这一难题.
  • 作者: 王刚 王永成 陈桂林 韩客松
    发表期刊: 2000年1期
    页码:  109-116
    摘要: 在分析中文字编码体系、中文词一些特点的基础上,文中提出了一种新的中文电子词表数据结构,并讨论了利用首字Hash加二分查找的数据查找算法以及相关的数据更新、删除和插入算法.理论分析和试验结果表...
  • 作者: 古天龙 庞健雄 董荣胜 蔡国永
    发表期刊: 2000年1期
    页码:  117-121
    摘要: 从实时系统建模的角度,文中给出了一种实时对象模型,该模型能够保证开发的实时系统具有可预测性、灵活性、集成性的特点.文中同时给出了分析对象能力的计算公式,并对实时对象模型行为的可预测性调度进行...
  • 作者: Y.F.Li 杨静宇 王树国 蔡鹤皋 赵春霞
    发表期刊: 2000年1期
    页码:  122-128
    摘要: 文中将机器人装配单元的各类设备定义为独立的Agent,采用Petri Net模型,为各Agent的作业定义了有关操作的基本模型结构,作为基于多Agent的模型库.通过对Agent模型库元素的...
  • 作者: 冯玉琳 魏峻
    发表期刊: 2000年2期
    页码:  129-139
    摘要: 移动计算是在网络技术发展中涌现出的一种新计算范型.文章旨在从形式抽象的角度来认识移动计算的本质特点.文中分析了网络计算平台的综合特征,总结了移动计算范型的典型特征,重点介绍了有代表性的移动计...
  • 作者: 何炎祥 刘朝阳 杜卓敏 邓爱林
    发表期刊: 2000年2期
    页码:  140-146
    摘要: 针对大规模分布式系统中对象迁移、网络和系统动态重构的要求,文中介绍了一种层次式的命名和编址方案,它将对位置透明的标识(OID)和表示位置的地址(OAD)二者结合起来标识对象.从局部唯一的ID...
  • 作者: 朱传琪 臧斌宇 黄波
    发表期刊: 2000年2期
    页码:  147-154
    摘要: 从变量的初始化中获取指针指向信息是完整的指针分析不可缺少的一个重要环节,它有助于提高其它数据流分析的准确性.文中提出了一个实用的从变量的初始化中获取指针指向信息的方法.在此方法中,变量的初始...
  • 作者: 孙亚军 王思明
    发表期刊: 2000年2期
    页码:  155-158
    摘要: 文中讨论了在多处理器系统上,用大规模并行处理技术实现人工神经网络时,处理器之间的通信开销问题.通过理论推导和实验证明,全连接和随机连接神经网络在多处理器系统上并行实现时,处理器网络的拓扑结构...
  • 作者: 孟虹 杨麦顺 陆丽娜 魏恒义
    发表期刊: 2000年2期
    页码:  159-163
    摘要: 文中提出了Hash划分的改进方法--IH划分. IH划分为结点扩充时数据的重新划分提供了方便.在论述IH划分的基础上,给出了基于该数据划分方法的并行Join算法.利用已有的数据分布,文中提出...
  • 作者: 周伯鑫 徐南荣 邵家玉 陆平
    发表期刊: 2000年2期
    页码:  164-169
    摘要: 演绎工程数据库是工程数据库和演绎数据库集成的产物,它综合了工程数据库和演绎数据库的特点,集成了演绎数据库的查询能力和工程数据库的工程数据、对象、环境建模能力,对数据库技术的不断进步和完善有重...
  • 作者: 刘文远 郝忠孝
    发表期刊: 2000年2期
    页码:  170-174
    摘要: 无β环是一种重要的无环级别,与无损联接、保持依赖和4NF一起,成为多值依赖环境下数据库模式规范化的基本要求,能够直接指导数据库的模式设计.文中提出了严格无冲突的概念,以线图为工具,证明了应用...
  • 作者: 刘大有 唐海鹰 杨鲲 虞强源 陈建中 陈桂芬
    发表期刊: 2000年2期
    页码:  175-181
    摘要: 吉林大学知识工程研究小组针对有序命题类问题给出了适合于有序命题类问题的一类证据理论模型,该模型中,由于g的计算不够准确导致了组合误差,最大误差为一个分类等级.文中通过给出计算g的新方法予以解...
  • 作者: 张明义 董明楷
    发表期刊: 2000年2期
    页码:  182-187
    摘要: 自相容缺省理论是一种颇具优良性质的特殊缺省理论,从子句着手是一般逻辑推理常用的方法.文中在Reiter缺省理论和张明义的自相容缺省理论的研究基础上,进一步研究了子句型闭自相容缺省理论.文中首...
  • 作者: 孙瑞祥 屈梁生
    发表期刊: 2000年2期
    页码:  188-193
    摘要: 遗传算法的本质决定了它的搜索方式是有向随机的,导致了其计算结果具有非稳定性.为了研究遗传算法进化过程中的非稳定性规律,文中首次提出了进化截止代数和进化截止代数分布两个新概念,并给出了它们的具...
  • 作者: 佟冬 方滨兴 胡铭曾
    发表期刊: 2000年2期
    页码:  194-200
    摘要: 非线性存储方案能在处理单元数等于存储体数的情况下,使SIMD机实现多种访存模式无冲突,提高其整体性能.文中提出一种用非线性存储方案设计SIMD计算机的一般方法,在存储方案给定的前提下,针对有...

计算机研究与发展基本信息

刊名 计算机研究与发展 主编 徐志伟
曾用名
主办单位 中国科学院计算技术研究所 中国计算机学会  主管单位 中国科学院
出版周期 月刊 语种
chi
ISSN 1000-1239 CN 11-1777/TP
邮编 100190 电子邮箱 crad@ict.ac.cn
电话 010-62620696;62600350 网址 http://crad.ict.ac.cn
地址 北京中关村科学院南路6号

计算机研究与发展评价信息

期刊荣誉
1. 2000年获中科院优秀期刊二等奖

计算机研究与发展统计分析

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