共查询到20条相似文献,搜索用时 62 毫秒
1.
2.
3.
在对授权代理模型深入分析的基础上,提出了一种基于约束的用户-用户授权代理模型,给出了该模型的构成要素和体系结构,并且详细描述了该模型的职责分离约束以及代理判定关系,并在判定关系中描述了角色基数约束、用户基数约束和权限基数约束,最后给出了代理实施策略. 相似文献
4.
5.
基于一致性的中心诊断及中心溯因诊断 总被引:7,自引:0,他引:7
本文对溯因诊断的过程和中心溯因诊断的过程进行了刻画。将求中心溯因诊断的过程清晰地分为与领域有关的冲突识别及与领域无关的候选产生两大步骤。不仅指出了基于一致性的中心诊断与中心溯因诊断之间的关系,而且论证了中心溯因诊断与本原蕴含/蕴含式的直接关系。显示出基于一致性的中心诊断空间和中心溯因诊断空间不仅可同时计算,而且可用ATMS这类算法来计算,从而将我们的理论结果与实现联系起来。 相似文献
6.
本文对基于模型诊断的过程进行了形式化,论证了它与本原蕴涵/蕴涵式的直接关系,从而将该理论结果与实现联系起来.进一步指出该结果具有一般性,不仅能够计算已知部件的部分故障行为方式时的基于模型的诊断,还能够计算已知每个部件的各种故障行为方式下的基于模型的诊断.以往对基于一致性的中心诊断过程、中心溯因诊断过程的形式化仅仅是文中所给出的形式化的特殊情形. 相似文献
7.
用辩论刻画含约束的诊断空间 总被引:1,自引:1,他引:0
在含约束的极小诊断故障部件的每个超集并非总能构成一个含约束的诊断。作者把基于模型的含约束的诊断比喻成一个辩论过程;一些部件可以指责某些部件出了故障;反过来这些部件也可以为自己辩护。在作者所建立的辩论框架下含约束的诊断空间得到了紧致的刻画。与相关工作相比,这种方法具有计算上的优势,它也可以解决极小诊断假设问题。 相似文献
8.
基于限定的溯因问题求解 总被引:2,自引:0,他引:2
溯因问题是人工智能中的一个重要研究方向,它在许多领域中有着广泛的应用,但在很多情形下,溯因解释的求取是非常困难的.本文提供一种基于限定理论的溯因解释求法,对于满足完备性公理和正原因假设的理论,可以证明其限定中的相容解释就是溯因解释,并且对Horn子句集给出具体的求解算法. 相似文献
9.
10.
复杂工业系统的故障原因定位可协助操作人员快速调整设备运行参数,保障生产高效稳定地运行.铝电解过程机理复杂且外部因素干扰多,信息具有不确定性特征,难以建立精确的定量模型,而定性分析的准确度不高.为此,本文针对铝电解溯因过程的层次性、相关性、不确定性的特点,构建了一种基于半定量概率图模型的溯因分析框架,将定量和定性分析相结合,通过不确定理论对信息进行处理和描述,采用图形符号可视化知识变量间的因果关系,再基于概率图模型的推理方法实现不确定性条件下的溯因诊断,为实现铝电解异常槽况的原因分析与定位提供了理论支撑. 相似文献
11.
针对工业过程控制系统中的故障具有类型多样、时空独立和非线性等特点,使得检测与诊断效率降低,系统性能下降等问题,提出了一种基于自定义多条件约束的多传感器故障检测与诊断机制;该机制,首先考虑了系统的稳态和时空特征建立了非线性过程控制系统多故障模型,并给出了满足条件判定法则;然后对于系统中的单故障,并发故障和通信故障等类型给出了多条件约束法则及独立特性判断;最后提出了通过自定义多条件约束的多传感器故障检测与诊断机制;实验结果表明,在平均检测概率、稳态特征保持能力和系统功耗等方面明显优于无条件约束的机制,可以显著改善过程控制系统性能. 相似文献
12.
This paper presents a novel approach to model–based diagnosis. The approach addresses the two main problems that have prevented model–based diagnostic techniques from being widely used: computational complexity of abduction and inadequacies of device models. A model for automated diagnosis is defined that combines (1) deduction to rule out hypotheses, (2) abduction to generate hypotheses, and (3) induction to recall past experiences and account for potential errors in the device models. A review of the three forms of inference is provided, as well as a detailed analysis of the relationship between case–based reasoning and induction. The proposed model for diagnosis is used to characterize diagnostic errors and relate them to different types of errors in the device models. Experimental results are then described and used to assert the practicality and the usefulness of the approach. The model presented in this paper yields a practical method for solving hard diagnostic problems at a reasonable computational cost and provides a theoretical basis for overcoming the problem of partially incorrect device models. 相似文献
13.
Fault diagnosis is very important for modern production technology and has received increasing theoretical and practical attention during the last few years. This paper presents a model-based diagnostic method for industrial systems. An online, real-time, deep knowledge based fault detection system has been developed by combining different development environments and tools. The system diagnoses, predicts and compensates faults by coupling symbolic and numerical data in a new environment suitable for the interaction of different sources of knowledge and has been successfully implemented and tested on a real hydraulic system. 相似文献
14.
15.
16.
17.
18.
N. Obeid 《Applied Intelligence》2001,14(2):213-230
The model-based diagnostic approach was first introduced to overcome the limitations of heuristic systems. However, research on model-based systems showed that the model-based diagnosis approaches resort to assumptions that can be viewed as the return, though controlled, of heuristics into diagnostic reasoning. In this paper we focus on diagnosis with component-oriented device models. We argue for the need to represent and reason with these assumptions. We present a conditional logic, DL, That is suitable for diagnostic reasoning and allows us to represent and reason with assumptions. 相似文献
19.
20.
带有空间特性角色约束 总被引:1,自引:0,他引:1
空间数据库系统和基于移动用户位置的信息服务系统对访问控制模型具有特殊要求--用户地理位置的变化通常会引起用户权限的动态变化.提出一个支持空间特性的角色访问控制模型Spatial-RBAC,详细讨论了在空间环境下的空间区域约束、空间职责分离约束和空间角色激活基数约束.这些约束分别用来控制角色分配、角色状态改变、角色权限分配和角色激活等操作,给传统的基于角色的访问控制模型增加了空间安全描述能力.在安全空间数据库应用中,为了有效地标识用户地理位置的变化,避免不必要的计算,还给出了判断用户当前扮演的角色集的有效作用域的算法,提高了Spatial-RBAC模型的实用性. 相似文献