主管/主办:重庆西南信息有限公司
CODEN JKIEBK
-
按自然法则计算导论:一个颇具前途的学科
刘岩 王义和. 按自然法则计算导论:一个颇具前途的学科[J]. 计算机科学, 1994, 21(3): 9-12.
- 刘岩 王义和
- 计算机科学. 1994, 21 (3): 9-12.
- 摘要 ( 65 ) PDF(170KB) ( 272 )
- 相关文章 | 多维度评价
-
FGCS计划十年总观
刘海燕 张静. FGCS计划十年总观[J]. 计算机科学, 1994, 21(3): 17-22.
- 刘海燕 张静
- 计算机科学. 1994, 21 (3): 17-22.
- 摘要 ( 94 ) PDF(222KB) ( 220 )
- 相关文章 | 多维度评价
-
本文介绍了FGCS计划的开始,所有活动及成果。第五代机能适应未来知识信息处理的需要,其基本框架是并行处理和基于逻辑程序设计的推理。FGCS计划经三年预备研究所于1982年正式开始,ICOT为推动计划进展而做出了巨大努力
-
分布式计算环境中典型RPC的比较研究
唐雪飞 汪文勇. 分布式计算环境中典型RPC的比较研究[J]. 计算机科学, 1994, 21(3): 22-25.
- 唐雪飞 汪文勇
- 计算机科学. 1994, 21 (3): 22-25.
- 摘要 ( 78 ) PDF(153KB) ( 803 )
- 相关文章 | 多维度评价
-
本文介绍了分布式计算环境中两种典型的远程过程调用机制:OSF/DCE中选用的RPC,即NCS2.0,和Sun/ONC中的RPC。文中重点在以下七个方面进行了比较性研究:数据表示,联编,可扩展性与一致性,传输层无关性与透明性,可靠性,安全性和多线程技术。最后,介绍了为实现两种RPC间的可移植性和可互操作性所作的努力。
-
高级数据库系统中基于语义的并发控制
孙建伶 何志均. 高级数据库系统中基于语义的并发控制[J]. 计算机科学, 1994, 21(3): 26-30.
- 孙建伶 何志均
- 计算机科学. 1994, 21 (3): 26-30.
- 摘要 ( 87 ) PDF(187KB) ( 391 )
- 相关文章 | 多维度评价
-
一种动态模式处理策略
张新访 王同洋. 一种动态模式处理策略[J]. 计算机科学, 1994, 21(3): 31-34.
- 张新访 王同洋
- 计算机科学. 1994, 21 (3): 31-34.
- 摘要 ( 57 ) PDF(153KB) ( 258 )
- 相关文章 | 多维度评价
-
本文论述了一种基于转换法的动态模式处理策略;动态模式操作应遵循的不变性原则;模式动态变化的分类及其操作相应的语义。并讨论了保持行为一致性,并发控制,访问权限等对动态模式处理的影响。
-
工程数据库模式设计的一种形式方法:尼杰森法
Rasd.,WJ 李明琪. 工程数据库模式设计的一种形式方法:尼杰森法[J]. 计算机科学, 1994, 21(3): 35-39.
- Rasd.,WJ 李明琪
- 计算机科学. 1994, 21 (3): 35-39.
- 摘要 ( 53 ) PDF(177KB) ( 234 )
- 相关文章 | 多维度评价
-
本文介绍一种新的建立数据模型的方法,叫做尼杰森信息分析法。NIAM是一种图形建模语言,所设计的概念模式能被映象成数据库模型。文中阐述了把NIAM概念模式映象成第五范式关系数据模型的步骤,叫做最优范式算法。
-
关系数据库中保证高阶范式的简单条件
无. 关系数据库中保证高阶范式的简单条件[J]. 计算机科学, 1994, 21(3): 40-41.
- 无
- 计算机科学. 1994, 21 (3): 40-41.
- 摘要 ( 48 ) PDF(71KB) ( 231 )
- 相关文章 | 多维度评价
-
本文对关系模式的高阶范式提出了新的简易实用的判别条件。文中的一些结果借助函数依赖为数据库设计者提供了实现高阶范式的简单,充分条件。
-
实时数据库系统的研制途径
单顺利. 实时数据库系统的研制途径[J]. 计算机科学, 1994, 21(3): 47-48.
- 单顺利
- 计算机科学. 1994, 21 (3): 47-48.
- 摘要 ( 61 ) PDF(84KB) ( 265 )
- 相关文章 | 多维度评价
-
关于知识的推理新进展
黄智生. 关于知识的推理新进展[J]. 计算机科学, 1994, 21(3): 49-52.
- 黄智生
- 计算机科学. 1994, 21 (3): 49-52.
- 摘要 ( 66 ) PDF(168KB) ( 245 )
- 相关文章 | 多维度评价
-
本文由上篇和下篇两个部分组成。上篇主要阐述人工智能理论研究的意义和作用,以消除人们通常对理论性研究所产生的一些误解;同时也进一步对关于知识的推理研究的意义进行分析。下篇主要介绍最近召开的关于知识推理理论问题的国际会议情况,着重其在计算机科学和人工智能领域方面的国际新动态和新进展。
-
机械智能CAD的结构模型和发展趋势
殷国富. 机械智能CAD的结构模型和发展趋势[J]. 计算机科学, 1994, 21(3): 53-56.
- 殷国富
- 计算机科学. 1994, 21 (3): 53-56.
- 摘要 ( 57 ) PDF(182KB) ( 209 )
- 相关文章 | 多维度评价
-
ECSN神经网络系统的解释部件
杨莉 葛建新. ECSN神经网络系统的解释部件[J]. 计算机科学, 1994, 21(3): 57-61.
- 杨莉 葛建新
- 计算机科学. 1994, 21 (3): 57-61.
- 摘要 ( 56 ) PDF(190KB) ( 275 )
- 相关文章 | 多维度评价
-
描述性语言与知识库系统
朱扬勇. 描述性语言与知识库系统[J]. 计算机科学, 1994, 21(3): 62-64.
- 朱扬勇
- 计算机科学. 1994, 21 (3): 62-64.
- 摘要 ( 62 ) PDF(119KB) ( 532 )
- 相关文章 | 多维度评价
-
知识库查询的固有低效性
朱扬勇. 知识库查询的固有低效性[J]. 计算机科学, 1994, 21(3): 64-66.
- 朱扬勇
- 计算机科学. 1994, 21 (3): 64-66.
- 摘要 ( 54 ) PDF(113KB) ( 278 )
- 相关文章 | 多维度评价
-
多模式对模糊联想记忆学习算法的优化
何奉道. 多模式对模糊联想记忆学习算法的优化[J]. 计算机科学, 1994, 21(3): 67-68.
- 何奉道
- 计算机科学. 1994, 21 (3): 67-68.
- 摘要 ( 53 ) PDF(64KB) ( 222 )
- 相关文章 | 多维度评价
-
MCP多处理机系统研究与设计
王能忠 王宽全. MCP多处理机系统研究与设计[J]. 计算机科学, 1994, 21(3): 69-71.
- 王能忠 王宽全
- 计算机科学. 1994, 21 (3): 69-71.
- 摘要 ( 61 ) PDF(95KB) ( 206 )
- 相关文章 | 多维度评价