1995, 6(2):65-68.
摘要:本文提出了NC-RUE-NRF归结方法,并证明了它在含有等词广义子句集上的完备性.
1995, 6(2):69-77.
摘要:本文论述了多媒介数据库系统的一些基本问题,并介绍了一个新型的多媒介数据库管理系统CDB/M的设计.
1995, 6(2):78-83.
摘要:超越表达式的化简是很困难的计算机代数符号化简问题.本文提出了一种新的超越表达式类上的代数符号化简方法,这种方法是基于爬山策略的和替换法;作为应用实例,本文还用该方法对标准三角表达式类进行了化简.目前该种化简方法已经应用于计算机代数化简系统CASS1.
1995, 6(2):84-90.
摘要:名字服务是异构分布式文件系统的核心部分.在参阅国内外众多分布式文件系统的基础上,提出一种新的命名方案──输出共享方式,在保留原文件系统命名语法的前题下,将本地文件系统与远程文件系统有机地结合起来,并采用混和的分布方式实现了名字服务员,达到了位置透明性要求.
1995, 6(2):91-98.
摘要:通信协议转换器可以看作是两个协议的信息之间的映射.这个映射可以用一个重要信息对偶集合K来刻划.本文给出相对于K的协议转换器的形式定义.然后,我们提出用两个有限状态自动机的对偶积来构造协议转换器的方法,并论证了方法的正确性.
1995, 6(2):99-106.
摘要:给定通信协议[A,B],[G,H]和重要信息映射集合K,可以构造B和G关于K的对偶积作为这两个协议关于K的转换器C.本文讨论这种协议转换模型[A,C,H]的死锁和活锁的性质,并给出这种协议转换模型没有死锁和活锁的充要条件.
1995, 6(2):107-111.
摘要:本文指出“以优先层为准则的优先级策略”存在问题和结论错误的基础上,提出一种三层混合式中断优先级策略.它兼顾了系统的应变能力、系统复杂性、系统开销和灵活性等重要性能指标,是一种理想的中断优先级策略.
1995, 6(2):112-117.
摘要:面向对象的开发方法是一种很有前途的软件开发方法.它通过对应用系统的问题空间对象直接建模,然后将它们同态映射到解空间,使应用易理解、易维护.然而,对于大而复杂的应用系统,这种方法较难识别问题空间中的对象.本文在比较了功能化和面向对象的开发这两种方法后,提出了一种基于细化的对象分析和设计方法ROAD.
1995, 6(2):118-122.
摘要:本文讨论了一个以扩充Lisp方式实现的CLOS系统中的反射结构及其实现技术,该反射结构基于统一的对象表示,支持广义化对象模型,与宿主语言的反射有一致性.其中的反射计算采用了CLOS的元对象协议的思想.
1995, 6(2):123-128.
摘要:统计与科学数据库与常规商用数据库有很大差异,利用常规的商用数据库管理系统建立统计与科学数据库是不合适的.本文以我们开发的统计数据库管理系统(SSDBMS)为基础,讨论SSDBMS的数据模型数据压缩、安全保密、统计查询等一系列技术.