1974年1月创刊(月刊)
主管/主办:重庆西南信息有限公司
ISSN 1002-137X
CN 50-1075/TP
CODEN JKIEBK
编辑中心
当期目录
1997年第6期, 刊出日期:2018-11-17
  
计算机网络与信息安全
当前Java发展综述
汪审权 胡守仁
计算机科学. 1997, 24 (6): 1-5. 
摘要 ( 49 )   PDF(204KB) ( 277 )   
相关文章 | 多维度评价
KDD:数据库中的知识发现
朱廷劭 高文
计算机科学. 1997, 24 (6): 5-9. 
摘要 ( 40 )   PDF(193KB) ( 206 )   
相关文章 | 多维度评价
遗传优化模糊逻辑控制器
胡炜 沈理
计算机科学. 1997, 24 (6): 10-15. 
摘要 ( 66 )   PDF(251KB) ( 220 )   
相关文章 | 多维度评价
逻辑程序中的否定问题与非单调逻辑
陈荣 孙吉贵
计算机科学. 1997, 24 (6): 16-22. 
摘要 ( 57 )   PDF(292KB) ( 210 )   
相关文章 | 多维度评价
线性逻辑式程序设计:理论与应用
倪德明 姚卿达
计算机科学. 1997, 24 (6): 23-25. 
摘要 ( 60 )   PDF(110KB) ( 260 )   
相关文章 | 多维度评价
线性和为一种动作逻辑,有很强的表达能力和很中构造性,线性逻辑式程序设计语言为表达操作语义,并发现规范等提供了新的工具和框架,Girard对线性逻辑所作的“定义”概念的扩充对状态变迁系统中模拟和双模拟提供了证明论框架,本文论述了这方面的成果。
并发系统的操作时序逻辑描述和验证
蒋慧 张兴元
计算机科学. 1997, 24 (6): 25-29. 
摘要 ( 55 )   PDF(173KB) ( 216 )   
相关文章 | 多维度评价
Wrold Wide Web的索引与查询技术
阳小华 周龙骧
计算机科学. 1997, 24 (6): 29-34. 
摘要 ( 53 )   PDF(236KB) ( 249 )   
相关文章 | 多维度评价
基于Intranet的集成化信息系统信息的组织和规划
陈卫东 杨建军
计算机科学. 1997, 24 (6): 35-39. 
摘要 ( 54 )   PDF(168KB) ( 222 )   
相关文章 | 多维度评价
分布式系统中组与组通信机制的研究
王兴伟 张应辉
计算机科学. 1997, 24 (6): 39-43. 
摘要 ( 53 )   PDF(204KB) ( 246 )   
相关文章 | 多维度评价
多媒体系统中的媒体同步问题研究
陈杰军 鲁东明
计算机科学. 1997, 24 (6): 44-47. 
摘要 ( 64 )   PDF(134KB) ( 239 )   
相关文章 | 多维度评价
PMS中的一种匹配通信机制
刘欣然 王文敏
计算机科学. 1997, 24 (6): 48-51. 
摘要 ( 55 )   PDF(136KB) ( 238 )   
相关文章 | 多维度评价
开放式智能过程中的背景研究需求
吴建林 李怀祖
计算机科学. 1997, 24 (6): 52-54. 
摘要 ( 48 )   PDF(115KB) ( 230 )   
相关文章 | 多维度评价
基于曙光并行机的客户/服务器结构的数据开采
黄刘生 刘清
计算机科学. 1997, 24 (6): 55-58. 
摘要 ( 59 )   PDF(159KB) ( 240 )   
相关文章 | 多维度评价
语音识别中的噪声抑制方法
王承发 韩纪庆
计算机科学. 1997, 24 (6): 59-62. 
摘要 ( 66 )   PDF(156KB) ( 345 )   
相关文章 | 多维度评价
非语音声音在人机交互技术中的应用
方志刚 吴晓波
计算机科学. 1997, 24 (6): 62-65. 
摘要 ( 67 )   PDF(161KB) ( 251 )   
相关文章 | 多维度评价
数据库系统与WWW的集成途径
赵洪彪 周立柱
计算机科学. 1997, 24 (6): 66-69. 
摘要 ( 48 )   PDF(189KB) ( 217 )   
相关文章 | 多维度评价
面向对象数据库系统的索引技术
廖春维 施伯乐
计算机科学. 1997, 24 (6): 70-72. 
摘要 ( 58 )   PDF(98KB) ( 198 )   
相关文章 | 多维度评价
索引技术是数据库系统中的一项重要技术。在面向对象数据库系统中,由于模型本人有许多复杂的特性,索引技术显得更有意义,更为复杂。本文给出了一种高效的,切实可行的索引技术-嵌套继承索引技术。阐述了创建套继承索引的方法,以及在这种索引下,检索,插入和删除操作的具体实施。
外联接的等价变换与逻辑分析
张二忠 楼荣生
计算机科学. 1997, 24 (6): 73-76. 
摘要 ( 59 )   PDF(127KB) ( 235 )   
相关文章 | 多维度评价
继承性实现嵌套关系的方法
秦小麟 林钧海
计算机科学. 1997, 24 (6): 77-80. 
摘要 ( 59 )   PDF(132KB) ( 228 )   
相关文章 | 多维度评价
Lotus Notes文档库分析
陈海广 李磊
计算机科学. 1997, 24 (6): 80-84. 
摘要 ( 61 )   PDF(176KB) ( 259 )   
相关文章 | 多维度评价
OMT设计的Java实现
邵晓凌 张然
计算机科学. 1997, 24 (6): 85-89. 
摘要 ( 56 )   PDF(181KB) ( 242 )   
相关文章 | 多维度评价
软件开发中的形式化方法
郑红军 张乃孝
计算机科学. 1997, 24 (6): 90-96. 
摘要 ( 59 )   PDF(270KB) ( 214 )   
相关文章 | 多维度评价
MIS软件开发的过程模型
顾明 仲萃豪
计算机科学. 1997, 24 (6): 97-99. 
摘要 ( 47 )   PDF(93KB) ( 212 )   
相关文章 | 多维度评价
以过程为中心的软件工程环境研究
王茜
计算机科学. 1997, 24 (6): 100-102. 
摘要 ( 64 )   PDF(100KB) ( 243 )   
相关文章 | 多维度评价
以过程为中心的软件工程环境(PSEEs)是一种新的软件工程环境。在这种环境中,可以明确地对软件的过程建模,从而对用户提供指导,支持,便于实现自动化,本文讨论了PSEEs的概念、功能、结构以及若干有待的问题。
从人机交互界面到人与人交互界面
马先林 林宗楷
计算机科学. 1997, 24 (6): 103-104. 
摘要 ( 61 )   PDF(115KB) ( 228 )   
相关文章 | 多维度评价
传统的人机界面学研究的是单个用户与计算机系统的交互关系,随着CSCW的出现,要求研究支持群体交互的界面,为此,本文提出了人与人交互界面的概念,并要主要介绍其研究内容及设计原则,用以支持人与人的交互活动。