【摘 要】
：
该文所有论述均围绕着解决具有复杂连续动态混合系统的形式验证这个主题而展开,以解决验证中复杂连续动态的离散近所存在的困难为研究重点.该文采用的根据混合行为的分类方法
论文部分内容阅读
该文所有论述均围绕着解决具有复杂连续动态混合系统的形式验证这个主题而展开,以解决验证中复杂连续动态的离散近所存在的困难为研究重点.该文采用的根据混合行为的分类方法,抓住了混合系统的本质特点,兼顾分类的科学性和直观怀.该文对坟时条件/事件系统的联接问题作了深入研究.该文提出基于阈值切换面划分的方法,对具有复杂连续动态的混合系统进行离散近似,从建模角度解决验证中存在的状态空间爆炸问题.该文结合倒立摆模型提出的只对状态空间切换表面进行离散化的空间划分方法,相对于常规验证所采用的离散整个连续状态空间的方法,降低了系统分析的维数,减小了计算量和分析难度.该文首次提出综合流管道近似和阈值面划分的方法,用于解决混合系统连续部分因存在定时器而无法应用基于阈值切换面划分方法来验证的难题,提出了过渡状态的概念.
其他文献
该文研究了软测量技术及其在石油化工过程中的应用.首先研究了基于PLS-BP算法和小波神经网络的软测量建模方法并且进行了仿真研究,结果表明了这些算法在建立非线性对象模型时
该文作者提出了一种新的开发模式—"文本/解释器"模式,实现了一个具有开放式结构的多媒体教学软件开发平台.在此基础上进行多媒体教学软件的开发,省略了开发者在软件编程上的
B型超声诊断由于其具有无损、无痛、廉价、方便等优点被广泛应用于医学领域,但是由于成像原理中存在的问题,其成像质量仍需要借助图像处理来改善。本文以实际开发项目为基础,试图找到一种能够实时实现的图像处理算法,以消除由于声波传送所给超声图像带来的斑点噪声,增强图像质量。本文探讨研究了常用的图像增强方法,如高斯滤波,统计排序滤波,自适应滤波,各向异性扩散等平滑方法和基于一阶微分和二阶微分的特征增强算法等方
该文主要研究内容为基于模型的软测量技术和先进控制策略在乙烯精馏塔中的应用.深入研究软件测量中统计回归和人工神经网络两类建模方法,尤其对两者结事的PCA-ANN、PLS-ANN方
超声扫描检测技术以其方便性和无害性在医学诊断技术领域中占有了越来越重要的地位。而随着超声诊断技术的飞速发展,传统的窄视野超声探头扫描图像已经越来越不能满足临床检
轮胎式工程车辆多行驶于矿石、碎砖、锋利废料等环境恶劣的路面上,因此工程车辆对轮胎胎面质量要求极为严格。而胎面质量的好坏对工程轮胎的使用寿命有着举足轻重的影响,胎面
该文将Smith预估器推广到多输入多输出系统,考虑了对象模型具有相同滞后时间和不同滞后时间的两种情况,使得从输入到输出映射的H范数达到最小.最后将时滞系统的跟踪问题转化
该文主要从以下几个方面研究了神经网络在复杂系统建模与控制中的应用:1、研究了基于PCA-RBF神经网络在线自校正软测量模型.2、研究了基于RBF神经网络的动态系统正模型与逆模
该论文的主要内容包括如下:第一章为绪论,主要论述了约束系统非线性控制研究、动态统几何理论研究的提示背景、发展过程与现状.第二章为动态系统的几何理论,主要论述了Minkow
该文主要沿容错控制这个控制科学富有挑战性的研究课题为主线展开研究.在国家攀登计划项目"复杂系统控制的基础理论研究"的子课题"系统可靠性和容错控制"的资助下,综合、归纳