检索结果-南通市图书馆

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

在线全文

学校读者我要写书评

暂无评论

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

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

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

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

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

在线全文

学校读者我要写书评

暂无评论

离散事件系统理论研究和应用进展（Ⅱ）

控制与决策 1996年第2期11卷 233-241页

作者：郑应平中国科学院自动化研究所

介绍离散事件动态系统（ＤＥＤＳ）理论各主要方面近几年的新进展以及它们在各方面的应用情况。特别着重强调了一些新方向和新问题，如混杂系统、动态对策等，以及它们在机械、电子等制造过程以及通讯和计算机系统中的应用。最后还从基... 详细信息

介绍离散事件动态系统（ＤＥＤＳ）理论各主要方面近几年的新进展以及它们在各方面的应用情况。特别着重强调了一些新方向和新问题，如混杂系统、动态对策等，以及它们在机械、电子等制造过程以及通讯和计算机系统中的应用。最后还从基础性研究的角度对ＤＥＤＳ研究的未来发展方向提出了一些想法和建议。这是综述的第二部分。

关键词： DEDS 混杂系统不确定性离散事件系统

同方期刊数据库

离散事件系统VIS的展现方法、交互方式及概念框架

在线全文

学校读者我要写书评

暂无评论

系统工程理论与实践 1996年第6期16卷 99-107页

作者：林健北京航空航天大学管理学院

本文分析讨论了离散事件系统可视交互式仿真建模方法学中的三个关键问题：系统状态的图形动画展现方法，仿真过程的人机交互方式和系统模型结构的概念框架．最后用实例讨论了如何在计算机上实现概念框架的问题．

关键词： VIS 展现方法概念框架离散事件系统系统仿真

基于状态树结构的离散事件系统模块化监督控制

在线全文

学校读者我要写书评

暂无评论

自动化学报 2013年第7期39卷 1018-1026页

作者：甘永梅晁武杰王兆安西安交通大学电气工程学院西安710049

在状态树结构(State tree structures,STS)的基础上提出了离散事件系统的模块化监督控制方法.该方法中,系统模型是状态树结构模型,控制指标以谓词形式给出.把控制指标分解为几个子控制指标的合取形式,对每个子控制指标分别设计非阻塞最... 详细信息

在状态树结构(State tree structures,STS)的基础上提出了离散事件系统的模块化监督控制方法.该方法中,系统模型是状态树结构模型,控制指标以谓词形式给出.把控制指标分解为几个子控制指标的合取形式,对每个子控制指标分别设计非阻塞最优监督控制器,并保证闭环系统行为满足控制指标要求且是非阻塞最优的.本文研究了模块化监督控制器存在性条件,给出了模块化监督控制器的综合过程;当闭环系统阻塞时,引入协调器水解决闭环系统阻塞问题并且给出了协调器的设计方法.

关键词：离散事件系统状态树结构模型模块化监督控制协调器谓词

具有不可控变迁离散事件系统的Petri网控制器

在线全文

学校读者我要写书评

暂无评论

自动化学报 2001年第2期27卷 180-185页

作者：邢科义席裕庚胡保生上海交通大学自动化研究所上海200030 西安交通大学系统工程研究所西安710049

考虑可用具有不可控变迁的受控 Petri网建模的离散事件动态系统 .提出了在这类系统中实现一组不等式约束的控制器的综合方法 .所提出的控制器可通过给系统 Petri网模型增加一些 Petri网元素来实现 ,其计算是建立在本文提出的 Petri网的... 详细信息

考虑可用具有不可控变迁的受控 Petri网建模的离散事件动态系统 .提出了在这类系统中实现一组不等式约束的控制器的综合方法 .所提出的控制器可通过给系统 Petri网模型增加一些 Petri网元素来实现 ,其计算是建立在本文提出的 Petri网的路增益概念基础上的 .方法是系统、简单、计算量小 .

关键词：离散事件系统 Petri网路增益控制器

基于Petri网诊断器的离散事件系统模式故障的在线诊断

在线全文

学校读者我要写书评

暂无评论

控制理论与应用 2020年第7期37卷 1621-1627页

作者：阙蔡雄刘富春赵锐邓秀勤崔洪刚广东工业大学计算机学院广东广州510006 广东工业大学应用数学学院广东广州510006 东源县科技创新中心广东河源517500

本文研究基于Petri网诊断器的离散事件系统模式故障的在线诊断问题.先构建一种用于模式故障在线诊断的自动机,给出了基于这种自动机的在线诊断方法.然后将自动机转换为Petri网并进一步构造了可用于S型模式故障或T型模式故障在线诊断的Pe... 详细信息

本文研究基于Petri网诊断器的离散事件系统模式故障的在线诊断问题.先构建一种用于模式故障在线诊断的自动机,给出了基于这种自动机的在线诊断方法.然后将自动机转换为Petri网并进一步构造了可用于S型模式故障或T型模式故障在线诊断的Petri网诊断器,提出了基于Petri网诊断器的模式故障在线诊断算法.通过分析算法的复杂性,得到了该算法具有多项式空间复杂性的结论.

关键词：故障诊断离散事件系统 Petri网在线诊断多项式复杂性

在线全文

学校读者我要写书评

暂无评论

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

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

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

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

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

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

在线全文

学校读者我要写书评

暂无评论

离散事件系统非阻塞模块监控器设计

东南大学学报（自然科学版） 2002年第2期32卷 206-210页

作者：陈启宏费树岷王笑峡东南大学自动化研究所南京210096

为解决离散事件系统模块监控中的阻塞问题 ,提出了一种新的监控器设计思想 .在监控器之间建立通信的基础上 ,运用传统的模块监控器设计方法 ,基于估计状态独立设计各个监控器 ;在各监控器间的协调中 ,利用基于优先权函数的优先权模块控... 详细信息

为解决离散事件系统模块监控中的阻塞问题 ,提出了一种新的监控器设计思想 .在监控器之间建立通信的基础上 ,运用传统的模块监控器设计方法 ,基于估计状态独立设计各个监控器 ;在各监控器间的协调中 ,利用基于优先权函数的优先权模块控制 (MCP)机制 ,使整个系统的动态行为满足期望指标并达到消除或减少阻塞的目的 .利用这种方法设计的监控器非阻塞的充分条件是系统每个事件有一个监控器能观 .最后给出一个应用实例。

关键词：离散事件系统优先权模块控制阻塞通信控制器监控器设计

在线全文

学校读者我要写书评

暂无评论

离散事件系统弱可预测性的验证算法

计算机科学 2023年第S2期50卷 955-960页

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

对故障检测来说,预测比诊断更能降低故障对系统造成的损失,但即使大多数的故障事件串是可预测的,只要有一个故障事件串是不可预测只能诊断的,整个系统就是不可预测的,只能用诊断的方法处理,这对大多数的故障事件串是不利的。为此,提出... 详细信息

对故障检测来说,预测比诊断更能降低故障对系统造成的损失,但即使大多数的故障事件串是可预测的,只要有一个故障事件串是不可预测只能诊断的,整个系统就是不可预测的,只能用诊断的方法处理,这对大多数的故障事件串是不利的。为此,提出了弱可预测性的概念。弱可预测性是对系统未来是否一定会处于故障状态这一情况的预测。相比可预测性,弱可预测性不要求所有故障事件串都是可预测的。对可预测的故障事件串,弱可预测性能够在故障发生之前发出警报,而对不可预测只能诊断的故障事件串,其也能在故障发生之后发出警报。文中构造了证明器来测试系统的弱可预测性,并基于这个证明器给出了测试系统弱可预测性的多项式复杂度的算法,给出了弱可预测性的充分必要条件。

关键词：离散事件系统故障预测弱可预测性多项式复杂度自动机

同方期刊数据库