离散事件系统相关论文
对故障检测来说,预测比诊断更能降低故障对系统造成的损失,但即使大多数的故障事件串是可预测的,只要有一个故障事件串是不可预测......
离散事件系统的监控器通过禁止可控事件使系统满足安全性和活性规范。然而,监控器并不对允许发生的可控事件主动进行选择,所以存在......
随着互联网技术的高速发展,控制系统与通讯网络基础设施交互频繁,导致机密信息容易受到入侵者和其他恶意实体的攻击。作为离散事件......
离散事件系统(DES)在生产制造和物流等系统中普遍存在,这类系统由于事件发生的随机性、动态性和在时间点上的离散性,难以建立确定性......
离散事件系统(discrete event system,DES)是一类状态会发生变化的动态系统。随着时代的发展,信息化水平不断提高,DES的规模不断增大......
在离散事件系统环境下,研究基于模型诊断问题。主要包括离线过程中的可诊断性判定及诊断编译;在线诊断方法及诊断确认以及在不同条件......
Petri网是离散事件系统建模和控制的数学工具,被广泛应用于表征离散事件系统。对系统的网络攻击可能会带来严重风险,因此受到研究......
学位
离散事件系统满足可诊断性是设计故障诊断算法的前提,因此研究可诊断性验证方法具有重要意义.故障发生后无死锁是研究可诊断性问题......
在过去三十年中,人们深入研究了离散事件系统的建模、调度、控制、故障诊断以及不透明性等。在为离散事件系统设计控制器时,基于模......
为了便于系统分析与综合,人们通常需要对物理系统进行一定层次的简化及抽象,并在此基础上建立相应的数学模型。离散事件系统是人们......
由于庞大的用户需求和激烈的市场竞争,自动制造系统已经经历了实质性的变化。自动制造系统通过减少成本、改善产品质量和增加生产......
随着大数据时代的来临,数据泄露是信息安全领域的主要威胁之一,而信息加密是实现信息安全的主要手段。流密码体制是加密体制中非常......
众所周知,生产调度问题属组合优化问题,一般来说不存在求得精确最优解的多项式算法.因此,对于大规模调度问题,人们应用启发式算法......
本文分别从全局控制目标和局部控制目标讨论了离散事件系统分散监控器的无死锁特性。首先,对于全局控制目标,基于离散事件系统中的分......
本文提出了一种带有连续时间变量的离散事件系统(称为计时离散事件系统)结构模型.通过讨论计时语言的性质,如封闭性、可控性以及可......
为了能够利用Wp方法在时间自动机上产生测试用例必须根据格子自动机构造非确定时间有限状态机.本文给出一种构造方法,证明了该方法......
会议
本文以CISR 系统为应用背景,以统一建模语言(UML)和Petri 网的适应性改进为目标,进行了相关的建模方法研究,并提出了相应的分析算法。......
基于层次型着色Petri网提出了家庭服务机器人系统的模块化分层控制结构.把每一种设备或任务看成一个自主式的功能模块,采用层次型......
将专家系统中的产生式规则表示方法和规则匹配策略引入离散事件系统的控制过程中,研究规则式描述离散事件系统的逻辑关系,按照被动......
本文介绍了将GPSS仿真语言应用于缆机浇筑混凝土系统的细微过程仿真,通过实例,描述了如何建模、变换模型参数及对仿真结果进行分析等。对......
该论文在对TCP/IP计算机网络的建模和仿真技术进行了深入研究的基础上,分析和讨论了实现TCP/IP计算机网络仿真的两种不同方法,然后......
Petri网能很容易地表达狭义相对论的观点,在形式建模和系统分析时可以采用直观的图形化表示。Petri网的建模能力和数学化表达方法,......
离散事件系统是随着未知的不规则时间间隔内出现的离散事件驱动演化的一类动态系统。从本质上讲,这类系统是一个人造系统,典型的有......
随着信息技术的高速发展,诸如通信网络、交通控制系统等大型复杂的动态系统难以用传统的状态方程进行描述,不再属于连续变量系统的研......
该文首先对Ramadge和Wonham两位学者提出的离散事件系统(DES)监控理论中的事件反馈控制作了简单的介绍,并说明了当系统与监控器之......
Ramadge和Wonham基于自动机模型的模块化反馈逻辑是对离散事件系统进行控制综合的一种较成熟的理论框架.该方法的一个显著的特点是......
近年来,随着现代信息产业的发展,对离散事件系统研究的越来越受到关注.由于信息产业中的复杂人造系统,诸如柔性制造系统、计算机广......
Petri网是离散事件系统建模和分析的重要工具之一.制造系统是典型的离散事件系统.该文主要研究如何用递阶时间Petri网对制造系统进......
该文针对离散事件系统的状态复杂性和同步并发等动态特性,从软件设计和规范证明的角度,提出一种基于代数规范的形式逻辑和面向对象......
该论文主要对Petri网的发展、组成、结构和基本原理进行了详细的阐述,给出了用Petri网对离散事件系统进行建模的一般规则和进行计......
在该文中,我们特别关注通讯网络和制造系统中的纯离散事件系统的优化控制问题,并研究采用混合系统方法解算问题的可行性.该文的主......
半导体制造是一种非常重要的产业,制造过程的建模、仿真、调度和控制具有关键的作用.该文采用离散事件仿真方法、决策规则方法、基......
该文主要利用面向对象的方法和离散事件动态系统建模方法,结合Petri网建模方法,设计并实现了一种开放式、可视化的FMS(柔性制造系......
论文是基于受控Petri网的离散事件系统的建模与仿真。随着控制系统的复杂化,传统的方法已经不能很好的用于描述离散事件系统(简称D......
该文首行介绍了Sampath等提出了的逻辑DES的故障诊断方法,这是一种基于事件(event-based)模型的方法.该文采用了另一种更压缩的,由......
随着信息技术的高速发展和应用,当今社会已经高度信息化。在人们的工作和生活等方方面面,每时每刻都有信息产生,且并快速和广泛地......
单片机系统仿真软件是面向各大中专院校的师生而研制开发的.它完全依靠软件手段来开发单片机的应用软件,无需任何单片机硬件设备.......
离散事件系统(DES)的研究兴起在八十年代初期,随着信息处理技术、计算机科学和机器人技术等的发展完善和广泛应用,在通信、制造、交......
离散事件系统是由不规则时间间隔出现的事件序列驱动的一种动态系统。实际的离散事件系统可能会演变到一些禁止状态,例如柔性制造系......
Petri网具有严格的数学基础和直观的图形化表示,一直是离散事件系统建模分析、控制与仿真的主要工具之一。然而,Petri网的理论方法中......
网络控制系统(NCS)是控制系统和计算机网络有机结合的产物。而仿真是当前针对NCS研究的重要手段。对NCS的研究需要将以往独立的计算......
该篇文章研究的是基于Petri网的离散事件动态系统的精炼操作与工具研制.全文共分为五章.第一章是概述,介绍了当前Petri网理论与应......
离散事件系统在生产、生活中随处可见,其特征是系统中的状态变量是离散化的,即它们的变化是在一些离散的时刻发生,系统的变化是由......
本文研究模糊离散事件系统(FDES)的监督控制和错误诊断,以及概率离散事件系统(SDES)的错误诊断,具体包括以下四个方面的内容:部分可观......