【摘 要】
:
离散事件系统是由离散事件触发而引起状态迁移的一类自然或人造的动态系统,系统的运行是由离散事件错综复杂地相互作用所决定的.现实世界中,系统往往具有不确定性,模糊性和主观性.在描述和处理这一类问题时,模糊离散事件系统将离散事件系统与模糊集合理论相结合,发挥着重要的作用.在复杂系统的研究中,由于不可观察事件和错误事件的存在,错误的诊断和检测有着相当重要的地位.目前,对这个问题已经有了一定的研究.本文以m
论文部分内容阅读
离散事件系统是由离散事件触发而引起状态迁移的一类自然或人造的动态系统,系统的运行是由离散事件错综复杂地相互作用所决定的.现实世界中,系统往往具有不确定性,模糊性和主观性.在描述和处理这一类问题时,模糊离散事件系统将离散事件系统与模糊集合理论相结合,发挥着重要的作用.在复杂系统的研究中,由于不可观察事件和错误事件的存在,错误的诊断和检测有着相当重要的地位.目前,对这个问题已经有了一定的研究.本文以max-min形式的模糊离散事件系统为建模工具,基于不可区分串的概念提出了新的模糊离散事件系统可诊断的概念.然后构造诊断器,讨论了模糊离散事件系统可诊断的充分必要条件和算法,并将这一套方法成功的应用于动物疾病的治疗案例.另外,本文提出的针对模糊离散事件系统的诊断方法同样适用于经典离散事件系统的诊断问题.在第一章,主要介绍经典离散事件系统及经典离散事件系统可诊断问题的相关知识.在第二章,首先回顾了max-min形式的模糊离散事件系统的相关知识.其次,在模糊离散事件系统产生的语言中,定义了模糊离散事件系统框架下不可区分串的概念,即任意长且具有相同可观察行为的串(区别于其他文献,这里具有相同可观察行为的串是指对所有的模糊离散事件可观察行为相同).并且每一个串都有一定的错误程度.然后提出了模糊离散事件系统基于不可区分串可诊断的概念,并构造诊断器用以寻找所有的不可区分串.最后基于模糊离散事件系统诊断器的性质,建立了模糊离散事件系统产生的语言中不可区分串与诊断器中循环之间的一一对应关系,并证明模糊离散事件系统可诊断的充分必要条件.这个条件对于经典离散事件系统依然成立.在第三章,讨论了模糊离散事件系统可诊断的算法以及算法的时间复杂度,得出本算法的时间复杂度为并且成功地将此算法应用于动物疾病的治疗案例.
其他文献
拟黑多刺蚁(Polyrhachis vicina Roger)隶属于膜翅目(Hymenoptera),蚁科(Formicidae),多刺蚁属(Polyrhachis),属于典型的营群居真社会性昆虫。具有广泛的多态现象,品级分化为工蚁、雌蚁(蚁后)和雄蚁,具有行为复杂和分工明确的特征。是研究昆虫发育机制方面较好的材料。Homothorax (Hth)是Meis家族中的成员,是Hox基因的辅助因子,主
偏微分方程作为数学的一个分支出现于18世纪,它是以建立数学模型,进行理论分析和解释客观现象并进而解决实际问题为内容的一门数学分支学科.经过两个世纪的研究和探索,人们在偏微分方程的理论和应用两方面都取得了许多重要的成果.反应扩散方程作为偏微分方程的一个重要的分支,在近年来也受到了学者们的广泛关注.如今反应扩散方程在数学学科中占据着极其重要的领域,也是数学与其它科学学科联系的重要桥梁之一,更是基础数学
秦岭山脉是中国大陆最重要的巨型山脉,从东到西成纬向分布,西起甘肃南部,它以迭山和昆仑山脉分界。向东经过陕西进入河南交界处,延绵一千六百余公里,南北宽数十公里至三百公里不等,面积非常的广大,整个秦岭山脉约12万平方公里。为黄河支流的渭河和长江的支流嘉陵江、汉水的分水岭,最高的主峰是宝鸡市太白县的太白山,海拔3767米。蠋步甲(Dolichus halensis)属鞘翅目,步甲科,蠋步甲属,为秦岭地区
小波分析(Wavelet Analysis)是当前应用数学和工程数学中一个飞速发展的新领域,是在Fourier分析之后的一个伟大的创举,它可以解决Fourier分析所不能解决的许多难题.它给当前的理论科学,应用科学等许多相关领域提供了强有力的工具,对非线性问题,智能计算,网络与信息安全研究等方面有着很好的推动作用.本文是关于向量值小波的一些研究.向量值小波是近年来国内外小波分析专家研究的一个热点问
算子代数上的保持问题是近年来算子代数理论中比较活跃的研究课题之一,在算子代数分类的研究中有至关重要的理论价值和应用价值.本文的研究内容涉及算子代数上保持逼近酉相似的线性映射和算子代数上保持乘积非零投影的非线性满射两个方面.本文在研究方法上着重使用了算子分块技巧,根据所研究的内容,对给定的算子进行适当的分块.通过对它们的研究使得算子之间的内在关系变得更加清晰,由此揭示所涉及到的保持映射更多信息.全文
框架理论是研究小波分析的一个主要工具,最初来源于信号处理,它是由Duffin和Schaffer在1952年研究非调和傅立叶级数时提出来的,当时叫Hilbert空间框架。框架理论在小波分析的发展中起到了非常重要的作用。在小波理论进一步发展的过程中,Daubechies、Grossmann和Meyer于1986年把连续小波变换的理论与框架理论相结合定义了仿射框架(或称小波框架)。如今的框架理论不仅应用
复合电子材料由于其独特的物理和多功能特性而同时显示出磁和介电性能。最近,随着低温共烧陶瓷(LTCC)技术和集成芯片元素的发展,这种具有显著磁导率和介电常数的新型复合材料得到了广泛研究。由于其同时具有电感和电容的功能,这种材料可用来制作无源集成复数零件,比如滤波器,在减少印刷电路板的占用空间、并进一步促进无源集成零件的小型化方面具有显著优势,可见这一新型复合材料在将来的电子器件生产方面具有潜在的应用
微分算子主要研究两个方面的问题:一方面研究微分算子的谱问题.另一方面研究微分算子的逆谱问题.其中.逆谱问题主要研究.基于一定的谱数据.尤其是特征值.唯一确定微分算子并实现其重构.本文针对弦方程逆问题展开研究.主要内容及结果如下:第一章绪论.主要介绍Sturm-Liouville问题的背景知识、研究现状以及本文所做的工作.第二章研究弦方程密度函数的确定唯一性.将弦方程通过Liouville变换转化成
在生态学中,对于大多数种群而言,时滞和外界的干扰对生物种群密度的变化往往有较大影响,且时滞和干扰对种群数量具有有效的控制作用.现阶段脉冲现象对生物种群影响的研究受到越来越多学者的关注.脉冲微分方程理论在完善已有的微分方程理论的同时也为研究生物,经济等方面的现象提供了更好的数学模型.本文利用定性分析的方法,特征值分析法,比较原理,构造Lyapunov泛函及分支理论等方法和理论研究了一类具有离散时滞和
本文主要研究了自仿域,即Lebesgue测度是正数的自仿集的问题.分为两个部分,第一部分是通过对数字集D的特征的刻画,我们得出一个由其可产生自仿域的充分条件,第二部分是刻画了特殊的自仿域,即素数下整自仿tiles的数字集D的特征.一般情况下,我们很难求出压缩仿射迭代函数系的吸引子T(M,D),因此要计算其Lebesgue测度μ(T)就很困难,并且我们已经知道,对于大多数对(M,D)而言,都有μ(T