论文降重
免费查重- 钛学术文献服务平台 \
- 学术期刊 \
- 工业技术期刊 \
- 自动化技术与计算机技术期刊 \
- 计算机学报期刊 >
计算机学报1999年第4期出版文献
出版文献量（篇）
5154
总下载数（次）
49
总被引数（次）
187004
计算机学报
分享
投稿
本刊是中国计算机领域的有代表性学术刊物，作为一种科学研究档案，代表了计算机领域各个研究阶段的水平。
本刊被《工程索引》（美国）、《科学文摘》（英国）、《数学文摘》（美国）、《科技文献速报》（日本）、《文摘杂志》（俄罗斯）等多种权威系统收录。是科技部科技信息研究所科技论文统计源期刊、中国科学引文数据库来源期刊。
主办单位：
中国计算机学会
中国科学院计算技术研究所
期刊荣誉：
中国科学引文数据库来源期刊
科技论文统计源期刊
ISSN：
0254-4164
CN：
11-1826/TP
出版周期：
月刊
邮编：
100190
地址：
出版文献量（篇）
5154
总下载数（次）
49
总被引数（次）
187004
分享
文章浏览
目录
-
刊名： 计算机学报发表期刊： 1999年4期页码:摘要： 本文对扩散码密码体制中多列扩散码组合对布尔函数次数的影响进行了探讨,引入了单项、多项和函数的组合约化的概念,探讨了组合约化的条件,给出了在扩散码列的任意线性组合下布尔函数r次可约性的检验方法...
-
2. 一种带约束的多态类型系统刊名： 计算机学报发表期刊： 1999年4期页码:摘要： 本文讨论了一种带约束的多态类型系统,引入了约束类型.约束与全称量化的结合使得参数化多态函数的应用更安全,同时也为重载的表示和实现提供了一个新的途径,提高了类型表示的抽象度.本文讨论的类型系统...
-
刊名： 计算机学报发表期刊： 1999年4期页码:摘要： 本文在Vakarelov的信息逻辑IL的基础上,通过引入新的模态词[≥]以及模态词间的布尔运算建立了BILC系统,研究了系统的语义,提出在布尔模态逻辑语言下解决Vakarelov问题的思想,...
-
4. 一个新的变形模板匹配方法刊名： 计算机学报发表期刊： 1999年4期页码:摘要： 在基于内容的图像信息查询与模式识别等方面,变形模板匹配都是一个十分有效的方法.本文对模板匹配方法中的模板结构、能量公式、形变方式等方面进行了研究:以生物体为原型,提出了更为合理的模板结构;简...
-
刊名： 计算机学报发表期刊： 1999年4期页码:摘要： 本文提出了一种基于划分-合并和稳健M-估计以及最小描述长度约束的运动图像分层表示方法.与现有的方法比较,算法在参数估计方面有较大改进,不仅免除了人工干预,而且计算量也比较小.在参数优化过程中...
-
刊名： 计算机学报发表期刊： 1999年4期页码:摘要： 本文提出了一个基于多分类器组合的手写体数字识别方法.文中首先给出了一个客观评价分类器性能的参数,其后基于此参数提出了多分类器的组合方法,并从理论上研究了此方法的一些性质.本文实验采用Conc...
-
刊名： 计算机学报发表期刊： 1999年4期页码:摘要： 本文提出了基于彩色模型的灰度图像彩色显示与分割的方法,该方法将RGB,HSV和GLHS这几个彩色模型用于图像彩色合成显示并首次用于灰度图像分割中.彩色合成利用图像增强方法并考虑到人眼对彩色的...
-
刊名： 计算机学报发表期刊： 1999年4期页码:摘要： 基于图像序列的三维重建是当前计算机视觉领域中的一个热点,同时也是基于三维环境信息的移动机器人导航和虚拟环境几何模型自动构造的重要步骤.在过去十年中,有许多基于图像序列进行三维重建算法被提出....
-
9. 带时间参数的测试产生刊名： 计算机学报发表期刊： 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期页码:摘要：
-
19. 逻辑验证自身的特点及其利用刊名： 计算机学报发表期刊： 1999年4期页码:摘要：
计算机学报基本信息
| 刊名 | 计算机学报 | 主编 | 高文 |
| 曾用名 | |||
| 主办单位 | 中国计算机学会 中国科学院计算技术研究所 | 主管单位 | 中国科学院 中国科协 |
| 出版周期 | 月刊 | 语种 |
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理论与应用研究
成组技术与生产现代化
测绘与空间地理信息
电光与控制
电子商务
电机与控制学报
地理信息世界
音响改装技术
电脑编程技巧与维护
电脑高手
电脑技术
电脑开发与应用
电脑迷
电脑时空
智能计算机与应用
电脑与电子
