1997, 8(3).
摘要:类属单元是ADA语言的重大特色之一.一般的ADA编译程序多数是多次扫描的,对类属单元的处理往往是单独进行一次扫描,先进行预处理.有的编译为了处理类属还进行多次扫描.本文提出了一个一次扫描的ADA编译程序的类属处理的新方法,并应用于PC/UNIXADA-Z编译系统,取得了良好的效果.
1997, 8(3):161-169.
摘要:机群系统的分布式计算环境为并行处理技术带来了新的研究与应用问题,正成为并行计算的热点问题.如何合理、有效地将并行任务划分到机群系统的结点上,将直接影响系统的执行性能.本文分析影响系统执行效率的执行开销因素,同时提出一个启发式的处理机分配算法.
1997, 8(3):178-182.
摘要:本文提出了在异质型互连网络环境下为实现统一的网络管理可能出现的管理信息共享问题.为此,作者深入探讨、分析了目前国外为实现这种管理信息共享所采用的几种迁移方法:协议迁移、接口迁移和MIB迁移.
1997, 8(3):183-189.
摘要:本文针对工程领域的特点,提出基于关系/网状的语义超图模型描述,以表达工程中不同语义类的多对多复杂对象关系;将该模型描述和表达的管理机制和基本数据在内存中统一管理和运行,使工程数据的存取效率大为提高;增加了大量通用和特殊功能,形成了功能更强、使用方便的C语言界面.在上述基础上自行研制并有自主版权的工程数据库管理系统EDBMS(engineeringdatabasemanagementsystem)已在建筑CAD领域中得到实际应用.
1997, 8(3):190-196.
摘要:本文给出了ECA规则系统的一般性模型,通过扩展系统状态和改变的定义,形式化地描述了规则处理的语义,并着重研究规则系统的行为特征(可终止性和行为一致性).文中给出的形式化定义和判定方法可作为规则静态分析工具的理论基础.
1997, 8(3):197-203.
摘要:AC++是用ACTOR模型建造的并发C++语言.本文介绍AC++的设计与实现,着重探讨如何在语义级上平滑地结合ACTOR模型和普通面向对象语言,提出了“扩充的行为抽象”和“异步创建”等新方法,使新语言既能保持面向对象语言的特性,又能支持ACTOR模型提供的描述并发计算的能力.
1997, 8(3):204-209.
摘要:本文提出了一种支持实时事务的预分析算法和基于该算法的主存数据库内外存替换策略.它首先预分析实时事务以获得事务存取行为的知识,再在事务执行时,进行基于这些信息的存取及内外存数据交换,从而实现主存数据库管理和支持实时事务的定时限制.
1997, 8(3):210-213.
摘要:基于Kohonen的广义逆联想存储模型GIAM(generalizedinverseasociativememory)和Murakami的最小平方联想存储LSAM(leastsquaresassociativememory)原理,本文提出了一个指数型联想存储器.该模型的存储性能经计算机模拟证实,远远优于GIAM和LSAM,通过适当地调节参数,几乎可达到完全的联想.对输入噪声方差,无需先验假设,同时还实现了一定程度的非线性映射特性.
1997, 8(3):214-219.
摘要:理解自然语言的过程就是构造语义解释模型的过程.本文用构造性逻辑作为模型增长理论,给出了增量式构造语义解释模型的方法.
1997, 8(3):220-234.
摘要:软件维护的自动化是由维护工具根据维护人员提出的维护需求规范自动进行维护操作.这些维护操作种类很多,但最重要的是功能转换.功能转换涉及到功能识别、功能转换需求规范定义及功能生成.功能自动转换的基础在于对功能这一概念的理论剖析和建模.目前维护自动化基本上是走程序转换的道路,这种方法是建立一个概念模式及转换模式库以提供规则,程序转换就依据这套规则进行.程序转换没有从根本上解决问题,因为维护能力被限制在所提供的概念模式及转换模式中,而实际的维护要求则千变万化.这个矛盾的解决只能通过总结出功能的共性,并借以分析出具