论文降重
免费查重- 钛学术文献服务平台 \
- 学术期刊 \
- 工业技术期刊 \
- 自动化技术与计算机技术期刊 \
- 计算机学报期刊 >
计算机学报1998年第2期出版文献
出版文献量（篇）
5154
总下载数（次）
49
总被引数（次）
187004
计算机学报
分享
投稿
本刊是中国计算机领域的有代表性学术刊物，作为一种科学研究档案，代表了计算机领域各个研究阶段的水平。
本刊被《工程索引》（美国）、《科学文摘》（英国）、《数学文摘》（美国）、《科技文献速报》（日本）、《文摘杂志》（俄罗斯）等多种权威系统收录。是科技部科技信息研究所科技论文统计源期刊、中国科学引文数据库来源期刊。
主办单位：
中国计算机学会
中国科学院计算技术研究所
期刊荣誉：
中国科学引文数据库来源期刊
科技论文统计源期刊
ISSN：
0254-4164
CN：
11-1826/TP
出版周期：
月刊
邮编：
100190
地址：
出版文献量（篇）
5154
总下载数（次）
49
总被引数（次）
187004
分享
文章浏览
目录
-
刊名： 计算机学报发表期刊： 1998年2期页码:摘要： 本文引入描述传值并发系统的新模型"带赋值符号迁移图(STGA)".STGA推广了Hen-nessy和Lin提出的"符号迁移图"的概念,允许迁移上带有赋值,从而能将更大的一类传值系统表示为有穷...
-
刊名： 计算机学报发表期刊： 1998年2期页码:摘要： 模型验证是对有限状态系统的一种形式化确认方法.近几年,模型验证方法已逐步扩展到实时系统应用中.为解决实时系统的模型验证问题,本文采用离散时段演算作为实时系统规格说明的形式语言,用时间自动机作...
-
3. 中国科技期刊排行表刊名： 计算机学报发表期刊： 1998年2期页码:摘要：
-
刊名： 计算机学报发表期刊： 1998年2期页码:摘要： 多通道界面是利用多个输入通道进行人机交互的新一代人机界面,旨在提高人机交互的自然性和高效性.本文首先阐述了多通道界面的概念和研究问题,然后提出评价多通道界面人机交互效率的一种机制.结合面向任...
-
刊名： 计算机学报发表期刊： 1998年2期页码:摘要： Giordano和Martelli提出了Reiter的缺省逻辑(DL)的两个新变种:CADL(Commitmentto Assumptions Default Logic)与QDL(Quas...
-
刊名： 计算机学报发表期刊： 1998年2期页码:摘要： 本文讨论如何构造在平面刚体运动和伸缩变换下,具有不变性模式识别能力的神经网络,即建立一个前向多层的神经网络.它具有如下性质:若网络能识别某一样本,则同时也能识别该样本经刚体运动及伸缩之后的任...
-
刊名： 计算机学报发表期刊： 1998年2期页码:摘要： 本文提出了一种基于离散动态规划原理的分层动态路由协议(HDRP),它适应于分簇拓扑的动态大型计算机网络(DLCN).文中给出了该协议路由信息更新和路由决策的实现过程,以及它的正确性证明和复杂...
-
刊名： 计算机学报发表期刊： 1998年2期页码:摘要： 本文作者以"一切让数据说明问题"为原则,采用人工智能技术,开发出软件可靠性专家系统SRES(Software Reliability Expert System),根据统一的标准,通过对一组...
-
9. 学术活动刊名： 计算机学报发表期刊： 1998年2期页码:摘要：
-
刊名： 计算机学报发表期刊： 1998年2期页码:摘要： 在开发交互式图形应用过程中,一个主要难题是如何表示和建立代表应用模型数据及操作的图形对象并提供直接操作的交互方式,另一个难题是如何有效地表示和管理图形对象之间的关系.OOIGT是作者设计和实...
-
刊名： 计算机学报发表期刊： 1998年2期页码:摘要： 为满足CIMS信息集成平台中全局集成级物理集成策略的需求,本文研究了实例化面向对象视图的有效维护问题,提出了一个实例化面向对象视图的有效维护方法.该方法是代数的和基于等价推理的,它使用对象代...
-
刊名： 计算机学报发表期刊： 1998年2期页码:摘要： GS-ICCC是一个以自行研制开发的面向对象工程数据库管理系统OSCAR为核心的集成化CAD/CAPP/CAM系统,它的主要特点是按照STEP标准在全局产品数据模型的基础上实现CAD、CAP...
-
13. 删除策略的相容性刊名： 计算机学报发表期刊： 1998年2期页码:摘要： 本文给出关于删除策略相容性的几个结果:对相同谓词符号配相同锁的子句集,锁归结和删除策略联用完备;对正文字锁大于负文字锁的Horn集,正单元锁归结和删除策略联用完备,输入锁归结与删除策略联用完...
-
刊名： 计算机学报发表期刊： 1998年2期页码:摘要： 本文用三维空间来解决二维平面问题,从而得出了一个简单的点与有向线段之间关系的判别式,并在此基础上根据凸凹点的性质及有向多边形的性质提出了不用解任何方程组也不用计算三角函数的判定平面多边形的简...
-
15. 多Agent协同工作环境MACE刊名： 计算机学报发表期刊： 1998年2期页码:摘要： 在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. | 工程索引(美) |
| 3. | 日本科学技术振兴机构数据库(日) |
| 4. | 科学文摘(英) |
| 5. | 中国科技论文统计与引文分析数据库 |
期刊荣誉
| 1. | 中国科学引文数据库来源期刊 |
| 2. | 科技论文统计源期刊 |
计算机学报统计分析
被引趋势
(/次)
(/年)
学科分布
研究主题
推荐期刊
- 期刊分类
- 最新期刊
- 期刊推荐
- 相关期刊
一般工业技术
交通运输
军事科技
冶金工业
动力工程
化学工业
原子能技术
大学学报
建筑科学
无线电电子学与电信技术
机械与仪表工业
水利工程
环境科学与安全科学
电工技术
石油与天然气工业
矿业工程
自动化技术与计算机技术
航空航天
轻工业与手工业
金属学与金属工艺
办公自动化(学术版)
兵工自动化
办公自动化
智能制造
传动技术
传感技术学报
传感器与微系统
传感器世界
测控技术
CT理论与应用研究
成组技术与生产现代化
测绘与空间地理信息
电光与控制
电子商务
电机与控制学报
地理信息世界
音响改装技术
电脑编程技巧与维护
电脑高手
电脑技术
电脑开发与应用
电脑迷
电脑时空
智能计算机与应用
电脑与电子
