基于模型的诊断问题分解及其算法

对诊断问题的分解进行了研究，给出了基于模型诊断问题分解的判定定理，刻画了利用系统观测值和参量假定例化值分解诊断问题，提出了有条件可分解诊断问题的概念，进一步刻画了基于模型的诊断问题分解，对如何利用参量假定例化值分解诊断问题给出了最可能优先算法，并对该算法的正确性、完备性及复杂性进行了证明，文中的工作为具有树型结构的系统诊断效率的提高提供了理论依据。     

约束分解技术回顾与展望

约束满足问题是一个强有力的知识表示框架,可以有效地解决许多问题.由于约束满足问题一般情况下是NP难度的问题,因此通过约束分解来降低计算的开销具有十分重要的意义.主要描述约束分解在约束满足问题中的地位、经典的分解技术和约束分解技术的发展历史,然后简要地分析这些分解技术.介绍了关于约束分解研究的最新状况,并描述、分析和总结其主要求解思想.最后根据存在的问题与不足提出了下一步的工作方向和研究思路.     

显著性引导及不确定性监督的深度编解码网络

基于U-Net的编码-解码网络及其变体网络在医学图像语义分割任务中取得了卓越的分割性能.然而,网络在特征提取过程中丢失了部分空间细节信息,影响了分割精度.另一方面,在多模态的医学图像语义分割任务中,这些模型的泛化能力和鲁棒性不理想.针对以上问题,本文提出一种显著性引导及不确定性监督的深度卷积编解码网络,以解决多模态医学图像语义分割问题.该算法将初始生成的显著图和不确定概率图作为监督信息来优化语义分割网络的参数.首先,通过显著性检测网络生成显著图,初步定位图像中的目标区域;然后,根据显著图计算不确定分类的像素点集合,生成不确定概率图;最后,将显著图和不确定概率图与原图像一同送入多尺度特征融合网络,引导网络关注目标区域特征的学习,同时增强网络对不确定分类区域和复杂边界的表征能力,以提升网络的分割性能.实验结果表明,本文算法能够捕获更多的语义信息,在多模态医学图像语义分割任务中优于其他的语义分割算法,并具有较好的泛化能力和鲁棒性.     

一种基于环切割的约束满足问题求解算法

该文首先给出一种无环约束满足问题的无回溯搜索算法Tree_Search,然后将环切割思想嵌入到目前最流行的MAC3rm算法中,给出一种新算法CCS.CCS将原同溯搜索过程分为两部分:第1部分通过回溯搜索求解环切割集中变量,将原问题化简成一个满足弧相容的无环问题;第2部分通过无回溯的Tree_Search算法求解化简后的...     

基于等价类划分的配置求解与解释计算

基于约束的配置模型中会有一些变量之间不存在任何直接或间接的约束关系,这样的变量之间进行约束传播不会互相影响取值.基于配置问题的这一特点,提出了一种等价类划分的思想,用于构造产品模型时的预处理技术,可以有效地将原问题划分为若干子问题,证明了这些子问题可以分别处理.分别采用两种回溯策略对求解效率进行了测试,结果表明能够有效地提高求解效率.最后,等价类划分方法与计算解释的QUICKXPLAIN算法集成计算冲突解释,测试结果表明,经过等价类划分后,同样可以有效地提高计算解释的效率.     

约束分解技术回顾与展望

约束满足问题是一个强有力的知识表示框架,可以有效地解决许多问题。由于约束满足问题一般情况下是NP难度的问题,因此通过约束分解来降低计算的开销具有十分重要的意义。主要描述约束分解在约束满足问题中的地位、经典的分解技术和约束分解技术的发展历史,然后简要地分析这些分解技术。介绍了关于约束分解研究的最新状况,并描述、分析和总结其主要求解思想。最后根据存在的问题与不足提出了下一步的工作方向和研究思路。     

可编程序控制器控制系统中故障的检测与显示

由PLC组成的控制系统中,一般情况下,控制设备和元件较多,逻辑关系复杂.各种外围设备和元件及PLC本身在生产过程中都可能产生故障或误动作,这将会给生产造成损失.对各种故障如何及时、准确地检测、显示和报警,以便及时排除故障,这是在设计控制系统时必须充分考虑和引起重视的问题.本文就常见故障的产生、检测及显示进行探讨,并用设计实例进行介绍.     

利用元件替换测试求诊断

主要填补了对系统参量不可观测或观没成本高的诊断测试研究这一空白,提出了替换测试荼为诊断测试一种新的可选择方法.在提出相关替换测试要领的基础上,利用元件替换对系统观测值的影响刻画了诊断的判定、利用正常元件替换几个子系统交集元件分解待诊断系统的方法.其结果能够改善诊断与测试的效率、降低诊断成本,并为研究诊断总是分解提供理论依据.     

氰戊菊酯和多虫畏在卷心菜(甘兰)上残留动态初步研究

氰戊菊酯[(R·S)—α—氰基—3—笨氧基苄基(R·s)—2—(4—氯苯基)—3—甲基丁酸酯]又名Fenvalerate,Sumicidin,代号:S—5602;多虫畏[α—(对氯苯基)—3—甲基丁酸—问苯氧基苄酯],代号S—5439,均是近年来发展的高效低毒拟除虫菊酯杀虫剂。为确保其在农业生产中使用安全性,我们开展了戊氰菊酯和多虫畏在卷心菜上残留试验。本试验以苯为提取液,中性氧化铝层析柱净化,气相色谱法测定。经试验证明本方法也适用于青菜、豇豆中氰戊菊酯、多虫畏残留测定。现将获得初步结果整理如下。     

运裕煤矿首采工作面瓦斯抽采设计

运裕煤矿改造后首采工作面的抽采设计思路及方法,并从技术、安全、经济角度对方案进行了分析;提出了布置地面钻孔抽采方案,实践表明:该抽采方案是安全、可靠、经济的,能给矿井安全高效生产创造条件。