计算机科学

石教英赵Yu

计算机科学. 1995, 22 (3): 1-3.

摘要 ( 61 )

PDF(137KB) ( 286 )

相关文章 | 多维度评价

目前超媒体系统的应用领域变得越来越广泛，但是这些超媒体系统在设计和实现的过程中往往出现了术语不统一和系统描述方法大相径庭的问题，因此Ｄｅｘｔｅｒ模型的诞生为未来超媒体系统的设计起着参考的指导作用。本文首先对国内容易引起混淆且使用混乱的三个概念－超文本、多媒体和超媒体－予以明确的定义，然后详细介绍Ｄｅｘｔｅｒ模型的三层结构，最后总结了Ｄｅｘｔｅｒ模型的成功与不足之处。

SIMD计算机发展概述

景晓军方滨兴

计算机科学. 1995, 22 (3): 4-8.

摘要 ( 241 )

PDF(208KB) ( 271 )

相关文章 | 多维度评价

分布系统与分布对象计算

蔡希尧刘西洋

计算机科学. 1995, 22 (3): 9-12.

摘要 ( 58 )

PDF(154KB) ( 282 )

相关文章 | 多维度评价

并发模型分析

刘海燕陈火旺

计算机科学. 1995, 22 (3): 13-16.

摘要 ( 61 )

PDF(134KB) ( 282 )

相关文章 | 多维度评价

并发一直是计算机科学中矛盾的源泉和争论的焦点之一。本文分析和比较了三种并发模型：Ｐｅｔｒｉ网、ＣＳＰ和ＣＣＳ的发展历史、描述方法、处理并发与不确定性的方式等。

基于欧拉定理的文件保护方案

林宣雄李怀祖

计算机科学. 1995, 22 (3): 17-19.

摘要 ( 61 )

PDF(96KB) ( 224 )

相关文章 | 多维度评价

关于知识研究的历史成果之批判与继承

金雅芬

计算机科学. 1995, 22 (3): 20-24.

摘要 ( 47 )

PDF(258KB) ( 268 )

相关文章 | 多维度评价

代数递归逻辑与人工智能

李爱中

计算机科学. 1995, 22 (3): 25-31.

摘要 ( 66 )

PDF(209KB) ( 331 )

相关文章 | 多维度评价

融合代数和递归函数理论，本文建了一个可以刻画知识表示、智能获取和自动推理的逻辑理论，给出了从示例中获得取知识的多项式复杂性算法和自动推理多项式复杂性算法。作为代数递归逻辑的应用，本文给出了人工智能中的约束满足问题的处理方案，探讨了人工智能的基本问题。

知识库更新的研究

马绍汉陶雪红

计算机科学. 1995, 22 (3): 32-36.

摘要 ( 60 )

PDF(184KB) ( 273 )

相关文章 | 多维度评价

一种产生式系统的并行推理模型

廖明宏郭福顺

计算机科学. 1995, 22 (3): 37-39.

摘要 ( 50 )

PDF(151KB) ( 287 )

相关文章 | 多维度评价

中文信息处理国际化研究（上）

陈险峰蔡希尧

计算机科学. 1995, 22 (3): 40-44.

摘要 ( 42 )

PDF(193KB) ( 280 )

相关文章 | 多维度评价

软件需求工程述评

张家重吕建

计算机科学. 1995, 22 (3): 45-48.

摘要 ( 79 )

PDF(143KB) ( 261 )

相关文章 | 多维度评价

本文对软件需求工程的有关研究内容进行了剖析，给出了需求工程的概念，讨论了其基本活动和信息类型；分析与评述了问题分析的基本原则、基本技术及面向对象需求方法；说明了软件需求规约的作用和内容，并对需求规约语言的几种形式、涉及内容进行了讨论。

CASE数据交换模型

郭江廖越红

计算机科学. 1995, 22 (3): 49-52.

摘要 ( 102 )

PDF(142KB) ( 243 )

相关文章 | 多维度评价

基于知识的面向对象建模技术：KBOMT方法

李师贤周晓聪

计算机科学. 1995, 22 (3): 53-57.

摘要 ( 56 )

PDF(197KB) ( 321 )

相关文章 | 多维度评价

关于程序验证方法的讨论

周青

计算机科学. 1995, 22 (3): 58-60.

摘要 ( 64 )

PDF(95KB) ( 258 )

相关文章 | 多维度评价

WINDOWS汉化与中文应用软件开发

沈浩张然

计算机科学. 1995, 22 (3): 61-64.

摘要 ( 65 )

PDF(144KB) ( 383 )

相关文章 | 多维度评价

近几年，Ｗｉｎｄｏｗｓ中文平台纷纷涌现，Ｗｉｎｄｏｗｓ的中文应用日益增多。本文讨论了Ｗｉｎｄｏｗｓ中文平台的两种形式：核心汉化平台和外挂汉化平台，比较了不同平台的特点，介绍了几种中文应用软件的开发方法并针对Ｗｉｎｄｏｗｓ的ＤＢＣＳ处理机制指出了中文应用软件开发时需要注意的问题。

基于规则的面向对象数据库查询语言

周傲英施伯乐

计算机科学. 1995, 22 (3): 65-68.

摘要 ( 66 )

PDF(180KB) ( 275 )

相关文章 | 多维度评价

→NF关系数据模型及其进展

聂培尧褚东升

计算机科学. 1995, 22 (3): 69-75.

摘要 ( 67 )

PDF(271KB) ( 243 )

相关文章 | 多维度评价

本文主要介绍→ＮＦ关系模型的基本概念，并讨论嵌套关系代数，嵌套范式及嵌套关系的唯一性与最小化等有关→ＮＦ的当前研究概况，结果与进展。

用集合映射构造NF^2的新依赖

范志新左万历

计算机科学. 1995, 22 (3): 76-78.

摘要 ( 111 )

PDF(97KB) ( 235 )

相关文章 | 多维度评价

关系模型中不确定信息与可能信息的引入与处理

严丽马宗民

计算机科学. 1995, 22 (3): 79-81.

摘要 ( 132 )

PDF(95KB) ( 270 )

相关文章 | 多维度评价