Actor模型的继承机制研究

Ａｃｔｏｒ模型是一种面向对象的并发模型，但它缺乏对继承机制的支持。本文试图阐明在Ａｃｔｏｒ模型中该支持什么样的继承以及如何支持这种继承。     

Symbolic transition graph and its early bisimulation checking algorithms for the π-calculus

Symbolic transition graph is proposed as an intuitive and compact semantic model for the π-calculus processes.Various versions (strong/weak, ground/symbolic) of early operational semantics are given to such graphs. Based on them the corresponding versions of early bisimulation equivalences and observation congruence are defined. The notions of symbolic observation graph and symbolic congruence graph are also introduced, and followed by two theorems ensuring the elimination of τ-cycles and τ-edges. Finally algorithms for checking strong/weak early bisimulation equivalences and observation congruence are presented together with their correctness proofs. These results fuse and generalize the strong bisimulation checking algorithm for value-passing processes and the verification technique for weak bisimulation of pure-CCS to the finite control π-calculus.     

Smalltalk—80的基本概念和抽象文法

Smalltalk—80是原型的面向对象程序设计语言和环境,其中所体现的面向对象方法学已广泛应用于计算机科学的各个领域。我们已经完成除进程之外的所有Smalltalk成份的指称语义描述。作为系列文章的首篇,本文简要介绍Smalltalk的基本概念,并给出其完整的抽象文法,从而为准确地理解Smalltalk,正确地描述其形式语义奠定良好的基础。     

基于候选方案排序的进化决策方法

由于无法得到准确的期望效用函数,在信息不完全和结果不确定的环境下作出决策是困难的,提出基于候选方案排序的进化决策方法,通常通过分析得出一组与候选方案期望效用相关的指标,设计决策规则归结为寻找二之间的相关关系,如果将所有候方案按其对效用有影响的指标分为n类,并利用进化算法在n!空间中索全部方案的期望效用排序,则根据此排序作出最佳决策,提出针对排序问题的遗传算法,该方法较少依赖专家知识,无须显式地构造期望效用函数,能有效处理非数值或非量化指标以及指标冲突和指标相关等问题,在带随机噪声环境下仍能获得稳健解,在仿真机器人控制器设计中的应用表明了该方法的有效性。     

面向对象的并行Pascal的快速实现

本文介绍了一种面向对象并行程序设计语言及其实现方法，并以面向对象的Turbo Pascal 6.0为例，提出一种简便迅速的扩充方案，使Turbo Pascal 6.0能用来设计面向对象的并行程序。     

概率逻辑类超树结构分解计算模型的完备性

针对Nilsson概率逻辑推理在计算规模方面存在的问题,本文给出了公式集按类超树结构分解的计算模型,并证明了分解算法的完备性.     

概率性逻辑异构分解模式的相容性

文章讨论概率性逻辑异构分解模式的相容性问题.对于不同结构的分解模式,只要两两之间满足单边缘一致性,则可互相结合,构成异构的分解模式,并且由此设计的分解算法所形成的推理系统保持相对于原Nilsson推理系统的可靠性与完备性.     

分布实现完全LOTOS规范的转换方法

基于LOTOS规范语言,文章从系统功能规范出发,结合实际系统的分布特性,推导出符合实际系统结构的模块化规范的转换方法.用标注的完全LOTOS语言规范表达复杂的系统分布特性,研究了使用广播通信方式进行协同的、直接处理多模块划分的规范分解算法.     

一个带量词的context逻辑及其限制推理

本文定义了一个新的context逻辑——QLC（quantificationallogicofcontext），它能反映context的更多的逻辑性质．文中还讨论了含等词的QLC以及当领域公理相关不同context序列时的推理，并引入了McCarthy的限制理论.     

一种严格的软件开发方法框架

本文系统地提出一种严格的软件开发方法，它基于逐步精化和重用组合的程序设计思想，将基于图形的半形式化方法和基于逻辑和转换系统的形式化方法镶嵌为一体，使软件开发中的“创造”和“演算”得到合理的折衷．本文已初步实现了面向该方法的实现工具．