检索结果-南通市图书馆

控制与决策 1992年第6期7卷 470-473页

作者：曾建潮吴聚华太原重机学院电气工程系 030024

本文针对串行同步仿真方法及Chandy-Misra异步分布式仿真方法所存在的优缺点,采取折衷方案,提出了一种新的离散事件系统分布式仿真方法。

关键词：离散事件系统分布式仿真算法

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

在线全文

学校读者我要写书评

暂无评论

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

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

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

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

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

在线全文

学校读者我要写书评

暂无评论

离散事件系统静态稳定性的马氏决策过程方法

应用数学学报 2001年第3期24卷 377-383页

作者：胡奇英刘勇西安电子科技大学经济管理学院西安710071

本文用马氏决策过程方法来讨论离散事件系统（ＤＥＳ）的静态稳定性问题，包括强吸引域和弱吸引域的计算，同时讨论了弱吸引域的稳定控制器的计算问题．所用方法不要求给定谓词的∑－（或∑ｕ－）不变性和对环路的判别．

关键词：离散事件系统静态稳定性马氏决策过程 MDP方法强吸引域弱吸引域

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

在线全文

学校读者我要写书评

暂无评论

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

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

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

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

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

在线全文

学校读者我要写书评

暂无评论

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

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

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

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

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

具有混合约束的离散事件系统的Petri网控制器的研究

在线全文

学校读者我要写书评

暂无评论

计算机集成制造系统 2007年第8期13卷 1603-1607,1644页

作者：陶泽肖田元郝长中沈阳理工大学机械工程学院辽宁沈阳110168 清华大学国家CIMS工程研究中心北京100084

针对由Petri网建模的离散事件系统中具有混合约束的Petri网控制器的设计问题,利用局部设计和Pe-tri网简化技术改进与完善控制器的设计方法,并证明所提方法是最大容许的。先利用局部设计Petri网简化技术把所有约束库所融合为一个与它们... 详细信息

针对由Petri网建模的离散事件系统中具有混合约束的Petri网控制器的设计问题,利用局部设计和Pe-tri网简化技术改进与完善控制器的设计方法,并证明所提方法是最大容许的。先利用局部设计Petri网简化技术把所有约束库所融合为一个与它们标识总量相等的库所,然后再与受约束的变迁进行对照比较,使控制器的设计更为简单并且避免了死锁,尤其是对规模较大的系统,其优势更加明显。针对于约束的不同情况,给出了相应的控制器设计方法,最后通过几个例子对该方法的简单性和有效性进行了验证。

关键词： Petri网控制器结构冲突离散事件系统死锁

在线全文

学校读者我要写书评

暂无评论

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

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

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

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

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

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

在线全文

学校读者我要写书评

暂无评论

离散事件系统的可纠错性研究

云南大学学报（自然科学版） 2015年第2期37卷 187-193页

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

故障诊断及纠错是离散事件系统研究热点之一,主要研究在控制器实施控制的情况下,如何对离散事件系统的故障实行纠错,使系统运行在可接受状态范围内.通过对可纠错状态的形式化,提出了一种基于系统状态圈的纠错方法,给出了构造纠错控制器... 详细信息

故障诊断及纠错是离散事件系统研究热点之一,主要研究在控制器实施控制的情况下,如何对离散事件系统的故障实行纠错,使系统运行在可接受状态范围内.通过对可纠错状态的形式化,提出了一种基于系统状态圈的纠错方法,给出了构造纠错控制器的算法.在探讨多次状态转移时故障事件规律发生的基础上,给出了系统的最小可纠错状态集的具体计算方法,提出了在最小状态集下离散事件系统控制器的构造方法,并给出了一种控制器实施控制的方案.

关键词：离散事件系统容错系统可纠错性

在线全文

学校读者我要写书评

暂无评论

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

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

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

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

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

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

同方期刊数据库

在线全文

学校读者我要写书评

暂无评论

离散事件系统的一种最优监控综合方法

控制与决策 1994年第6期9卷 415-419,425页

作者：郭令忠李彦平徐心和东北大学自控系

本文基于ＤＥＳ的Ｄ－自动机模型，提出一种最优监控综合问题，然后讨论了该问题解的存在性，最后利用极小代数给出了求解该问题的方法．

关键词：离散事件系统最优监控综合 DES