摘要:本文详细介绍图形分布处理支撑环境ＤＧＰＳＥ的设计和实现技术．ＤＧＰＳＥ有效支持高性能分布式图形应用系统的开发和分布并行图形处理算法的研究．它具有以下特点：支持多种分布处理模型，通讯方式灵活，图形支撑功能强．使用ＤＧＰＳＥ已实现了一分布式图形应用系统和一组分布式图形算法．的设计和实现．南京大学计算机系硕士论文，１９９１．１３潘志庆，石教英．Ｆｒａｃｔａｌ生成的并行算法研究．全国第７届ＣＡＤ和图形学会议论文集，无锡，１９９２．１４石教英，劳志强，潘志庚．多面体扫描转换的分布并行算法．全国第７届ＣＡＤ和图形学会议论文集，无锡，１９９２．

摘要:文本管理器是用于提高中文页面描述语言解释器效率而引入的前处理系统，它包括资源管理、异常处理、ＥＰＳＦ管理和文本优化等功能模块．本文详细论述了文本管理器的设计思想与相应实现方法．

摘要:Ｓｉｄｌｅ系统是运行在ＳＵＮ工作站网络上的一组实用程序，利用空闲的处理机资源进行大粒度的并行计算．同其它远程执行设备相比，它能支持程序内部并行和嵌套的远程执行，允许一个服务员机接受多个远程执行任务．本文介绍了这些特点和透明性的实现方法．

摘要:本文为推理维护系统引入一种Ｐｅｔｒｉ网模型并对有限非单调理论应用Ｐｅｔｒｉ例分析方法．本文提议的模型不但能描述推理维护系统，而且可用网论与网技术分析推理维护．对于一组给定的非单调规则我们给出一个算法可求得其外延，我们还给出一个算法可发现系统的不一致性．我们提出的寻找外延的算法要比现有的重构过程更有效，且它是可判定的．

摘要:本文提出一种新的基于抽象解释的逻辑程序部分演绎方法．在一遍预处理里，针对给定的程序Ｐ和目标Ｇ，同时进行Ｐ∪｛Ｇ｝的部分演绎和抽象解释，以抽象解释控制部分演绎的展开过程．只要抽象论域是有穷的，部分演绎必定终止，而且Ｐ＇带有抽象解释估算出的关于其运行性质的信息，便于对Ｐ作进一步优化．

摘要:本文介绍了一个在ＳＵＮ工作站网络上实现的分布式Ｃ—ＰＲＯＬＯＧ解释系统ＤＣ－ＰＲＯＬＯＧ，它能够自动地将其应用程序的顺序解释过程变为并行解释过程；能够充分利用空闲的主存资源求解大问题，使一些单机上因内存容量不足而无法执行的任务得以执行．

摘要:在分析乐谱的基础上，本文提出了区域特征的乐符识别方法，并实现了乐谱识别系统．乐谱用扫描仪输入，经过预处理、去除噪音、确定谱线位置、测定线宽、删除谱线等先期处理后，切分出各种乐符，用区域特性和乐符属性对乐符进行识别，系统还实现了乐谱计算机识别之后的自动演奏．

摘要:本文用类型一阶理论来定义逻辑程序，并通过引入Ｌａｋａｔｏｓ的基于证伪的发现方法论将原有的封闭型类型一阶理论改造为开放的类型一阶理论．在此基础上，建立了一个基于假说演算的逻辑自动编程理论，并利用这一理论在Ｓｕｎ工作站上建立了一个自动设计Ｐｒｏｌｏｇ型程序的实验系统．

摘要:为包括数据库在内的信息系统提供长期进程模型是一项很重要而迫切的工作．本文首先介绍了使用具有通讯机制和时间表达能力的Ｐｅｔｒｉ同来模拟社会现象中长期行为的概念──Ｓｃｒｉｐｔ．然后阐述了如何用语义数据模型来描述这样的概念结构并略述了实现中的一些技术问题．