其他文献
<正> 域的性质本节使用文献的方法,介绍迭代和递归。序关系作为预备知识,我们先考察程序之间序关系的性质。定义 P Q P ∪Q=P。这意味着Q是一个比P更确定的程序。Q能做的事情
神经网络是近年来掀起热潮的一个特别引人入胜的研究领域,它完全打破了学科的界限,对人工智能、计算机科学、脑神经科学、认知科学、电子学及物理学等学科的新发展都有重要影
近年来在计算机软件及应用领域,一种称为 Hypertext、Hypermedia 以及Hypersystem 的技术或系统十分受人重视。许多国际著名的研究机构、大学及公司先后开发了这类系统,这类
分布式实时处理是当代计算机科学技术前沿课题之一,它是机器人学、计算机集成制造学、并行分布式实时处理理论等边缘科学中的一个核心问题,本文较全面系统地分析了分布式实时
本文分析了Ada程序设计支持环境APSE在大型嵌入式软件开发过程中的成就与不足;论述了基于Ada的自动化软件开发新模式;讨论了实现这一模式的途径和面临的困难。
本文通过三级模式的一致性研究,提出了数据库系统中的软件集成方法,日的是使得数据库系统的开发更为简便,应用面更为广泛。
人工智能和钦件工程的交叉多年来一直是个十分活跃的研究领域。人工智能在软件工程上的应用至少在两个方面是令人感兴趣的。一是,人工智能对软件工程具有实际的重要性。人工
本文在综述日本第五代计算机系统(FGCS)中所采用的基于流通讯法这种比较单一的同步机构基础上,提出一种通过对字符串的加减1操作用PROLOG语言构造的新的同步机构,并完成了其
<正> 一、系统的分类大规模集成电路的迅速进步使分布式计算机环境得以建立和发展,为人工智能(AI)问题提供了更有效的求解工具,分布式人工智能(DAI)作为一个新的研究方向,应