矿石可选性预测专家系统(Ⅰ)─—系统的总体设计

建立了铅锌矿石可造性预测专家系统，运行结果良好。本篇着重论述矿石可造性领域知识的特点和知识表示方法；分析矿石可造性预测专家系统的主要特征；讨论矿石可造性预测子问题的划分、一般决策过程、推理控制策略以及系统的总体设计。     

微型计算机中西文表格自动处理软件的算法设计

本文讨论了在微机中西文表格自动处理技术中一些特殊功能的算法设计,分析了设计思想,提供了部份实用算法,并对某些算法的时间复杂度进行了评述。这些算法均已在本校研制的“IBM-PC/XT微型机中西文数据库管理系统”的表格自动处理软件中实现,并已应用于百多家企、事业单位的计算机管理系统中。     

基于构件互操作的可重用知识系统体系结构

以Fensel可重用KBS软件体系结构为基础,将Fensel适配器按操作功能分裂为2个独立部分,并将agent和CORBA技术引入到KBS中,提出了一种强调知识构件互操作的KBS体系结构,KBS各组成构件被集成为一个有机整体;以此为基础,以多agent和CORBA分别作为任务层 问题解决方法层和问题解决方层 领域层互操作的载体,研究了知识构件间的互操作,实现了问题解决方法和领域知识的高度重用,使可重用KBS能得到实际应用.     

UNIX工作站对远程ORACLE FOR NETWARE数据库的访问

研究了ＵＮＩＸ与ＴＣＰ／ＩＰ系统以及ＩＰ地址命名规则、ＮＯＶＥＬＬ的开放式互联接口，提出ＵＮＩＸ工作站同时访问ＵＮＩＸ宿主机和ＯＲＡＣＬＥＦＯＲＮＥＴＷＡＲＥ的方案及有关实现技术，可实现跨平台数据库的互访．     

分布式数据库约束性关联规则挖掘

针对分布式数据库和约束条件的特点,提出了2种在分布式环境下挖掘约束性关联规则的有效算法,即基于Apriori算法的DMAIC算法和基于频繁模式树的DAMICFP算法.此外,进行了实例验证和测试分析,指出了这2种算法各自的优缺点及适用条件.研究结果表明:DMAIC算法可靠性高,通信协议简单,适用于对通信性能要求不高的分布式数据库;DAMICFP算法执行效率高,通信性能好,适用于对通信性能要求较高的多项目分布式数据库;这2种算法均能有效地解决分布式挖掘约束性关联规则的问题.     

基于知识的SA／SD智能转换系统KBSDT

本系统把人工智能技术引入ＣＡＳＥ工具研制，采用超文本模型管理文档，具体实现了数据流图到结构图的知识库设计和智能转换，能在很少人工干预下完成软件开发中ＳＡ／ＳＤ高效转换。     

分组的端到端延时上限

研究了分组交换网络中分组的端到端延时上限。证明了在节点处理速率恒定的情况下，一个流的最大分组在除首节点外的任意节点都不会遭遇队列延时，根据此结论得到了该流任意分组的端到端延时上限。将该结果推广到实际网络中，得到了当多个流共享同一条传输路径时任意流任意分组的端到端延时上限。模拟实验结果验证了理论推导公式的正确性。     

超立方体网络广播容错路由算法

研究了具有大量错误结点的超立方体网络中的广播容错路由算法.假定Hn是一个局部3维子立方体连通的n维超立方体网络,并且每一个基本的3维子立方体中分别最多有1个和2个错误结点,从理论上证明了在最坏情况下基于shouting广播通信模式的广播容错路由算法分别经过最多1.5(n-1)和2(n-1)时间步,就可以将源结点的信息广播到Hn中的所有正确结点中;通过实验验证了在均匀和独立的错误结点分布情况下广播时间步的上界实际上只有n+1,支持了理论分析结果.     

IBM-PC/XT微型机中西文关系型数据库管理系统总体设计

本文扼要介绍我院在IBM-PC/XT微型机上实现的中西文关系型数据库管理系统的组织结构、主要技术指标和功能,以及该系统的特点和为提高系统性能而采取的一些主要技术措施。特别是该系统中所采用的B′-树索引文件组织方式和链组织方式,有力地支持了对数据库中数据的查找和处置,大大改进了关系型数据库的效率。     

程序理解及汇编源程序辅助理解工具TALU

本文讨论程序分析(理解)的理论和方法,重点阐述用于分析的扫描算法,在此基础上简单介绍我校开发的、能帮助程序分析人员分析理解汇编源程序的工具TALU。开发该工具的目的在于降低软件理解对人的智力依赖程度,提高分析人员理解程序的效率和准确度。TALU可以对IBM/PC汇编语言程序提供较强的综合分析能力。并对分析结果提供各种形式的输出报告。