1994年第5卷第1期文章目次

周立柱 , 王健斐

1994, 5(1):1-9.

[摘要](4055) [HTML](0) [PDF 510.32 K](5024)

摘要:
面向对象的数据库管理系统（ＯＯＤＢＭＳ）通常都具备自身的查询语言，它以交互的方式供用户进行数据定义与数据操纵．除此之外，它还必须为程序员提供可在Ｃ、ＦＯＲＴＲＡＮ、ＰＡＳＣＡＬ等高级语言里嵌入使用查询语言的宿主语言接口．本文首先介绍这样一种Ｃ宿主语言接口Ｃ—ＯＳＤＬ，而后重点讨论它的实现技术，尤其是将Ｃ—ＯＳＤＬ命令转换成ＳＱＬ语句的翻译算法以及使用ＳＱＬ实现支持导航式查找的指针层次管理方法．文中讨论的Ｃ—ＯＳＤＬ实现技术以及最初的接口设计是面向对象的数据库技术的深入探讨．

2 含无序产生式的故事分析文法的研究

张松懋

1994, 5(1):10-18.

[摘要](3527) [HTML](0) [PDF 518.73 K](4577)

摘要:
基于故事分析文法的故事理解法是本文作者在其博士论文中提出的一种面向故事深层含义的对语法、语义和语用综合进行理解的形式化方法，故事分析文法是一种高维的上下文有关文法，为了提高它的描述能力和表达范围，本文定义了一种特殊的产生式：无序产生式，并将它引入故事分析文法，讨论了由此带来的对故事分析文法的影响和无序产生式在故事分析文法中的性质，最后给出了含无序产生式的故事分析文法的一个子类文法的语法分析算法．

3 基于目标码的XENIX核心源程序提取

孙玉方 , 吴健 , 李有志 , 牛光远 , 梁志辉

1994, 5(1):19-25.

[摘要](3599) [HTML](0) [PDF 476.65 K](4384)

摘要:
近年来，基于Ｉｎｔｅｌ８０３８６／８０４８６ＣＰＵ的计算机，特别是微型机，在国内大量引进并逐渐国产化．ＸＥＮＩＸ操作系统作为这些计算机上配备的基本多用户系统已被越来越多的国内用户所接受．但是要充分发挥ＸＥＮＩＸ系统的作用，还需要对此系统作一些改造、扩充或进一步的开发以适应国内普通用户的需要．为了适应国内对ＸＥＮＩＸ移植开发的需要，经过几年的努力，我们成功地以可运行的目标码为基础，在计算机辅助之下提取了其核心部分的源程序．本文讲述基于目标码的核心源程序提取的方法、有关工具的使用及具体的提取过程．

4 FP──VLSI自动综合系统

孙永强 , 胡振江 , 袁昕

1994, 5(1):26-32.

[摘要](3651) [HTML](0) [PDF 424.13 K](4619)

摘要:
ＦＰ—ＶＬＳＩ自动综合系统是一个集成化的ＶＬＳＩ自动设计工具，它能完成从并行算法到脉动算法到脉动结构再到逻辑结构最后到ＣＭＯＳ版图的自动综合过程．ＦＰ—ＶＬＳＩ系统以脉动阵列为ＶＬＳＩ的体系结构，采用具有良好代数性质的ＦＰ／Ｂ语言作为各层次的描述语言，通过程序变换进行综合和优化．该系统支持形式化的ＶＬＳＩ设计方法，能保证设计结果的正确性．

5 堆整序的最优算法

顾训穰 , 诸宇章

1994, 5(1):33-36.

[摘要](3473) [HTML](0) [PDF 227.50 K](4212)

摘要:
本文给出堆整序的一个新算法，其实用价值比以前的算法效率提高一倍，其理论意义是在复杂性的数量级和主项系数方面已具有最优性能．

6 分布式实时系统UECnet的描述工具──配置说明语言UECspec

舒敏 , 龚天富

1994, 5(1):37-41.

[摘要](3946) [HTML](0) [PDF 319.44 K](4476)

摘要:
大型、复杂的分布式实时系统除了有严格的时间要求外，还需要有更大的灵活性、可预测性和可靠性．本文提出一个分布式实时系统的描述工具─—配置说明语言ＵＥＣｓｐｅｃ，用来描述分布式实时系统ＵＥＣｎｅｔ应用层的逻辑同结构、进程间的通信链接关系．以及各进程的实时特性．ＵＥＣｎｅｔ系统根据ＵＥＣｓｐｅｃ描述自动完成对应用系统的配置分析，初始分配及重配置．