基于混合ANN-Petri网的过程控制建模

针对混有离散事件的连续化工过程,提出了基于混合ANN-Petri网的控制建模方法.采用神经网络与Petri网的有效结合,较好地描述了化工过程连续和离散的混杂特性,并以某化工蒸发过程为例,进行了详细的讨论和分析,建立了混杂过程的控制模型,并且给出了仿真结果.     

混合控制系统的广义Pet ri 网建模与设计

提出一类混合系统的Ｐｅｔｒｉ网模型,强调连续与离散动态在同一层次的直接交互,连续与离散动态的分布式并发演化。给出基于混合Ｐｅｔｒｉ网的混合控制器设计方法。     

动态系统故障的混杂传播特征及建模方法

动态系统的故障传播过程是由离散事件、连续特性及其相互作用共同驱动的,具有显著的混杂特征,为故障规律认知与建模带来了较大的难度。现有研究将故障视为离散随机事件,分析由单元随机故障发生到系统失效的离散故障过程,却忽略了连续特性对故障传播的影响,本质上是对故障混杂传播的工程简化处理,不能真实地描述动态系统的故障规律。首先在分析动态系统故障规律的基础上,给出了离散与连续双维度下的动态系统故障混杂传播的定义,分析了其混杂影响要素以及混杂传播特征;其次,为了完整准确描述混杂特征,借鉴混杂理论在描述离散事件与连续参数相互作用方面的优势,提出了基于随机混杂自动机(stochastic hybrid automata,SHA)的故障混杂传播建模方法;最后通过对某温度控制系统的故障混杂传播过程进行建模和仿真,验证了动态系统故障传播过程中的混杂特征,以及建模方法的可行性。     

SIMSCRIPT仿真语言在混合仿真中的应用

分析了离散事件系统仿真的三种主要方法各自的特点，通过比较得出，进程交互法是适合混合仿真的离散事件系统仿真方法。接着介绍了仿真语言ＳＩＭＳＣＲＩＰＴⅡ．５的混合仿真功能，着重介绍了它对离散事件子系统的连续时间子系统仿真时间同步的支持。对多模型建模的有关参考文献中的一个实例，描述了其混合仿真模型，该混合仿真模型是多抽象层次的，与人们对建模对象的认识理接近。最后介绍了利用ＳＩＭＳＣＲＩＰＴⅡ．５对该实例     

仿真模型离散状态的验证

文中对验证指标重新给出三种分类：实体连续动态特性，实体交互特性和实体离散状态特性。针对实体离散状态特性，提出用配对集描述离散状态问题，借助状态树分析其需要验证的三方面因素，给出验证方法及方法有效性的分析。     

基于Petri网的直升机反潜仿真

Petri网对具有并行、异步和随机时间的离散事件仿真系统具有很强的可视化描述能力,它可以通过标记在网内的流动揭示系统的动态行为。而直升机反潜过程是一个复杂的离散事件过程,包括了搜索、跟踪、定位和攻击四个阶段,各阶段之间的转换是由各种战术规则和随机战场态势所决定的,具有并行、异步和冲突竞争等特点,采用传统的排队论和决策树方法描述直升机反潜过程非常困难。在建立了描述这些过程的Petri网的基础上,提出了处理并行和竞争变迁的实施原则,实现了直升机反潜过程描述的可视化。     

基于Petri网的直升机板潜仿真

Petri网对具有并行、异步和随机时间的离散事件仿真系统具有很强的要视化描述能力，它可以通过标记在网内的流动揭示系统的动态行为，而直升机反潜过程是一个复杂的离散事件过程，包括了搜索，跟踪，定位和攻击四个阶段，各阶段之间的转换是由各种战术规则和随机战场态势所决定的，具有并行，异步和冲突竞争等特点，采用传统的排队论论和决策树方法描述直升机反潜过程非常困难。在建立了描述这些过程的Petri网的基础上，提出了处理并行和竞争变迁的实施原则，实现了直升机反潜过程描述的可视化。     

多尺度条件下制造系统的监控器设计——极大代数方法

针对在时间多尺度条件下制造系统同时具有离散和连续事件,经典的极大代数方法已经不能描述连续事件问题,提出了一种基于混杂时间Petri网的建模方法,通过建立一个新型的双子代数系统,把混杂时间Petri网模型转化为极大代数模型.在极大代数模型基础上,借鉴自动机理论和格理论,通过定义保并映射和保交映射等概念,提出了一种监控器设计方法.这样我们可以继续在极大代数框架下研究时间多尺度条件下制造系统的建模和控制.一个简单的示例说明了极大代数方法的有效性.     

基于VHDL的时间离散随机Petri网仿真

时间离散随机Petri网是实时系统建模分析的一种重要工具,广泛应用在异步并发时间离散系统中,对时间离散随机Petri网模型进行模拟仿真分析是一个值得深入研究的课题.给出了一种运用硬件描述语言(VHDL)对时间离散随机Petri网进行描述和仿真的方法.首先介绍了时间离散随机Petri网的定义、特点,然后对其基本元素模块的硬件语言描述方法进行了讨论.最后以一个时间离散随机Petri网模型为例子,用VHDL语言对结构进行了描述,在Altera公司的集成开发工具QuartusII进行编译、仿真,仿真波形表明了这种方法的正确性.     

基于赋色Petri网的离散事件系统矩阵模型与仿真

一种新的离散事件系统（DES）矩阵状态方程和Petri网的标识转移方程相结合的矩阵模型给出了完整的DES动态描述。本文介绍了一种可动态修正Petri网关联矩阵系数的矩阵模型仿真框架，解决了路径选择和调度决策问题，使这种模型可以推广到用基于赋色Petri网描述的DES仿真。     

基于广义微分Petri网的混合系统仿真方法

针对混合动态系统仿真的特点，建立其广义微分Petri网仿真模型，将混合系统的仿真统一于同一建模框架下，在此框架下，离散事件和连续状态变化对混合系统演化的推动作用均可以通过仿真模型中的变迁激发来完成，通过对广义微分Petri网的仿真过程进行分析，给出了基于该模型框架的仿真算法，并对仿真过程中出现的由资源共享引起冲突现象及其解决方案进行分析，最后讨论了仿真系统的死锁及其避免问题。     

离散／连续系统仿真语言IHSL

本文介绍了自行研制的离散/连续系统仿真语言IHSL。IHSL是一个通用的仿真语言,适用于广泛的领域。与其它通用语言相比,IHSL具有以下特点:(1)模型,实验,参数分离处理功能;(2)对实体流模型的描述能力;(3)对加工设备和物料处理的建模能力;(4)能与有关软件组成一体化仿真支撑环境.所以IHSL除了作为通用仿真语言使用以外.更适合于对制造系统的建模和仿真。 IHSL是用C语言开发的。目前已能在多种机型上运行。     

基于拖延心理的知识员工-信息系统互动模拟

信息技术的发展使知识型员工面临着信息系统线上-线下的混合任务环境,拖延心理导致知识型员工需要对信息系统任务进行合理的规划,知识型员工的任务处理过程不再是简单的离散事件系统,而是一个员工心理与离散事件系统互动的过程. 本文首先描述了知识型员工任务处理的心理过程; 然后设计了二阶段决策的Q-learning 算法实现知识型员工与任务处理的互动; 最后通过大量的模拟实验,分析了记忆、决策心理和奖惩机制对信息系统任务处理的影响.     

仿真建模与形式化

离散事件仿真在复杂系统的分析和设计中正得到越来越广泛的应用, 在仿真研究中仿真建模是一项十分复杂而且难以掌握的工作。对仿真建模形式化的研究可以增强对离散事件系统的认识, 改进仿真建模过程、从而构造出更有效的仿真模型。本文讨论了形式化在仿真建模中的作用, 回顾了在仿真建模形式化方面所进行的研究工作, 重点讨论了基于系统理论的形式化系统描述和离散事件仿真的数学形式理论。     

基于DEVS原子模型的智能体离散仿真构建方法

智能体由于自身交互行为与学习行为的复杂性,难以直接被建模和仿真.针对智能体离散仿真中的常见问题,借助DEVS (discrete event system specification)原子模型的事件转移机制表示智能体的交互与学习过程,通过对智能体交互模式、多状态外部事件转移控制、端口连接模式、以及强化学习事件转移表示等...     

自动化立体仓库输送系统调度的优化仿真及其应用研究

分析了自动化立体仓库输送系统的若干调度问题,给出了启发式调度规则和优化算法,建立了该离散系统的仿真Ｐｅｔｒｉ网模型,在此基础上,对系统进行了动态的优化仿真,仿真结果表明了调度规则和算法的正确性和有效性,使得系统物流更加畅通和平滑。     

一类混杂系统的推广自动机模型及其仿真

通过分析混杂系统的特点,以混杂系统自动机建模理论为基础,结合一种特殊的并行投影结构（Projection Construct）,提出了针对混杂系统的推广自动机模型。该模型着眼于连续状态空间的划分。并行投影结构有效的处理了离散事件动态子系统和连续变量动态子系统之间的接口问题。该方法获得的混杂系统模型由图形的方式表示,简单直观。最后用两个实例介绍了推广自动机模型的建模过程,并借助Matlab环境中的Stateflow工具箱,对模型进行了仿真,结果表明该模型能够很好地解决混杂系统中离散部分和连续部分的同步协调问题。     

连续/离散混合型制造系统的生产过程虚拟仿真建模

离散事件仿真建模被广泛应用于制造系统的设计及运行控制,但是很多制造系统兼有离散系统和连续系统的特点。提出一种将离散事件与连续系统结合起来的仿真建模方法,以支持动态展现这类制造系统的生产过程。该方法的主要思想是,主机内部的机构运动主要采用连续系统进行仿真建模,而主机之间的加工顺序则利用离散系统来构建其仿真模型,然后由统一的仿真管理器管理。论文详细描述了虚拟仿真引擎中的仿真时钟推动机制,并用这一方法建立了面向啤酒灌装生产线生产过程的虚拟仿真模型,说明了这一方法的可行性。     

Petri网的公平性及分析

公平性是反映了在资源竞争时Petri网模型系统中行为的无饥饿性。公平关系分为三个层次,即公平关系、弱公平关系和广义公平关系,并衍生出亚公平关系和准公平关系;对应的系统网模型包括公平网、弱公平网,亚公平网等。同时相对公平网严格要求,系统的Petri网模型存在分组公平和局部公平,反映了网系统局部行为的公平关系。在Petri网模型简化和子网合成时的公平性保性,反映简化和合成后资源共享的保持特性。综述了以上公平性及判定方法,介绍公平性在系统中的应用,并给出公平性的细化定义和同步距离的关系,展望了Petri网公平性在连续系统与离散事件系统中的未来研究方向和应用难点,对公平关系今后的研究具有一定的指导意义。