1994, 5(2):1-5.
摘要:在集成化软件工程支撑环境“青鸟”系统上,基于模拟退火实现了VLSI的布图规划算法,算法能够处理矩形和L型模块.使用面向对象方法开发软件,显著缩短了程序的设计过程,利用青鸟系统支持开发,明显地提高了系统的开发效率.
1994, 5(2):6-13.
摘要:本文给出了并行任务派生的理想状态,分析和研究了积极任务派生(ETD)方法和惰性任务派生(LTD)方法,指出了这两种方法所具有的局限性,提出了一种新的并行任务派生的积极惰性化方法(ELDT)及其算法.初步研究表明ELDT方法可安全有效地增大计算粒度,在由多个商售单处理器构成的小规模并行系统上ELDT算法有效地控制计算粒度和任务派生,使并行任务的派生近似达到理想状态.
1994, 5(2):14-21.
摘要:本文给出了一个基于DATALOG环境的知识库并发控制算法,算法的基础是两段锁(TWOPHASELOCKING),它使用了相关和覆盖的概念,减少了被锁对象的数目,从而提高了系统的效率.最后给出了算法的正确性证明.
1994, 5(2):22-28.
摘要:本文较系统地介绍了面向对象数据库语言ROL中对象的计算反射的思想和实现方法.反射对象的引入是为了解决对象库中复杂的管理问题,并为设计智能化程度更高的对象提供一个良好的基础.本文还讨论了反射结构带来的问题,即封装性间题和效率问题,以及一种解决方法.
1994, 5(2):29-36.
摘要:在分布式计算系统中,进程迁移是一种在进程生命周期内将它从一台处理机传送到另一台处理机上,并使进程从其“断点”继续运行下去的方法.本文详细地讨论了在Wulor—75/32系统和国外几个典型的分布式计算系统中实现进程迁移的方法,以及为实现进程迁移,对系统的其它机制——文件系统、通信机制和内核中有关部分所作的扩充.
1994, 5(2):37-42.
摘要:本文提出一个利用线性规划来实现从实例归纳学习的实用方法,简称为PKA方法.该方法适用于许多分类专家系统的知识获取.
1994, 5(2):43-47.
摘要:网络缺省推理中扩展的计算需要进行并行性处理.Etherington的并行网络推理算法(PNIA)为缺省推理提供了一条有效的途径.但它存在不能穷尽所有扩展的不完整性问题.本文提出了一个解决这一不完整性间题的并行网络推理算法.
1994, 5(2):48-56.
摘要:本文主要讨论特性表机制与复合对象的概念、功能及实现.在基于知识的面向对象系统中引入特性表机制与复合对象概念的目的在于增强系统的知识表达能力.文中提出的特性表机制包括了三种类型的特性说明表:类说明特性表、继承关系特性表和变量特性说明表.复合对象在系统中是通过引入一个称为“影子类”的新概念来构造和实现的.
1994, 5(2):57-64.
摘要:本文综述计算机辅助软件工程CASE概念的发展,从第一代文件系统集成的UNIX环境到90年代初的基于仓库的CASE环境.集成技术方面始终围绕数据集成、控制集成、表达集成发展.CASE的集成还要保证各厂家开发的工具和可重用成分可移植.为此,本文介绍了近代CASE环境集成的模式,CAIS和PCTE作为集成核心模型的原理,以及发展到80年代后期信息仓库的由来.信息仓库是PCTE成果的进一步发展,1988年ECMA提出以信息仓库为核心的烤面包实现集成模型.它是当今CASE环境研究开发的基本模型.本文详细论述了信息仓