首页
主管/主办:重庆西南信息有限公司
CODEN JKIEBK
当期目录
-
纯函数式语言的I／O系统
袁华强 孙永强. 纯函数式语言的I／O系统[J]. 计算机科学, 1996, 23(6): 6-9.
- 袁华强 孙永强
- 计算机科学. 1996, 23 (6): 6-9.
-
摘要
(
70 )
PDF(134KB) (
268
)
- 相关文章 | 多维度评价
-
图：有待进一步开拓的人机通信媒介
刘正捷 朱宗元. 图：有待进一步开拓的人机通信媒介[J]. 计算机科学, 1996, 23(6): 7-21.
- 刘正捷 朱宗元
- 计算机科学. 1996, 23 (6): 7-21.
-
摘要
(
60 )
PDF(590KB) (
252
)
- 相关文章 | 多维度评价
-
计算机网络的一种描述模型：一致网
王千祥 周兴社. 计算机网络的一种描述模型：一致网[J]. 计算机科学, 1996, 23(6): 10-16.
- 王千祥 周兴社
- 计算机科学. 1996, 23 (6): 10-16.
-
摘要
(
54 )
PDF(282KB) (
232
)
- 相关文章 | 多维度评价
-
Petri网语言与传统形式语言的关系
陈军 王元元. Petri网语言与传统形式语言的关系[J]. 计算机科学, 1996, 23(6): 22-25.
- 陈军 王元元
- 计算机科学. 1996, 23 (6): 22-25.
-
摘要
(
69 )
PDF(131KB) (
245
)
- 相关文章 | 多维度评价
-
本文介绍了一种形式语言－Ｐｅｔｒｉ网语言，并讨论了Ｐｅｔｒｉ网语言与传统形式语言（正规语言，上下文无关语言，上下文有关语言以及递归枚举语言）的关系。
-
Internet用户接口
卢宏恩 周龙骧. Internet用户接口[J]. 计算机科学, 1996, 23(6): 26-29.
- 卢宏恩 周龙骧
- 计算机科学. 1996, 23 (6): 26-29.
-
摘要
(
51 )
PDF(207KB) (
274
)
- 相关文章 | 多维度评价
-
Ｉｎｔｅｒｎｅｔ已成为人类知识海洋的全球最大计算机网络，本文介绍了Ｉｎｔｅｒｎｅｔ的沿革及其用户接口，并展望了今年的工作。
-
一个基于PVM的异构型智能分布式任务调度系统
周笑波 汲化. 一个基于PVM的异构型智能分布式任务调度系统[J]. 计算机科学, 1996, 23(6): 30-33.
- 周笑波 汲化
- 计算机科学. 1996, 23 (6): 30-33.
-
摘要
(
71 )
PDF(154KB) (
245
)
- 相关文章 | 多维度评价
-
分布存储环境下SPMD执行模式的任务调度问题
陈华平 周学海. 分布存储环境下SPMD执行模式的任务调度问题[J]. 计算机科学, 1996, 23(6): 34-37.
- 陈华平 周学海
- 计算机科学. 1996, 23 (6): 34-37.
-
摘要
(
89 )
PDF(147KB) (
257
)
- 相关文章 | 多维度评价
-
KDD研究现状及发展
陈栋 刘兵. KDD研究现状及发展[J]. 计算机科学, 1996, 23(6): 38-42.
- 陈栋 刘兵
- 计算机科学. 1996, 23 (6): 38-42.
-
摘要
(
73 )
PDF(201KB) (
209
)
- 相关文章 | 多维度评价
-
语义类比：AI的一个重要发展方向
董明楷 张明义. 语义类比：AI的一个重要发展方向[J]. 计算机科学, 1996, 23(6): 43-46.
- 董明楷 张明义
- 计算机科学. 1996, 23 (6): 43-46.
-
摘要
(
64 )
PDF(181KB) (
286
)
- 相关文章 | 多维度评价
-
一种随机类比推理模型的研究与实现
李凡长 郑家亮. 一种随机类比推理模型的研究与实现[J]. 计算机科学, 1996, 23(6): 47-48.
- 李凡长 郑家亮
- 计算机科学. 1996, 23 (6): 47-48.
-
摘要
(
75 )
PDF(97KB) (
264
)
- 相关文章 | 多维度评价
-
管理专家系统与情境研究
孙波 袁慧萍. 管理专家系统与情境研究[J]. 计算机科学, 1996, 23(6): 49-52.
- 孙波 袁慧萍
- 计算机科学. 1996, 23 (6): 49-52.
-
摘要
(
61 )
PDF(174KB) (
208
)
- 相关文章 | 多维度评价
-
基于微内核的操作系统中信号的处理
李新明 李艺. 基于微内核的操作系统中信号的处理[J]. 计算机科学, 1996, 23(6): 56-58.
- 李新明 李艺
- 计算机科学. 1996, 23 (6): 56-58.
-
摘要
(
85 )
PDF(159KB) (
268
)
- 相关文章 | 多维度评价
-
面向对象数据库管理系统中的事务管理
王意洁 王勇军. 面向对象数据库管理系统中的事务管理[J]. 计算机科学, 1996, 23(6): 59-62.
- 王意洁 王勇军
- 计算机科学. 1996, 23 (6): 59-62.
-
摘要
(
67 )
PDF(156KB) (
239
)
- 相关文章 | 多维度评价
-
数据仓库和数据采掘应用研究
姚卿达 黄晓春. 数据仓库和数据采掘应用研究[J]. 计算机科学, 1996, 23(6): 63-65.
- 姚卿达 黄晓春
- 计算机科学. 1996, 23 (6): 63-65.
-
摘要
(
65 )
PDF(127KB) (
263
)
- 相关文章 | 多维度评价
-
随着人们处理的数据量的成指数增长，数据库技术有了新的应用和研究课题－数据仓库和数据采掘，本文介绍了数据仓库和数据采掘的思想和特点，并指出了它们的研究内容及应用前景。
-
时态数据库基本框架的研究
严小卫 樊明武. 时态数据库基本框架的研究[J]. 计算机科学, 1996, 23(6): 66-70.
- 严小卫 樊明武
- 计算机科学. 1996, 23 (6): 66-70.
-
摘要
(
73 )
PDF(210KB) (
256
)
- 相关文章 | 多维度评价
-
关系型主动数据库的事件模型与监测
姜跃平 孙明. 关系型主动数据库的事件模型与监测[J]. 计算机科学, 1996, 23(6): 71-73.
- 姜跃平 孙明
- 计算机科学. 1996, 23 (6): 71-73.
-
摘要
(
55 )
PDF(134KB) (
220
)
- 相关文章 | 多维度评价
-
基于模型的规格说明方法
魏峻 周隽. 基于模型的规格说明方法[J]. 计算机科学, 1996, 23(6): 74-77.
- 魏峻 周隽
- 计算机科学. 1996, 23 (6): 74-77.
-
摘要
(
57 )
PDF(171KB) (
230
)
- 相关文章 | 多维度评价
-
这篇文章分析了基于模型（转换系统）的规格说明方法的特点，给出了形式方法和严格定义，并且通过实例，探讨了基于模型的规格说明方法在公平条件下约束下，描述系统安全和活动性质的能力和特点。
-
标本作为软件重用单元及其实现途径与策略
王振宇 谢江. 标本作为软件重用单元及其实现途径与策略[J]. 计算机科学, 1996, 23(6): 78-82.
- 王振宇 谢江
- 计算机科学. 1996, 23 (6): 78-82.
-
摘要
(
55 )
PDF(179KB) (
278
)
- 相关文章 | 多维度评价
-
抽象逻辑结构图及其应用
刘建宾 龚世生. 抽象逻辑结构图及其应用[J]. 计算机科学, 1996, 23(6): 83-86.
- 刘建宾 龚世生
- 计算机科学. 1996, 23 (6): 83-86.
-
摘要
(
54 )
PDF(190KB) (
267
)
- 相关文章 | 多维度评价
-
程序分析的专家模型与方法学
刘宗田 姜川. 程序分析的专家模型与方法学[J]. 计算机科学, 1996, 23(6): 87-90.
- 刘宗田 姜川
- 计算机科学. 1996, 23 (6): 87-90.
-
摘要
(
54 )
PDF(172KB) (
270
)
- 相关文章 | 多维度评价
-
面向对象的图形用户接口设计
房亚明 董继润. 面向对象的图形用户接口设计[J]. 计算机科学, 1996, 23(6): 91-93.
- 房亚明 董继润
- 计算机科学. 1996, 23 (6): 91-93.
-
摘要
(
44 )
PDF(129KB) (
202
)
- 相关文章 | 多维度评价
-
基于非确定有限状态机模型的测试用例选择
郑学军 王春森. 基于非确定有限状态机模型的测试用例选择[J]. 计算机科学, 1996, 23(6): 94-96.
- 郑学军 王春森
- 计算机科学. 1996, 23 (6): 94-96.
-
摘要
(
45 )
PDF(116KB) (
243
)
- 相关文章 | 多维度评价