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

离散事件系统实时监控的性能适定性

引用

控制与决策 1990年第4期5卷 1-5页

作者：李勇华高为炳北京航空航天大学

本文研究了离散事件系统实时监控中存在的适定性问题,指出有两类适定性:控制适定性与性能适定性。文中提出完全适定性的概念,给出了完全适定监控问题解的存在性条件,并通过排斥控制的实例说明上述结果。

关键词：离散事件系统实时监控性能适定性

来源：评论

学校读者我要写书评

暂无评论

离散事件系统N步稳定性分析

引用

计算机工程与应用 2007年第7期43卷 17-19页

作者：舒少龙林峰黄志强同济大学电信学院同济大学电信学院上海200092 上海200092韦恩州立大学电子与计算机工程系底特律美国

讨论基于自动机/形式语言模型的离散事件系统(DES)稳定性问题,引入了确定性离散事件系统N步稳定性定义,并得到了稳定性的判据定理,推导了具体的算法实现。该算法具有多项式复杂度。

关键词：离散事件系统自动机/形式语言 N步稳定性多项式复杂度

来源：评论

学校读者我要写书评

暂无评论

离散事件系统的同步诊断算法

引用

计算机科学 2010年第2期37卷 180-182,199页

作者：王晓宇欧阳丹彤赵相福常晓环吉林大学计算机科学与技术学院长春130012 吉林大学符号计算与知识工程教育部重点实验室长春130012 吉林大学软件学院长春130012

针对传统系统建模方法需要假设模型完备的缺点,提出一种通过同步各部件模型的方法来解决不完备建模所导致的不完全诊断。对于离散事件系统的动态诊断进行优化,利用分布式的思想与Petri网的性质,使得各部件可以独立、并行地进行诊断,提... 详细信息

针对传统系统建模方法需要假设模型完备的缺点,提出一种通过同步各部件模型的方法来解决不完备建模所导致的不完全诊断。对于离散事件系统的动态诊断进行优化,利用分布式的思想与Petri网的性质,使得各部件可以独立、并行地进行诊断,提高了诊断的速度。同时对提出的同步方法进行了可行性分析和简单实现,得到了较好的结果。

关键词：离散事件系统动态诊断 Petri网.同步

来源：评论

学校读者我要写书评

暂无评论

实时离散事件系统的动态反馈控制

引用

自动化学报 1994年第2期20卷 209-212页

作者：李勇华高为炳北京航空航天大学第七研究室

本文研究了一类含确定性状态时间的实时离散事件系统的动态反馈控制问题．基于一定语言的实时可控性的概念，证明了对给定实时离散事件系统Ｇ，存在完备监控器使Ｌ（／ＧＴ）＝Ｋ的充分必要条件是Ｋ是闭及实时可控的，并得到了有关实时... 详细信息

本文研究了一类含确定性状态时间的实时离散事件系统的动态反馈控制问题．基于一定语言的实时可控性的概念，证明了对给定实时离散事件系统Ｇ，存在完备监控器使Ｌ（／ＧＴ）＝Ｋ的充分必要条件是Ｋ是闭及实时可控的，并得到了有关实时监控问题解存在的充要条件．

关键词：离散事件系统反馈控制实时

来源：评论

学校读者我要写书评

暂无评论

非确定型离散事件系统双模拟控制的实现

引用

控制理论与应用 2015年第1期32卷 75-79页

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

近年来,双模拟等价关系与离散事件系统监控理论相结合的研究引起了国内外许多学者的广泛关注.本文针对作者在前期工作中提出的非确定型离散事件系统的双模拟控制机制,进一步探讨其实现问题.利用投影映射对系统规范说明语言进行等价类划... 详细信息

近年来,双模拟等价关系与离散事件系统监控理论相结合的研究引起了国内外许多学者的广泛关注.本文针对作者在前期工作中提出的非确定型离散事件系统的双模拟控制机制,进一步探讨其实现问题.利用投影映射对系统规范说明语言进行等价类划分,构造了一棵计算树,得到了一个判断规范说明是否具有基于模拟关系可观性的多项式算法,证明了双模拟控制机制是多项式时间算法可实现的.同时,通过对控制器配备具有存储和判断功能的模拟关系识别器,阐述了这种双模拟控制机制是物理可实现的.

关键词：离散事件系统监督控制双模拟关系非确定型自动机双模拟控制

来源：评论

学校读者我要写书评

暂无评论

基于粗糙集理论的离散事件系统不透明性的验证算法

引用

控制理论与应用 2019年第8期36卷 1259-1264页

作者：刘富春赵毅澎赵锐广东工业大学计算机学院

近年来,离散事件系统的不透明性研究引起了国内外众多学者的广泛关注.本文针对离散事件系统的不透明性,提出了一种将粗糙集理论作为知识提取工具来处理离散事件系统不透明性验证的方法.先对离散事件系统的不透明性进行形式化,再利用粗... 详细信息

近年来,离散事件系统的不透明性研究引起了国内外众多学者的广泛关注.本文针对离散事件系统的不透明性,提出了一种将粗糙集理论作为知识提取工具来处理离散事件系统不透明性验证的方法.先对离散事件系统的不透明性进行形式化,再利用粗糙集理论对离散事件系统以信息表及决策表的形式进行表示,得到一个关于离散事件系统不透明性的充分必要条件.在此基础上,给出一个验证离散事件系统不透明性算法.与现有方法相比,该验证算法既适用于对强不透明性的验证,又适用于对弱不透明性的验证,并且在时间复杂度上也有较明显改进.

关键词：离散事件系统不透明性粗糙集理论决策表

来源：评论

学校读者我要写书评

暂无评论

不完备离散事件系统的可诊断性

引用

软件学报 2015年第6期26卷 1373-1385页

作者：王晓宇欧阳丹彤赵相福吉林大学计算机科学与技术学院吉林长春130012 重庆理工大学会计学院重庆400050 浙江师范大学数理信息学院浙江金华321004

在离散事件系统的建模过程中,由于系统行为的复杂,存在物理系统向逻辑系统映射的不完全性,因此产生了不完备模型的概念.提出在模型不完备的前提下,判断模型可诊断性的方法.提出可诊断性的在线判定方法,同时将不完备的行为加入模型,使模... 详细信息

在离散事件系统的建模过程中,由于系统行为的复杂,存在物理系统向逻辑系统映射的不完全性,因此产生了不完备模型的概念.提出在模型不完备的前提下,判断模型可诊断性的方法.提出可诊断性的在线判定方法,同时将不完备的行为加入模型,使模型完备.用经典的双树方法判断离线可诊断性,根据观测序列的时序及语言的前缀判断并处理不完备行为.提出判定不完备行为的方法,向模型中添加不完备行为,并根据不完备行为增量地在双树中判定在线可诊断性.通过在线的可诊断性判定,当前系统能够得到在有限观测内唯一判定故障发生与否的结论.该方法适用于具有离散性质的系统.

关键词：不完备模型离散事件系统基于模型诊断可诊断性

来源：评论

学校读者我要写书评

暂无评论

具有多项式时间复杂性的离散事件系统安全诊断

引用

控制理论与应用 2017年第6期34卷 717-722页

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

离散事件系统的故障诊断能将已发生的不可观故障事件及时诊断出来,但往往容易忽略故障诊断期间系统的安全性.为解决这一问题,提出了一种具有多项式时间复杂性的安全故障诊断方法.先对离散事件系统的安全可诊断性进行了形式化,再通过构... 详细信息

离散事件系统的故障诊断能将已发生的不可观故障事件及时诊断出来,但往往容易忽略故障诊断期间系统的安全性.为解决这一问题,提出了一种具有多项式时间复杂性的安全故障诊断方法.先对离散事件系统的安全可诊断性进行了形式化,再通过构造一个非法语言识别器对系统被禁止操作序列进行识别,并在此基础上构建了一个对系统实施安全诊断的安全验证器,得到了一个关于离散事件系统安全可诊断性的充分必要条件,实现了对系统的安全故障诊断.同时,通过对安全验证器的构建与安全可诊断性的判定的复杂性分析,得到了该安全故障诊断方法可在多项式时间内实现等结论.

关键词：离散事件系统故障诊断安全诊断多项式时间复杂性

来源：评论

学校读者我要写书评

暂无评论

对离散事件系统的共可诊断性验证

引用

吉林大学学报（工学版） 2013年第1期43卷 123-129页

作者：李占山靳志敏杨凤杰徐培治吉林大学符号计算与知识工程教育部重点实验室长春130012 吉林大学计算机科学与技术学院长春130012

提出了一种验证离散事件系统共可诊断性的多项式算法,算法通过构建一个检验自动机来实现,将故障路径和正常路径提取出来进行对比。另外将传统的共可诊断性划分为两种情况分别处理可以提高算法效率。可分别用于验证系统的F-共可诊断性和... 详细信息

提出了一种验证离散事件系统共可诊断性的多项式算法,算法通过构建一个检验自动机来实现,将故障路径和正常路径提取出来进行对比。另外将传统的共可诊断性划分为两种情况分别处理可以提高算法效率。可分别用于验证系统的F-共可诊断性和NF-共可诊断性。复杂性分析和案例分析表明本文算法的计算复杂度更低。实验验证了本文方法的高效性和有效性。

关键词：人工智能基于模型的诊断离散事件系统验证算法 F-共可诊断性 NF-共可诊断性

来源：评论

学校读者我要写书评

暂无评论

应用离散事件系统控制理论求解生产调度的新方法

引用

控制理论与应用 2021年第11期38卷 1809-1818页

作者：伍乃骐乔岩澳门科技大学系统工程研究所中国澳门

众所周知,生产调度问题属组合优化问题,一般来说不存在求得精确最优解的多项式算法.因此,对于大规模调度问题,人们应用启发式算法和元启发式算法以企求得满意解.在实际的应用中,许多工业过程需要满足严格的工艺约束.对于这类过程的调度... 详细信息

众所周知,生产调度问题属组合优化问题,一般来说不存在求得精确最优解的多项式算法.因此,对于大规模调度问题,人们应用启发式算法和元启发式算法以企求得满意解.在实际的应用中,许多工业过程需要满足严格的工艺约束.对于这类过程的调度问题,很难应用启发式算法和元启发式算法,因为这些方法难于保证所求得调度的可行性.为了解决这一问题,本文以半导体芯片制造中组合设备的调度问题作为例子,介绍了一种基于离散事件系统控制理论的生产调度新方法.利用Petri网建模,任何违反约束的状态均被描述为非法状态,而使非法状态出现的调度则是不可行调度.通过可行调度的存在性分析,该方法获得可行解空间并将调度问题转化为连续优化问题,从而可以有效求解.并且指出,该方法可以应用于其他应用领域.

关键词：生产调度离散事件系统 Petri网

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：