计算机科学

1974年1月创刊（月刊）
主管/主办:重庆西南信息有限公司

ISSN 1002-137X

CN 50-1075/TP
CODEN JKIEBK

作者中心

审稿中心

编辑中心

编辑登录

当期目录

1994年第2期, 刊出日期：2018-11-17

计算机网络与信息安全

Prolog语言实用化新进展

高全泉

计算机科学. 1994, 21 (2): 1-5.

摘要 ( 43 )

PDF(179KB) ( 233 )

相关文章 | 多维度评价

解释与智能系统

杨莉葛建新

计算机科学. 1994, 21 (2): 6-9.

摘要 ( 53 )

PDF(160KB) ( 211 )

相关文章 | 多维度评价

逻辑程序的语义问题（Ⅱ）

王怀民

计算机科学. 1994, 21 (2): 10-18.

摘要 ( 51 )

PDF(303KB) ( 281 )

相关文章 | 多维度评价

代数规范描述及其语义的研究

宋群聂承启

计算机科学. 1994, 21 (2): 18-22.

摘要 ( 59 )

PDF(190KB) ( 326 )

相关文章 | 多维度评价

人工神经网络固有的优点和缺点

杨晓帆陈延槐

计算机科学. 1994, 21 (2): 23-26.

摘要 ( 159 )

PDF(155KB) ( 270 )

相关文章 | 多维度评价

本文较详细地分析了一般神经网络固有的优点和缺点，并对ＢＰ网络和Ｈｏｐｆｉｅｌｄ网特有的优点和缺点分别进行了阐述，最后，比较了用反馈神经网络和用启发式算法求解ＮＰ难的优化问题之各自利弊。

数据库与程序设计语言的紧密集成

孙建伶何志均

计算机科学. 1994, 21 (2): 27-30.

摘要 ( 60 )

PDF(146KB) ( 260 )

相关文章 | 多维度评价

多媒体智能数据库系统MIDS／BUAA的总体设计

车敦仁麦中凡

计算机科学. 1994, 21 (2): 31-36.

摘要 ( 55 )

PDF(204KB) ( 233 )

相关文章 | 多维度评价

MIDS／BUAA的对象数据模型及其特征

车敦仁麦中凡

计算机科学. 1994, 21 (2): 36-43.

摘要 ( 60 )

PDF(276KB) ( 229 )

相关文章 | 多维度评价

分布式数据库系统设计中的问题

郭江

计算机科学. 1994, 21 (2): 43-49.

摘要 ( 54 )

PDF(275KB) ( 227 )

相关文章 | 多维度评价

本文围绕着网络的规模、分布式的设计、查询处理、事务处理、支持分布式的操作系统、多数据库系统等进行了探讨。如何理解和处理这些问题呢？本文从设计的角度出发，较为详细地讨论了这些问题对分布式数据库设计的影响以及设计时决策的常见选择方式。

下一世纪软件工程展望

陈沐天许创

计算机科学. 1994, 21 (2): 49-56.

摘要 ( 53 )

PDF(343KB) ( 279 )

相关文章 | 多维度评价

本文主要讨论软件工程的未来以及基于知识的软件工程的进展将如何影响系统开发环境。文中所提出的新鲜而富有创见性的观点，为我们展示出一幅未来软件工程的全新面貌。

面向对象的软件开发

蔡希尧陈平

计算机科学. 1994, 21 (2): 57-62.

摘要 ( 59 )

PDF(218KB) ( 280 )

相关文章 | 多维度评价

面向对象软件开发技术的发展正在加速，应用不断扩大。本文讨论四个方面的内容：首先阐述ＯＯＳＤ的特点和优点；然后对ＯＯＳＤ的两个主要方面：面向对象分析和面向对象设计所采用的方法，以“数据驱动”和“责任驱动”为基础，结合自己的研究心得和工作体会作了论述；最后探讨有关ＯＯＳＤ的生命周期，标准，和计量方法等问题。

面向对象程序设计语言EIFFEL的程序正确性验证工具

姚卿达唐长宁

计算机科学. 1994, 21 (2): 63-67.

摘要 ( 65 )

PDF(206KB) ( 217 )

相关文章 | 多维度评价

本文简单介绍了国家八五科研重点攻关项目＜＜实用自动工具集的开发＞＞的专题＜＜自动验证工具＞＞的理论基础和开发成果。

自适应人机界面的模型设计

李成辉

计算机科学. 1994, 21 (2): 68-71.

摘要 ( 55 )

PDF(180KB) ( 232 )

相关文章 | 多维度评价

分布式系统级故障诊断概况

蔡兵周六丁

计算机科学. 1994, 21 (2): 72-73.

摘要 ( 63 )

PDF(119KB) ( 237 )

相关文章 | 多维度评价