摘要:ＣＡＳＥＣ＋＋语言是面向对象的ＣＡＳＥ环境青鸟Ⅱ型系统中设计、实现的一个与Ｃ＋＋完全兼容并支持永久对象的面向对象程序设计语言．在青鸟Ⅱ型系统中，它是对象管理系统ＯＭＳ（ｏｂｊｅｃｔｍａｎａｇｅｍｅｎｔｓｙｓｔｅｍ）的操纵语言和所有集成工具的编程语言，同时也是支持最终用户的通用的编程语言．本文首先简要介绍了ＣＡＳＥＣ＋＋的设计背景．然后，较详细地讨论了ＣＡＳＥＣ＋＋中新引入的语言成份：永久对象；类定义的共享机制；永久对象间的关系描述──链和对象的内容等．最后，给出了实现方法．

摘要:本文阐述了ＮＤＯＯＰ的设计和实现的主要思想．ＮＤＯＯＰ是一个Ｐａｓｃａｌ的面向对象扩充，是Ｐａｓｃａｌ的超集，既充分支持面向对象程序设计，又保持了Ｐａｓｃａｌ的原有风格．

摘要:在指令级并行性很高的体系结构中，为了得到比较好的并行优化效果，通常需要设置多个分支控制机构，本文提出一个新的支持多个分支操作并行执行的全局软件流水方法──ＧＰＭＢ．并用衡量全局软件流水方法性能的两个主要参数：时间开销和空间开销把我们的方法与其它几种全局软件流水方法进行了比较．模拟实验结果表明：ＧＰＭＢ方法的时间开销和空间开销都比较小，所需要的硬件支持也比较少．

摘要:软件系统的自动生成是９０年代软件工程的主流．由于专用实时设备的高效管理与灵活加接是任何计算机专用实时系统不可或缺的基本功能，加之它们的类别和型号、数量和质量的与日俱增，如何克服专用外设驱动模块的易变性成为任何专用实时系统自动生成的关键．本文介绍作者在专用实时设备驱动程序自动化研究中的初步成果，重点是他们自行研制的专用实时设备驱动程序半自动生成器ＲＴＤＧ（ｒｅａｌｔｉｍｅｄｅｖｉｃｅｇｅｎｅｒａｔｏｒ）的内部构造与实现技术，以及一个经过实践考验的应用实例．此项实时系统自动生成研究过程中的阶段性成果已通过部委

摘要:本文借助于输入的函数扩展思想，将其引入到一般类型的联想存储器模型，通过噪声输入模式来优化所提出的模型，推广了一类联想存储器模型，实验结果表明最小平方函数链式联想存储器（ＦＬＡＭ）比之ＫＯＨＯＮＥＮ模型、ＭＵＲＡＫＡＭＩ模型在性能上优越．

摘要:本文描述了ＮＰＡＢ—１并行算法库的结构和功能，并通过两个例子说明了库中并行算法的设计风格．

摘要:本文提出堆的路径二分搜索算法．当用堆来实现优先队列时，此算法可用较少的比较次数完成插入及删除最大元素等操作．

摘要:本文介绍基于ＢＪ—ｌ并行计算机非对称硬件结构之上的一种对称式文件系统的设计思想和实现技术．该文件系统在不降低原有效率的前提下为用户提供了方便的界面，并通过文件系统中的管道机制实现了单元间多通道通讯．

摘要:二元可满足性问题是一个多项式可解的问题．本文首先证明了该问题有解的充要条件，然后给出了判定该问题的一个新的多项式算法．如果判定某个表达式是可满足的话，那么求解算法不需要任何回溯就能准确地给出它的每个解．本文试图通过对二元可满足性的研究为研究其它问题提供一点启示．

摘要:限制描述了对象间的一组复杂关系，现有ＯＯＰＬ中一般不支持它们的表示和计算．本文给出了一种限制的对象表示法，其思想是在引入限制的同时不引入额外的概念，保持对象模型和语言的简单性。本文还讨论了这种表示法引入的问题和解决方法．