检索结果-内蒙古大学图书馆

广东工业大学学报 2025年第1期42卷 126-133页

作者：连远豪刘富春广东工业大学计算机学院广东广州510006

近年来,由于不透明性在信息物理融合系统的信息安全领域取得了许多成功应用,离散事件系统的不透明性研究引起了国内外学者的广泛关注。本文以模糊自动机为模型,研究如何强化模糊离散事件系统当前状态不透明性的问题。先对模糊系统的主... 详细信息

近年来,由于不透明性在信息物理融合系统的信息安全领域取得了许多成功应用,离散事件系统的不透明性研究引起了国内外学者的广泛关注。本文以模糊自动机为模型,研究如何强化模糊离散事件系统当前状态不透明性的问题。先对模糊系统的主动不透明性概念进行了形式化。针对不具有当前状态不透明性的模糊系统,引入一个主动控制策略,提出了一种主动不透明性方法。通过构造模糊秘密状态的可控度验证器,为每一个秘密状态找到一个可控事件串,使系统可沿着可控事件串进入秘密状态而不被入侵者发现,从而达到强化模糊系统不透明性目的。在可控度验证器的基础上,得到了一个关于模糊系统主动不透明性的充分必要条件,并由此提出了一个相应的验证算法。

关键词：模糊离散事件系统状态可控度模糊当前状态不透明性主动不透明性

来源：评论

学校读者我要写书评

暂无评论

模糊离散事件系统的弱可诊断性研究

模糊离散事件系统的弱可诊断性研究

引用

作者：伦浩怀广东工业大学

学位级别：硕士

故障诊断是大型复杂系统自动控制中一项关键而具有挑战性的任务，及时且准确地诊断出故障对维持系统稳定运作具有重要意义。尽管在大多数工程应用中，离散事件系统的状态和事件都是十分明确的。然而，在生物医学等许多其他应用中，情况... 详细信息

故障诊断是大型复杂系统自动控制中一项关键而具有挑战性的任务，及时且准确地诊断出故障对维持系统稳定运作具有重要意义。尽管在大多数工程应用中，离散事件系统的状态和事件都是十分明确的。然而，在生物医学等许多其他应用中，情况并非如此，模糊性、不精确性和主观性是其典型特征。为了使研究内容更具有现实意义，解决实际生活中的问题，研究在模糊离散事件系统为框架下的故障诊断问题非常有必要。然而，在故障被诊断出来之前的时间内，系统有可能执行某些被禁止的违法操作，使得系统面临更大的安全风险。因此，为保证系统安全，有必要验证在故障发生后，系统是否会执行违法操作，这就是系统的安全诊断。　　本文着力研究以模糊离散事件系统为框架的故障诊断问题，把经典离散事件系统的弱故障诊断拓展到模糊离散事件系统，得到弱模糊故障诊断的形式化定义。通过改良已有验证器的构造方法，得出适用于弱模糊故障诊断的验证器构造方法，且该方法同样适用于经典离散事件系统的弱故障诊断，并且在时间复杂度上进行了优化。并给出该验证器验证弱模糊故障诊断的充分必要条件，最后结合实例进行分析说明，证实弱模糊故障诊断的验证方法具有可行性。　　此外，在弱模糊故障诊断的研究基础上研究其安全性问题。通过研究分析经典离散事件系统的安全故障诊断问题，以及模糊离散事件系统的安全模糊故障诊断问题，得出其共性与特性，并对其进行深入思考，把安全故障诊断问题与弱模糊故障诊断问题相结合，得出模糊离散事件系统的安全弱模糊故障诊断的形式化定义。为了对系统中执行的事件进行分类，构造非法语言识别器，利用标签区分是否已经发生违法操作，并与弱模糊故障诊断验证器的构造方法相结合，得出安全验证器的构造方法。并给出该安全验证器验证安全弱模糊故障诊断的充分必要条件，最后结合实例，应用安全弱模糊故障诊断的验证方法验证系统是否为安全弱模糊故障可诊断。

关键词：模糊离散事件系统弱模糊故障诊断时间复杂度非法语言识别器安全验证器

来源：评论

学校读者我要写书评

暂无评论

模糊离散事件系统的弱可诊断性

引用

广东工业大学学报 2023年第4期40卷 102-108页

作者：伦浩怀刘富春广东工业大学计算机学院广东广州510006

针对故障诊断方法对系统要求过高的问题,研究模糊离散事件系统(Fuzzy Discrete Event Systems, FDES)的弱故障诊断,提出一种弱模糊诊断方法,将经典离散事件系统(Discrete Event Systems, DES)的弱故障诊断方法拓广至模糊系统。先对模糊... 详细信息

针对故障诊断方法对系统要求过高的问题,研究模糊离散事件系统(Fuzzy Discrete Event Systems, FDES)的弱故障诊断,提出一种弱模糊诊断方法,将经典离散事件系统(Discrete Event Systems, DES)的弱故障诊断方法拓广至模糊系统。先对模糊离散事件系统的弱模糊故障可诊断性进行形式化;为验证模糊系统的弱模糊故障可诊断性,构造了一个验证器自动机,得到模糊离散事件系统弱模糊故障可诊断性的充分必要条件,实现了对模糊离散事件系统的弱模糊故障诊断。该方法既适用于模糊离散事件系统的弱模糊故障诊断,又适用于经典离散事件系统的弱故障诊断。

关键词：模糊离散事件系统故障诊断弱故障可诊断性验证器自动机

来源：评论

学校读者我要写书评

暂无评论

模糊离散事件系统基于验证器的模式故障诊断

引用

控制与决策 2020年第6期35卷 1403-1408页

作者：刘富春严飞赵锐崔洪刚广东工业大学计算机学院广州510006 广东省东源县科技创新中心广东河源517500

针对模糊系统在运行过程中可能出现由多个事件触发的故障,研究模糊离散事件系统模式故障的诊断问题,提出一种基于验证器的模式故障诊断方法.先对模糊离散事件系统中最常见的模式故障,引入S类型模式故障和T类型模式故障两个概念,再分别... 详细信息

针对模糊系统在运行过程中可能出现由多个事件触发的故障,研究模糊离散事件系统模式故障的诊断问题,提出一种基于验证器的模式故障诊断方法.先对模糊离散事件系统中最常见的模式故障,引入S类型模式故障和T类型模式故障两个概念,再分别对模糊离散事件系统的S类型和T类型模式故障的可诊断性进行形式化.为验证模糊系统模式故障的可诊断性,构造一个验证器自动机,并得到一个关于模糊离散事件系统模式故障可诊断性的充分必要条件,实现对模糊系统模式故障的诊断.

关键词：模糊离散事件系统故障诊断模式故障验证器自动机

来源：评论

学校读者我要写书评

暂无评论

模糊离散事件系统中的最大可控模糊子谓词

引用

模糊系统与数学 2021年第1期35卷 22-26页

作者：王文荣李桂莲张月慧太原理工大学数学学院山西太原030024

本文给出了模糊离散事件系统中模糊谓词,模糊谓词变换以及可控模糊谓词的定义,证明了给定模糊谓词的任意个可控模糊子谓词在析取运算下仍然是该模糊谓词的可控模糊子谓词,由此可知该给定模糊谓词存在最大可控模糊子谓词。对给定的两个... 详细信息

本文给出了模糊离散事件系统中模糊谓词,模糊谓词变换以及可控模糊谓词的定义,证明了给定模糊谓词的任意个可控模糊子谓词在析取运算下仍然是该模糊谓词的可控模糊子谓词,由此可知该给定模糊谓词存在最大可控模糊子谓词。对给定的两个模糊谓词,它们的最大可控模糊子谓词的合取大于等于它们合取的最大可控模糊子谓词,析取小于等于它们析取的最大可控模糊子谓词。

关键词：模糊离散事件系统模糊谓词最大可控模糊子谓词

来源：评论

学校读者我要写书评

暂无评论

分布式模糊离散事件系统的模式故障安全诊断

引用

广东工业大学学报 2023年第5期40卷 81-87页

作者：王玮林刘富春广东工业大学计算机学院广东广州510006

本文研究分布式模糊离散事件系统的模式故障安全诊断问题,提出一种基于模式故障安全协同诊断器的模式故障安全诊断方法。先在模糊离散事件系统中引入模式故障和模式故障安全诊断概念。然后对模糊离散事件系统的模式故障安全协同可诊断... 详细信息

本文研究分布式模糊离散事件系统的模式故障安全诊断问题,提出一种基于模式故障安全协同诊断器的模式故障安全诊断方法。先在模糊离散事件系统中引入模式故障和模式故障安全诊断概念。然后对模糊离散事件系统的模式故障安全协同可诊断性进行了形式化定义。为了进一步验证分布式模糊系统的模式故障安全诊断性,构建了一个模式故障安全协同诊断器,并提出了一个关于分布式模糊离散事件系统的模式故障安全诊断的充分必要条件,实现了分布式模糊离散事件系统的模式故障安全诊断。

关键词：模糊离散事件系统安全诊断模式故障协同诊断器

来源：评论

学校读者我要写书评

暂无评论

模糊离散事件系统的状态反馈控制

模糊离散事件系统的状态反馈控制

引用

作者：王文荣太原理工大学

学位级别：硕士

模糊离散事件系统控制理论在具有离散特征的控制系统中有十分广泛的应用,特别是在医学领域,现已成功应用到糖尿病、HIV等疾病的治疗过程中.本文首先定义了模糊离散事件系统中模糊谓词的偏序以及模糊最弱前置条件和模糊最强后置条件,并... 详细信息

模糊离散事件系统控制理论在具有离散特征的控制系统中有十分广泛的应用,特别是在医学领域,现已成功应用到糖尿病、HIV等疾病的治疗过程中.本文首先定义了模糊离散事件系统中模糊谓词的偏序以及模糊最弱前置条件和模糊最强后置条件,并证明了在模糊离散事件系统中,对给定的模糊谓词:先做模糊最弱前置条件变换再做模糊最强后置条件变换的结果等于原给定谓词;先做模糊最强后置条件变换再做模糊最弱前置条件变换的结果大于原给定谓词.给出了的模糊最弱自由前置条件的定义,并证明了任意多个模糊谓词合取（析取）的模糊最弱自由前置条件等于每个模糊谓词的模糊最弱自由前置条件的合取（析取）.其次,定义了模糊离散事件系统中的模糊状态反馈控制器,并给出了模糊谓词的控制不变和∑u-不变的定义,证明了模糊谓词的控制不变和∑u-不变是等价的以及模糊谓词控制不变时一定存在最大的模糊状态反馈控制器.最后,给出了可控模糊谓词的定义,并证明了对于预先给定的模糊谓词,存在一个模糊状态反馈控制器使得闭环系统的可达模糊谓词等于该给定模糊谓词的充要条件是该模糊谓词是可控的.定义了可控模糊子谓词并给出了计算最大可控模糊子谓词的方法.

关键词：模糊离散事件系统模糊谓词状态反馈控制最大可控模糊子谓词

来源：评论

学校读者我要写书评

暂无评论

部分可观察模糊离散事件系统的状态反馈控制

部分可观察模糊离散事件系统的状态反馈控制

引用

作者：张月慧太原理工大学

学位级别：硕士

本文将部分可观察一般离散事件系统推广为部分可观察模糊离散事件系统,讨论了部分可观察模糊离散事件系统的状态反馈控制.首先,我们在部分可观察模糊离散事件系统中引入输出映射以及输出符号集得到部分可观察模糊离散事件系统的模型.给... 详细信息

本文将部分可观察一般离散事件系统推广为部分可观察模糊离散事件系统,讨论了部分可观察模糊离散事件系统的状态反馈控制.首先,我们在部分可观察模糊离散事件系统中引入输出映射以及输出符号集得到部分可观察模糊离散事件系统的模型.给出了部分可观察模糊离散事件系统中模糊控制器合理性的定义以及模糊状态允许反馈控制器的定义,并在此基础上得到部分可观察模糊离散事件系统的最优模糊状态允许反馈控制以及最优模糊h-状态允许反馈控制;定义了模糊谓词的可观察性,并给出模糊谓词可观察的充要条件.其次,在部分可观察模糊离散事件系统中,对于预先给定的模糊谓词,当该模糊谓词可控可观察时,我们可以找到一个合理的模糊控制器使得闭环系统的可达模糊谓词等于该预先给定模糊谓词;当该模糊谓词是不可控或不可观察时,我们可以找到该模糊谓词的最大可控可观察模糊子谓词,进而我们可以通过该最大可控可观察模糊子谓词研究部分可观察模糊离散事件系统的状态反馈控制.最后,对于一定条件下的部分可观察模糊离散事件系统中某一给定模糊谓词,我们探讨了如何构造一个与之相对应的完全可观察模糊离散事件系统,并在此基础上讨论了模糊谓词控制不变性和可控性在部分可观察模糊离散事件系统和完全可观察离散事件系统中的关系.

关键词：模糊离散事件系统状态反馈控制模糊谓词模糊谓词的可观察性

来源：评论

学校读者我要写书评

暂无评论

模糊离散事件系统的状态反馈控制

引用

模糊系统与数学 2019年第5期33卷 67-72页

作者：王文荣李桂莲张月慧太原理工大学数学学院

在模糊离散事件系统中,首先定义了模糊谓词,给出了模糊谓词变换以及模糊谓词的控制不变和Σ_u-不变的定义,并证明了模糊谓词的控制不变和Σ_u-不变的等价性;其次,给出了模糊可控谓词的定义,并证明了对于预先给定的模糊谓词,存在一个状... 详细信息

在模糊离散事件系统中,首先定义了模糊谓词,给出了模糊谓词变换以及模糊谓词的控制不变和Σ_u-不变的定义,并证明了模糊谓词的控制不变和Σ_u-不变的等价性;其次,给出了模糊可控谓词的定义,并证明了对于预先给定的模糊谓词,存在一个状态反馈控制器使得闭环系统的可达模糊谓词等于该给定模糊谓词的充要条件是该模糊谓词是可控的。

关键词：模糊离散事件系统模糊谓词状态反馈控制

来源：评论

学校读者我要写书评

暂无评论

模糊离散事件系统基于模式的故障诊断

引用

广东工业大学学报 2019年第1期36卷 35-41页

作者：石聪聪刘富春广东工业大学计算机学院广东广州510006

以模糊自动机为模型,研究模糊离散事件系统基于模式的故障诊断问题.先针对S类型和T类型两种故障模式,分别对模糊离散事件系统的S类型模式可诊断性和T类型模式可诊断性进行了形式化,再通过构造S类型模式诊断器和T类型模式诊断器,分别得... 详细信息

以模糊自动机为模型,研究模糊离散事件系统基于模式的故障诊断问题.先针对S类型和T类型两种故障模式,分别对模糊离散事件系统的S类型模式可诊断性和T类型模式可诊断性进行了形式化,再通过构造S类型模式诊断器和T类型模式诊断器,分别得到了模糊离散事件系统关于S类型模式可诊断性和T类型模式可诊断性的充分必要条件,实现了模糊离散事件系统基于模式的故障诊断.

关键词：模糊离散事件系统故障诊断故障模式诊断器

来源：评论

学校读者我要写书评

暂无评论

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

建议与咨询 留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案： 新增检索档案 确定 取消

请选择收藏分类： 新增自定义分类 确定 取消

通借通还

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

请选择保存的检索档案：

请选择收藏分类：