广义因果理论的基于模型的诊断

最近,许多学者意识到了将因果关系这一概念应用于基于模型的诊断领域的重要性。然而,他们的研究只局限于简单因果理论。文中提出的广义因果理论包容了更多的信息。文中指出：广义因果理论的诊断空间小于等于相应简单因果的诊断空间。并给出了当待诊断系统的模型为广义因果理论时的基于模型的诊断、基于模型的实质诊断等概念,论证了基于模型的实质诊断与本原蕴含／蕴含式的直接关系,从而将文中的理论结果与实现联系起来。文中进一     

对基于模型的诊断过程的形式化

本文对基于模型诊断的过程进行了形式化,论证了它与本原蕴涵/蕴涵式的直接关系,从而将该理论结果与实现联系起来.进一步指出该结果具有一般性,不仅能够计算已知部件的部分故障行为方式时的基于模型的诊断,还能够计算已知每个部件的各种故障行为方式下的基于模型的诊断.以往对基于一致性的中心诊断过程、中心溯因诊断过程的形式化仅仅是文中所给出的形式化的特殊情形.     

基于知识的数据自动分布模型*

基于松散耦合的多处理机系统(DMS)的发展，要求有相应的并行软件工具的支持，而在目前的大多并行软件系统中，用户必须显式给出顺序执行程序的划分方法以及在DMS中不同处理器上的分配算法．针对这一问题，本文首先介绍了一种基于知识的数据自动分布模型(KBDM)，以期对程序的划分和分布问题提供自动的支持，然后讨论了KBDM设计的主要思想，并给出该模型主要部件的详细描述。     

一种用于基于知识系统开发的形式化模型*

LKo是一个将面向对象和逻辑范型相结合，用于基于知识系统的形式化开发模型，其中逻辑对象是集状态、约束、行为、继承于一体的抽象实体．它支持框架、规则、语义网络、黑板等多种知识表示，因而可用来形式地描述基于知识系统的需求规范．在知识获取过程中通过对形式规范反复地修改、验证及确认而形成软件原型．     

基于模型的诊断专家系统

比较了基于规则的诊断方法与基于模型的诊断方法的不同，介绍了构成基于模型的诊断专家系统的基本要素，通过一个实例介绍了基于模型的诊断方法的应用过程。     

对象形式语义模型*

在面向对象的软件构造中，对象被视为软件系统的基本构件本文给出一个对象形式语义模型，对象被定义为封装属性和行为的实体，对象行为必须满足给定的静态约束和时序约束；基于对象态射，本文给出对象聚合、特化、继承和对象类等概念在此语义模型框架中的解释。     

基于弹簧质点模型的二维/三维映射算法*

提出了一种用于服装设计的二维/三维映射算法.该算法基于弹簧质点变形模型,服装裁剪片二维到三维映射及三维到二维映射可以在该模型中得到统一的实现.在服装裁剪片二维到三维的映射过程中,二维裁剪片被放置在人体模型附近的初始位置,在缝合力的作用下,裁剪片自动变形并缝合到人体模型上.在服装裁剪片三维到二维映射的过程中,三维裁剪片被初始映射到指定的平面内,在弹性变形力的作用下,逐步变形并得到最终的二维裁剪片.在进行服装裁剪片二维到三维映射的过程中,考虑了干涉检验的问题.     

管理信息系统中的面向对象体系模型*

本文采用面向对象的思想提出了描述管理信息系统(MIS)的一种体系模型，给出了在软件开发过程中如何获取体系模型中各组成部分的准则和方法，并应用于实际开发项目中．     

基于面向对象技术的多媒体作品管理模型*

WNCH(works,node,content,botspot)模型是根据多媒体作品的作者和读者相统一的认知观点和多媒体作品的特点，采用超文本方式，结合面向对象方法设计的多媒体作品管理与组织模型，本文分析了多媒体作品的一般性特点，介绍了当前多媒体信息模型的典型例子，并着重讨论WNCH模型的组织、设计、表示能力及在多媒体作品管理(创作、阅读和导航)中的应用．     

基于局部优先的汉语句法分析方法*

提出了一种利用局部优先信息对汉语分析算法进行优化的新方法,通过利用从语料库中自动获取的结构优先关系数据作为优先判断依据.此方法使目前的汉语概率分析器的整体效率提高了近30%,显示了很好的应用前景.     

基于一致性的中心诊断及中心溯因诊断

本文对溯因诊断的过程和中心溯因诊断的过程进行了刻画。将求中心溯因诊断的过程清晰地分为与领域有关的冲突识别及与领域无关的候选产生两大步骤。不仅指出了基于一致性的中心诊断与中心溯因诊断之间的关系，而且论证了中心溯因诊断与本原蕴含／蕴含式的直接关系。显示出基于一致性的中心诊断空间和中心溯因诊断空间不仅可同时计算，而且可用ＡＴＭＳ这类算法来计算，从而将我们的理论结果与实现联系起来。     

Strategies in Model-based Diagnosis

The ability to select suitable diagnostic assumptions and models extends the power of model-based diagnosis for complex systems and can explicitly be modeled by diagnostic strategies. We discuss a framework that allows one to express these strategies as formulas of a meta-language and present a method for designing strategy knowledge bases as well as an efficient straightforward operational semantics for exploiting them.     

基于模型诊断的改进贝叶斯方法

基于模型诊断是针对系统或设备的行为和结构建立模型,从而进行诊断的.但是基于模型诊断的方法存在不确定性问题,诊断的结果可能为一组故障部件.为解决不确定性问题,很多学者在基于模型诊断中使用了概率的方法,利用待诊断设备组成部件的故障概率信息来寻找最可能的诊断.通过对模型诊断中存在的不确定性问题的深入研究,在基于模型诊断中提出了概率的贝叶斯解释,从而利用后验概率形式量化了元件故障的可能性的衡量标准,并且改进了计算元件后验概率的方法,分析了改进后算法的复杂性和完备性,证明了改进后的方法降低了时间和空间的复杂性.实验结果表明,改进后算法的执行效率较原有的算法有明显的提高,且有些问题可以提高两个数量级.     

溯因推理问题的碰集求解方法

溯因推理为归纳与演绎推理之外的另一种重要的推理形式,在人工智能等领域有着广泛的应用.通俗地讲,溯因推理是从观察(结果)去推断原因的推理过程.不同于以往的研究思路,通过使用本原蕴含式和素蕴含,证明了可以把命题逻辑和命题模态逻辑系统S5中求溯因问题的极小解释转化为求对应集合的极小碰集问题.给出了求解溯因问题的一种新方法.     

一种基于贝叶斯网络的模型诊断方法

提出一种结合贝叶斯网络进行基于模型诊断的方法.在基于模型诊断的基础上,建立了元件状态模型,并将诊断模型转换为贝叶斯网络,利用团树算法求解征兆产生时系统状态的后验概率,再通过计算边缘分布获得元件故障概率.最后给出一个数字故障电路的实例,在Matlab上进行推理,得到了精确的概率值,验证了该方法的有效性.     

基于模型的传感器故障诊断技术的研究

传感器故障诊断技术的研究对提高系统可靠性具有重要的意义,随着工程应用的需要,基于模型的诊断技术已经成为该领域极为活跃的研究方向。本文给出基于模型的传感器故障诊断技术的一般原理,并基于线性模型给出一类传感器故障诊断方法,可对多传感器故障进行精确定位,最后给出一个二阶系统的算例。本方法具有极大的工程实用价值。     

A Model-based Integration and Testing Method to Reduce System Development Effort

New methods and techniques are needed to reduce the very costly integration and test effort (in terms of lead time, costs, resources) in the development of high-tech multi-disciplinary systems. To facilitate this effort reduction, we propose a method called model-based integration. This method allows to integrate formal executable models of system components that are not yet physically realized with available realizations of other components. The combination of models and realizations is then used for early analysis of the integrated system by means of validation, verification, and testing. This analysis enables early detection and prevention of problems that would otherwise occur during real integration, resulting in a significant reduction of effort invested in the the real integration and test phases. This paper illustrates how models of components, developed for model-based integration, can be used for automated model-based testing, which allows time-efficient determination of the conformance of component realizations with respect to their requirements. The combination of model-based integration and model-based testing is practically illustrated in a realistic industrial case study. Results obtained from this study encourage further research on model-based integration as a prominent method to reduce the integration and test effort.     

离散事件系统基于模型诊断的研究进展

近年来,针对离散事件系统的基于模型诊断方法在大型通讯网络、电网故障诊断等领域获得了成功应用,成为人工智能与控制工程领域的热门研究课题。介绍了针对离散事件系统的基于模型诊断的基本思想与建模方法,从不同的角度对使用自动机建模的各种主要诊断方法进行了评析与比较;讨论了系统可诊断性判定方法的研究进展。从系统建模、分布式在线诊断、不完备模型下的诊断以及系统实现等方面,展望了针对离散事件系统的基于模型诊断领域中有待解决的问题。