计算机科学

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

ISSN 1002-137X

CN 50-1075/TP
CODEN JKIEBK

作者中心

审稿中心

编辑中心

编辑登录

当期目录

1999年第3期, 刊出日期：2018-11-17

软件工程与数据库技术

命题逻辑可满足性问题的算法分析

李未黄雄

计算机科学. 1999, 26 (3): 1-9.

摘要 ( 131 )

PDF(329KB) ( 512 )

相关文章 | 多维度评价

面向对象语言中的子类型关系

李勇陈家骏

计算机科学. 1999, 26 (3): 10-14.

摘要 ( 93 )

PDF(204KB) ( 483 )

相关文章 | 多维度评价

协变多态计算中类型安全问题的研究

王筱瑾陶先平

计算机科学. 1999, 26 (3): 15-18.

摘要 ( 105 )

PDF(187KB) ( 454 )

相关文章 | 多维度评价

现代操作系统概论

耿技周明天

计算机科学. 1999, 26 (3): 19-23.

摘要 ( 99 )

PDF(211KB) ( 504 )

相关文章 | 多维度评价

Internet环境中的软件Agent

周立柱赵洪彪

计算机科学. 1999, 26 (3): 24-28.

摘要 ( 108 )

PDF(210KB) ( 482 )

相关文章 | 多维度评价

利用分治技术的智能推理

陈建国潘云鹤

计算机科学. 1999, 26 (3): 29-33.

摘要 ( 91 )

PDF(203KB) ( 490 )

相关文章 | 多维度评价

计算机视觉的理论框架研究

刘会杰王学孝

计算机科学. 1999, 26 (3): 34-37.

摘要 ( 114 )

PDF(148KB) ( 601 )

相关文章 | 多维度评价

一种具有空间平滑技术的遗传算法研究

陈建李信满

计算机科学. 1999, 26 (3): 38-40.

摘要 ( 82 )

PDF(119KB) ( 458 )

相关文章 | 多维度评价

国际上关联规则发现研究述评

欧阳为民郑诚

计算机科学. 1999, 26 (3): 41-44.

摘要 ( 104 )

PDF(180KB) ( 456 )

相关文章 | 多维度评价

基于点格神经网络的种交替递归新算法

王炎刘光远

计算机科学. 1999, 26 (3): 45-47.

摘要 ( 104 )

PDF(120KB) ( 431 )

相关文章 | 多维度评价

MAS中合作策略的比较

丁晓明刘博勤

计算机科学. 1999, 26 (3): 48-50.

摘要 ( 102 )

PDF(109KB) ( 447 )

相关文章 | 多维度评价

Agent行为及其新的服务方式

周立柱赵洪彪

计算机科学. 1999, 26 (3): 51-54.

摘要 ( 99 )

PDF(148KB) ( 509 )

相关文章 | 多维度评价

基于Push技术的信息获取方式及其应用

马红妹谭庆平

计算机科学. 1999, 26 (3): 55-58.

摘要 ( 83 )

PDF(162KB) ( 458 )

相关文章 | 多维度评价

基于Intranet的企业信息化系统技术与应用

殷国富陈永华

计算机科学. 1999, 26 (3): 59-62.

摘要 ( 106 )

PDF(208KB) ( 443 )

相关文章 | 多维度评价

时态数据库的成果,缺陷与未来：———时态数据库二十年回顾之二

唐常杰

计算机科学. 1999, 26 (3): 63-65.

摘要 ( 107 )

PDF(157KB) ( 458 )

相关文章 | 多维度评价

关于咱径表达式的一些问题

王欣辉王国仁

计算机科学. 1999, 26 (3): 66-69.

摘要 ( 68 )

PDF(144KB) ( 458 )

相关文章 | 多维度评价

有态分布式HTTP的实现

徐瑞斌

计算机科学. 1999, 26 (3): 70-72.

摘要 ( 98 )

PDF(111KB) ( 438 )

相关文章 | 多维度评价

分布交互仿真环境中的计算机生成兵力

庞国峰赵沁平

计算机科学. 1999, 26 (3): 73-76.

摘要 ( 95 )

PDF(494KB) ( 665 )

相关文章 | 多维度评价

Web上的组件柔性CASE研究

蔡智明刘宗田

计算机科学. 1999, 26 (3): 77-81.

摘要 ( 97 )

PDF(230KB) ( 470 )

相关文章 | 多维度评价

广域网带修复的分布式系统级诊断算法

陈蜀宇陈四清

计算机科学. 1999, 26 (3): 82-87.

摘要 ( 92 )

PDF(226KB) ( 443 )

相关文章 | 多维度评价

关于多总线结构的最大总线容错度

陈四清陈蜀宇

计算机科学. 1999, 26 (3): 88-89.

摘要 ( 100 )

PDF(38KB) ( 505 )

相关文章 | 多维度评价

本文建立了总线容错度与图的连通度的关系，并由此证明了总线容错度达到最大所需的条件是很弱的，存在许放多多的连接方式满足这一条件。