诊断器简化方法和安全可诊断性方法研究

来源 :吉林大学 | 被引量 : 0次 | 上传用户:yanyiblue
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
随着科技进步,社会不断发展,互联网、供电系统、汽车等大型复杂系统与人们的日常生活联系更加紧密。当下这些系统功能更加全面,系统研发的投资更多,系统的使用频率更高,系统规模也不断扩大。这不仅增加了系统的复杂性和系统间的耦合程度,还增加了出现故障的可能性,故障是指系统与其正常或预期行为之间的偏差。无论拥有多么先进的设计,如何改进硬件及软件技术,或者如何系统地训练操作人员,都不能确保故障不会发生。实际上,考虑到系统的各个子系统、组件和进程之间的复杂交互,甚至可以认为系统故障的发生是不可避免的,故障诊断方法应运而生。基于模型诊断是故障诊断方法之一,具有不依赖具体的专家经验,也不面向具体的设备,可复用性好,移植灵活,方便维护,可以判定的故障更全面这些优点,是人工智能领域热门的研究方向。基于模型诊断是使用有限状态自动机等方法,将系统建模为对应逻辑系统,获得系统的预期数据,然后根据观测到的数据得到实际系统数据,与预期数据比较看是否存在差异,若存在差异,则需要判断系统具体出现了哪些故障,导致差异发生。基于模型诊断最早对离散事件系统构建全局诊断器的方法,通过判定诊断器中是否存在故障不确定状态环来确定待诊断系统是否可诊断。在现实生活中,如果系统中发生了故障事件,又在该故障事件后发生了与该故障相应的被禁止事件序列,那么该故障可能危害人们的生命安全和财产安全,为了避免影响安全事件的发生,人们希望能及时有效的提前得到安全事件发生的预警。近年来,Stephane Lafortune等人提出了离散事件系统的安全可诊断性以满足上述需求。为了改进离散事件系统的安全诊断方法,首先,本文介绍了DESs诊断器的构造方法及相关概念,然后给出简化DESs诊断器的算法,以便减少后续安全可诊断性计算的复杂度。然后,在简化DESs诊断器基础上,研究DESs的安全可诊断性判定问题。本文先给出了安全诊断性相关概念及模型,然后给出了构造简化DESs安全诊断器的算法,同时给出了简化DESs安全诊断器的模型、性质、定义及相关证明,并对该算法进行实验。最后,本文对DESs安全可诊断性问题进行延伸,提出了分布式DESs的安全可诊断性判定问题,同时给出相关的性质、定义及证明。最后通过举例说明,使用简化校验器判断分布式DESs安全可诊断性是可行且高效的。
其他文献
本文对目前现有有关国内鼻咽癌发病和死亡的研究、报道和资料进行了综述,发现虽然三次全国死因抽样调查的结果显示全国抽样点鼻咽癌总的和绝大多数抽样点死亡率持续明显下降,
“双灵固本散”的批准文号为“国药准字B20020428”,生产单位为西安绿谷制药有限公司。尽管在宣传资料中,其自称具有“直接杀灭癌细胞”等神奇疗效,但在国家食品药品监督管理局
现状国际劳工组织估计,全球每15秒钟就有1名工人死于职业事故或职业病,每15秒钟就有160名工人发生职业事故,每年有234万工人因工死亡(其中202万人死于职业病,32.1万人死于职
顶岗实习是职业学校安排在校学生实习的一种方式,我校的生态旅游专业的学生在每年的牡丹花会期间都会被安排到牡丹园和其他的旅游企业中进行顶岗实习。通过学生的顶岗实习,发现
长期以来,由于部分事业单位存在重购置轻管理的思想,导致其固定资产管理出现以下问题:(1)账实不符。一是固定资产人账不及时,尤其是建筑物。一些分单位新建、改建的办公楼及附属设
郭嵩焘作为晚清的一名封疆大吏,其思想植根于中国儒家传统文化,故其诗论中较多地继承了温柔敦厚的诗教观。但他作为中国较早跨出国门的诗人,又受到西方文化的浸染,故其诗论中
受水下场景有机物及悬浮颗粒的影响,水下图像存在对比度低、细节丢失、颜色偏移等问题。针对上述问题,本文分别根据水下图像模糊特征和水下图像成像模型给出两种透射率估计方
二战期间,同盟国与轴心国对通讯控制权展开了激烈的争夺。而此时的英国已衰落至严重依赖美国经济、军事援助的程度,美英在联合组建世界反法西斯联盟过程中,已形成美国向英属
巩固农村既有的改革成果,推进农村改革的进一步深化,必须建立起保障和促进农村改革、发展与稳定的法律援助机制。社会转型时代我国农村法律援助制度的产生和发展的背后,有着深刻
轨道车辆电取暖器的设计不仅是结构材料的设计,还涉及到空气动力学和传热学的理论。因技术水平限制,成本投入的缺乏,很少有企业会去进行基础原理的研究,更别说是投入资金时间研究各种结构材料等参数变化对电取暖器性能的影响。大部分还是依靠经验积累。在进行方案设计时,需要生产样机来验证设计是否可行,根据试验所获得数据再去修正设计。成熟产品有经验数据可以借鉴,但在新产品开发时,这种方法对产品的设计则具有一定盲目性