首页 | 本学科首页   官方微博 | 高级检索  
相似文献
 共查询到19条相似文献,搜索用时 296 毫秒
1.
基于模型诊断的分步求解   总被引:3,自引:0,他引:3  
对诊断问题的分解进行研究,给出了候选诊断的分解与组合定理.在此基础上,提出了利用分步求解方法实现诊断分解的算法,并对算法的正确性、完备性和复杂性进行了证明.实验结果表明,分步求解方法明显提高了包含多个输出的系统的诊断效率.与利用变量假定例化值分解诊断问题的方法相比,该算法能提高了效率并且扩大了适用范围.  相似文献   

2.
ACUN理论是异或算子代数性质的刻画.基于联合理论合一化问题的优化分解算法和高斯消元法,本文给出了ACUN理论一般合一化问题的合一化算法  相似文献   

3.
利用元件替换测试求诊断   总被引:1,自引:0,他引:1  
李占山  王涛  孙吉贵  林海  冯果忱 《软件学报》2005,16(9):1599-1605
主要填补了对系统参量不可观测或观没成本高的诊断测试研究这一空白,提出了替换测试荼为诊断测试一种新的可选择方法.在提出相关替换测试要领的基础上,利用元件替换对系统观测值的影响刻画了诊断的判定、利用正常元件替换几个子系统交集元件分解待诊断系统的方法.其结果能够改善诊断与测试的效率、降低诊断成本,并为研究诊断总是分解提供理论依据.  相似文献   

4.
刻画基于模型的中心诊断*   总被引:3,自引:0,他引:3  
虽然对基于模型的诊断存在一系列不同的逻辑定义,但所幸的是存在一个统一的抽象定义,它概括了以往的不同定义.在该定义基础上提出了基于模型的中心诊断的概念.通过刻画基于模型的中心诊断过程,论证了基于模型的中心诊断与本原蕴含/蕴含式的直接关系,从而将其理论结果与ATMS(assumption-based truth maintenance system)这类算法联系起来.进一步指出,对基于一致性中心诊断的刻画仅仅是文中所给出的刻画的一个特殊情形.  相似文献   

5.
近年来,基于矩阵低秩表示模型的图像显著性目标检测受到了广泛关注。在传统模型中通常对秩最小化问题进行凸松弛,即引入最小化核范数将原始输入图像分解为低秩矩阵和稀疏矩阵。但是,这种方法在每次迭代中必须执行矩阵奇异值分解(SVD),计算复杂度较高。为此,本文提出了一种低秩矩阵双因子分解和结构化稀疏矩阵分解联合优化模型,并应用于显著性目标检测。算法不仅利用低秩矩阵双因子分解和交替方向法(ADM)来降低时间开销,而且引入分层稀疏正则化刻画稀疏矩阵中元素之间的空间关系。此外,所提算法能够无缝集成高层先验知识指导矩阵分解过程。实验结果表明,提出模型和算法的检测性能优于当前主流无监督显著性目标检测算法,且具有较低的时间复杂度。  相似文献   

6.
提高产品成本估算模型精确度的关键技术是如何进行原始数据的预处理和诊断。对成本原始数据进行了时间价值和学习曲线效应的修正,并采用矩阵的奇异值分解和方差分解比诊断法进行数据的多重共线性诊断,分别采用帽子矩阵法和剔除后的t化残差进行自变量、因变量异常值诊断,用库克距离进行强影响值的诊断,保证了模型所用数据满足要求,提高了模型的精度。  相似文献   

7.
为对实时传值系统进行模型检测,本文给出了时间符号迁移图作为系统的建模语言,以及实时谓词μ演算作为刻画性质的逻辑语言。本文给出了基于时间符号迁移图和实时谓词μ演算的一个模型检测算法,该算法动态生成和检测可达的状态空间,并且采用对数据变量on—the—fly实例化以及动态切分时间计值集合的方法,是一个局部算法。该算法不仅能处理基于有限域的变量,还可处理一类数据域无穷的变量(称“数据无关”变量)。  相似文献   

8.
利用结构信息的故障诊断方法   总被引:14,自引:0,他引:14  
基于模型的故障诊断方法是重要的故障诊断方法之一,该方法主要的问题就是如何求得所有的诊断.该文利用系统的结构信息,给出了求极小冲突集的一个算法,证明了算法的正确性,分析了算法的复杂性;然后介绍了如何由极小冲突求得诊断.其次,还给出了利用结构信息直接求诊断的一个算法,证明了其正确性.最后与相关工作进行了比较.该文给出的算法,对于一些特殊结构的系统可在多项式时间内结束.  相似文献   

9.
一个基于模型的故障诊断算法   总被引:1,自引:0,他引:1  
刘瑞国 《微计算机信息》2007,23(13):219-221
基于模型的诊断方法是重要的故障诊断方法之一,本文首先分析了现有的基于模型的故障诊断的优缺点,指出了这些方法的不足之处,然后再对这些方法进行了改进。因为求诊断问题是针对受限语言的,所以我们只求受限语言的质蕴含项,并且在算法中增加了极小性检查,以确保得到的结论都是质蕴含项,在此基础上给出了一个基于模型的诊断算法。  相似文献   

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

11.
We study the tradeoff between network utility and network lifetime using a cross-layer optimization approach. The tradeoff model in this paper is based on the framework of layering as optimization decomposition. Our tradeoff model is the first one that incorporates time slots allocation into this framework. By using Lagrangian dual decomposition method, we decompose the tradeoff model into two subproblems: routing problem at network layer and resource allocation problem at medium access control (MAC) layer. The interfaces between the layers are precisely the dual variables. A partially distributed algorithm is proposed to solve the nonlinear, convex, and separable tradeoff model. Numerical simulation results are presented to support our algorithm.  相似文献   

12.
远程故障诊断对提高飞机飞行安全、降低诊断和维护成本、建立更好的飞机维护环境具有重要作用,在远程故障诊断过程中,面对复杂的诊断任务和冗余、不确定的决策如何做出合理的任务分解和最优的诊断决策是个重要的研究课题。以提高诊断效率和可靠性,本文提出了一种基于故障树模型的任务分解与决策融合方法。首先,描述了多资源远程诊断任务分解问题;其次,建立了基于故障树最小割集的诊断任务分解机制;最后,提出了基于D-S证据理论的决策级信息融合方法,并通过实际算例验证了任务分解和决策方法的可行性。  相似文献   

13.
为分布内存系统开发的并行编译器碰到的第一个问题就是如何分解一个应用程序中的数据。由于访问非本地节点上数据的代价是昂贵的,所以数据分解必须仔细考虑。尽管数据分解的定义已被提出,但是文献并没有给出相应的算法.本文介绍了在一个已被证明且功能强大的数学模型下如何产生数据分解代码的算法,并在SUIF(Stanforduniversityintermediateformat)系统中的Paraguin编译器上得到实现。  相似文献   

14.
Distributed Problem Solving (DPS) is defined as the cooperative solution of problems by a decentralized and loosely coupled collection of problem solvers (agents), each of them knowing how to execute only some of the necessary tasks. This approach considers the problem-solving process as occurring in three phases: problem decomposition, subproblem solution, and answer synthesis. In the problem decomposition phase, one has to determine which tasks will be executed by each agent and when. One of the key research questions in the problem decomposition process is how to decompose a problem in order to minimize the cost of resources needed for its solution. In this article, we construct mathematical programming models in order to describe the decomposition process under the above criterion, study its complexity, and present exact and heuristic algorithms for its solution. Our work was motivated by the operation of an actual system that can be considered as a distributed problem solver for the assessment of irrigation projects design.  相似文献   

15.
针对近似空间笛卡尔积粗糙集模型及其可分解性问题,采用直觉模糊三角模算子构成新的直觉模糊积近似空间,研究了基于直觉模糊知识粒下积粗糙集模型的分解及合成问题。首先,运用直觉模糊三角模运算构造出新的直觉模糊关系,验证了其符合等价关系的条件,并给出新的等价关系的算法原理;其次,构建了直觉模糊积粗糙集模型,对其模型结构及数学特性进行了研究,并给出了积粗糙集的生成算法原理;最后,逆向研究直觉模糊知识粒的分解问题,证明了针对模糊知识粒度分解而提出的猜想。文章旨在对直觉模糊积粗糙集模型的分解与合成机制进行理论探索,为粗糙集理论的进一步扩展研究提供新的思路。  相似文献   

16.
基于Agent的P2P协同计算任务的分解   总被引:6,自引:0,他引:6  
鲍宇  王治国  解辉军 《计算机工程》2005,31(20):135-137,222
提出了基于Agent的P2P协同计算模型,给出了一种组织分散的计算资源的行之有效的方法,解决了分布计算中的各计算实体之间的协作问题。基于合同网的资源协商方法帮助建立任务协作网络;基于元组空间的任务分解与协作,能有效地组织Agent进行任务的计算,解决任务的分解、分配和协作问题。  相似文献   

17.
预测控制算法的计算复杂度主要由变量个数和控制时域决定, 而大型复杂系统中变量个数较多将导致计 算量大的问题, 尤其在有约束预测控制的优化求解中增加较重的计算负担. 本文针对此问题利用邻接矩阵、可达矩 阵和关联矩阵梳理系统传递函数模型中变量之间的关联, 将有关联的控制变量划分为一个子系统, 进而将一个大系 统分解成若干独立子系统, 即可将一个高维度的优化求解问题分解成多个维度较低的子优化问题, 降低计算复杂度 以达到减少计算量的目的. 最后将其应用在多变量有约束的双层结构预测控制算法中, 通过仿真进行验证.  相似文献   

18.
基于遗传算法的资源结点选择策略   总被引:1,自引:0,他引:1  
宋风龙  刘方爱 《微机发展》2005,15(10):62-64,67
网格系统中由于采用资源备份策略,资源存在多个副本。用户请求资源时,如何从拥有相同资源的多个结点中选择一部分结点获取资源,达到以相同的代价获得最优质的服务,是一个迫切需要研究的问题。文中综合用户和资源拥有者双方的利益因素,将该问题归结为一个多目标规划问题,并提出了资源动态复制的图模型,进而运用遗传算法,提出了解决该问题的策略,分析显示该算法可以达到满意的结果。  相似文献   

19.
一种并行工程约束分解方法   总被引:2,自引:0,他引:2  
在并行工程产品开发过程中,往往按照问题的结构特点将较大规模的问题分解成一些子问题,并希望通过求解子问题来获得原问题的解。实际中,分解得到的子问题之间往往不是完全独立的,一般的简单分解方法只能有限地降低求解难度和简化问题规模。如何进一步分解各个子问题间的关系,使各个子问题的设计结果不但满足原问题的总体要求而且还能由此获得优化的总体设计结果是一个重要问题。该文给出了分解的意义,提出了基于约束的优化分解方法。  相似文献   

设为首页 | 免责声明 | 关于勤云 | 加入收藏

Copyright©北京勤云科技发展有限公司  京ICP备09084417号