首页
主管/主办:重庆西南信息有限公司
CODEN JKIEBK
当期目录
-
不完全信息下的推理——一篇重要的研究报告
金雅芬. 不完全信息下的推理——一篇重要的研究报告[J]. 计算机科学, 1992, 19(6): 1-10.
- 金雅芬
- 计算机科学. 1992, 19 (6): 1-10.
-
摘要
(
49 )
PDF(404KB) (
282
)
- 相关文章 | 多维度评价
-
线性逻辑和逻辑式程序设计
黄林鹏 孙永强. 线性逻辑和逻辑式程序设计[J]. 计算机科学, 1992, 19(6): 11-17.
- 黄林鹏 孙永强
- 计算机科学. 1992, 19 (6): 11-17.
-
摘要
(
51 )
PDF(252KB) (
262
)
- 相关文章 | 多维度评价
-
所谓的逻辑式程序设计它涉及两个逻辑层次：外部逻辑和内部逻辑，前者描述对象之间的逻辑关系，而后者涉及目标求解遵循的逻辑法则。如PROLOG，它的外部逻辑是古典逻辑，而其计算遵循的，我们将证明可以使用线性逻辑中的记法加以刻画。本文从从证明论角度出发，研究PROLOG目标求解成功或失败的公理性，并说明对任一给定的程序P，可定义一个线性理论LT（P），关于该理论，PROLOG目标求解是正确且完备的。
-
模块、抽象数据类型和类
梅宏 孙永强. 模块、抽象数据类型和类[J]. 计算机科学, 1992, 19(6): 17-21.
- 梅宏 孙永强
- 计算机科学. 1992, 19 (6): 17-21.
-
摘要
(
45 )
PDF(222KB) (
261
)
- 相关文章 | 多维度评价
-
本文分析了面向对象程序设计（OOP）中类（class)和传统程序设计模块（module)及抽象数据类型（ADT）间的差异，以便加深对OOP中类及对象的理解，进而讨论了类间继承关系。
-
一种新的知识表达方法：概念结构
白振兴. 一种新的知识表达方法：概念结构[J]. 计算机科学, 1992, 19(6): 21-26.
- 白振兴
- 计算机科学. 1992, 19 (6): 21-26.
-
摘要
(
39 )
PDF(246KB) (
251
)
- 相关文章 | 多维度评价
-
本文详细论述了概念结构中概念图的表示形式；类型理论、类型标号、类型层次和类型格；个体与名字、聚集与个别；正则图及构成规则（拷贝、限制、连接和化简）。概念图是一种最新的知识表达方法，语义表达能力强，可读性好，接近于自然语言，能加入背景知识，推理速度快，已被证明优于其他传统的知识表达方法，必将为解决AI知识获取瓶颈起到积极作用。
-
三种PROLOG扩充之比较
贲可荣 王戟. 三种PROLOG扩充之比较[J]. 计算机科学, 1992, 19(6): 27-34.
- 贲可荣 王戟
- 计算机科学. 1992, 19 (6): 27-34.
-
摘要
(
49 )
PDF(307KB) (
271
)
- 相关文章 | 多维度评价
-
nH-PROLOG,SPRF和N-PROLOG是PROLOG的三种典型扩充，本文介绍了它们之间的异同。这三个系统采用不同方法扩充了PROLOG，但是均使用情况分析法做为非Horn推理机制。尽管它们的出发点、目的、表达形式各异，但在使用情况分析法这一点上有着惊人的相似性，这说明它们的推理在本质上是一般和直观的。它们的区别在于：一个系统的性质要加入另一系统，必须做较大的变形。
-
第十四届国际软件工程会议概况
董士海 郑国梁 等. 第十四届国际软件工程会议概况[J]. 计算机科学, 1992, 19(6): 34-39.
- 董士海 郑国梁 等
- 计算机科学. 1992, 19 (6): 34-39.
-
摘要
(
60 )
- 相关文章 | 多维度评价
-
大型程序设计的过去、现在和未来
Tichy.,WF 陈海东. 大型程序设计的过去、现在和未来[J]. 计算机科学, 1992, 19(6): 39-44.
- Tichy.,WF 陈海东
- 计算机科学. 1992, 19 (6): 39-44.
-
摘要
(
78 )
PDF(272KB) (
274
)
- 相关文章 | 多维度评价
-
本文综述了大型程序设计概念的发展历史，包括层次系统、信息隐藏、大型程序设计语言、面向对象语言和软件配置管理。大规模软件重用、更牢固的基础和更好的开发工具、软件结构的编目和改善对软件工程师的培养，被认为是未来的方向。
-
需求工程的形式化途径
钱家骅 吕建国 等. 需求工程的形式化途径[J]. 计算机科学, 1992, 19(6): 44-49.
- 钱家骅 吕建国 等
- 计算机科学. 1992, 19 (6): 44-49.
-
摘要
(
65 )
PDF(267KB) (
232
)
- 相关文章 | 多维度评价
-
增强CASE环境的表达方法
应晶 何志均 等. 增强CASE环境的表达方法[J]. 计算机科学, 1992, 19(6): 50-55.
- 应晶 何志均 等
- 计算机科学. 1992, 19 (6): 50-55.
-
摘要
(
55 )
PDF(237KB) (
235
)
- 相关文章 | 多维度评价
-
反编译技术研究现状及面临的问题
刘宗田 陈福安. 反编译技术研究现状及面临的问题[J]. 计算机科学, 1992, 19(6): 55-58.
- 刘宗田 陈福安
- 计算机科学. 1992, 19 (6): 55-58.
-
摘要
(
60 )
PDF(186KB) (
306
)
- 相关文章 | 多维度评价
-
异构型分布式计算机系统技术
薛行 孙钟秀. 异构型分布式计算机系统技术[J]. 计算机科学, 1992, 19(6): 59-65.
- 薛行 孙钟秀
- 计算机科学. 1992, 19 (6): 59-65.
-
摘要
(
66 )
PDF(288KB) (
337
)
- 相关文章 | 多维度评价
-
推理式分布数据库管理系统T—POREL及其实现
高全泉 柴兴无 等. 推理式分布数据库管理系统T—POREL及其实现[J]. 计算机科学, 1992, 19(6): 66-73.
- 高全泉 柴兴无 等
- 计算机科学. 1992, 19 (6): 66-73.
-
摘要
(
57 )
PDF(314KB) (
287
)
- 相关文章 | 多维度评价
-
面向对象的分布式OS设计模型
何炎祥 刘栋臣. 面向对象的分布式OS设计模型[J]. 计算机科学, 1992, 19(6): 73-77.
- 何炎祥 刘栋臣
- 计算机科学. 1992, 19 (6): 73-77.
-
摘要
(
77 )
PDF(233KB) (
291
)
- 相关文章 | 多维度评价