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