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