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