【摘 要】
：
并发性是当前最活跃的研究领域之一。已经出现了众多并发进程模型。一个好的并发模型应该概念清晰简单,以便于理解;有丰富的表达能力、演绎能力,以反映并发性的各主要方面;有
论文部分内容阅读
并发性是当前最活跃的研究领域之一。已经出现了众多并发进程模型。一个好的并发模型应该概念清晰简单,以便于理解;有丰富的表达能力、演绎能力,以反映并发性的各主要方面;有好的构造性质及动态性质,以支持复杂多样的系统构成;有坚实的数学基础,以支持稳固的发展与深刻的洞察。以此来衡量,GSP 模型及 CCS 模型都属于最成功的模型。本文介绍了它们的基本观点,主要结果,理论背景,模型的意义及一些相关的研究工作。更多还原
其他文献
<正>一引言早在五十年代,Newell和Simon等人就致力于通用问题求解程序(GPS)的研究,希望找出模拟人类智能活动的通用表示和求解方法,但GPS以牺牲效率换取通用性,难于求解有大
1.线性逻辑和张量理论在古典逻辑的 Gentzen 型矢列演算中Girard 去除弱规则和缩规则,发展起一种新型逻辑系统——线性逻辑(简记为 LL)。它不同于古典逻辑,本质上是一种事态
<正> 目前,许多新的应用都要求数据库系统提供扩展功能,以便用户随时可以定义自己的数据类型及其操作。但是,传统的数据库系统无论在数据模型,还是在存储结构及其存取方法等
本文是 John McCarthy 在1984年 AAAI 会议上的主题发言。McCarthy 提出需要确立 AI 研究的衡量准则,以推动 AI 基础研究。这些准则主要包括三个方面:普遍性,容忍性(如框架问
一、引言众所周知,DSS 的含义是利用数据和模型来支持中高级管理决策人员解决半结构或非结构化问题的计算机信息系统。然而实际情况并非如此,绝大多数个人 DSS 支持的是专业
本文简要介绍利用专家系统的概念、实现方法与决策支持系统的开发技术相结合的一种基于知识决策支持系统 KB-DSS 的结构设计及其特点,着重阐述了 KB-DSS 的核心部份——问题
本文综述了函数式、逻辑式和面向对象式三种新型程序设计语言的基本特点,简介了这三种程序设计风格相互合成的研究现状,并给出了一些有关的代表性语言。
本文以瑞士儿童心理学家 Piaget 结构主义认知心理学的学习理论构造一个机器学习模型,并提出一个控制策略——同■调节法。
对于涉及数据、模型和知识处理的大型专家系统,传统的单知识库、单推理机的系统结构、单一的知识表达方法和简单的控制策略难以满足复杂问题的求解需求。同时,系统化的开发方
本文将[1]提出的统一框架推广到多段规则的情况,并把这种多段规则推理归结为关系运算,从而提高了效率。文中还探讨了多段规则推理的性质及其与现行处理方法的关系。