多级安全数据库系统的推理分析

介绍了多级安全数据库系统的推理问题,及用于推理的信息来源和方法策略;研究并分析了目前在多级安全数据库系统中推理问题的成果：推理的形式化,数据库设计中的推理控制技术,数据库系统运行时的推理控制方法,以及数据级的推理控制方法,并指出了各个方法的局限性.     

动态多级安全数据库系统(DMSDS)的设计与实现

该文描述了在ＯＲＡＣＬＥ环境下实现的基于约束处理的细粒度动态多级安全数据库系统（ＤＭＳＤＳ）中所实施的多级安全模型，并介绍了实现该模型所进行存取控制、安全等级分派等模块的设计和实现。     

多级安全数据库中推理控制功能的设计及实现

为在数据库安全增强工作中如何进行推理控制给出了一种较为完整的解决方案.     

多级安全关系数据库系统审计功能的设计

本文简要地介绍了多级安全关系数据库系统和计算机系统的审计，强调指出了多级安全关系数据库系统审计功能的设计必须遵循多级安全策略，并就审计粒度的选择，审计开关和阈值的设置，审计日志的维护和查询等方面的设计作了详细的讨论。     

多级安全数据库中推理控制功能的设计及实现鄢

为在数据库安全增强工作中如何进行推理控制给出了一种较为完整的解决方案。     

多级安全关系数据库技术及现状

本文从多级安全关系数据库的概念、安全数据模型和系统结构等方面介绍了多级安全关系数据库的技术和现状。     

多级安全关系数据库系统的分析和设计

本文论述了多级关系数据库系统的一些基本问题,并介绍了一个新的多级安全关系数据库管理系统ＳＤＢ／Ｐ的设计。     

一个用于多级安全关系数据库系统的改进Bell La Padula模型

本文简要地介绍了用于安全计算机系统的Ｂｅｌｌ Ｌａ Ｐａｄｕｌａ模型,根据关系数据库中数据对象的逻辑关系,提出了一个用于多级安全关系数据库的Ｂｅｌｌ－Ｌａ Ｐａｄｕｌａ模型的改进模型,改进模型对原模型的系统状态、公理和状态转换规则进行了修改,证明了修改后的状态转换规则是“安全保持”和“性质保持”的,并证明了经改进后的模型所给出的系统是安全的。     

动态多级安全级模型及其应用

针对采用传统MLS模型实现的系统可用性和灵活性较低的问题,提出了一种基于动态安全级的MLS模型Dynamic MLS。模型使用由流入信息最高安全级和流出信息最低安全级组成的动态安全级代替传统BLP模型中的当前安全级,并依此对主体访问客体的行为进行更灵活的控制。模型在BLP模型11条规则的基础上对其中的5条规则进行了改进,并通过形式化方法证明了改进模型的正确性。最后给出了模型在增加linux系统安全性方面的应用。     

多级安全关系数据库技术及现状

本文从多级安全关系数据库的概念、安全数据模型和系统结构等方面介绍了多级安全关系数据库的技术和现状。     

基于属性关联的数据库推理控制

数据库推理控制问题是数据库安全研究的重要组成部分．采用属性统一的描述敏感信息，通过属性间的关联关系刻画了对敏感信息进行推理的一般过程．研究了推理通道的检测方法和两阶段的推理控制策略．提出了一种通用的基于属性关联的有效和完备的推理控制方法．并给出了相应算法．     

安全数据库中的推理控制初探

通过对多级数据库管理系统的深入研究发现,在多级安全数据库中存在多种间接方式导致信息由高级流向低级,因此有必要对数据库进行推理分析,在数据库管理系统实现与多级数据库系统设计时,就可以充分考虑到数据之间的内在联系,做出适当的约束安排,从而尽量避免推理通道的出现。     

安全数据库中的推理控制初探

通过对多级数据库管理系统的深入研究发现,在多级安全数据库中存在多种间接方式导致信息由高级流向低级,因此有必要对数据库进行推理分析。在数据库管理系统实现与多级数据库系统设计时,就可以充分考虑到数据之间的内在联系,做出适当的约束安排,从而尽量避免推理通道的出现。     

提高推理效率的知识库重组研究

本论文主要提出了一种提高推理效率的方法——知识库重组,这种方法通过缩小推理范围来提高推理效率。文中对知识库结构和基于这种结构的知识库重组思想及其过程进行了详细讨论。     

提高推理效率的知识库重组研究

本论文主要提出了一种提高推理效率的方法--知识库重组,这种方法通过缩小推理范围来提高推理效率.文中对知识库结构和基于这种结构的知识库重组思想及其过程进行了详细讨论.     

决策蕴涵上的推理规则和推理过程研究

形式概念分析是用于概念分析和可视化的偏序集理论。决策蕴涵是形式概念分析在决策情形下的知识表示。已有研究从逻辑角度分析了决策蕴涵,并给出了完整的语义描述和语构描述,其中在语构方面已经有一个完备的推理规则集,即扩增推理规则和合并推理规则。在此基础上,提出了新的推理规则——后件合并推理规则,证明了其合理性,以及与扩增推理规则组成的推理规则集的完备性和无冗余性;通过研究扩增推理规则和后件合并推理规则的性质,给出了使用这两条推理规则从完备集推导其对应封闭集的有效方法等理论结果,为进一步的算法研究与应用以及更深入的理论研究工作奠定基础。     

一种模糊知识库系统及其推理机制研究

介绍了一种具有模糊推理机制的模糊知识系统的基本结构、知识表示和推理机制,阐述了在模糊知识库设计与实现中,模糊推理机构造和工作流程设计的方法。该系统推理机制是基于传统RETE算法的扩展,通过使用相似性方法来处理模糊问题,实现了一种较为理想的不确定性推理;同时系统采用正向和反向推理相结合的双向推理机,使推理具有较高的准确性。最后给出了一个实例验证系统可行性。     

基于认知结构的推理网络及其在数据挖掘中的应用

给出了一种从采样集合中自动建立认知推理网络的方法,试图解决数据挖掘问题中的知识获取和知识表达的瓶颈。给出了两个算法用于自动处理学习和建立基于认知结构的不确定推理网络。利用一些实验数据进行了计算机实验,并对实验结果进行了分析。然后将该方法与相关工作进行了比较;最后对所做的工作进行了总结并指出了进一步的研究方向。     

一个基于不精确推理模型和双向推理机制的高档微机故障诊断专家系统MCES-2

该文简要介绍了采用ＰＤＣｐｒｏｌｏｇ语言开发的一个高档微机故障诊断专家系统。该系统基于一种新的不确定推理模型,采用正反双向推理机制综合进行高效推理,不仅提供了智能的知识获取工具,而且还具有时推理过程的解释和帮助机制。该系统将推理机与知识库相分离,实现动态模块化的知识库管理与分层推理,并且具有清晰美观、便于操作的人机界面,可以方便地实现对两大故障类、八大故障部位进行有效合理的诊断。     

贝叶斯网络推理的研究与分析

贝叶斯网络是人工智能中不确定知识表示和推理的有力工具.介绍了贝叶斯网络的概念,给出一个实例,分析了贝叶斯网络推理的方法和过程.