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

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

基于AC-4的动态值启发式约束满足问题求解算法

通过对弧相容算法AC-4的研究,提出了基于AC-4的动态值启发式约束满足问题求解算法MAC-DMSV。算法充分利用AC-4在初始化阶段建立的计数器信息,选择计数最大者为优先实例化的值。将此值启发式加入MAC算法之中,在MAC的相容性检查时,更新计数器的值,实现了动态值启发式。实验结果表明,MAC-DMSV算法比MAC和BT+MPAC算法具有更高的求解效率。     

利用元件替换测试求诊断

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

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

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

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

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

基于论域折半的最大限定路径相容算法

针对绝大多数不可满足问题的特点,提出了一种将弧相容算法与最大限定路径相容算法相结合的相容性算法——基于论域折半的最大限定路径相容的算法。该算法充分利用了弧相容计算开销小和最大限定相容删值能力强的优点,可以减少在求解不可满足问题中生成的结点数,进而提高求解效率。实验结果表明,本文算法在处理不可满足问题时的求解效率明显优于传统的维持弧相容算法。     

变频器系统的抗干扰与接地

变频器控制系统工作时易受外界电磁干扰,这将影响变频系统工作的可靠性。正确、良好地接地是消除和降低干扰的有效措施。现介绍消除变频控制系统干扰的各种接地。     

可编程序控制器程序引起电源短路的分析

对可编程序控制器在实际调试中引起电源短路的问题进行了分析，指出在程序设计时应充分考虑与外部设备配合的问题。     

可编程序控制器在乳化沥青自动化生产设备中的应用

乳化沥青生产自动化设备，由于采用了技术先进的可编程序控制器控制，提高了自动化程度，操作方便，运行可靠，本文主要描述了可编程序控制的选择，程序设计与调试设计中的体会。     

维持弧的唯一性优化粗粒度弧相容算法

针对人工智能领域中广泛应用的约束满足问题,本文分析了约束满足问题的粗粒度维持弧相容求解算法在弧相卷(arc corsistency,AC)执行过程中对于弧存在冗余的放回操作,并证明了这类放回是冗余的。同时提出一种改进方法 AC_AO,避免这类冗余的弧放回操作,从而保证了弧的唯一性。改进后框架可用于改进所有的粗粒度弧相容算法。实验结果表明,经过AC_AO改进后的算法最多可以少检查77%的弧,最多可以减少30%的CPU求解时间。这将大大减少修正函数的调用次数,从而提高AC的执行效率,应用在维持弧相容算法求解的过程中提高效率是非常有意义的。