扩展模糊时间工作流网的建模与仿真研究

针对不确定性情况下工作流时间分析的实际需求,基于可能性理论,引入模糊时间的概念,提出了一种扩展模糊时间工作流网,以便对不确定性时间信息进行全面描述。在考虑不同流程活动之间存在资源约束的情况下,提出了基于扩展模糊时间工作流网的多个并行流程建模方法。同时,分别讨论了扩展模糊时间工作流网模型中模糊时间和变迁触发可能性的模拟,提出了模型的仿真分析方法。最后,以某制造企业为例,采用CPN Tools进行建模和仿真分析,验证了方法的有效性。

层次扩展模糊时间Petri网及车站通过能力评定

为了有效地解决车站通过能力中各项时间指标问题, 基于扩展模糊时间Petri网提出了层次扩展模糊时间Petri网(Hierarchical Extended Fuzzy Timing Petri Net-HEFTPN)的概念.然后,以某一车站为例,进行具体建模,并采用仿真工具CPN Tools进行仿真分析,从而验证其有效性.HEFTPN具有灵活、直观、可扩展性好等优点,不但能够有效地解决车站通过能力评定问题,而且适用面广,能较好的应用于其它领域.

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

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

基于扩展模糊时间Petri网的故障诊断

针对故障诊断中可能出现的故障原因漏判问题,提出一种基于扩展模糊时间Petri网的故障诊断算法。该算法通过检查模糊时间戳确定故障时刻所有故障原因的状态,结合正向和逆向推理最大程度地解决故障原因漏判问题,从而确定主要、次要和其他故障原因。燃气轮机的故障诊断实例验证了该算法的有效性。

扩展模糊时间Petri网的定义和性质

随着装备的复杂程度不断地提高,对装备的故障诊断难度也不断加大,容易出现故障原因漏判的现象。为解决此问题,文章在模糊时间Petri网的基础上,通过在库所和变迁中引入模糊时间戳对其进行扩展,建立扩展模糊时间Petri网模型,并给出相关计算和运行实例。

模糊时间Petri网及扩展的模糊时间Petri网

网络实时系统对时间和QoS有严格要求,因此对设计、实现和测试的技术和工具都有很高的要求。模糊时间Petri网是将模糊集合理论用于不确定的或主观的时间信息的表示,在每个变迁上添加时问间隔约束对模糊时间Petri网进行扩展得到扩展的模糊时间 Petri网,它是一种对网络实时系统进行建模和分析的形式化模型,Petri网数学理论基础能保证并发系统的可靠性和正确性。本文详细地介绍了模糊时间 Petri网及可扩展的时间 Petri网,可扩展的时间 Petri网的网精简方法,使用 design/CPN仿真,及使用EFTN对多媒体同步建模,并探讨了进一步研究的方向。

不确定性时间知识推理和验证算法及列车群建模分析

时间知识的推理和验证技术对列车群行为建模分析具有重要意义,是其实施关键。本文在原来工作的基础上,引入模糊时间区间、扩展模糊时间Petri网(EFTPN)及可能性值运算等内容,提出了一种基于EFTPN的不确定性时间知识推理和验证算法。该算法效率高,占用空间少;不但能够进行不确定性时间信息的精确推理,而且适用面更广,可以较好解决复杂情况下的时间推理和验证问题。

工作流的不确定时间建模与分析新方法

针对现实企业中工作流时间管理的实际需求,提出了一种多过程不确定时间的建模与分析方法:首先基于扩展模糊时间工作流网(EFIWFN)对不确定性时间信息进行全面描述,然后构建生成图(sprouting graph)来表达 EFTWFN 中实例所经过的路径和时间信息,再依据生成图进行相关问题的分析计算。该方法实用性较强,能够有效推理分析资源约束情况下多过程的不确定时间问题,而且还可通过模糊时间运算,提供活动执行情况的可能性值,作为重要的参数指导用户决策或优化工作流模型。另外,生成图建立后,可针对不同问题进行多次使用,可重用性较好。该方法应用于某一制造企业并采用工具CPN Tools 进行仿真的结果验证了其有效性。

基于EFTPN不确定性时间信息的线性推理方法及在列车群分析中的应用

针对列车群行为分析中的不确定性时间信息推理问题,结合线性逻辑和扩展模糊时间Petri网(EFTPN)等理论,提出了一种基于EFTPN的线性推理方法.该方法不但能对不确定性时间信息进行精确的、定量的建模和推理;而且效率高,可在线性时间复杂度内完成推导;另外其适用面广,可用于解决其它领域内时间推理和验证问题.