计算机研究与发展 1989年 26卷 4期

栏目

选择全部

PROLOG、DBMS和过程模块三者集成的专家系统开发环境

刘椿年, 李晨, 董洁

1989, 26(4): 1-5.

摘要

多专家知识处理系统:MEKS-1

胡铭曾, 王耀, 秦彤, 宋向军

1989, 26(4): 6-10.

摘要

面向多领域多专家的专家系统开发工具-IMADES

冯方方

1989, 26(4): 11-16,10.

摘要

CODOSO:基于对象模型的组合式分布式操作系统簇

商陆军, 范昌鹏, 孙钟秀

1989, 26(4): 17-22.

摘要

基于文件和基于知识的软件理解

费翔林, 王和珍, 汪承藻

1989, 26(4): 23-27,43.

摘要

对信息系统设计方法结构体系的探讨

章祥荪, 全安寿

1989, 26(4): 28-33.

摘要

程序的等价性证明

宋方敏

1989, 26(4): 34-38.

摘要

向量计算机多端存储器若干技术问题的研究

陈致明

1989, 26(4): 39-43.

摘要

分布式语言的容错性

刘正捷

1989, 26(4): 44-49.

摘要

一个基于规则的阵列处理器开发环境

杨乔林

1989, 26(4): 50-54.

摘要

C-UNIX系统V/3B的设计与实现

孙玉方, 杨建平, 王会平, 曾昱满, 郑蕾, 陆拓实

1989, 26(4): 55-58,38.

摘要

一种语义描述的不确定性推理

任晓光, 石纯一

1989, 26(4): 59-63.

摘要

“钳形渡口”测试法的模拟验证

林健, 刘峰, 向阳

1989, 26(4): 64-65.

摘要