计算机科学

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

ISSN 1002-137X

CN 50-1075/TP
CODEN JKIEBK

作者中心

审稿中心

编辑中心

编辑登录

当期目录

1995年第1期, 刊出日期：2018-11-17

计算机网络与信息安全

超协调逻辑（Ⅲ）—超协调性的逻辑基础

林作铨李未

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

摘要 ( 54 )

PDF(164KB) ( 288 )

相关文章 | 多维度评价

这是关于超协调逻辑研究的第三篇，文中将给出一种优先语义作为超协调性的模型论基础，并给出一种表演算系统作为超协调性的证明论基础，这种优先语义和表演算系统，不仅可以包括名种超协调逻辑，而且能够导出新的超协调逻辑，在一定意义上，是超协调逻辑的统一基础，容易统一地刻画非单调性。

超协调逻辑（Ⅳ）—非单调超协调逻辑研究

林作铨李未

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

摘要 ( 57 )

PDF(260KB) ( 274 )

相关文章 | 多维度评价

这是关于超协调逻辑研究的末篇，文中分析了超协调逻辑与非单调逻辑的关系，并提出非单调超协调逻辑作为一种新的逻辑研究及其在形式化常识推理中的重要意义，最后，讨论了超协调逻辑的应用，特别是非单调超协调逻辑在计算机科学与人工智能中的应用问题。

基于ATMS的知识库维护系统与开放逻辑的实现

方思行凌卫新

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

摘要 ( 52 )

PDF(162KB) ( 214 )

相关文章 | 多维度评价

基于空间推理的设计方法及其应用

庄越挺潘云鹤

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

摘要 ( 63 )

PDF(140KB) ( 240 )

相关文章 | 多维度评价

一种三元逻辑相关不确定推进模型

邱玉辉罗旭东

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

摘要 ( 53 )

PDF(92KB) ( 259 )

相关文章 | 多维度评价

计算机学科教学方案（91）剖析

严隽永

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

摘要 ( 56 )

PDF(262KB) ( 260 )

相关文章 | 多维度评价

本文讨论和分析了ＡＣＭ和ＩＥＥＥ－ＣＳ计算机学科教学方案１９９１，着重介绍其原则，思想和观点，旨在促进我国计算机学科之发展。

软件开发过程中的形式化方法

朱冰梅宏

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

摘要 ( 88 )

PDF(228KB) ( 278 )

相关文章 | 多维度评价

本文简要介绍了软件开发过程中使用的形式化方法，典型的规范说明语言以及有关的实践活动。

面向对象软件的形式规格说明技术

全炳哲金淳兆

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

摘要 ( 60 )

PDF(242KB) ( 272 )

相关文章 | 多维度评价

使用实例的重新工程化方法

雍信阳蔡希尧

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

摘要 ( 59 )

PDF(150KB) ( 209 )

相关文章 | 多维度评价

目前重新工程化方法已被广泛用于旧系统的改造和提高企业的竞争力，本文结合重新工程化的具体特点，把使用实例的面向对象的软件工程方法引入重新工程化工作中，形成一个一致的重新工程化方法，并把该方法集成到系统开发过程中，提出了一种新的系统开发方法论。

论结构化方法与形式化方法的结合

李景洲董继润

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

摘要 ( 58 )

PDF(163KB) ( 212 )

相关文章 | 多维度评价

信息管理技术的最新进展—参加国际智能信息管理系统会议总结

冯玲冯玉才

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

摘要 ( 281 )

PDF(160KB) ( 211 )

相关文章 | 多维度评价

对象管理系统中的概念模式框架

郭江廖越虹

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

摘要 ( 75 )

PDF(219KB) ( 280 )

相关文章 | 多维度评价

对多媒体数据库管理系统的层次结构分析

柴兴无陈芸生

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

摘要 ( 110 )

PDF(160KB) ( 253 )

相关文章 | 多维度评价

本文对多媒体数据库管理系统的层次结构进行了分析，并以此为基础，提出了ＭＤＢＭＳ的分类方法，从虚拟机的角度分析了ＭＤＢＭＳ的表示层，概念数据模型层和存储数据模型层。

面向对象数据库系统之我见

黄日日

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

摘要 ( 46 )

PDF(159KB) ( 253 )

相关文章 | 多维度评价

从关系模式到面向对象模式的转换

吴胜利王能斌

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

摘要 ( 61 )

PDF(107KB) ( 290 )

相关文章 | 多维度评价

地理信息系统与其相关科学和技术

李志伟王峰

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

摘要 ( 60 )

PDF(150KB) ( 223 )

相关文章 | 多维度评价

基于负载平衡的并行JOIN关系划分粒度研究

葛芝宾谢立

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

摘要 ( 65 )

PDF(120KB) ( 258 )

相关文章 | 多维度评价

群体决策支持系统与人工智能

沈锦涛

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

摘要 ( 43 )

PDF(122KB) ( 356 )

相关文章 | 多维度评价