基于值传递的快速故障诊断

本文提出了一种基于值传递的系统模型，重新定义了诊断，该定义与Reiter经典的诊断定义等价。在此基础上，给出了一种线性时间找到一个极小诊断的算法，该方法不需要计算极小冲突而直接得到极小诊断。该算法在给出诊断的同时，还给出了系统与该诊断对应的当前行为的一种合理解释。最后，给出了该方法与诊断测试结合实现系统修复的方法。     

含故障模式的值传递诊断及其完备性讨论

基于模型的诊断是人工智能领域一个活跃的研究方向.基于值传递的诊断是一种高效的故障诊断方法,但在一般情况下不完备,且系统模型仅描述元件的正常行为.扩充了基于值传递的系统模型,可以描述系统元件的多种故障模式;重新定义了诊断,明确了该模型下得到的诊断与一致性诊断和溯因诊断之间的关系;同时,指出了值传递与真实诊断的关系,为诊断测试提出了新的思路;最后,给出了值传递诊断方法的完备的充分条件,对推进值传递诊断方法的实际应用有积极意义.     

基于模型诊断的抽象分层过程

分层诊断是降低基于模型诊断计算复杂性的一个重要方法,在分层诊断中很重要的一步是构造系统的抽象分层模型,以往的分层方法都是建立在某一种特定抽象模型基础上,没有将抽象的一般理论与基于模型诊断中的分层过程相联系,并且对自动生成系统的分层表示方法也没有形式化的分析.KRA(Knowledge Reformulation and...     

面向组件的软件重用技术

围绕重用这个问题人们已经进行了大量的实践研究。随着面向对象技术的提出,面向组件的软件重用技术已成为近几年软件重用技术的研究的热点,它正改变着软件系统的开发方式。对重用技术、组件技术进行了简单介绍,对组件的模型进行了论述和研究,最后对软件重用作出了总结和展望。     

知识共享和重用技术与应用

知识共享和重用一直是DAI中众多科学家和学者们研究的重要问题，也是智能制造IMS和并行工程CE中的重要研究技术。本文从知识库结构、基于知识的系统的结构和开发模型以及知识交换语言三个方面介绍了知识共事和重用原理、方法以及在制造系统的应用。     

面向软件重用的领域分析过程

本文针对软件重用的难点,提出了把领域分析(DA:Domain Analysis)的主要过程作为建立可重用软部件的一个基础性先前步骤的观点,使得在DA基础上产生的软部件具有更高的可重用性。在分析现有可重用软件系统之后,着重给出了面向软件重用的领域分析过程模型。     

关于智能诊断中模型的构建和应用

在基于模型的诊断中,模型起着关键性的作用,模型的质量直接影响诊断的准确度和诊断的效率.因此诊断模型也成为人工智能研究青普遍关注的热点问题。长文对基于模型的诊断方法和该领域的最新研究成果做了全面的综述,重点介绍了构建诊断模型方面的研究成果,其中包括分级结构抽象方法、基于状态转换的历程重构方法、依赖于任务的定量抽象方法以及利用过程代数的描述方法等。此外,本文还对诊断模型的构建的研究提出了自己的观点和建议。     

基于数据和知识的工业过程监视及故障诊断综述

从复杂工业过程所可能具有的过程特性及数据存取过程中引入的数据特性分析出发,综述了具有复杂数据特性的工业过程的多元统计监视方法,并分别讨论了基于数据和基于知识方法进行故障诊断的优势、进展、适用范围及二者结合的可能.最后探讨了这一领域中值得进一步研究的问题和可能的发展方向.     

智能世界的建模与诊断

统一的抽象建模框架以及形式化表示可以帮助实现自动推理.随着物联网技术的发展,物理世界中嵌入了各种智能对象,改变了物理世界的部分特征,增加了建模和推理的复杂性.根据物联网带来的智能世界的特征,在知识重构与抽象模型(KRA模型)的统一建模框架基础上,提出了可区分的知识重构与抽象模型(dKRA模型).该模型通过3个相互关联的子模型及其之间的关系来表示智能世界,并给出相关定义和定理说明在所提出的模型框架内,可以将基于模型的诊断过程限制在一个(或多个)子模型中.研究内容侧重于系统设计阶段的模型验证,分别从理论和实验角度分析了基于智能世界dKRA模型的诊断过程时间效率的提高(与基于智能世界KRA模型的诊断过程相比).     

数学抽象度与抽象关系度

采用布尔矩阵的运算,给出了数学抽象度的代数算法,提出了抽象关系应的新概念并对其进行了研究,进一步发展了数学抽象应分析法理论,同时也给出了抽象关系度的代数算法,最后讨论了抽象物系统中的核。     

通过诊断图分析的快速诊断算法

基于模型诊断的主要思想是:根据系统的逻辑模型以及系统的输入,通过逻辑的推理理论能推导出系统在正常情况下的预期行为,如果观测到的系统实际行为与系统预期行为有差异,则说明系统存在故障.当系统故障时,可通过逻辑的推理理论来确定引发故障的元件集合.由于经典的基于模型诊断采用的是逻辑推理的手段来产生诊断集合,这导致了传统的基于模型诊断算法的效率非常低下.文中在原有模型诊断基础上,重新定义了诊断,并提出了一种用于诊断的诊断图的数据结构.在此基础上给出了一种基于诊断图分析的快速诊断算法.由于文中的诊断方法是一种过程化的方法,与Reiter的模型诊断的基于逻辑的方法有着本质的不同.因此,文中的方法能很好地克服经典模型诊断效率过低的问题,为诊断问题的求解带来新的前景.实验结果证明了这种新的诊断方法的高效性.     

基于费用划分的测试复用问题研究

针对传统的诊断策略分析方法对测试复用问题的描述与实际不相符的问题,通过将测试费用分解为测试过程费用和资源配置费用,且不同情况下费用的计算方法也不同的方式,解决了测试复用时的优选问题;同时,基于此费用划分,改进了以贪婪式算法为基础的诊断策略,并用案例证明了方法的有效性;文中所提出的诊断策略设计方法能得到更少的测试种类数和测试费用,从而优化测试性指标。     

基于内容二次聚类的关键帧提取算法

提出了一种基于内容二次聚类的关键帧提取算法。此算法在计算图像帧相似度时,通过分块给不同的块赋予不同的权值,以体现出图像在语义上的重点内容。同时,通过计算自适应阈值对视频进行初次聚类,并计算类间距离,在此基础上再进行二次聚类后得到最终类别,从每个最终类中选取距离类中心最近的图像帧作为关键帧。这种方法经过二次聚类后可克服一次聚类会出现冗余的缺点,实验证明,此算法提取的关键帧更全面、准确地体现了原视频的内容。     

语言的抽象、封装与变换型开发方法

该文提出了一种系统的软件开发方法——面向模型的变换型软件开发方法.这种方法把数据抽象的思想提高到语言抽象层次;把一类专用软件的规范抽象为语言的规范;把这类软件的实现抽象为语言的归约变换;用“规范+变换”抽象软件开发过程.为支持这种方法,提出了语言的一种抽象与封装机制Garment,以此定义语言中各成分的语法和语义,描述语言间的继承、屏蔽和扩充关系.最后,以语言知识库为核心,简要介绍了支持用Garment进行变换型开发的系统结构和工作流程.     

面向重用的软件开发价值链

软件重用可有效地降低软件开发过程中的成本并提高开发资源的利用效率,本文在价值链的形式化概念与元模型的基础上,通过对面向重用的软件开发过程与传统开发过程的特征比较,对面向开发过程的软件开发价值链进行了定义,该价值链在重用已有软件资产的基础上将开发过程中的不同环节、角色和活动进行了系统的集成,通过建立软件开发过程价值增值矩阵和度量指标体系,对软件开发过程中的增值活动进行了定量化的分析,并证明了面向重用的软件开发过程具有更高的价值增值.