智能CAD中KBMS与DBMS的组织与界面

本文讨论了智能CAD中图形数据库管理系统DBMS与知识库管理系统KBMS的组织与实现,同时结合火炮设计专家系统GMCADES讨论了DBMS与KBMS的接口问题。     

回转体零件的CAPP专家系统研究

提出了一种基于规则的CAPP专家系统。系统针对回转体零件 ,选择产生式知识表达方法 ;并且根据正向推理的决策机制 ,提出了工艺路线的决策规则和相应的算法。在此基础上 ,建立了系统模型和简单的数据库     

一种应用于飞航导弹测试诊断中的混合逻辑模型

提出了一种飞航导弹测试诊断中故障诊断的模型,并给出了该模型基于飞航导弹无线电高度表的设计实现方法步骤.     

UNIX系统入侵检测知识库体系结构研究

针对目前应用在UNIX系统中入侵检测知识库适应能力不足的问题.提出了一种适应于不同系统环境的知识库体系结构。检测规则按相应系统与服务类型以模块化形式存储,通过应用配制文件加载。实现了入侵检测知识库的可扩展性.提高了入侵检测知识库的通用性,并且可以提高检测规则的搜索效率。     

专家系统开发工具FDEST系统

本文在一种含有补余律的模糊抽象代数系统上,利用模糊逻辑与格尔函数的相互转换性,构造了具有模糊缺省推理能力的专家系统开发工具,并且给出了系统中各主要部分的分析。     

面向对象机器翻译知识库IMT—KB的设计与实现

机器翻译知识库是机译系统的重要组成部分,针对传统机译知识库的不足之处,本文提出一种面向对象的机译知识体系结构,同时给出这种具有层次性和模块性机译知识库的存储组织和管理机制。     

对象模型及其模型化方法——一种深知识的表示模型

本文介绍了对象模型和深知识等概念,在这些概念的基础上还讨论了基于框架知识表示形式的复杂系统的模型化方法.文中给出的模型化方法是通过 ISA 关系和 PART-OF 关系的相结合而形成的.这种模型化方法可用于基于深知识的设计型、分析型以及控制型等类型的专家系统.     

知识库系统中的一种并发控制方法

本文给出了一个基于ＤＡＴＡＬＯＧ环境的知识库并发控制算法，算法的基础是两段锁（ＴＷＯＰＨＡＳＥＬＯＣＫＩＮＧ），它使用了相关和覆盖的概念，减少了被锁对象的数目，从而提高了系统的效率．最后给出了算法的正确性证明．