离散事件动态系统

摘要： 针对电梯群组系统的随机性和复杂性,以离散事件动态系统和分布式部分可观马尔可夫决策过程为理论基础,将电梯群组的调度问题建模为基于事件驱动的部分可观马尔可夫决策模型,并利用多智能体强化学习算法求解最优调度策略。仿真实验结果表明,所提出的事件驱动Dec-POMDP调度模型不仅能够较好地描述电梯群组系统环境中的不确定性,而且能够避免维度灾难带来的策略优化难题,所得到的最优策略具有较好的调度性能。

摘要： 离散控制系统在运行过程中会对外界产生输出,根据不同的应用场景,需要对输出进行控制与调节.为了方便研究系统的输出特性,在离散事件动态系统(discrete-event dynamic system,DEDS)的理论框架下提出了其输出调节问题.通过研究系统的行为与输出的同步关系,将定义在输出层面的规约转移到系统层面,建立了一种基于规约转化的输出调节监控器构造算法.经过数学证明,该算法可以保证问题转化前后的安全性和最小约束性质不变.最后,通过实例验证了DEDS框架下输出调节问题的监控器构造算法的可行性和有效性.

摘要： 为解决复杂场景下离散事件系统动态性高引起的分析困难问题,提出了一种基于着色Petri网的离散事件动态系统建模方法.该方法首先对系统进行信息流分析并建立UML模型,然后根据规则将UML模型映射为Petri网模型,再对Petri网模型进行分层并添加颜色集,建立系统的着色Petri网模型.在向着色Petri网模型转换时,首先将动态系统分解为顶层模型和子模型;然后定义不同的颜色集,用来表示系统运行过程中的指令和状态等信息,减少库所和变迁的使用量;接着对子模型的变迁加载守卫条件和时间戳,使模型能够处理系统的并发和顺序性问题;在此基础上为系统库所添加令牌,用于表示系统中流动的信息资源.CPN Tools测试输出的结果,验证了所提方法的有效性,同时也为系统的设计与优化提供了一定的参考.

摘要： 为了提高不确定性离散事件动态系统的运行性能,本文结合时间Petri网及模糊集理论,建立了新型的高级模糊Petri网模型,并给出系统运行规则的动态算法,绘制清晰的流程图.通过模拟离散事件动态系统的运行过程,不仅获得了整个动态过程的具体数据,还能统计出整个系统的运行时间,从而实现对离散事件系统运行过程的监督、控制和调整功能.

摘要： 自动化立体仓库是现代物流系统的核心和枢纽,其调度的合理性对整个物流系统的效率起着重要的作用.由于对自动化立体仓库进行实际调度研究的复杂性和高代价,对其进行建模仿真是实现调度优化比较经济有效的做法.基于Python平台的SimPy包,建立了一种自动化立体仓库的离散事件动态系统(DEDS)仿真模型,并设置了一些常用的调度规则,通过分析不同调度规则下系统完成一定量任务的运行结果来实现调度优化.

摘要： Petri nets and finite automata are two main kinds of research contents in discrete event dynamic systems. The observability analysis and judgement of Petri nets are essential for the design,optimization,monitoring and control of actual systems,but quantitative necessary and sufficient conditions for observability are inexistent during existing re-search literature. This study investigates the observability problem of bounded petri net systems with outputs via a matrix approach.Firstly,several different petri nets with outputs are introduced.Secondly,using semi-tensor product of matrices, the mathematical modeling of dynamical behavior of bounded petri net systems with outputs is established in the form of linear equations. Thirdly,two different observability definitions,either for initial marking or current marking,are in-troduced. Finally,some matrix-form necessary and sufficient conditions for both the initial and current marking are first proposed. The proposed approach realizes the matrix operation for the observability of bounded petri net systems and it can be realized easily by computer.%Petri网和有限自动机是离散事件动态系统的两类主要研究内容.而Petri网系统的能观性分析与判别是基于Petri网的实际系统设计、优化、监测及控制的重要基础.以往关于Petri网能观测性的研究缺乏定量化的充要判别条件.本文利用代数矩阵方法研究了带有输出的有界Petri网系统的能观性问题.首先,基于矩阵的半张量积,将带有输出的有界Petri网系统的动态行为以线性方程组的形式建立了数学模型.然后,针对初始标识和当前标识,介绍了两种能观性定义.最后,基于矩阵运算建立了关于有界Petri网系统能观性的几个充分必要条件,并给出严格证明.数值算例验证了理论结果.本文提出的方法实现了有界Petri网系统能观性的矩阵运算,易于计算机实现.

摘要： 征文通知中国控制会议是由中国自动化学会控制理论专业委员会发起的系列学术会议,现已发展成为控制理论与技术领域的国际性学术年会.会议以中文和英文为工作语言,采用大会报告、专题研讨会、会前专题讲座、分组报告与张贴论文等形式进行学术交流.自2006年起会议论文集进入IEEECPP,并由EI收录.

摘要： In view of the integrative control problem of large space TT&C (telemetry track and command)system,according to the control flow of TT&C system,by taking reference of the theory of hierarchical control,the paper designs a task-oriented layered coordinative control structure.Based on the theory of discrete event dynamic system monitoring,the paper adopts the logic means of the automata model in establishing the automata models of task planning,process coordination,imple-mentation control and system monitoring.Taking a simplified TT&C system as an example,the pa-per validates the availability of all automata models,and describes constraints of automata model in-put-output relation based on layered coordinative control structure.%针对大型航天测控系统的综合控制问题，依据航天测控系统的工作流程，参考分层递阶控制理论，设计了面向任务过程的分层协调控制结构；基于离散事件动态系统监控理论，采用逻辑层次的自动机建模方法，分别针对任务规划、过程协调、执行控制和系统监视建立各自的离散自动机控制模型。以简化的测控系统为例，验证了自动机控制模型的有效性，并基于分层协调控制结构描述了自动机模型的约束、输入输出关系。

摘要： GBM系统作业时由于具有DEDS特性,其故障诊断非常适合采用DEDS故障诊断理论来处理.对DEDS故障诊断基本理论和GBM的故障诊断过程进行了简要的介绍,以GBM灌注系统的故障诊断为例,基于DEDS故障诊断理论对GBM的故障诊断过程进行了详细地分析和说明,实验结果表明:基于DEDS故障诊断理论的诊断结果效果明显,证明了DEDS故障诊断理论在GBM故障诊断中的有效性.%Because of DEDS characteristics when GBM system is working, it is very suitable to handle fault diagnosis using DEDS fault diagnosis theory. Basic theory of DEDS fault diagnosis and GBM fault diagnosis process are briefly reviewed. Take the fault diagnosis of GBM perfusion system as an example, based on DEDS fault diagnosis theory fault diagnosis process of GBM is detailed analyzed. Experimental results show that diagnosis effect of DEDS-based theory of fault diagnosis is obvious that proves the effectiveness of DEDS fault diagnosis theory in GBM fault diagnosis.

摘要： 文章主要是对模糊离散事件动态系统中的一些基础性问题进行了一般性的研究,具体包括相关的定义、研究的原因、应用的背景、实验平台、建模工具、相关算法、不确定性分析、模糊化分析等.

摘要： 基于离散事件动态系统(DEDS)建模方法,按照弹上信息处理设备功能和指标需求建立离散事件仿真模型,通过仿真试验分析,对信息处理算法、存储空间设计、信息处理时序设计、系统裕度等方面进行研究和优化,提出了基于离散事件仿真技术的弹上信息处理设备的方案设计和验证方法.

摘要： 空对地攻击系统可看作由大量离散事件所构成的动态系统,而Petri网在离散事件动态系统(DEDS)的建模中有着广泛的应用。针对空对地攻击过程中大量离散事件的复杂分析，研究了其攻击系统的着色Petri网建模。首先,描述了空对地攻击过程，规划了战斗行动的属性;然后，介绍了着色Petri网的基本概念，赋予空对地攻击系统中相应的库所和变迁、托肯及有向弧函数;最后，建立了基于着色Petri网的对地攻击系统模型。分析表明，该Petri网模型能够真实反映空对地攻击的战斗过程，直观易读。

摘要： 电梯群控是一种典型的离散事件动态系统,它所包含的事件在时间和空间上都是离散的.在分析了时间Petri网(TPNs),有色Petri网(CPNs)的知识和瞬时产生函数的基础上,提出了电梯群控系统的一个新的TCPN模型,电梯如何运行是由控制命令统一调度.该建模方法适用于各种各样的离散事件动态系统建模,具有良好的可扩展性。

摘要： 在Hasse图上运用动态规划的最优原理,研究了离散事件动态系统(DEDS)关键路径的计算问题,并给出详细的算法,然后基于关键路径给出了扰动分析计算的新方法.

摘要： 该文应用Grafchart工具箱对柔性制造系统进行了研究,对Grafchart网系统和谓词/变迁系统给出了基本的数学描述,并对系统调度过程中的突发事件引入受控位置,对相同结构部分加入颜色标记,简化了模型,是对Grafchart在FSM建模的一个扩展.说明扩展后的Grafchart结构紧凑、内涵丰富,更适合于对系统进行分析和研究,很好地解决了模型规模和信息显示容量之间的矛盾,具有较强建模能力.

摘要： 该文应用Grafchart工具箱对柔性制造系统进行了研究,对Grafchart网系统和谓词/变迁系统给出了基本的数学描述,并对系统调度过程中的突发事件引入受控位置,对相同结构部分加入颜色标记,简化了模型,是对Grafchart在FSM建模的一个扩展.说明扩展后的Grafchart结构紧凑、内涵丰富,更适合于对系统进行分析和研究,很好地解决了模型规模和信息显示容量之间的矛盾,具有较强建模能力.

摘要： 该文应用Grafchart工具箱对柔性制造系统进行了研究,对Grafchart网系统和谓词/变迁系统给出了基本的数学描述,并对系统调度过程中的突发事件引入受控位置,对相同结构部分加入颜色标记,简化了模型,是对Grafchart在FSM建模的一个扩展.说明扩展后的Grafchart结构紧凑、内涵丰富,更适合于对系统进行分析和研究,很好地解决了模型规模和信息显示容量之间的矛盾,具有较强建模能力.

摘要： 地面测控站对多颗近地卫星长期在轨管理的支持服务,可视为一种离散事件动态过程.对测控网资源配置优化是一个十分复杂的问题,尤其是对测控站的配置优化.本文利用Petri网分析了测控站资源运行能力,建立了一种作为仿真工具的数学模型,并提出了一种改进的Petri网算法.

摘要： 地面测控站对多颗近地卫星长期在轨管理的支持服务,可视为一种离散事件动态过程.对测控网资源配置优化是一个十分复杂的问题,尤其是对测控站的配置优化.本文利用Petri网分析了测控站资源运行能力,建立了一种作为仿真工具的数学模型,并提出了一种改进的Petri网算法.

摘要： 本发明提出一种动态交互的细粒度离散事件系统时序推进方法，属于协同仿真时序一致技术领域。本发明对于基于事件的时序推进算法进行改进，通过解耦事件响应与交互处理两个部分，设计交互表实现对交互的动态管理，形成一种粒度更细的交互方式。在本发明中，对发生事件设计了合理而高效的响应逻辑，在每个事件发生的时间点上，对被交互子系统状态进行检测，并据此做出事件响应决策；同时设计了与之相对应的交互处理与子系统仿真推进逻辑，引入工作点保存进而实现仿真回退，使得离散事件系统之间产生的交互更加精准，仿真精度更高。本发明所提出的时序推进方式更适合随机性较强、交互较复杂的离散事件系统协同仿真。

摘要： 本发明公开了一种基于离散动态事件树与RELAP5耦合的动态特性分析方法，包括以下步骤：构建离散动态事件树的DET仿真模型；通过设定RELAP5程序的仿真时间，控制RELAP5仿真时间步长，解析RELAP5程序每个仿真步长的输出结果文件，通过对比控制DET仿真对象状态转移的TRI P变量的触发时间变化，识别DET仿真对象状态转移发生的DET分支时刻；根据DET仿真对象状态转移类型，更新并生成用于DET成功分支和失败分支RELAP5程序计算的再启动输入文件，并回溯执行RELAP5程序，直到所有分支都达到终节点；本发明具有的优点是可实现动态事件树方法自主的与确定论安全分析程序RELAP5程序耦合。

摘要： 本发明提供了一种离散事件关联处理方法和离散事件关联处理装置，其中，离散事件关联处理方法包括：在获取到当前事件时，检测当前事件是否为疑似关联事件；在检测到当前事件为疑似关联事件时，判断当前事件是否与当前状态机队列中的任意一个状态机匹配；在判定当前事件与当前状态机队列中的任意一个状态机匹配时，根据当前事件执行当前状态机队列中的任意一个状态机的状态变迁；检测当前状态机队列中的任意一个状态机是否结束匹配判断；在检测到当前状态机队列中的任意一个状态机结束匹配判断时，根据当前状态机队列中的任意一个状态机生成整体事件。通过本发明技术方案，提升了关联事件识别的可靠性，并且提升了数据实时处理的效率。

摘要： 本发明提出一种动态交互的细粒度离散事件系统时序推进方法，属于协同仿真时序一致技术领域。本发明对于基于事件的时序推进算法进行改进，通过解耦事件响应与交互处理两个部分，设计交互表实现对交互的动态管理，形成一种粒度更细的交互方式。在本发明中，对发生事件设计了合理而高效的响应逻辑，在每个事件发生的时间点上，对被交互子系统状态进行检测，并据此做出事件响应决策；同时设计了与之相对应的交互处理与子系统仿真推进逻辑，引入工作点保存进而实现仿真回退，使得离散事件系统之间产生的交互更加精准，仿真精度更高。本发明所提出的时序推进方式更适合随机性较强、交互较复杂的离散事件系统协同仿真。

摘要： 本发明公开了一种基于离散动态事件树与RELAP5耦合的动态特性分析方法，包括以下步骤：构建离散动态事件树的DET仿真模型；通过设定RELAP5程序的仿真时间，控制RELAP5仿真时间步长，解析RELAP5程序每个仿真步长的输出结果文件，通过对比控制DET仿真对象状态转移的TRI P变量的触发时间变化，识别DET仿真对象状态转移发生的DET分支时刻；根据DET仿真对象状态转移类型，更新并生成用于DET成功分支和失败分支RELAP5程序计算的再启动输入文件，并回溯执行RELAP5程序，直到所有分支都达到终节点；本发明具有的优点是可实现动态事件树方法自主的与确定论安全分析程序RELAP5程序耦合。

摘要： 本发明提供了一种离散事件关联处理方法和离散事件关联处理装置，其中，离散事件关联处理方法包括：在获取到当前事件时，检测当前事件是否为疑似关联事件；在检测到当前事件为疑似关联事件时，判断当前事件是否与当前状态机队列中的任意一个状态机匹配；在判定当前事件与当前状态机队列中的任意一个状态机匹配时，根据当前事件执行当前状态机队列中的任意一个状态机的状态变迁；检测当前状态机队列中的任意一个状态机是否结束匹配判断；在检测到当前状态机队列中的任意一个状态机结束匹配判断时，根据当前状态机队列中的任意一个状态机生成整体事件。通过本发明技术方案，提升了关联事件识别的可靠性，并且提升了数据实时处理的效率。

摘要： 本发明涉及一种基于离散事件系统的无损事件压缩方法，包括给定离散事件系统及其产生的源事件序列得到最小可恢复的压缩事件序列；给定第一压缩协议：保留源事件序列中的最后k个事件；给定第二压缩协议：对于任何循环子事件序列，至少保留一个事件，建立压缩自动机模型表示给定压缩事件序列所有可能的源事件序列，基于该压缩自动机模型检测给定压缩事件序列是否1‑阶可恢复以及是否满足第二压缩协议，分别提出离线无损事件压缩方法和在线无损事件压缩方法。本发明利用了系统动态产生的信息冗余，作为基于系统的压缩方法，减少存储资源，在节省更少动作的同时，保证能够追踪到系统发生的所有动作。

摘要： 一种并行离散事件的事件集中发射式的仿真执行方法及系统，方法包括：创建线程池，其中时间管理器占用一个线程，其余的线程为执行线程，时间管理器建立可执行事件队列，并将可执行事件队列中的事件分配给多个事件管理器进行执行；可执行事件队列中按照时间戳、优先级顺序对事件进行排序；当可执行事件队列中有多个事件同时满足最小可执行事件时间戳和优先级条件时，按顺序对处理线程池中的线程依次派发事件。本发明可以从减少事件管理器向时间管理器请求时间同步的次数和减少向CPU申请计算资源的次数，优化了执行效率，并且多个事件管理器同时执行事件的处理，避免了多个事件管理器之间负载不均衡的问题。

摘要： 本发明提出了一种基于Petri网的自主水下航行器决策层离散事件动态系统控制方法，针对水下航行器异步并行多状态的特点，使用Petri网对水下航行器决策层进行建模和动态控制。对于以预编程型自主水下航行器，本发明建立自主水下航行器决策层主流程DEDS模型，模型由PERTI网描述为：U＝(X,∑,B,S0)，其中库所集合X＝{P0,P1,...P11}，其中库所P4和P5代表两个子Petri网，它们的内部具有子Petri网描述，代表着在航行阶段和遥控阶段下的一些更复杂的事件和更多的状态；变迁集合∑＝{T1,T2,...T15}，通过计算B＝X×∑∪∑×X为库所与变迁之间的有向弧，表示系统的流关系，S0＝[00000000000]为系统的初始状态。

摘要： 本发明提出了一种基于Petri网的自主水下航行器决策层离散事件动态系统控制方法，针对水下航行器异步并行多状态的特点，使用Petri网对水下航行器决策层进行建模和动态控制。对于以预编程型自主水下航行器，本发明建立自主水下航行器决策层主流程DEDS模型，模型由PERTI网描述为：U＝(X,∑,B,S0)，其中库所集合X＝{P0,P1,...P11}，其中库所P4和P5代表两个子Petri网，它们的内部具有子Petri网描述，代表着在航行阶段和遥控阶段下的一些更复杂的事件和更多的状态；变迁集合∑＝{T1,T2,...T15}，通过计算B＝X×∑∪∑×X为库所与变迁之间的有向弧，表示系统的流关系，S0＝[00000000000]为系统的初始状态。