【摘 要】
：
由于定量信息和非线性因果关系的丢失,符号有向图（SDG）的故障诊断解需要进一步进行校核与验证.将SDG故障诊断解的验证置于符号模型检测框架中进行研究,提出了基于符号模型检测
论文部分内容阅读
由于定量信息和非线性因果关系的丢失,符号有向图（SDG）的故障诊断解需要进一步进行校核与验证.将SDG故障诊断解的验证置于符号模型检测框架中进行研究,提出了基于符号模型检测的SDG故障诊断解形式化验证方法.首先定义了SDG模型的有限状态变迁系统形式化描述,建立了符号模型检测（SMV）模型;其次引入故障传播时间定义了模型观测变量的动态验证信息,提出了基于步进式监控的动态推理验证策略;然后扩展了动态推理验证过程的SMV模型,提出了验证算法SSDGFD SMC;最后,通过一个简单贮水罐系统的SDG模型实例验证了
其他文献
提出了一种利用质心角度识别字符图像的方法:将Harris算法提取出的字符图像的角点作为候选角点,通过聚类算法计算出更准确的新角点,并计算出字符图像的质心以及连接质心到新角点的向量.质心角度是两个相邻向量的夹角,字符特征是由质心角度按顺时针(或逆时针)方向排列组成的向量.质心角度具有关于位移、拉伸、旋转不变性的几何特征,是对图像特征较好的规一化.实验结果表明该方法提高了字符图像的识别率,从而验证了该
针对一类与传统一阶惯性环节传递函数结构类似的分数阶系统,推导出该类分数阶系统稳定的参数取值范围,并给出了不同时间响应与分数阶阶次的对应关系.然后基于该类分数阶系统
研究了一类广义系统的有限时间滑模变结构控制问题.通过非奇异线性变换把广义系统变换成受限等价形式,利用Lyapunov函数的方法,提出了一种新型的有限时间滑模变结构控制策略,
将四元数傅里叶变换与四元数奇异值分解技术相结合并引入到对彩色图像的水印处理，提出一种基于四元数频域奇异值分解的彩色图像盲水印算法．首先对彩色载体图像进行分块并采用四
提出了基于对偶树复小波—Curvelet变换的自适应多传感图像融合新算法.算法将全色图像和多光谱图像进行对偶树复小波—Curvelet变换分解后,针对不同的频率域特点选择不同的融合规则.对低频系数选取区域能量的加权系数自适应融合规则,对高频系数特性选用了区域特征自适应的融合规则.最后通过重构得到融合图像.将其他的融合算法和本文所提算法进行对比,结果表明,基于对偶树复小波—Curvelet变换的区域
在基于目标函数线性化的序列线性规划矩阵方法（SLPMM）的框架下，研究了线性时不变系统静态输出反馈（SOF）H∞控制问题的数值解法，提出了一种改进的SLPMM算法：通过求解一个LMI特征值问
介绍了我国钢铁企业能源管理模式经历的阶段，并针对先进能源管理系统的能源介质在线监测、主要用能设备和生产过程的能效分析与优化控制、系统集成平台及多能源介质管理、分析
研究了在状态不可测,并且状态参数和控制输入矩阵同时存在不确定性的情况下,不确定输入时滞系统的滑模控制问题.为了有效克服不确定性和时滞对系统稳定性的影响,在状态估计空间选择了一种积分型的切换函数,设计了一种基于状态观测器的滑模控制器,并证明了所设计切换面的可达性.通过李亚普诺夫理论,给出了闭环系统渐近稳定的充分条件.数值仿真验证了算法的有效性.
针对具有通信时延的无线传感器网络的拥塞问题,利用图论对无线传感器网络进行建模,借鉴领导者—跟随者的思想设计了一致拥塞控制算法（congestion control based on consensus,
研究了具有外在扰动的脉冲Markov切换线性随机系统的鲁棒H∞控制问题,分别从系统的鲁棒稳定性及鲁棒性能两方面进行分析：首先,利用多Lyapunov函数法对系统的稳定性进行分析,给