主管/主办:重庆西南信息有限公司
CODEN JKIEBK
-
并行算法可伸缩性的E微商分析法
林洪 陈国良. 并行算法可伸缩性的E微商分析法[J]. 计算机科学, 1995, 22(5): 1-5.
- 林洪 陈国良
- 计算机科学. 1995, 22 (5): 1-5.
- 摘要 ( 52 ) PDF(210KB) ( 245 )
- 相关文章 | 多维度评价
-
时序逻辑:线性时间以分支时间
贾国平 郑国梁. 时序逻辑:线性时间以分支时间[J]. 计算机科学, 1995, 22(5): 6-9.
- 贾国平 郑国梁
- 计算机科学. 1995, 22 (5): 6-9.
- 摘要 ( 76 ) PDF(161KB) ( 255 )
- 相关文章 | 多维度评价
-
Herbrand基上的启发式语义映射
吕文进. Herbrand基上的启发式语义映射[J]. 计算机科学, 1995, 22(5): 10-13.
- 吕文进
- 计算机科学. 1995, 22 (5): 10-13.
- 摘要 ( 52 ) PDF(135KB) ( 268 )
- 相关文章 | 多维度评价
-
面向对象语言C++并行/分布技术的研究及实现
肖侬 卢宇彤. 面向对象语言C++并行/分布技术的研究及实现[J]. 计算机科学, 1995, 22(5): 14-18.
- 肖侬 卢宇彤
- 计算机科学. 1995, 22 (5): 14-18.
- 摘要 ( 53 ) PDF(185KB) ( 254 )
- 相关文章 | 多维度评价
-
部件化面向对象分布式系统XDCOODS
边平定 蔡希尧. 部件化面向对象分布式系统XDCOODS[J]. 计算机科学, 1995, 22(5): 18-22.
- 边平定 蔡希尧
- 计算机科学. 1995, 22 (5): 18-22.
- 摘要 ( 56 ) PDF(174KB) ( 267 )
- 相关文章 | 多维度评价
-
关于加强计算机科学中连续数学教育的一点思考
苏运霖. 关于加强计算机科学中连续数学教育的一点思考[J]. 计算机科学, 1995, 22(5): 23-25.
- 苏运霖
- 计算机科学. 1995, 22 (5): 23-25.
- 摘要 ( 56 ) PDF(119KB) ( 251 )
- 相关文章 | 多维度评价
-
本文系统地讨论了关于加强计算机科学中连续数学教育的问题,包括其缘起,必要性,含义以及课程的建设、教材编写等问题,文中所阐述的观点,最终将会为计算机科学界所接受。
-
Client/Server计算与现代DBMS的体系结构
车敦仁 杨亚奇. Client/Server计算与现代DBMS的体系结构[J]. 计算机科学, 1995, 22(5): 26-33.
- 车敦仁 杨亚奇
- 计算机科学. 1995, 22 (5): 26-33.
- 摘要 ( 66 ) PDF(316KB) ( 241 )
- 相关文章 | 多维度评价
-
以Client/Server计算模式实现大型智力竞赛系统的开发
姚卿达 黄璇. 以Client/Server计算模式实现大型智力竞赛系统的开发[J]. 计算机科学, 1995, 22(5): 34-37.
- 姚卿达 黄璇
- 计算机科学. 1995, 22 (5): 34-37.
- 摘要 ( 55 ) PDF(164KB) ( 291 )
- 相关文章 | 多维度评价
-
解决并行JOIN中数据偏斜的一种方法
洪晓光 董继润. 解决并行JOIN中数据偏斜的一种方法[J]. 计算机科学, 1995, 22(5): 38-41.
- 洪晓光 董继润
- 计算机科学. 1995, 22 (5): 38-41.
- 摘要 ( 51 ) PDF(143KB) ( 281 )
- 相关文章 | 多维度评价
-
无共享并行数据库中结点故障对策
昌月楼 阳国贵. 无共享并行数据库中结点故障对策[J]. 计算机科学, 1995, 22(5): 42-45.
- 昌月楼 阳国贵
- 计算机科学. 1995, 22 (5): 42-45.
- 摘要 ( 51 ) PDF(142KB) ( 217 )
- 相关文章 | 多维度评价
-
软件需求定义语言NDRDL
董丽君 费宗铭. 软件需求定义语言NDRDL[J]. 计算机科学, 1995, 22(5): 45-53.
- 董丽君 费宗铭
- 计算机科学. 1995, 22 (5): 45-53.
- 摘要 ( 64 ) PDF(293KB) ( 271 )
- 相关文章 | 多维度评价
-
NDRDL语言是一种图形化的软件需求定义语言,用于书写软件需求定义,其特点是:形象直观,表达力强,实用性好,可靠性高。本文是该语言的试用文本。
-
面向问题的系统化程序设计方法及其描述工具
何明昕. 面向问题的系统化程序设计方法及其描述工具[J]. 计算机科学, 1995, 22(5): 54-57.
- 何明昕
- 计算机科学. 1995, 22 (5): 54-57.
- 摘要 ( 57 ) PDF(181KB) ( 290 )
- 相关文章 | 多维度评价
-
实用化的软件重用方法及其环境
时应 何克清. 实用化的软件重用方法及其环境[J]. 计算机科学, 1995, 22(5): 58-60.
- 时应 何克清
- 计算机科学. 1995, 22 (5): 58-60.
- 摘要 ( 59 ) PDF(115KB) ( 277 )
- 相关文章 | 多维度评价
-
本文介绍了一种0实用化的软件重用方法IP。这种方法对软件部件的生成和重用过程提供了可视化和原型化支持,它还可以支持最终用户生成和维护软件,该方法实用性强,具有很好的应用前景。
-
基于面向对象着色Petri网的FMS仿真研究
李晓鸥 余文. 基于面向对象着色Petri网的FMS仿真研究[J]. 计算机科学, 1995, 22(5): 61-65.
- 李晓鸥 余文
- 计算机科学. 1995, 22 (5): 61-65.
- 摘要 ( 55 ) PDF(169KB) ( 260 )
- 相关文章 | 多维度评价
-
论并行神经计算机系统设计的一些问题
戴葵 胡守仁. 论并行神经计算机系统设计的一些问题[J]. 计算机科学, 1995, 22(5): 69-71.
- 戴葵 胡守仁
- 计算机科学. 1995, 22 (5): 69-71.
- 摘要 ( 69 ) PDF(123KB) ( 242 )
- 相关文章 | 多维度评价
-
模糊控制与灰色模型混合推理机制及其应用
郭建明 蒲春生. 模糊控制与灰色模型混合推理机制及其应用[J]. 计算机科学, 1995, 22(5): 75-78.
- 郭建明 蒲春生
- 计算机科学. 1995, 22 (5): 75-78.
- 摘要 ( 71 ) PDF(117KB) ( 251 )
- 相关文章 | 多维度评价
-
数字网络模式匹配推理算法
关守平 柴天佑. 数字网络模式匹配推理算法[J]. 计算机科学, 1995, 22(5): 79-82.
- 关守平 柴天佑
- 计算机科学. 1995, 22 (5): 79-82.
- 摘要 ( 60 ) PDF(123KB) ( 230 )
- 相关文章 | 多维度评价
-
基于区间估计的不确定推理模型BMI之性质分析
张为群. 基于区间估计的不确定推理模型BMI之性质分析[J]. 计算机科学, 1995, 22(5): 83-85.
- 张为群
- 计算机科学. 1995, 22 (5): 83-85.
- 摘要 ( 51 ) PDF(103KB) ( 279 )
- 相关文章 | 多维度评价
-
几种递归变换的改进模式
张为群 罗旭东. 几种递归变换的改进模式[J]. 计算机科学, 1995, 22(5): 86-88.
- 张为群 罗旭东
- 计算机科学. 1995, 22 (5): 86-88.
- 摘要 ( 58 ) PDF(92KB) ( 289 )
- 相关文章 | 多维度评价