用布尔代数方法计算最小碰集

在基于模型的诊断中，模型一般都是用布尔代数来表示，而计算碰集(hitting sets)则采用HS-树或图，这就使得诊断系统采用多种不同的数据结构，给编程实现带来了不便．本文用布尔代数变量表示待诊断系统的部件，并给出了用布尔代数直接计算最小碰集的算法．数据结构更为简单，只需要布尔表达式，相当于字符串，效率上比其他的一些研究结果也要好，同时可克服丢失正确解的问题，具有通用性．     

一种基于模式的故障诊断方法

提出一种改进的基于模式的故障诊断方法。将故障定义为可以用正则表达式描述的模式,避免了传统的用 “特殊”事件表示故障的局限性。将正则表达式转化成等价的确定性有限自动机,便于构造故障模式空间。故障模式 空间包含系统所有的故障信息,可以描述单故障、故障序列、多故障、间歇性故障等多种故障形式。最后给出基于故障 模式空间的可诊断性定义和诊断系统。     

用辩论刻画含约束的诊断空间

在含约束的极小诊断故障部件的每个超集并非总能构成一个含约束的诊断。作者把基于模型的含约束的诊断比喻成一个辩论过程;一些部件可以指责某些部件出了故障;反过来这些部件也可以为自己辩护。在作者所建立的辩论框架下含约束的诊断空间得到了紧致的刻画。与相关工作相比,这种方法具有计算上的优势,它也可以解决极小诊断假设问题。     

基于LER支配集的MPLS网络拓扑聚合策略

MPLS技术通过建立标签交换路径(LSP)，并对具有不同转发等价类的数据流分配标签进行转发。聚合可以减少LSP的建立和维护开销，对于网络的扩展性具有重要的意义。本文提出了一种基于标签边界路由嚣(LER)支配集的拓扑聚合方案，采用分布式LER支配集构造法以减少建立LSP时出口节点的数量，从而在MPLS网络中形成一个聚合的虚拟骨干拓扑，可以对具有不同出1：2LER的LSP进行聚合，达到减少LSP的目的。同时支配LER的冗余性可以作为LSP的保护备份，因此使MPLS网络的具有较好的可扩展性和健壮性。     

一种新型车载控制及诊断系统部件设计

新型车载控制及诊断系统部件是高速磁浮窄车体车载控制及诊断系统中的重要单元设备，其功能是将来自车载安全计算机的与安全相关的控制指令发送给车辆子系统，并将子系统发送的状态监视信号反馈给车载安全计算机。为保障控制及诊断系统的安全可靠运行，新型车载控制及诊断系统部件采用冗余架构及模块化设计，形成双重冗余的架构，使设备达到了高度稳定，并且简化了电路设计，还可通过编程及诊断软件进行逻辑功能调试和故障诊断。     

基于BP网络的香烟包装质量在线检测与诊断

在生产香烟包装纸的过程中,需要对包装图案质量进行在线检测。本文针对香烟包装图案的特点,提出了一种基于BP网络的在线检测和诊断包装纸质量的方法。首先,采集典型的包装图案样本,建立足够数量的样本特征集。然后精心选择一个BP网络结构,利用样本集对该网络反复进行训练、测试和优化,最终得到一个合适实用的BP诊断网络。实验表明,基于该BP网络的诊断系统能够满足质量检测的要求,可用于包装纸质量的在线诊断。     

基于通用比较模型的t-可诊断系统的特征化及并行诊断算法

文中介绍了一种系统级故障诊断模型－－通用比较模型,该模型处理器作为自身的比较器,综合经典的ＰＭＣ模型和Ｍａｅｎｇ／Ｍａｌｅｋ模型的优点,基于该报多处理器系统的ｔ＿可诊断性问题,给出了ｔ＿可诊断系统的特征化,证明了一个系统成为ｔ－可诊断系统的新的充分必要条件,其次,证明在通用比较模型中,确定故障顺集的问题等价于求解一个超图的最小横切集（Ｍｉｎｉｍｕｍ ｔｒａｖｅｒｓａｌ）,该超图是根据多处理器的通信     

安全协议的等价性问题

研究了安全协议的等价性问题,提出了安全协议等价的概念。把每个安全协议的消息和目标分别形式化为表达式集,通过一个算法分别求各表达式集合的最一般代换。如果最一般代换都存在,说明安全协议是等价的,反之则说明安全协议是不等价的。利用安全协议集合上的等价关系,可以划分出安全协议等价类,从而减少了需研究的安全协议的数量。     

粗集在医疗诊断知识支持中的应用

医疗诊断需要医生的临床经验,开发辅助诊断系统具有重要的意义。大量的病历蕴涵专家丰富的诊疗知识,但长期以来得不到充分的开采利用。而粗集是约简决策表、挖掘知识的新方法。文章以ICU医疗诊断辅助系统为例,设计了一个基于粗集的医疗诊断知识支持工具。     

基于思维进化的蚁群算法在典型生产调度中的应用

为基于模型的诊断系统设计建立了一个基本理论框架。以系统模型为基础,生成一组诊断测试,并以之代替系统模型而建立了一个基于测试的诊断系统。从完备和可靠性两方面证明了以测试为基础的诊断系统的诊断能力与基于一致性的诊断系统是相同的。     

网上群体综合诊断支持系统的理论与方法

该文从当前诊断工程实践出发,论述了大型机械设备网上群体诊断支持技术的思想,提出并系统研究了网上群体诊断支持系统的基本原理、数学模型和通用结构,给出了一个实用的大型机械设备网上远程诊断处理支持中心的总体构架和方案。     

制造型企业财务诊断系统的设计与实现

企业的自我诊断与评价方法的研究,对实现我国的现代化企业管理有十分重要的意义。该文介绍了制造类企业的自我诊断与评价方法系统的功能结构与开发环境,讨论了财务诊断子系统的功能设计,数据库没计和接口设计的实现,并重点分析了财务诊断的功能设计思想与实现方法。     

基于B/S结构的远程故障诊断系统的研究

分析了基于Internet的远程故障诊断系统的可行性，优越性．介绍了诊断系统的Browser／Server体系结构，简述了远程故障诊断的系统框架和主要功能模块，同时指出了诊断系统的自学能力特点．系统自我完善、自我更新的智能化功能。     

Consistency-based diagnosis of configuration knowledge bases

Configuration problems are a thriving application area for declarative knowledge representation that currently experiences a constant increase in size and complexity of knowledge bases. Automated support of the debugging process of such knowledge bases is a necessary prerequisite for effective development of configurators. We show that this task can be achieved by consistency-based diagnosis techniques. Based on the formal definition of consistency-based configuration we develop a framework suitable for diagnosing configuration knowledge bases. During the test phase of configurators, valid and invalid examples are used to test the correctness of the system. In case such examples lead to unintended results, debugging of the knowledge base is initiated. Starting from a clear definition of diagnosis in the configuration domain we develop an algorithm based on conflicts. Our framework is general enough for its adaptation to diagnosing customer requirements to identify unachievable conditions during configuration sessions.A prototype implementation using commercial constraint-based configurator libraries shows the feasibility of diagnosis within the tight time bounds of interactive debugging sessions. Finally, we discuss the usefulness of the outcomes of the diagnostic process in different scenarios.     

基于Midas的实时远程监测与诊断系统的开发

文章以网上多层分布式数据库技术Midas为基础,提出基于Internet的机械设备实时远程监测、信息获取、信号分析、故障诊断与控制模型,并给出其系统的实现方法。     

CORBA事件服务在分布式远程诊断系统中的应用研究

针对现有分布式诊断系统所存在的同步通信性能差、缺乏并行处理能力和系统的可扩展性差的问题,引入了新的分布式远程诊断系统的体系结构和CORBA 的事件服务技术。重点讨论了CORBA 的事件服务如何运用于非耦合异步报警、并行计算以及增强系统的可扩展性, 并且介绍了事件服务的推模型、拉模型以及事件通道的实施细节。CORBA 的事件服务改善了远程诊断系统的性能、通信的可靠性和可扩展性。这些方法已成功地应用于工业实际。     

On-Line Monitoring of Large Petri Net Models Under Partial Observation

We consider a Petri Net model of the plant. The observation is given by a subset of transitions whose occurrence is always and immediately sensed by a monitoring agent. Other transitions not in this subset are silent (unobservable). Classical on-line monitoring techniques, which are based on the estimation of the current state of the plant and the detection of the occurrence of undesirable events (faults), are not suitable for models of large systems due to high spatial complexity (exponential in the size of the entire model). In this paper we propose a method based on the explanation of plant observation. A legal trace minimally explains the observation if it includes all unobservable transitions whose firing is needed to enable the observed transitions. To do so, starting from an observable transition, using backward search techniques, a set of minimal explanations is derived, which are sufficient for detecting whether a fault event must have occurred for sure in the plant or not. The technique also allows production of a set of basis markings for the estimation of the current state of the plant. The set of all possible current markings can then be characterized as the unobservable reach of these basis markings. The computational complexity of the algorithm depends on the size of the largest connected subnet which includes only unobservable transitions. This allows monitoring of plants of any size in which there is no large unobservable subnet. We also illustrate the applicability of the method for the monitoring of a class of infinite state systems, unbounded Petri Nets with unobservable trap circuits, and we show how this can be useful for distributed implementations.

网络化的在线诊断、故障隔离、动态重组技术

旨在不增加网络成本的前提下提高网络的可靠性，其主要方法是：通过网络的在线化检测并诊断出网络运行中出现的各种故障，进而对出现故障的部件进行有效的隔离以避免故障的传播，随之对其进行及时的修复，从而保证整个网络在出现故障的条件下仍能正常工作。     

造纸过程纸张定量传感器故障诊断方法研究

本文介绍一种作者提出的容错型纸张定量传感器的原理及性能，给出了应用卡尔曼滤波器的传感器故障诊断算法，与容错型纸张定量传感器结合，实现了对传感器部分部件故障的容错，从而提高了传感器的可靠性。仿真实验结果表明，文中所给的故障诊断方法能及时准确探明和隔离出传感器故障。     

动力锂电池组及管理系统的故障诊断

锂电池作为电动汽车能源系统的核心部件,及时检测到故障以及准确定位故障源直接关系到电动汽车的安全运行。介绍了一种自主开发的具有故障诊断功能的锂电池管理系统,实现了对电池组、充/放电电路及电池管理系统全面的故障诊断,有效提高了电动汽车能源系统的可靠性,对于保障整车安全可靠运行具有重要意义。