1974年1月创刊(月刊)
主管/主办:重庆西南信息有限公司
ISSN 1002-137X
CN 50-1075/TP
CODEN JKIEBK
编辑中心
当期目录
1994年第1期, 刊出日期:2018-11-17
  
计算机网络与信息安全
人工智能的研究趋向多元化:参加第十三届国际人工智能联合大会总结报告
王献昌
计算机科学. 1994, 21 (1): 1-6. 
摘要 ( 42 )   PDF(217KB) ( 313 )   
相关文章 | 多维度评价
逻辑程序的语义问题 I
王怀民
计算机科学. 1994, 21 (1): 6-12. 
摘要 ( 54 )   PDF(210KB) ( 295 )   
相关文章 | 多维度评价
文明性语义是逻辑程序研究的重要内容,也是其作为说明性程序的基本特征。近年来由于人们对带否定前提了一般逻辑程序设计的关注,以及逻辑程序与非单调推理的结合,逻辑程序的语义研究出现了许多新结果。本文以早期的Clark语义和最小模型语义为起点,介绍这些新发展的部分内容,主要包括Clark语义的Fitting3-值扩充,理想模型语义,稳定模型语义,良基模型语义以及它们之间的关系,并在此基础上进一步讨论了说明
计算机辅助协同工作
杜兴 谢立
计算机科学. 1994, 21 (1): 12-16. 
摘要 ( 42 )   PDF(170KB) ( 253 )   
相关文章 | 多维度评价
有限模型的自动构造
张健
计算机科学. 1994, 21 (1): 17-19. 
摘要 ( 51 )   PDF(100KB) ( 253 )   
相关文章 | 多维度评价
计算机科学的很多领域引入了形式化方法,逻辑公式经常出现在各种技术中。有时需要判定一个逻辑公式的协调性可满足性。并对可满足的公式给出一个具体的模型。本文介绍计算机科学和数学中的一些模型构造问题。以及有限模型的自动构造技术。
多态性的分类及其特性
杜诚 郭浩志
计算机科学. 1994, 21 (1): 19-22. 
摘要 ( 86 )   PDF(126KB) ( 250 )   
相关文章 | 多维度评价
分布式系统负载分布研究综述
袁道华
计算机科学. 1994, 21 (1): 22-29. 
摘要 ( 60 )   PDF(265KB) ( 238 )   
相关文章 | 多维度评价
负载分布算法通过巧妙地重新分布系统中的工作负载,能够显著地提高分布式系统的性能。本文概述各种具有代表性的负载分布算法并比较了它们的性能。
分布式模拟中的CMB算法及其变型
段平 罗笑南
计算机科学. 1994, 21 (1): 29-33. 
摘要 ( 107 )   PDF(178KB) ( 306 )   
相关文章 | 多维度评价
新型分布式操作系统及其研制方法
何炎祥 夏循斌
计算机科学. 1994, 21 (1): 34-37. 
摘要 ( 49 )   PDF(141KB) ( 245 )   
相关文章 | 多维度评价
现行分布式OS及其研制方法存在若干问题,对此,我们提出了一种集智能型,集成化和可塑性于一体的分布式OS自动生成系统模型,用此模型生成OS是一种名副其实的新型分布式OS。
关于常识推理的统计途径
杜劲松 张尧庭
计算机科学. 1994, 21 (1): 38-43. 
摘要 ( 53 )   PDF(212KB) ( 294 )   
相关文章 | 多维度评价
人工神经系统的心理学方法
刘宗田
计算机科学. 1994, 21 (1): 44-46. 
摘要 ( 56 )   PDF(140KB) ( 241 )   
相关文章 | 多维度评价
形象思维中的心象及其表征理论
潘云鹤 耿卫东
计算机科学. 1994, 21 (1): 47-52. 
摘要 ( 69 )   PDF(200KB) ( 245 )   
相关文章 | 多维度评价
本文从智能模拟角度出发,结合思维科学,计算机科学,心理学,信息科学等领域的研究成果与理论,对形象思维中的心象及其表征理论作一总结和整理,以期对我国的思维科学的研究,尤其是形象思维的研究起一促进作用。
自构形神经网络及其应用
雷鸣 朱心飚
计算机科学. 1994, 21 (1): 52-54. 
摘要 ( 59 )   PDF(112KB) ( 257 )   
相关文章 | 多维度评价
面向对象的知识表示方法
王宽全
计算机科学. 1994, 21 (1): 55-58. 
摘要 ( 78 )   PDF(137KB) ( 246 )   
相关文章 | 多维度评价
本文在分析了传统的知识表示方法基础上,着重探讨了面向对象的知识表示的方法,特点,推进及程序实现问题。
基于分形维数的图像分割研究
朱光喜 张平
计算机科学. 1994, 21 (1): 59-61. 
摘要 ( 54 )   PDF(136KB) ( 256 )   
相关文章 | 多维度评价
本文在分形图象模型研究基础上,采用离散分形布朗增量随机场。通过撮特性参数-H值,方差,平均灰度值,然后结合传统的聚类分割技术,实现图象分割。在对自然背景中的人造物体图象和金相图的实验结果表明,分割效果良好,且抗噪性能较强。
可视语言对软件工程的影响
强军 王兵山
计算机科学. 1994, 21 (1): 62-65. 
摘要 ( 57 )   PDF(141KB) ( 257 )   
相关文章 | 多维度评价
80年代中期经来,可视语言的研究形成了一个热潮,可视语言能支持概念程序设计。实现了的可视语言可以作为规范描述语言而产生可执行规范。这两个特点使可视语言在软件工程中具有极大的潜力。本文给出了一种新的软件开发模型,并列出两个典型系统予以说明。
超媒体系中的人工智能方法
余盛可
计算机科学. 1994, 21 (1): 66-70. 
摘要 ( 63 )   PDF(169KB) ( 249 )   
相关文章 | 多维度评价
软件过程的OPEN描述与面向过程的CASE环境
王晖 张然
计算机科学. 1994, 21 (1): 71-74. 
摘要 ( 62 )   PDF(121KB) ( 224 )   
相关文章 | 多维度评价
支持程序验证的模块方法
刘定飞 钟珞
计算机科学. 1994, 21 (1): 75-79. 
摘要 ( 61 )   PDF(149KB) ( 302 )   
相关文章 | 多维度评价
本文给出一种支持程序验证的模块方法,并讨论了基于函数语义的模块验证,程序可划分为若干个模块,模块本身又可划分为若干个更小的子模块,其验证独立进行。将独立验证过的各子模块复合,完成上级模块或程序本身的验证。
JSD的系统化转换与实现技术
冯昕 徐永森
计算机科学. 1994, 21 (1): 80-81. 
摘要 ( 41 )   PDF(89KB) ( 266 )   
相关文章 | 多维度评价
本文主要介绍了我们开发的NUJSDS系统中关于JSD的规格说明的转换与最后实现技术。