排序方式: 共有19条查询结果,搜索用时 15 毫秒
1.
Actor模型是一种面向对象的并发模型,但它缺乏对继承机制的支持。本文试图阐明在Actor模型中该支持什么样的继承以及如何支持这种继承。 相似文献
2.
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. 相似文献
3.
由于无法得到准确的期望效用函数,在信息不完全和结果不确定的环境下作出决策是困难的,提出基于候选方案排序的进化决策方法,通常通过分析得出一组与候选方案期望效用相关的指标,设计决策规则归结为寻找二之间的相关关系,如果将所有候方案按其对效用有影响的指标分为n类,并利用进化算法在n!空间中索全部方案的期望效用排序,则根据此排序作出最佳决策,提出针对排序问题的遗传算法,该方法较少依赖专家知识,无须显式地构造期望效用函数,能有效处理非数值或非量化指标以及指标冲突和指标相关等问题,在带随机噪声环境下仍能获得稳健解,在仿真机器人控制器设计中的应用表明了该方法的有效性。 相似文献
4.
Smalltalk—80是原型的面向对象程序设计语言和环境,其中所体现的面向对象方法学已广泛应用于计算机科学的各个领域。我们已经完成除进程之外的所有Smalltalk成份的指称语义描述。作为系列文章的首篇,本文简要介绍Smalltalk的基本概念,并给出其完整的抽象文法,从而为准确地理解Smalltalk,正确地描述其形式语义奠定良好的基础。 相似文献
5.
本文介绍了一种面向对象并行程序设计语言及其实现方法,并以面向对象的Turbo Pascal 6.0为例,提出一种简便迅速的扩充方案,使Turbo Pascal 6.0能用来设计面向对象的并行程序。 相似文献
6.
7.
8.
9.
10.
可视语言对软件工程的影响 总被引:1,自引:0,他引:1
80年代中期经来,可视语言的研究形成了一个热潮,可视语言能支持概念程序设计。实现了的可视语言可以作为规范描述语言而产生可执行规范。这两个特点使可视语言在软件工程中具有极大的潜力。本文给出了一种新的软件开发模型,并列出两个典型系统予以说明。 相似文献