论文降重
免费查重- 钛学术文献服务平台 \
- 学术期刊 \
- 工业技术期刊 \
- 自动化技术与计算机技术期刊 \
- 计算机学报期刊 >
计算机学报1999年出版文献
出版文献量（篇）
5154
总下载数（次）
49
总被引数（次）
187004
计算机学报
分享
投稿
本刊是中国计算机领域的有代表性学术刊物，作为一种科学研究档案，代表了计算机领域各个研究阶段的水平。
本刊被《工程索引》（美国）、《科学文摘》（英国）、《数学文摘》（美国）、《科技文献速报》（日本）、《文摘杂志》（俄罗斯）等多种权威系统收录。是科技部科技信息研究所科技论文统计源期刊、中国科学引文数据库来源期刊。
主办单位：
中国计算机学会
中国科学院计算技术研究所
期刊荣誉：
中国科学引文数据库来源期刊
科技论文统计源期刊
ISSN：
0254-4164
CN：
11-1826/TP
出版周期：
月刊
邮编：
100190
地址：
出版文献量（篇）
5154
总下载数（次）
49
总被引数（次）
187004
分享
文章浏览
目录
-
61. 基于径向基神经网的消失点估计刊名： 计算机学报发表期刊： 1999年4期页码:摘要： 基于图像序列的三维重建是当前计算机视觉领域中的一个热点,同时也是基于三维环境信息的移动机器人导航和虚拟环境几何模型自动构造的重要步骤.在过去十年中,有许多基于图像序列进行三维重建算法被提出....
-
62. 带时间参数的测试产生刊名： 计算机学报发表期刊： 1999年4期页码:摘要： 时延测试对于高速集成电路非常重要.本文介绍一个带时间参数的时延测试产生系统.该系统使用一个时刻逻辑值表来表示一个波形,并将输入波形限制为只有唯一的一个输入在0时刻有跳变,其它输入为稳定的0或...
-
刊名： 计算机学报发表期刊： 1999年4期页码:摘要： 并行系统中计算结点之间的互联网络IN(Interconnection Network)一直是并行体系结构的研究热点.30年来曾研究过多种IN的结构及其特性,然而这些IN都是以逻辑电路为基础的...
-
刊名： 计算机学报发表期刊： 1999年4期页码:摘要： 语言机制是提供抽象的核心手段,但并不能容易地扩展,给软件的编写和维护带来困难.我们定义了一个可扩展的编译体系结构--X体系结构,目标是支持用户扩展语言机制、编码领域抽象和优化技巧.它提供了一...
-
刊名： 计算机学报发表期刊： 1999年4期页码:摘要： 本文主要介绍PVM并行程序验证系统的基本原理和实现技术.首先,我们扼要分析PVM程序的构成与特点;然后阐述验证系统的理论模型和验证算法;最后,讨论开发过程中的若干关键技术.本系统的研制可为并...
-
刊名： 计算机学报发表期刊： 1999年4期页码:摘要： 本文提出了旋转面上的拟测地线的打滑系数计算公式,并可以运用拟测地线样条作缠绕路径设计.从而提出了计算机辅助缠绕设计中的一个稳定、快速的算法--拟测地线算法,该算法充分开发自由度,并能显式表示...
-
刊名： 计算机学报发表期刊： 1999年4期页码:摘要： 可串行化的并发控制对传统应用是合适的,它旨在确保数据的"绝对正确"性.然而在实时数据库中,事务的定时限制往往比数据的"绝对正确"性更重要.为此,本文提出了一种新颖的准一致性可串行化的并发控制...
-
刊名： 计算机学报发表期刊： 1999年4期页码:摘要： 作为一种从Internet远程服务结点获取数据和计算性服务并进行集成处理的机制,Internet市场受到了业界的重视.本文以一个空间Internet市场模型SMART为基础,针对其服务管理的...
-
刊名： 计算机学报发表期刊： 1999年4期页码:摘要： 本文首先讨论了面向对象数据库系统中的索引技术,分析了传统的基于值的索引技术不适合于用来索引有序集合的原因,然后提出了一种新的适合于有序集合的索引机制--P+树.同时本文也设计了一个用于测试有...
-
刊名： 计算机学报发表期刊： 1999年4期页码:摘要： 软件测试充分性准则的复杂性分析对于测试效率的分析和比较具有重要意义,对于测试充分性准则使用具有指导意义.Weyuker于1984年提出了Rapps-Weyuker的all-uses,all-...
-
刊名： 计算机学报发表期刊： 1999年4期页码:摘要：
-
72. 逻辑验证自身的特点及其利用刊名： 计算机学报发表期刊： 1999年4期页码:摘要：
-
73. 全收缩及其与广义收缩之间的关系刊名： 计算机学报发表期刊： 1999年5期页码:摘要： 首先给出全信念收缩运算的一个反例,证明全收缩运算之附加假设与基本假设不协调,从而说明全收缩假设系统的不协调性;其次通过对全收缩运算假设系统的修改,消除了导致原系统不协调的直接因素,证明若一个...
-
74. 两维时间域上的一种区间逻辑刊名： 计算机学报发表期刊： 1999年5期页码:摘要： 为了给超稠密计算模型(Super-dense computation)建立一种逻辑工具,首先定义了一个两维的超稠密时间域,在这个时间域上定义了一种区间逻辑,并提出了该逻辑的一个推理系统.并用...
-
刊名： 计算机学报发表期刊： 1999年5期页码:摘要： 基于信念逻辑,分析了曙光超级服务器单一映象文件系统中所采用的基于目录的无效使能Cache一致性协议.首先介绍了Cache一致性协议的目标,并为之建立了系统模型及逻辑,然后以基于目录的无效使能...
-
刊名： 计算机学报发表期刊： 1999年5期页码:摘要： 介绍了一个基于新型Cache一致性协议的共享虚拟存储系统JIAJIA.与目前国际上具有代表性的共享虚拟存储系统相比,JIAJIA采用了基于NUMA的结构,能够把多个机器的物理地址空间组织成一...
-
77. 指令级并行程序执行模型刊名： 计算机学报发表期刊： 1999年5期页码:摘要： 提出了一种形式化的指令级并行程序执行模型(Instruction-Level Parallel Program Execution Model,ILPPEM).ILPPEM不仅可以描述程序实...
-
78. 基于二维视图特征的三维重建刊名： 计算机学报发表期刊： 1999年5期页码:摘要： 在分析现有CAD二维参数化设计、三维参数化设计以及三维重建方法的基础上,基于工程图图形的整体宏观性、图形拓扑性及三维视图的投影规律,提出了二维视图特征的概念及一种新的工程图处理方法.通过对三...
-
刊名： 计算机学报发表期刊： 1999年5期页码:摘要： 介绍了HPF编译系统p-HPF中的通信实现策略及其相关算法.综合数组的分布方式、对准、FORALL语句的空间索引变量范围以及数组元素的下标表达式,将程序语句中所隐含的通信划分为3种情形,即无...
-
80. 优化的R-树缓冲管理算法刊名： 计算机学报发表期刊： 1999年5期页码:摘要： 在分析R-树操作特性和LRU算法的基础上,提出了一种新的基于LRU的R-树缓冲管理算法PIN-LRU.该算法对R-树访问路径上的节点进行标记,动态地在缓冲区中将访问路径上的节点加"钉"和释放...
-
81. 对象互操作的行为模型刊名： 计算机学报发表期刊： 1999年5期页码:摘要： 对象互操作表达了一组对象在完成某一任务时的动态协作关系,对象互操作的行为描述与抽象是支持面向应用对象互操作的基础.对此,提出一种活动模型作为描述对象互操作行为的方法.该方法以一阶时态逻辑为基...
-
刊名： 计算机学报发表期刊： 1999年5期页码:摘要： 在深入分析研究传统解析方法、模拟方法及测量方法的基础上,提出了一种基于模拟技术与测量技术的混合性能评测方法,其基本思想是:通过人工生成的模拟负载来对客观存在的网络传输子系统进行直接的评测.重...
-
刊名： 计算机学报发表期刊： 1999年5期页码:摘要： 针对TCP/IP在功能和性能两个方面所表现出的内在缺陷,在对传统协议功能研究的基础上,分析了TCP/IP协议栈在区域网络环境的动态行为,特别是应用报文、TCP窗口和分组大小、某些TCP改进算...
-
刊名： 计算机学报发表期刊： 1999年5期页码:摘要： 针对有障碍时求两点间的最短路径这一问题,提出了极区和自由区的概念,并由此构造出一种新的强连接图GF,它由自由区的特征边和障碍的极边构成,其顶点数为O(t),边数为O(tlogt),其中t为障...
-
85. 一种高效的自适应指纹图像压缩算法刊名： 计算机学报发表期刊： 1999年5期页码:摘要： 提出了一种新的高效的指纹图像压缩算法.该算法根据识别特征对指纹图行自适应量化,从而有效地改进了零树小波压缩算法.实验结果证明了本文算法的有效性.
-
86. 基于图像的室内虚拟环境的研究刊名： 计算机学报发表期刊： 1999年5期页码:摘要： 基于图像的建模和绘制技术,提出了一个构造室内虚拟环境的完整方案,用户只需要输入少数照片,即可重建室内场景的全景图像.方案主要包括以下几步:首先由用户交互确定图像中的匹配象素,通过运动分析算法...
-
刊名： 计算机学报发表期刊： 1999年5期页码:摘要： 构造了Bezier形式的Pythagorean速端曲线(PH曲线),亦称之为Pythagorean Bezier速端曲线(PB曲线);对于n次(n为奇数)PB曲线,得到了以(2n-1)次有理...
-
刊名： 计算机学报发表期刊： 1999年5期页码:摘要： 提出并实现了一个适用于广域网络环境下允许大量网络节点参加的"多对多"可靠广播通信协议:基于发送方的分组可靠Multicast协议--SIGRMP.该协议能在不影响通信系统传输时延和报文吞吐率...
-
刊名： 计算机学报发表期刊： 1999年5期页码:摘要： 针对联想记忆器存在的根本的问题:除记忆的样本作为稳定状态外,还有伪状态出现,采用带有一个附加参数(即阈值)的三阶输出函数代替二阶输出函数;应用平均场理论研究该阈值在系统行为上有哪些效果,怎样...
-
90. 区间约束及其代数查询语言刊名： 计算机学报发表期刊： 1999年5期页码:摘要： 提出了区间约束和基于区间约束的代数查询语言.区间约束与密序约束相比,增加了简单的加减运算,具有更强的描述能力.同时区间约束元组有简洁、唯一的规范区间表示.文中给出了计算区间约束的规范区间表示...
计算机学报基本信息
| 刊名 | 计算机学报 | 主编 | 高文 |
| 曾用名 | |||
| 主办单位 | 中国计算机学会 中国科学院计算技术研究所 | 主管单位 | 中国科学院 中国科协 |
| 出版周期 | 月刊 | 语种 |
chi
|
| ISSN | 0254-4164 | CN | 11-1826/TP |
| 邮编 | 100190 | 电子邮箱 | cjc@ict.ac.cn |
| 电话 | 010-62620695 | 网址 | cjc.ict.ac.cn |
| 地址 | 中国科学院计算技术研究所（北京2704信箱） |
计算机学报评价信息
该刊被以下数据库收录
| 1. | 中国科学引文数据库 |
| 2. | 工程索引(美) |
| 3. | 日本科学技术振兴机构数据库(日) |
| 4. | 科学文摘(英) |
| 5. | 中国科技论文统计与引文分析数据库 |
期刊荣誉
| 1. | 中国科学引文数据库来源期刊 |
| 2. | 科技论文统计源期刊 |
计算机学报统计分析
被引趋势
(/次)
(/年)
学科分布
研究主题
推荐期刊
- 期刊分类
- 最新期刊
- 期刊推荐
- 相关期刊
一般工业技术
交通运输
军事科技
冶金工业
动力工程
化学工业
原子能技术
大学学报
建筑科学
无线电电子学与电信技术
机械与仪表工业
水利工程
环境科学与安全科学
电工技术
石油与天然气工业
矿业工程
自动化技术与计算机技术
航空航天
轻工业与手工业
金属学与金属工艺
办公自动化(学术版)
兵工自动化
办公自动化
智能制造
传动技术
传感技术学报
传感器与微系统
传感器世界
测控技术
CT理论与应用研究
成组技术与生产现代化
测绘与空间地理信息
电光与控制
电子商务
电机与控制学报
地理信息世界
音响改装技术
电脑编程技巧与维护
电脑高手
电脑技术
电脑开发与应用
电脑迷
电脑时空
智能计算机与应用
电脑与电子
