基于模糊Petri网的瓦斯突出空间模型

瓦斯突出相关影响因素具有明显的时空特性,煤层突出危险程度的判别是一个多因素决定的模糊事件,模糊Petri网在离散事件动态建模具有突出的优势。在分析瓦斯突出空间数据分布及模糊性应用基础上,对比分析基本Petri网和模糊Petri网的知识表示,结合瓦斯突出各因素空间分布的特点,扩展了模糊Petrie网的相关组件成分,建立基于模糊Petri网的瓦斯突出空间模型,使瓦斯突出影响因素在不同的空间位置通过空间模型表示出来,进一步描述了瓦斯突出空间位置动态转换,在实际预测中具有现实的意义和可操作性。     

基于模糊Petri网的汽车故障诊断仿真研究

本文将Petri网和模糊推理相结合,建立故障诊断的模糊Petri网模型。其中,用FPN表示模糊产生规则,用Petri网的变迁激活规则进行故障诊断推理,从而分析出异常行为过程间的因果关系,推理出故障的原因及其可信度。以汽车故障诊断为例,建立了基于模糊Petri网的诊断模型。通过仿真分析,验证了模型的正确性和算法的有效性。     

流体随机Petri网与混合Petri网的比较分析

流体随机Petri网和混合Petri网作为传统Petri网的拓展,可以建模离散成分和连续成分并存的混合系统,也可用于解决离散模型的状态空间爆炸问题.由于这两种建模机制远未发展成熟,分析比较它们的异同点有助于机制本身的进一步发展完善,有助于为特定的应用选择合适的建模方法.本文讨论了流体随机Petri网和混合Petri网的定义、连续标识、分析方法、以及相互转换的可能性.结论是这两种建模机制是互补的,各自适合于特定的应用场合.     

基于Petri网的软件测试分析

软件测试是发现软件中错误而检查文档、运行程序的一个过程。对软件文档和代码进行测试,是贯穿于整个开发生命周期的,尤其在开发早期,其作用更为重要。Petri网是一种好的分析工具,它能够动态运行程序模型,分析模型中存在的死锁、并发、冲突等问题,对程序正确性进行验证和分析。     

基于Petri网的软件测试分析

软件测试是发现软件中错误而检查文档、运行程序的一个过程。对软件文档和代码进行测试，是贯穿于整个开发生命周期的，尤其在开发早期，其作用更为重要。Petri网是一种好的分析工具，它能够动态运行程序模型，分析模型中存在的死锁、并发、冲突等问题，对程序正确性进行验证和分析。     

随机时间Petri网综述

随机时间Petri网作为一种灵活有力的建模机制,被广泛应用于计算机和通信系统的性能与可靠性评价。综述了随机时间Petri网各主要予类的发展历程与研究现状。首先介绍了随机时间Petrl网的一些基本概念,然后回顾了广义随机Petri网,简要总结了处理状态空间爆炸问题的主要途径,讨论了非马尔科夫随机Petri网及其分析技术,最后详细分析了流体随机Petri网。     

基于模糊着色Petri网的多状态系统可靠性分析

在多状态系统中,由于性能退化、局部失效等原因,系统或元件会表现出从完全失效到完美工作之间的一系列过渡状态,这些过渡状态信息将直接影响系统的可靠性。针对这一问题,提出一种模糊着色Petri网模型,该模型通过对模糊状态及状态变迁进行建模来刻画多状态系统的可靠性特征。在这种模糊着色Petri网模型中,变迁阈值会随着节点状态模糊信息的动态变化而发生变化,为此提出自适应模糊推理算法进行阈值调整,为多状态系统模型的可靠性分析及性能优化提供指导。通过对多状态系统可靠性分析进行验证,表明研究提出的模糊着色Petri网及参数调整策略合理有效,有利于提高多状态系统整体性能。     

基于直觉模糊Petri网的故障诊断

故障诊断经常受到多种不确定性和模糊性因素的影响,针对不确定性的故障诊断问题,利用直觉模糊集较好的表达不确定性信息的优势和Petri网较好的并行处理以及图形处理问题的能力,构建了直觉模糊Petri网模型。由于将直觉模糊推理转化为矩阵运算的过程中有非隶属度参数的参与,因此推理结果可提供更多的信息。根据实际故障诊断中的模糊推理问题,给出了带有权值、阈值等参数条件下新的直觉模糊推理算法。通过获取和处理故障诊断中的不确定性和模糊性的知识,该算法将故障诊断过程转化为利用直觉模糊Petri网的直觉模糊推理过程。实际燃气轮机故障诊断模型案例表明了所给直觉模糊推理算法的有效性。     

对象化模糊Petri网的任务协同分配建模与推理

为解决FPNN/FCPN建模与推理过程中存在模型规模急剧增大、模糊变量颜色化的作用有限、无法表示知识分类等问题,提出了一种改进的对象化模糊Petri网（FPN）建模及模糊推理算法.该算法采用面向对象技术化简规模庞大的模糊赋色Petri网（FCPN）,经简化的FCPN退化为普通的FPN,但是库所中托肯的语义也发生了变化,它不仅表示模糊语言变量的集合,更重要的是它可作为其他FCPN的引用.最后将该算法应用于协同设计环境中任务分配的模糊推理过程,可有效地降低Petri网模型的复杂程度,且对象化FPN模型直观,易于理解.     

混合Petri网的流体随机Petri网模型

混合Petri网和流体随机Petri网作为混合系统的建模方法,其内在的建模机制和分析方法不尽相同,而且这两种机制远未发展成熟.分析并建立它们之间相互转换的方法有助于机制本身的发展完善,并利用对方的建模原语和分析方法对系统进行多角度的分析.提出了一阶混合Petri网转换成流体随机Petri网的形式化方法及转换后变迁合并的方法,并给出了转换和合并方法的正确性证明,最后结合实例简要阐述了这两种方法的实现过程.     

基于贝叶斯网络的煤矿瓦斯爆炸事故致因分析

针对现有煤矿事故致因分析多以单方面因素分析为主,忽略人、机、环、管4个方面各因素间的关联性和整体性,且涉及到的事故类型较泛化等问题,从人、机、环、管4个方面选取诱发煤矿瓦斯爆炸事故的因素,并利用相关性分析筛选出相关性较强的变量;以GeNie为平台构建煤矿瓦斯爆炸致因贝叶斯网络模型,并采用交叉验证方法对其可靠性和准确性进行验证;通过贝叶斯网络参数学习、敏感性分析等对模型中各节点变量进行分析,计算不同条件下相关节点的条件概率分布和后验概率,提取诱发煤矿瓦斯爆炸事故的关键因素。分析结果表明:通风不足会大幅提高煤层瓦斯含量超标的可能性,员工培训不到位是瓦斯漏检的主要诱因;在煤矿瓦斯爆炸事故已发生的情况下,可能性最大的诱因是瓦斯含量超标,其次是瓦斯漏检;导致煤矿瓦斯爆炸事故的最关键因素是瓦斯含量超标、瓦斯漏检、顶板不稳定、法律法规不健全。     

基于P-不变量的Petri网并行化方法的研究

为使Petri网系统能够并行执行或模拟运行,提出了基于P-不变量的Petri网并行化方法.根据Petri网系统具有同步与并发的特点,给出基于P-不变量的Petri网模型分割、进程创建条件与并行化分析.在此基础上,提出并行进程创建条件拓展定理并给予证明和实例验证.给出实现并行化所需要解决的Petri网模型行为规范的形式化、P-不变量求解与基于P-不变量的Petri网并行化方法.实验结果表明,基于P-不变量的Petri网系统的并行化方法是可行和有效的.     

基于混杂Petri网的液位控制系统仿真研究

针对工业生产中液位控制具有连续变量和离散变量共存这一复杂性,提出建立一种基于Petri网的水箱液位系统运行的混杂状态变换模型,用以分析单容、双容水箱液位等工业系统在运行过程中的多重状态及其转换关系.在Matlab/Simulink环境下,设计实现了单容、双容水箱液位混杂系统的仿真控制模型.仿真实验结果表明,该混杂模型及控制策略符合液位系统实际运行要求;采用混杂Petri进行建模分析,能较全面地描述液位系统中物理量间的并发及混杂现象,模型具有较好的封装性和可实现性,设计方法简便、有效.     

基于改进Petri网的作战指挥协同模型

在系统分析雷达旅(团)指挥协同过程特点的基础上,结合着色Petri网和时间融合函数发展了一类综合有色Petri网方法,并融入CSCW技术建立了相应的雷达旅(团)指挥协同模型.通过对作战指挥协同系统的建模,发现综合着色Petri网可以有效的降低系统模型的规模和复杂性.     

基于multi-Agent和Petri网的分布式风光互补系统

近年来随着“大机组、高电压、大电网”发供电模式的弊端日益显露, 分散式供电系统成为21世纪电力工业的发展方向.此外, 随着风力、太阳能等可再生能源的飞速发展及其发电效率的不断提高, 使研究风光互补系统的分布式供电有着重要意义. 文中提出一种基于multi-Agent的分布式风光互补混合供电系统, 将分散的风力、太阳能光伏发电装置组成分布式系统, 并采用有色Petri网建立了multi-Agent的协作模型. 通过模拟风力–太阳能的运行情况, 证明了分散控制策略的有效性.     

基于Petri网的流程变体合并方法

业务融合时往往需要将已有的多个流程合并,从而形成新的满足实际需求的业务流程,如何识别已有业务流的共性特征来消除流程冗余具有较大的实际应用价值.因此,提出了一种基于Petri网的流程变体合并方法.首先,由计算匹配分数算法计算多个流程变体间不同组合的匹配分数,由此来选定一对匹配分数最高的流程变体组合;然后,根据提出的合并算...     

基于着色Petri网的联合反导作战系统建模

防空反导作战系统是一个复杂的军事系统,具有同步、并发、冲突等特点。应用着色Petri网技术对联合反TBM作战系统进行建模,符合联合反导作战系统的特点,能够有效地分析联合反导作战系统的静态结构和动态行为。分析了联合反导作战系统的信息交换关系,建立了系统的CPN模型,对模型进行了验证和仿真。     

基于Petri网和混沌粒子群的JSP优化

以最小化完工时间为目标构建Petri网模型,并基于该模型将混沌原理和粒子群算法相结合,提出了一种基于Logistic映射的混沌粒子群优化（CPSO）算法。仿真实验结果表明,该算法能跳出局部最优,增强了全局寻优能力,进一步提高了计算精度和收敛速度。