基于Petri网的知识库维护方法的研究

Ｐｅｔｒｉ网作为建立系统模型，性能分析，模拟，系统调度，控制等方面的工具已在计算机各方面得到了很好的应用。本文主要探讨了Ｐｅｔｒｉ网在知识库维护方面的应用，包括知识库的正确性、一致性及完备性的检查。对大型知识库的建立及其维护具有重要意义。     

基于关系数据库的知识库的建立

本文通过对知识库和数据库的分析比较,指定在关系数据库平台上建立知识库的可行性,并总结出这类知识库具有管理能力强、可进行混合语言编程以及开发图形用户界面方便快捷等优点。结合知识库和数据库的传统开发方法,以一个实际专家系统的知识库的创建过程为例具体给出了在关系数据库系统中建立知识库的方法,即如何在数据库环境中实现知识获取、知识表示和知识管理。     

一种面向对象的模糊知识库模型

本文给出了一种专家系统模糊知识库的结构模型。重点讨论了该模型的体系结构和采用面向对象技术表示模糊规则的方法。并介绍了采用面向对象方法分析和设计模糊知识库的技术和采用面向对象串行化技术实现模糊知识库持久保存的方法。最后,分析了采用面向对象技术构建模糊知识库的优点。     

基于模糊评估的等级保护风险评估模型

针对信息系统风险评估中模糊性、不确定性的问题,提出了一种基于模糊评估的等级保护风险评估模型.依据等级保护标准,建立起层次化评估体系,规范风险因素的选取.同时,考虑到评估值可能出现模糊值、残缺值等情况,重新定义了模糊评语集合,使模型能够应对更复杂的风险评估问题.在此基础上,引入基于证据理论的模糊评估方法对各风险因素进行合成,减小不确定性并量化评估结果.通过实例表明该模型的有效性和广泛的应用价值.     

用于一致性检查的知识库Petri网模型

知识库是一致性是决定专家系统效率及求解正确性的关键因素。本文以Ｐｅｔｒｉ网为工具对知识库进行模拟分析，把知识库一致性的检查化简为线性代数问题，把这一方法应用于分布式知识库系统，首次得到了检查其一致性的形式方法。本文最后给出了一致性检查的充分必要条件，为建立（分布式）知识库的自动维护系统打下了基础。     

基于知识库的BDAR分析方法研究

该文在综述BDARA方法的基础上,提出了应用知识库与BDARA的集成的思路与实施方法、及IBDARA知识库研制开发的关键技术.     

知识库系统的研究与应用

本文是一篇综合性研究报告，它探索知识库系统的研究现状及应用范围，本文还探讨了知识库系统目前的研究热点，最后，介绍我国在此领域中的研究情况。     

基于本体的知识库模型研究

本体作为一种能在语义和知识层次上描述信息系统的概念模型建模工具,近年来在计算机的许多领域得到了广泛的应用。其中,基于本体的知识构建是一个复杂的系统工程。就目前的研究状况来说,主要是解决如何构建知识模型的问题。本文运用本体知识模型相关的理论,在分析了本体论、知识库和知识库系统概念的基础上探讨了本体论在知识库系统中的应用和方法,提出了一种基于本体的知识模型,并阐述了基于本体的知识库构建方法。     

基于PKI信任模型的研究

介绍了信任模型的评价和 PKI多级信任模型分析 ,给出了信任模型的技术指标比较 ,针对信任模型的技术指标和性能指标 ,分析了不同信任模型的特征 ,给出了建立多级信任模型的建立选择。这些不同模型的不同特征的研究会对建设 PKI的机构和组织起到一定的帮助作用。     

基于数据库的知识库管理系统

本文将数据库技术和专家系统相结合，采用关系数据库表示产生式规则。作为新型的数据库访问技术，简要介绍了ADO技术及其特点，重点介绍了ADO技术在专家系统中的应用。并利用ADO技术对知识库进行管理和维护，实现了知识的添加、删除、更新、刷新以及查询等功能。最后，用Visual C 语言实现了编程。     

一种基于框架和中间件模型的知识库系统

本文基于对知识库系统的分析、在现有的数据库管理系统上提出了一套规则、知识框架,并围绕框架构造一个专家系统中间件,以实现规则、知识库与数据库的结合,这套方案立足于利用常规开发工具（如：VB、VC、PB等）在数据库管理系统（如：Oracal、SQL、Server等）上开发集成专家系统的复杂MIS。     

基于数据库的燃煤锅炉事故诊断专家系统的设计与实现

采用MS SQL Server7．0设计知识库，Visual Basic 6．0编程实现了燃煤锅炉事故诊断专家系统。本系统知识表示采用了基于概率逻辑的产生式规则形式，并用数据库的方法存储管理知识库。推理机采用规则值的方法，并应用主观Bayes理论建立了不确定性推理模型。实现了一种较为理想的不精确推理。     

基于知识的统计报表校核系统STCS

本文介绍了一个实用的统计报表校核系统（STCS），它的开发采用人工智能和专家系统的技术。文中提出了校规则定义语言CEDL的表示方法，并重点讨论了系统的设计与实现。     

基于Web的飞机故障远程诊断专家系统的设计

介绍了在Web环境下利用数据库管理，人工智能等技术实现飞机故障远程诊断专家系统的方法，为飞机故障诊断提供了新的解决方案。     

一种基于Petri网思想的知识库的动态维护方法

本文研究了基于规则的专家系统知识库的维护问题，在添加一条新规则后，知识库可能出现矛盾规则，循环规则，冗余规则，从属规则等。文中详细给出了基于Ｐｅｔｒｉ网思想的对知识库进行维护的算法，进而决定是否添加该规则，从而保证了知识库的一致性，为专家系统进行正确推理，提高推理速度打下了坚实的基础。     

商业MIS框架生成系统的知识表示研究

商业ＭＩＳ框架生成专家系统（ＦＧＳＭ）包含的领域知识多而染。为了简明有效地组织表达知识,文中介绍了ＦＧＳＭ中知识的分类,并详细地讨论了每类知识的具体表示方法。系统运行表明,系统中的知识易于扩展和修改,具有较强的知识组织、表达和更新能力,提高了推理效率。