基于确定时间连续Petri网的航空发动机总装资源调度

为解决航空发动机总装过程中不同工艺对设备资源的竞争问题,进行了面向资源冲突的Petri网建模,将离散模型转化为确定时间连续Petri网模型。提出采用路由函数化解设备资源冲突,并对给定路由函数下系统的周期性进行了分析。为求解全局资源利用率最大的调度策略,采用粒子群优化算法优化资源路由参数,并将最优路由参数以启发函数的形式还原到离散Petri网模型调度中。案例研究表明,调度算法实现了资源的全局最优化,大大缩短了航空发动机维修周期。

基于模糊时间Petri网的列车运行时间不确定性问题的处理

定义一种应用于铁路列车运行系统的模糊时间Petri网;针对列车运行时间存在的不确定性,该Petri网引入了4个模糊集理论函数:模糊时间片、模糊使能时间、模糊发生时间和模糊延迟,来处理时间的不确定性问题;能够对列车运行过程中的时间不确定性问题进行定量分析,可以有效应用于列车交会、列车终到时间、列车运行计划调整的分析等;其相对于已有的方法具有精确分析、计算简单、简化系统、便于系统集成的特点。

基于扩展模糊时间Petri网分析冲突事件的不确定性时间知识

为有效处理冲突相关的不确定性时间知识,在已有研究基础上,基于扩展模糊时间Petri网,引入变迁的模糊触发区间以表示使能变迁触发的不确定性,结合模糊时间函数和可能性值的运算来描述和分析各冲突事件发生的不确定性。能够针对冲突事件的各种时间不确定性问题进行定量分析,可以解决复杂情况下的时间知识推理和验证。其相对于已有方法具有冲突分析精确、计算简单、适用面广的特点。

基于一种模糊时间Petri网的不确定性时间知识表示和推理

在已有研究基础上定义一种模糊时间Petri网以处理冲突相关的不确定性时间知识.该Petri网引入变迁的模糊触发区间,结合模糊时间函数来处理不确定性时间知识,能够对冲突相关的时间不确定性问题进行定量分析,有效解决冲突事件的描述分析问题,适用于复杂实时系统建模.该方法具有冲突分析精确、计算简单、适用面广的特点,是对现有时间知识推理方法的进一步完善.

计及时间约束的改进模糊Petri网故障诊断模型

为充分利用故障事件记录的时间约束特性,进一步提高故障诊断的准确性与快速性,建立了一种计及时间约束的改进模糊Petri网故障诊断模型。首先,分析故障事件记录的一元、二元时间约束关系,研究不确定及缺失的报警信息对故障诊断的影响,利用虚拟有向弧及Petri网产生式规则,建立改进模糊Petri网模型;之后,通过正、反向时序推理分析,获得所有报警信息应该满足的时间区间,依据所建立的状态真值矩阵有效甄别出时序不一致的报警信息;在上述基础上,制定电网故障诊断的具体流程,提出继电保护装置动作行为辨识规则;最后,通过局部电力系统的多组算例仿真和实际系统故障案例测试,证明了所建模型能有效地诊断出电网故障,并具有较高的容错性。

一种基于时间约束可能性Petri网的设备状态分析模型

针对设备状态分析中不精确的时间信息与观测信号相互作用引发的复杂状态演化过程难以回溯的问题,提出一种基于时间约束可能性Petri网的设备状态模型和分析方法。该方法在时间相容性分析的基础上层次化地分解状态演化中的复杂关系,从而将模糊的因果关系清晰化,以降低问题的求解难度。仿真实验和对比分析表明,提出的方法是一种有效的设备状态分析方法,同时也降低了过程分析的计算复杂度。

基于随机Petri网的产品任务平均完成时间算法研究

对供应链管理中产品任务平均完成时间的求解策略问题作了讨论,提出了一种利用连续时间随机Petri网实现对产品任务平均完成时间的算法,并通过算例验证了算法的可行性。

变电站故障诊断的时间不确定性问题研究

针对变电站故障诊断的时间不确定性,提出一类带时间隶属函数的模糊Petri网(TM-FPN)用于构建变电站故障诊断模型。该模型利用模糊时间片和加权数学期望计算故障信号的时间分布,并采用一种加权方差分析信号分组的离散程度,选取离散程度最低的分组计算其时间隶属度,进而使用加权模糊推理进行诊断。仿真实验表明,该模型能有效地处理变电站故障诊断中时间不确定性问题,并能定量地分析信号时间分布离散度、时间差值函数以及重复出现的信号对诊断结果的影响。

一种随机Petri网的模糊同构方法研究

随机Petri网(SPN)可以同构于一个连续时间马尔可夫链,但在进行系统性能分析时,其状态空间随着系统规模的增大而呈指数性增长,造成系统无法同构分析,结合模糊数学理论提出一种模糊同构(FIM)方法,该方法可以约简复杂状态空间以便同构分析,最后应用该方法分析欧洲列车控制系统(ETCS)在移动闭塞区间条件下无线通信的可靠性,以验证该方法的可行性。

基于随机Petri网的乘积形式解存在判定

给出了一个判定基于随机Petri网(SPN)的乘积形式解存在的定理。利用该判定定理,可以发现两部件自动组装生产线模型具有乘积形式解,据此可画出该模型的状态空间图,然后根据局部平衡方程,就可得到此模型任意状态的稳定概率。

基于Petri网的呼叫损失建模与分析

本文主要针对电信呼叫损失问题,提出了Petri网优化模型,并采用连续时间马尔可夫链和Petri网相结合的方法对模型进行了模拟、分析和验证,其结果能够帮助和指导设计人员深入了解系统所面临的问题,从而制定出有效的解决方案。

基于随机Petri网的乘积形式解存在的一个充分条件

目前,判定一类随机Petri网(SPN)是否具有乘积形式解还没有比较好的方法。在这篇文章里给出了一个基于随机Petri网的乘积形式解存在的判定定理,它对于判定一些SPN模型是非常有用的。利用这个定理,可以发现两部件自动组装生产线模型具有乘积形式解,然后画出该模型的状态空间图,根据局部平衡方程,就可以得到此模型任意状态的稳定概率。

时间触发CAN总线系统的建模与性能分析

时间触发机制的引入提高了CAN总线对实时周期性消息的处理能力,然而系统中的非周期性消息具有迸发性、不可预知性和类型复杂的特点,对其传输性能的分析较为困难。该文利用确定随机Petri网理论建立了时间触发CAN总线系统的模型,通过仿真对异步相中非周期性消息传输进行吞吐量和平均延时等性能分析,得出了相应的量化规律,其结论对时间触发CAN总线系统的分析与设计具有指导意义。

基于网格的三维可视化技术及其在水利信息化中的应用

使用网格计算对网络环境下多台计算机处理能力的集成来解决三维显示不连续、单帧视觉图像处理时间过长的问题,并使用Petri网的描述方法对三维显示任务的分解进行理论上的描述。以高速的数据共享服务和有效的节点数据缓存管理方法为基础,开发了能够集成多台计算机的处理能力的网格应用系统,以利于今后在数字流域、水利信息化工程管理的三维显示中应用。

不确定条件下AUV编队决策系统的WIFTCPN形式化建模

AUV编队系统受测量不精确、水下通信时延、粒度不一致等不确定条件作用,针对其决策系统离散、时延、分层、信息模糊等特点,提出了一种具有严格的数学基础、集形式化建模、仿真与验证为一体的方法—加权直觉模糊时间着色Petri网(weighted intuitionistic fuzzy timed colored petri net,WIFTCPN),给出了模糊时间延迟、不确定信息、模糊知识以及加权直觉模糊推理等与WIFTCPN之间的映射关系,利用CPN Tools工具构建了不确定信息的推理决策的仿真模型,并通过仿真分析检验了模型的正确性、活性和安全性等。

ICPN的时间自动机构造方法

为克服Petri网行为演变分析技术的局限性,利用时间自动机技术分析区间速率连续Petri网(ICPN)特性。根据区间速率连续Petri网模型语义提出基于冲突消解的区间速率连续Petri网状态演变图构造算法,给出状态演变图的时间自动机构造方法。对某化工生产过程的分析表明了该方法的必要性和有效性。

基于SPN模型的可生存性DBMS中恶意事务修复算法的研究

在传统的数据库恶意事务修复方案的基础上,采用Petri网模型分析事务撤销冲突和操作执行序列异常检测;进而结合可生存性DBMS特征提出恶意事务静态和on-the-fly修复算法,并在此基础上给出随机Petri网恶意事务修复模型;在分析恶意事务修复随机Petri网模型和连续时间Markov链的一致性后,给出了连续时间Markov链的恶意事务修复模型求解.

基于multiSIM环境下的混杂系统仿真

混杂系统的仿真通常是在MATLAB环境下进行的,如果要用电路来实现混杂系统的监控器,还需要做数学模型到电路模型的映射并对电路模型再进行仿真 笔者提出了基于multiSIM环境下的混杂系统仿真方法,可直接得到系统监控器的电路模型 用模拟电路来模拟混杂系统的连续时间子系统,其离散事件子系统用Petri网建模,并对模型用VHDL编程,经编译、仿真后封装成器件,将两部分电路相互连接,通过multiSIM仿真,获得混杂系统的性能 文中通过一个液位控制系统实例具体介绍了这一方法,其仿真结果证明了该方法的正确性 这对于混杂系统的研究。

一种基于EFPN的电力系统故障诊断方法

针对电力系统故障诊断中存在的告警信息错误或缺失,以及信息出现的时间不确定等问题,提出一种基于扩展模糊Petri网(EFPN)的故障诊断方法。该方法通过将模糊规则映射到扩展模糊Petri网,对故障诊断过程中的不确定性问题进行定量分析。首先,采用统计计算获得信号置信度,运用层次分析法设定权值,进而构建时间隶属函数定量分析信号的时间不确定性。由变电站故障诊断实例可知,该方法在处理不完备信号和误信号时,表现出较好的适应性和容错性,准确度高,且降低了直接使用专家经验的主观性。

多主站PROFIBUS-DP通信协议实时性能分析

基于离散时间确定与随机Petri网(DDSPN)对PROFIBUS-DP通信过程进行建模和分析。通过网络协议仿真软件WIN-TTPN对其通信实时性能分析与评价,通过分析实时性能指标参数,即令牌循环时间、高低优先级报文数、出错率、主站数目和超时时间等,有效地分析PROFIBUS-DP总线系统的实时性能,为实际工程应用提供有价值的理论与方法。