王永革
- 作品数：4 被引量：1H指数：1
- 供职机构：南开大学陈省身数学研究所更多>>
- 发文基金：国家自然科学基金更多>>
- 相关领域：自动化与计算机技术电子电信更多>>
- 面向对象并发程序设计的基础理论
- 1993年
- 1.引言面向对象是一种程序设计方法学,面向对象的程序设计风范受到了国内外计算机专家的密切关注,各种面向对象的语言也应运而生。为了探讨面向对象的并发理论,对面向对象的基础理论进行研究势在必行,本文介绍的演员系统(Actor System)就是作为面向对象的基本模型而提出来的。我们的目标是建立一种并发模型,它将在并发结构中起到图灵机在冯·诺依曼体系结构中所起的作用。下面,先回顾一下各种计算模型,比较它们可作为通用并发计算模型的可能性。
- 胡国定王永革
- 关键词：程序设计面向对象
- 加速定理与函数分层
- 1993年
- 本文引进一种O(F)—LOOP算子,通过该算子可对一般递归函数集进行分层,且该算子对应于计算复杂性中的加速定理,由此我们得到加速度理的定量描述。
- 徐书润王永革
- 传统数据流模型的分析及改进
- 1994年
- 数据流计算机作为新一代并行机迅速发展起来，但由于数据流模型本身的局限性，使得商用数据流机器的制造还难于普及．本文通过分析运算的操作字符与非操作字符，改进传统模型的点火规则、引入变量并拓广变量的概念，定义了粗粒度数据流模型ＣＤＦＭ（ＣｏａｒｓｅｇｒａｎｕｌａｒｉｔｙＤａｔａＦｌｏｗＭｏｄｅｌ）．
- 王永革
- 关键词：数据流模型并行计算机
- 序佩特里(Petri)网计算能力分析被引量：1
- 1993年
- 本文通过引进序Petri网的概念,定义了序Petri网计算机,最后讨论该机器的计算能力:它可以计算所有的一般递归函数。
- 王永革
- 关键词：PETRI网
