专家系统工具以及ZDEST—1

随着专家系统研究,应用工作的广泛开展,专家系统工具作为快速构造专家系统的有效工具也日益受到人们的重视。本文针对专家系统工具研究的现状,按照专家系统工具的功能和产生背景将专家系统工具分成几类,介绍了各类的典型代表。文中还着重介绍了我室研制成功的专家系统工具ZDEST-1系统并将ZDEST-1与一些典型系统作了对比。     

基于3层C1ient/Server的汽配行业销售管理系统的设计与开发

分析了目前的汽配行业计算机管理系统的应用现状，针对现有系统的缺点，结合行业特点以及业务发展提出的新要求，给支Ｃ／Ｓ结构的汽配行业销售管理系统的设计方案，该系统已实现。     

图形分布处理支撑环境DGPSE

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

基于规划的空间布局

本文基于正规集首先建立了一个空间布局问题的形式化定义,然后分析了这一问题的计算复杂度,并证明了基于网格上空间布局问题的可计算性.重点介绍了基于分布式规划的住宅平面布局问题的求解模型,同时给出了一个实例,最后分析了规划方法和分布式规划的一些优点.     

SGML语言的编译实现

ｓｇｍｌｔｏｏｌ是作者开发的一种支持各类ＳＧＭＬ应用系统的编译系统。ｓｇｍｌｔｏｏｌ动态解释ＤＴＤ和ＳＧＭＬ文档，将后者转换成一种规范化的内部结构，并保存到面向对象数据库ＯＳＣＡＲ中。ＯＳＣＡＲ中规范的ＳＧＭＬ数据结构２可作为其它ＳＧＭＬ应用系统的基础。     

一种基于图分解的几何约束求解方法

为了提高几何约束求解的效率和鲁棒性 ,对基于图的构造方法进行了改进 ,即加入虚约束进行扩展和过约束问题的一致性判定 ,提出了一种基于图分解的方法 ,用此方法可以处理包括完全约束、过约束和欠约束等多种情况的约束求解问题 ,另外 ,在该方法中还通过引入分解树将约束求解的范围由整体下降到局部 ,使大部分求解过程能够采用几何求解实现 ,提高了求解和后续修改的效率 ,通过实验数据测试证明 ,该方法对于大型约束求解问题可以达到实时处理的效果 ,具有较强的实用性     

工作流管理系统中动态性质检测的设计框架

目前,工作流管理系统的开发已成为信息系统领域的最重要的研究内容之一,设计WfMS是一个非常复杂的过程,涉及到许多困难的任务,而采用框架技术能有效地解决工作流管理系统设计中存在的问题。文中重点讨论了工作流管理系统中的关键问题,即动态性质检测的设计,提出采用连通无圈图的方法对工作流管理系统中的动态性质进行检测。     

开放式软件体系结构描述语言设计

本文针对软件体系结构描述语言的发展趋势和研究特点,提出并实现了一种开放式的软件体系结构描述语言ＣＯＡＤＬ,ＣＯＡＤＬ不仅使得工作人员可以方便的使用其对软件系统进行软件体系结构设计和开发,而且还为有关工作人员提供了进一步利用其它现有体系结构语言的扩展接口。     

背景图象旋转的快速算法

在作者绣花ＣＡＤ项目中,要对点阵图形进行小角度的旋转操作。针对传统的象素一性插值法的时间和运算量太大的缺点,该文根据要系统的具体特征提出了一个快速算法,可以大大降低系统计算的复杂度和计算时间。