工程计划的模糊时间 Pet ri 网 ( FT PN ) 模型
基于模糊时间Petri网的列车运行时间不确定性问题的处理
基于模糊时间Petri网的列车运行时间不确定性问题的处理叶阳东;王娟;贾利民
【期刊名称】《铁道学报》
【年(卷),期】2005(027)001
【摘要】定义一种应用于铁路列车运行系统的模糊时间Petri网;针对列车运行时间存在的不确定性,该Petri网引入了4个模糊集理论函数:模糊时间片、模糊使能时间、模糊发生时间和模糊延迟,来处理时间的不确定性问题;能够对列车运行过程中的时间不确定性问题进行定量分析,可以有效应用于列车交会、列车终到时间、列车运行计划调整的分析等;其相对于已有的方法具有精确分析、计算简单、简化系统、便于系统集成的特点.
【总页数】8页(P6-13)
【作者】叶阳东;王娟;贾利民
【作者单位】郑州大学,计算机科学系,河南,郑州,450052;郑州大学,计算机科学系,河南,郑州,450052;铁道科学研究院,运输与经济研究所,北京,100081
【正文语种】中文
【中图分类】TP182;U29
【相关文献】
1.基于列车运行时间偏离的地铁列车运行图缓冲时间研究 [J], 赵宇刚;毛保华;蒋玉琨
2.基于距离微化因子的列车运行时间的预测模型 [J], 李文锋
3.基于闭塞区间的高速列车运行时间与节能协同优化方法 [J], 赵辉; 代学武
4.基于精确运行时间的列车速度曲线计算方案 [J], 田昌宇;刘佳政;张超
5.基于列车运行时间偏差惩罚的高速列车节能优化方法 [J], 马阳阳;孟学雷;贾宝通;任媛媛;秦永胜
因版权原因,仅展示原文概要,查看原文内容请购买。
模糊时间Petri网的时间推理及其在过程监测中的应用
模糊时间Petri网的时间推理及其在过程监测中的应用
高梅梅;吴智铭
【期刊名称】《控制与决策》
【年(卷),期】2001(16)3
【摘要】针对传统分析方法的不足 ,提出用线性逻辑给出模糊时间 Petri网描述和时间推理的方法。
该方法能清楚地分析模糊时间 Petri网的运行行为 ,具体例子说明了其在系统过程监测和诊断中的应用。
【总页数】3页(P371-373)
【关键词】模糊时间Petri网;线性逻辑;时间推理;过程检测
【作者】高梅梅;吴智铭
【作者单位】上海交通大学自动化研究所
【正文语种】中文
【中图分类】TP183
【相关文献】
1.基于一种模糊时间Petri网的不确定性时间知识表示和推理 [J], 马军霞;卢红星
2.基于直觉模糊时间Petri网的不确定性时间推理方法 [J], 任神河;郑寇全;雷英杰;王睿
3.基于模糊时间Petri网的决策融合模型及时间推理 [J], 李瑛;汪民乐;刘卫东
4.模糊时间Petri网及扩展的模糊时间Petri网 [J], 董玉梅;张立臣
5.模糊时间Petri网及其时间推理方法 [J], 高梅梅;吴智铭
因版权原因,仅展示原文概要,查看原文内容请购买。
计及时间约束的改进模糊Petri网故障诊断模型
2016年12月电工技术学报Vol.31 No. 23第31 卷第23期T R A N S A C T I O N S O F C H I N A E L E C T R O T E C H N I C A L S O C I E T Y Dec. 2016计及时间约束的改进模糊Petri网故障诊断模型白展1苗世洪1孙應斌2陈亦平2侯云鹤3(1•强电磁工程与新技术国家重点实验室(华中科技大学)武汉4300742.中国南方电网有限责任公司广州5106233.香港大学电机电子工程系香港)摘要为充分利用故障事件记录的时间约束特性,进一步提高故障诊断的准确性与快速性,建立 了一种计及时间约束的改进模糊Petri网故障诊断模型。
首先,分析故障事件记录的一元、二元时间约 束关系,研究不确定及缺失的报警信息对故障诊断的影响,利用虚拟有向弧及Petri网产生式规则,建 立改进模糊Petri网模型;之后,通过正、反向时序推理分析,获得所有报警信息应该满足的时间区间,依据所建立的状态真值矩阵有效甄别出时序不一致的报警信息;在上述基础上,制定电网故障诊断的 具体流程,提出继电保护装置动作行为辨识规则;最后,通过局部电力系统的多组算例仿真和实际系统故障案例测试,证明了所建模型能有效地诊断出电网故障,并具有较高的容错性。
关键词:时间约束改进模糊Petri网故障诊断不确定性状态真值矩阵中图分类号:T M77Fault Diagnosis Model Based on Improved Fuzzy Petri NetConsidering Time ConstraintsBai Z h a n Miao Shihong1Sun Yanbin2Chen Yiping2H o u Yunhe3(1. State Key Laboratory of Advanced Electromagnetic Engineering and TechnologyHuazhong University of Science and Technology W u h a n430074 China2. China Southern Power Grid Company Guangzhou 510623 China3. Department of Electrical and Electronic Engineering The University of Hong Kong Hong Kong China)Abstract To utilize the time constraint characteristics of power system fault event records and improve both the accuracy and rapidity of power system fault diagnosis, a fault diagnosis model based on improved fuzzy Petri net considering time constraints i s proposed in this paper. Firstly, the relations between unary and binary time constraints of fault event records are analyzed,and the effect of uncertain and missing alarm information on fault diagnosis i s also studied deeply. The improved fuzzy Petri net model i s established by using virtual directed arcs and production rules of Petri net. Secondly, the time intervals that a l l alarm information should meet can be acquired by the forward and backward temporal reasoning analysis, and the time sequence inconsistent alarm information can be effectively identified based on the state truth value matrix. Finally,the specific fault diagnosis process and identification rules of relay protection devices are formulated. The simulation results and a real power system fault case indicate that the proposed model can effectively diagnose power system faults,and also has much higher fault tolerance.Keywords:Time constraints,improved fuzzy Petri net, fault diagnosis,uncertainty,state truth value matrix中国南方电网有限公司重点科技项目资助(K-ZD2014~015)。
具有时间约束的机组组合问题中的Petri网模型
具有时间约束的机组组合问题中的Petri网模型
王冰
【期刊名称】《计算机应用》
【年(卷),期】2003(023)005
【摘要】给出了一种与环境有信息交流的受控记时Petri网系统模型,把这种模型应用于描述具有时间约束的机组启停状态转换过程,使具有时间约束的机组组合的动态规划法每一时段计算费用的状态数大大小于已有传统动态规划法的状态数,从而既处理了冷、热启动费用和最小启停机时间约束,又减少了计算费用的状态数,将会大大提高算法的效率.
【总页数】4页(P24-27)
【作者】王冰
【作者单位】山东大学,威海分校,控制工程系,山东,威海,264209;上海交通大学,自动化研究所,上海,200030
【正文语种】中文
【中图分类】TP393.02;TM732
【相关文献】
1.利用CC-PN建立机组组合问题中时间约束辅助模型 [J], 喻菁;周建中
2.用受控有色Petri网解决水力机组组合中时间约束问题的研究 [J], 喻菁;周建中;廖荣涛;倪传坤;戴洪海
3.计及时间约束的改进模糊Petri网故障诊断模型 [J], 白展;苗世洪;孙雁斌;陈亦平;侯云鹤
4.一种基于时间约束可能性Petri网的设备状态分析模型 [J], 路光辉;佘维;雍明超;刘炜;林予松
5.用Petri网模型处理机组组合问题的时间约束 [J], 王冰;尚力
因版权原因,仅展示原文概要,查看原文内容请购买。
基于Petri网的工作流模型时间性能分析
Microcomputer Applications V ol.27,No.8,2011开发应用微型电脑应用2011年第27卷第8期文章编号:1007-757X(2011)08-0047-03基于Petri 网的工作流模型时间性能分析潘海兰摘要:利用高效的建模技术来构建复杂的业务流程,一方面可以提高模型形式化表示的可读性,另一方面便于进行模型性能分析,确保模型在投入使用后的正确性。
阐述了利用Petri 网技术的严格语义,来构建流程模型并进行性能分析的过程。
首先指出时间性能对工作流性能分析的重要性,然后介绍了Petri 网和工作流网的定义、工作流基本路由结构的Petri 网表示,及其对应的性能等价公式,最后在这些基本定理的基础上,通过一个购车流程的实例来构建模型,并对其时间性能进行分析,证明了利用Petri 网技术建模的合理性和优越性。
关键词:工作流网;Petri 网;路由结构;建模;时间性能分析中图分类号:TP302文献标志码:A0引言目前,工作流管理技术已经应用于许多领域,它给企业的流程管理带来巨大的变革。
但是目前在工作流技术中还存在着许多需要解决和改进的问题,如异常处理、流程监控、流程重构等,而这些都与工作流模型的建立相关。
工作流建模是将企业业务流程进行抽象表示,并实现使用计算机进行处理,那么一个优秀的模型定义方式十分重要。
Petri 网是严格定义的数学模型,它具有规范的模型语义,同时Petri网还拥有许多成熟的分析技术和手段,有利于模型性能的分析和评价。
工作流的响应时间是衡量工作流过程优劣的重要指标,也是工作流系统中最重要的性能参数之一。
传统的时间性能分析大多是基于马尔可夫链的,其时间复杂度是指数级别的,很不实用,分析过程过于复杂[1]。
而利用Petri 网建立工作流网模型可以充分利用Petri 网技术进行形式化定义,结合概率论知识实现时间性能分析,降低时间复杂度。
1工作流的建模、分析和执行基于Petri 网的工作流网模型的性能分析大大提高了时间性能分析的复杂度,因此下面首先介绍它们的相关概念。
变电站故障诊断的时间不确定性问题研究 侯权芳
变电站故障诊断的时间不确定性问题研究侯权芳发表时间:2018-03-14T10:11:25.137Z 来源:《电力设备》2017年第29期作者:侯权芳[导读] 摘要:对于变电站故障诊断时间的不确定性,提出了一种利用时间隶属函数的模糊Petri网来构建变电站故障诊断模型。
(内蒙古电力(集团)有限责任公司锡林郭勒电业局内蒙古锡林浩特市 026000) 摘要:对于变电站故障诊断时间的不确定性,提出了一种利用时间隶属函数的模糊Petri网来构建变电站故障诊断模型。
模型利用模糊时间片和加权数学期望,来计算故障信号的时间分布,并采取一种程度的加权方差分析离散信号,离散时间最少的组被选择来计算时间隶属度,然后利用加权模糊推理诊断。
通过仿真实验显示,该模型能很好地处理变电站故障诊断的时间不确定性问题,并能定量分析信号时间离散度、时间差值函数的分布以及信号对诊断结果的影响。
关键词:变电站;故障诊断;Petri网;时间不确定性;时间隶属度1前言电力系统故障诊断的主要目的是快速识别导致设备故障的来源。
当一个设备在电力系统中出现故障时,与之相关的保护装置将会做出动作并发送大量的警告信号。
尤其是当报警信号和保护操作错误、时间偏差、拒绝动作和不确定因素等混合在一起时,会增加故障诊断的难度。
这些不确定性使得正确识别故障来源和选择合理的解决问题的方法变得困难。
故障信号序列的研究,再加上缺乏的情况包含时间的失效概率不确定性、保护装置误动和拒绝行动的判断,而不是对随机性信号和一组信号的时间间隔特性进行进一步分析,也没有讨论多个相关故障引起的时序信号分组如何识别的问题,因此在应用过程中有很大的局限性。
2.TM-FPN模型关联信号的处理在正常情况下,保护操作标志通常伴随着一组相关信号,用于提示操作者在连接时的保护动作情况,可验证保护动作信号是正确的。
保护作用主要存在于信号与相关不确定信息之间的两类时间:(1)保护操作信号发生,其相关信号具有一定的随机性,根据现场情况而定。
模糊时间Petri网及扩展的模糊时间Petri网
模糊时间Petri网及扩展的模糊时间Petri网
董玉梅;张立臣
【期刊名称】《计算机科学》
【年(卷),期】2005(32)11
【摘要】网络实时系统对时间和QoS有严格要求,因此对设计、实现和测试的技术和工具都有很高的要求.模糊时间Petri网是将模糊集合理论用于不确定的或主观的时间信息的表示,在每个变迁上添加时间间隔约束对模糊时间Petri网进行扩展得到扩展的模糊时间Petri网,它是一种对网络实时系统进行建模和分析的形式化模型,Petri网数学理论基础能保证并发系统的可靠性和正确性.本文详细地介绍了模糊时间Petri网及可扩展的时间Petri网,可扩展的时间Petri网的网精简方法,使用design/CPN仿真,及使用EFTN对多媒体同步建模,并探讨了进一步研究的方向.【总页数】6页(P241-246)
【作者】董玉梅;张立臣
【作者单位】广东工业大学计算机学院,广州,510090;广东工业大学计算机学院,广州,510090
【正文语种】中文
【中图分类】TP3
【相关文献】
1.基于扩展模糊时间Petri网的故障诊断 [J], 王燕平;马良荔;刘永葆
2.扩展模糊时间Petri网的定义和性质 [J], 王燕平;马良荔;刘永葆
3.基于扩展模糊时间Petri网分析冲突事件的不确定性时间知识 [J], 马军霞;张松炜
4.扩展的模糊时间Petri网 [J], 董玉梅;张立臣
5.层次扩展模糊时间Petri网及车站通过能力评定 [J], 杜彦华;刘春煌
因版权原因,仅展示原文概要,查看原文内容请购买。
模糊属性Petri网建模方法及学习模型研究
模糊属性Petri网建模方法及学习模型研究
周如旗;冯嘉礼;张谦
【期刊名称】《计算机工程》
【年(卷),期】2014(040)006
【摘要】定性映射易于表达模糊不确定性知识,但其在表达人类认知思维活动动态特征上存在不足;模糊Petri网比较符合人类思维方式,但相关参数不易获得且其自学习能力存在较大局限性.为此,提出一种模糊属性Petri网(FAPN)形式定义及建模方法.在FAPN结构中构建定性基准参数学习方法,通过定性映射定义4类变迁发生的模糊定性判断规则和相应变迁发生后的结果运算公式,给出FAPN模型的推理算法和学习机制,并模拟系统的动态运行过程.分析结果表明,该方法能有效提高FAPN 的学习能力,可适用于以定性判断为特点的诊断系统.
【总页数】5页(P190-194)
【作者】周如旗;冯嘉礼;张谦
【作者单位】广东第二师范学院计算机科学系,广州510303;上海海事大学信息工程学院,上海200135;广东第二师范学院计算机科学系,广州510303;华南理工大学自动化科学与工程学院自主系统与网络控制教育部重点实验室,广州510640【正文语种】中文
【中图分类】TP18
【相关文献】
1.基于模糊Petri网的飞机故障推理建模技术研究 [J], 邵欣桐;商中新
2.藻类水华形成机理的模糊Petri网优化建模研究 [J], 王小艺;唐丽娜;刘载文;许继平
3.基于分层模糊有色Petri网的防空C3I系统建模研究 [J], 陈星佑;乐晓波;曹伟;周恺卿
4.一种面向对象模糊Petri网建模方法的研究 [J], 刘心;印桂生;张磊
5.模糊故障Petri网建模方法及其应用 [J], 黄敏;林啸;侯志文
因版权原因,仅展示原文概要,查看原文内容请购买。
基于扩展模糊时间Petri网分析冲突事件的不确定性时间知识
a s e
d
o n
te
n
—
ded F
x
n
u z z
y T im in g P
o n
u
tr i N
i
。
t
M A J
( 1 S c ho
.
u n
a
ia
E
a
。
。
ZH A NG S
.
g
—
w
o
l
o
f Co
,
m
p
u t e r
a n
d Co
De pt
m
m
u n
ic
e c
t io
n
n
g
,
Zhe
c
n
g
z
ho
In
n
s t
ic
l In du
s t r
,
Zhe
g
z
ho
,
H
e n a n
4500 15
C h in
)
A bstr
a c
t
:
In
s e
o r
de
o n
r
to t
p
r o c e s s
t
he
u n c e r
t
a
in
t e m po r a
e t r
l kn
o w
r e
le dg
p
a n
e
a
bo
t
t
u
t
c o n
第 27 卷 第 5 期
2008
V O I 2 7 No
时间Petri网在即时检验流程建模中的应用
时间Petri网在即时检验流程建模中的应用作者:王磊王弼陡罗刚银聂兰顺战德臣田浩然来源:《计算机应用》2015年第12期摘要:针对即时检验系统的设计与开发建模问题,提出一种基于时间Petri网的并发系统建模分析方法,为即时检验流程设计建立较为准确的信息化模型。
通过将活动持续时间概念引入Petri网模型中,提出了适用于即时检验系统建模的时间Petri网建模方法,并设计了嵌入Petri网模型中的调度仿真器协助分析、优化即时检验控制过程。
仿真实验结果表明所提出的时间Petri网建模方法在可达节点和运行时间等方面能够满足并行多类别即时检验调度与控制系统的流程建模实际需要,为流程仿真和分析提供有力工具,从而辅助系统设计者对即时检验系统进行优化。
关键词:时间Petri网;即时检验;建模方法;调度仿真器;优化分析中图分类号: TP311文献标志码:AAbstract:Concerning the problems of designing and modeling the process of PointOfCare Testing (POCT) system, a method for concurrence system modeling and analyzing based on TimePetri Net (TPN) was proposed which built more accurate information model for the process designing of POCT system. The activity holding duration was introduced into classical TPN, and the TPN modeling method for POCT control process was proposed. The scheduling simulator embedded in Petri net model was also designed for assisting the analysis, and optimization of the POCT control process. The simulation results show that the proposed modeling method for TPN can satisfy the practical requirement of process modeling of the parallel multiclass POCT control system in the fields such as reachable nodes and running time and provide powerful tool for process simulation and analysis. Furthermore, the proposed TPN can assist the system designer for the optimization of POCT system.英文关键词Key words:TimePetri Net (TPN); PointOfCare Testing (POCT); modeling method; scheduling simulator; optimization analysis0引言快速诊断已经成为我国健康医疗领域关注的热点之一,研制开发能够实现自动加样、自动传输、自动检测、自动存储等功能,具有检测通量高、精度高、灵敏度高等优点的新型即时检验(PointOfCare Testing, POCT)系统已经成为摆在我国医疗仪器研发人员面前亟待完成的任务。
基于时间Petri网和模拟退火算法的单机机务准备流程优化
降低 协 某型 飞机 单机 机 务准 备 流程优 化 ,以子 流程 分 步建模 的 ㈣ 方法 了模 型描 述 的 复杂性 ,采用 等价 结构 压缩 技 术 降低 了人 与计 算机 的工作 强度 。建模 过程 显 示 了使 用 优先 级表 达 调度 策略 的合 理 性 ,仿真 计 算结 果验证 了模拟 退 火 算法
兵 工 自 动 化
・90 ・
201 3. 03
Or d na nc e I nd u s t r y Aut o ma t i o n
3 2 ( 3 )
基于 时 间P e t r i 网和模拟 退 火算 法 的单机机 务 准备流 程优 化
冯 浩 源 , 吕卫 民 , 江 式伟
一 一 一 ~ ~ 一 ~ 一 一 一 一 ~ 一 ~ ~ 一 一 一 一 一 . ~ J , 一 ㈨ ~ 一 m ~ . 一 重 咖 一 ~ 啪 - 一 ~ _ 萋 蓥 一 l 鼬 ~ 重 m 一 . ~ w ~ 一 啪
O 引 言
迅 速 、充 分 的机 务准 备 工 作 是保 证 飞机 顺 利 出 动 的前 提 , 也 是 飞 机 进 行 再 次 出动 的基 础 J 。 而 通 过 优 化 得 出 的高 效 、合 理 的机 务准 备 流 程 是达 成 上
Ba s e d o n Ti me d Pe t r i Ne t a n d Si m ul a t e d Ann e a l i ng Al g o r i t h m
Fe ng Ha o yua n ,LYU We i mi n ,J i a ng S hi we i
在调 度 策略优 化 中的有 效 性 ,得到 了某型 飞机单 机机 务 准备 流程 优化 问题 的 全局 最优解 。 关键 词 :流程 优化 ; 时 间 P e t r i 网;模 拟退 火算 法 ; 离散 事件 系统
层次扩展模糊时间Petri网及车站通过能力评定
层次扩展模糊时间Petri网及车站通过能力评定
杜彦华;刘春煌
【期刊名称】《系统仿真学报》
【年(卷),期】2005()z1
【摘要】为了有效地解决车站通过能力中各项时间指标问题, 基于扩展模糊时间Petri网提出了层次扩展模糊时间Petri网(Hierarchical Extended Fuzzy Timing Petri Net-HEFTPN)的概念.然后,以某一车站为例,进行具体建模,并采用仿真工具CPN Tools进行仿真分析,从而验证其有效性.HEFTPN具有灵活、直观、可扩展性好等优点,不但能够有效地解决车站通过能力评定问题,而且适用面广,能较好的应用于其它领域.
【总页数】6页(P178-183)
【关键词】车站通过能力;扩展模糊时间Petri网;层次扩展模糊时间Petri网;仿真【作者】杜彦华;刘春煌
【作者单位】铁道科学研究院,电子计算技术研究所,北京,100081 铁道科学研究院,电子计算技术研究所,北京,100081
【正文语种】中文
【中图分类】TP278
【相关文献】
1.基于扩展模糊时间Petri网的故障诊断 [J], 王燕平;马良荔;刘永葆
2.模糊时间Petri网及扩展的模糊时间Petri网 [J], 董玉梅;张立臣
3.扩展模糊时间Petri网的定义和性质 [J], 王燕平;马良荔;刘永葆
4.扩展时间和层次的Petri网工作流模型 [J], 牛为华;杨竹苹
5.基于扩展模糊时间Petri网分析冲突事件的不确定性时间知识 [J], 马军霞;张松炜
因版权原因,仅展示原文概要,查看原文内容请购买。
基于时序的模糊Petri网的电力系统故障诊断通用模型
基于时序的模糊Petri网的电力系统故障诊断通用模型摘要:针对电网规模增大时,各元件的Petri网建模会产生组合爆炸问题,提出基于时序的电力系统元件模糊Petri网通用模型,加入时间约束关系提高Petri网的诊断性能。
把结线分析法和矩阵运算的推理算法运用在故障诊断过程中,解决了组合爆炸问题,并在系统接收错误及不完整的故障信息时,依然可以准确的进行故障诊断,容错性强。
通过实例验证了该方法的正确性和通用性。
关键词:Petri网;故障诊断;结线分析法;时序信息A General Method of Fault Diagnosis for Power SystemBased on Time Sequence Fuzzy Petri NetCHEN Jingqiu,WANG Qian,XIANG Qiangming,WANG Jiangli(School of Electrical Engineering, Southwest Jiaotong University, Chengdu 610031, Sichuan Province, China)ABCTRACT: The Petri model of each component will tend to combination exploding problem with the expansion of the scale of modern power systems.This paper has introduced the general Petri net models of different power system components, which using reasoning matrix method of to solve the problem of combinatorial explosion. When the system receive fault or unasceryainedinformation, it can still accurately make sure thefault diagnosis. An example has been verified the correctness and versatility.Key words:Petri net; fault diagnosis; topology analysis of power networks0 引言随着现代社会生产力水平的不断提高,可靠的电能是电力用户的基本要求,加之电网的互联规模越来越大,可能出现的故障也越来越复杂,因此电网故障的识别必须迅速、准确。
改进的油田配电调度工作流时间着色Petri网模型
Absr t W i h n r a i g s a e o o r v s m o n f if r ain a a a p o e sn e o e t ac : t t e i c e sn c l fp we , a ta u t o n o m to nd d t r c s ig b c m s h
( . col f l tcl n i e n 1 Sh o o e r a E g er g& Ifr t n N r es P t l m U ie i , aig13 1 , hn ; Ec i n i no i , ot at e oe nvr t D q 63 8 C ia mao h r u sy n
锁 和 陷 阱, 变迁是 “ 活的 ” 不存在 冗余 现 象 , 以顺利执 行 工作任 务 。利 用时 间着 色 P t 网对 配 电 , 可 ei r 调 度 工作流进 行分析 建模 , 立 电网操 作规 则 关 系型 数据 库 , 建 实现操 作 中的信 息共享是 可行 的 。
关 键词 :er 网;时间着 色 ;X作 流 ;配电 系统 ; 度 系统 Pt i - 调
2 D qn i F e i i dLa i t C m a y S cn i P o u t nP a t D q g1 3 1 , hn ) . a i O l i dL m t — i ly o p n , eo dO l rd ci ln , a i 6 4 4 C ia g l e bi o n
基于DTPN的时间Petri网的组件级化简规则
基于DTPN的时间Petri网的组件级化简规则
张姝;江金龙
【期刊名称】《计算机仿真》
【年(卷),期】2008(025)001
【摘要】时间Petrl网(TPNs)是实时系统时间特性常用的描述和验证的Petri网模型.组件级化简方法是TPN模型常用的分析方法,在保持外部可观察时间特性的前提下,将组件TPN模型化简成一个很简单的TPN模型.然而它却失去了组件内部的性质,如冲突和并发等性质.文中引人延迟时间Petri网(DTPN),通过组件TPN模型向DTPN模型转化,使化简后模型既保持外部可观察时间特性,又保持组件内部的冲突和并发等性质.为了分析化简后的DTPN模型,文中还提出了一种新的DT-PN调度分析方法.最后通过对一个C2系统的组件TPN模型的分析实例,验证该方法的有效性.
【总页数】4页(P105-108)
【作者】张姝;江金龙
【作者单位】北京联合大学信息学院,北京100101;中国兵器装备研究院,北京100089
【正文语种】中文
【中图分类】TP391.9
【相关文献】
1.基于Petri网表示的嵌入式系统模型化简规则 [J], 夏传良
2.基于Petri网的工作流逻辑化简规则的矩阵表示 [J], 孟永刚;宋文;叶剑虹
3.基于Petri网的工作流逻辑化简规则的矩阵表示 [J], 孟永刚;宋文;叶剑虹
4.基于Stopwatch时间Petri网的柔性作业车间优先级调度研究 [J], 李雅琼;魏绍炎;潘春荣
5.基于组件级化简的语义验证方法在电子商务过程中的应用 [J], 周建涛;叶新铭因版权原因,仅展示原文概要,查看原文内容请购买。
基于模糊神经Petri网的软件系统可靠性评估方法
总第254期2010年第12期计算机与数字工程C om pu t er&D i g i t al Engi nee r i ngV01.38N o.121基于模糊神经Pet r i网的软件系统可靠性评估方法+翟双灿(南京中医药大学信息技术学院南京210046)摘要针对软件系统可靠性建模难问题,提出了一种新的适用于软件系统可靠性估计的模糊神经Pet f i网(简称为FN—PN)。
文章首先给出了模糊神经Pet r i网的定义及其引发规则,然后给出了一种学习算法。
该F N PN结合了模糊Pet f i网和神经网络各自的优点,既可以表示和处理模糊产生式规则的知识库系统又具有学习能力,可通过对样本数据学习调整模型中的参数以获得系统内部的等效结构,从而计算出非样本数据的系统的可靠度。
最后用实例分析验证了该方法的可行性。
关键词模糊神经Pet r i网;可靠性;评估;建模;软件系统中图分类号TP309Fuzzy N e ur al Pet r i-net M et hod f or R el i abi l i t y E s t i m at i onof Sof t w a r e Sys t em sZhai Shuangcan(Col l ege of Inform at i on Tec hnol ogy,N a nj i ng U ni ver s i t y of C h i nes e M edi c i ne,N a ni i ng210046)A bst r act A i m i ng a t t he pr acti cal con di t i o ns of sof t w ar e s yst e m s。
a f uz zy neu r al Pet r i-net m e t hod(FN P N)f or e st i r na—t i ng t he r eli abi l it y of sof t w ar e s ys t e m s i s propos e d.The def i ni t i on and f i r e-r ul es of t h i s F N P N ar e pre se nt ed T hen a l ear ni ng al gori t hm i s put f o r w a r d.I t c an ex pr ess and pr oc ess t he know l e dge-bas ed s y s t em of f uz zy pr oduct i ve r ul es,a nd poss ess es t he capabi l i t y of l ea r ni ng.Fi nal l y t he m odel of r eli abi l it y eva l uat i on of i nf or m a t i on s ys t e m s i s est abl i sh ed ba se d o n i t,A c cor di ng t o qual i t at i ve anal ysi s a nd quant i t at i ve i ndi ces cal cul at i on.t he r esul t s s hoW t hat t he m od el i S ef f ect i ve and r eason abl e.K eyW or ds f uz zy neur al Pet r i ne t,r el i a bi l i t y,est i m a t i on,m o del i ng,sof t w ar e s ys t e m sC I猫N t m l l瑚TP3091引言随着人们在软件产业发展中对所需要的软件质量的重视,软件可靠性的研究已经成为软件工程学科的一个重点。
基于Petri网的工作流系统不确定性时间信息的计算
—
时 间管理 和分析 提供技术 支撑 .
关键 词 : e i 工作流;时间计算 P t 网; r
中图分类号 : P3 1 T 0
文 献标志码 : A 种 扩充会 导 致 时间分 配 与消 耗上 的概 念模 糊 ,因为
近些年 来 ,国内外很 多 学 者都对 工 作流 系统 的
时 间 管 理 理 论 进 行 了 研 究 [9 i F n 等 【】 3 1 n e g 加 对 -.L
WF nt 行 时 间扩 展 ,提 出 了T WF e进 C N网 ,以便 对 WF n t 行 时 间 因素 的 建 模 .文 献 [ 1采 用 随 机 e进 1]
务 流 程 中 的主任 务 线 .综上 所 述 ,现 有 的大 多数 研
1 P e 的 定 义 与 结 构 T nt
定义 1 P nt T e是一个五元组 :
_
厂) ,
其 中( , F P , 数 ,即
是 一个原 型 P t er , i网【】 f为时 间 函
究 都是 对WF nt e进行 扩充 ,从而 对工作 流 系统 的时 间因 素进 行建 模,或是 对工 作 流系统 的时 间性 能进 行 评估 ,缺 乏一 种 有效 的能 够分 别在 工 作流 建模 阶 段 和 实例 化 阶段进 行 系统 时 间管理 的策 略 .而且 这
段 对相 应 的时 间信 息进 行计 算 ,从 而实 现工 作 流系
统 的时 间管理 .
P t 网对工 作 流系统 进行 建模 并进 行 时 间性 能 的分 ei r 析 .刘 婷 等 [】 过对 时 间工 作 流 网的线 性 推理 ,计 】通 算 出整 个工 作 流 进程 所 消 耗 的总 时 间 .文献 [3基 1] 于P t 网 中的 出现 网,结 合 时 间和 资源 约束 求取 业 ei r
- 1、下载文档前请自行甄别文档内容的完整性,平台不提供额外的编辑、内容补充、找答案等附加服务。
- 2、"仅部分预览"的文档,不可在线预览部分如存在完整性等问题,可反馈申请退款(可完整预览的文档不适用该条件!)。
- 3、如文档侵犯您的权益,请联系客服反馈,我们会尽快为您处理(人工客服工作时间:9:00-18:30)。
2003年4月系统工程理论与实践第4期 文章编号:100026788(2003)0420111204工程计划的模糊时间Petri网(FT PN)模型张新龙1,夏国平1,朱友芹2(1.北京航空航天大学经济管理学院,北京100083;2.大众报业集团,山东济南250014)摘要: 针对工程计划中工序作业时间的不确定性,传统网络计划方法缺乏数学表达能力的问题,提出了用模糊时间Petri网(FT PN)表达工程计划的新模型Λ在讨论了工序完工隶属函数之后,给出了FT PN的形式化描述及触发规则,依据工程计划的FT PN建模规则,把求取关键路径转化为一个基于代数方程求取FT PN中特定标识的问题Λ算例表明,文中所提出的模型既能正确且更加直观的表达工程计划问题,又能形式化地描述并计算工程计划问题Λ关键词: 模糊时间Petri网;工程计划中图分类号: O157.5 文献标识码: A M odel of P ro ject Schem e Based on Fuzzy2ti m ing Petri N etZHAN G X in2long1,X I A Guo2p ing1,ZHU You2qin2(1.Schoo l of Econom y&M anagem en t,Bei H ang U n iversity,Beijing100083,Ch ina;2.D azhong N ew s Group,J inan 250014,Ch ina)Abstract: D ue to the ti m e uncertain ty of activities and the ab sence of fo rm al descri p ti on of p ro jectschem e,a new model is p ropo sed based on the fuzzy2ti m ing petri net(FT PN).O n the basis of the fo r2m al defin iti on,firing ru les and m athem atic p roperties,w e u se FT PN p lo t the p ro ject schem e clearly.andtu rn the p rob lem of critical path to a special m ark s of FT PN.In P ractice,w e draw the conclu si on thatFT PN is no t on ly u sed to exp ress the p ro ject schem e p roperly and clearly,bu t also give the fo rm al rep2resen tati on and compu tati on easily.Key words: fuzzy2ti m ing petri net(FT PN);p ro ject schem e 在网络计划技术应用中,如何确定工序作业时间一直是工程界所关心的问题[1]Λ原因就在于工程计划中,工序作业时间具有不确定性,它包括活动发生的随机性、现有知识无法掌握客观情况所产生的不知性及人们对事物按一定准则予以划分所产生的模糊性[2]Λ针对不同形式的作业时间不确定性,文献[2]认为,我们所需要处理的信息并不是事物本身的不确定性,而是管理人员对这种不确定性的主观反映,将模糊数学的概念和方法引入网络计划模型中将更贴切地反映出对工序作业时间的描述Λ由于网络计划不仅能正确地反映出工序的关系,又能计算出关键路径和关键工序,从而使其在工程界得以广泛应用[3],但是它仅仅是一种图形工具,只能静态地反映计划工期,不能动态地、以代数形式对计划进行分析Λ自20世纪60年代以来,越来越多的科技工作者用Petri网来表达各种过程和问题,且取得了很好的效果[4]Λ究其原因主要是Petri网作为图形化建模工具,具有直观、易懂和易用的优点,对描述和分析并发现象有独到之处;而作为一种数学化工具,它又是严格定义的数学对象,可通过建立各种状态方程、代数方程及其它数学特性对静态结构特性及行为特性予以分析[5]Λ鉴于模糊集能够很好地表达工序作业时间的不确定性,Petri网既能以图形化又能以数学化表达工序及相互关系,本文将模糊时间与Petri网相结合形成模糊时间Petri网描述工程计划,它不但能正确表达收稿日期:2002203221资助项目:国家自然科学基金(79870005) 作者简介:张新龙(1975-)男,江苏扬州人,博士研究生,主要研究方向:企业流程建模及Petri在管理中的应用工序、作业时间及工序间关系,而且可以通过其数学化工具,形式化地描述工程计划,通过代数运算,把网络计划问题转化成了一个求取FT PN 特定标识问题,降低了工程计划的计算复杂度Λ1 工序完工隶属函数的建立对工程计划的某一工序的隶属函数而言,有两个阈值t 1,t 2,其中t 1表示工序完工起码时间,低于该阈值工序无法完工,完工隶属度为0,而t 2表示工序正常完工时间,大于该阈值,则工序一般能按时完成,图1 Β=1时工序完工隶属函数隶属度为1,根据实践,工序完工隶属函数为Λi (t )=0,t <t i 1t -t i 1t i 2-t i 1Β,t i 1Φt Φt i 21,t >t i 2其中Β一般由工程所属类别决定,对Β=1而言,所对应的隶属函数如图1所示.由模糊数学的扩张定理得如下定理.定理1 两个隶属函数Λi (x )=[t i 1,t i 2],Λj (y )=[t j 1,t j 2],则Λi (x )与Λj (y )相迭加的联合隶属函数为Λi +j (z )=Λi (x )+Λj (y )=[t i 1+t j 1,t i 2+t j 2]Λi (x )与Λj (y )的求大函数为m ax (Λi (x ),Λj (y ))=[t i 1∨t j 1,t i 2∨t j 2]2 模糊时间Petr i 网形式化描述及相关特性[1,2]定义1 模糊时间Petri 网(Fuzzy 2T i m ing Petri N et ,FT PN )是一个六元组:FT PN =(P ,T ,I ,O ,M 0,()其中,P 为FT PN 的一有限非空集合,表示任务,用布尔量表示,容量为1;T 是FT PN 为变迁元素集,表示任务的执行,且有P ∩T =5,P ∪T ≠5;I 为变迁输入弧,而O 则为变迁的输出弧,I 和O 的权系数均为1;(为模糊数集合,代表库所的属性,其元素分别代表P 中库所对应任务完工时间Ζ FT PN 是纯网,即:设X =P ∪T , Πx ∈X 3,x ∩x 3=5还要说明的是,库所P 中存在两个特殊的库所p start 和p end ,它们分别表示整个工程计划的开始和结束,从库所p start 到库所p end 的所有路径中不存在死锁现象Ζ称3t ={p (p ,t )∈I }为变迁t 的前序,称t 3={p (t ,p )∈O }为变迁t 的后继,则F T PN 中变迁使能条件和触发效果分别为变迁t 使能条件,在标识M 下,Πp 1∈3t ,M (p 1)=1,且Πp 2∈t 3,M (p 2)=0,记为M [t >变迁t 触发效果,标识M 经过t 触发,形成标识M ′,即M [t >M ′,有Πp 1∈3t ,M ′(P 1)=0,Πp 2∈t 3,M ′(p 2)=1 定义2 关联矩阵设P ×T 作为序标的矩阵C :C :P ×T →Z其对应的矩阵元素:C (p i ,t j )=w (t j p i )-w (p i ,t j )其中,w (t j ,p i )=1, (t j ,p i )∈O0, (t j ,p i )|O ; w (p i ,t j )=1, (p i ,t j )∈I0,(p i ,t j )|I则C ij 与F T PN Ζ定理2 设m 维列向量表示状态标识M ,即M =[M (p 1),M (p 2),…,M (p m )]T 211系统工程理论与实践2003年4月系统从初始标识M 0经过一系列的变迁Ρ,得标识M ,即M 0 Ρ>M用关联距阵C 表示该过程时,状态方程:M =M 0+CU其中,U 表示FT PN 的—向量,它以变迁集T 为序标,对应的各变迁分量t 在Ρ中出现的次数为大小的列变量Ζ3 工程计划的模糊时间Petr i 网建模一项工程往往有若干道工序组成,在各工序间的先后关系及工序完工时间均知道的情况下,可以对该工程计划进行FT PN 建模和关键路径的计算Λ在具体FT PN 建模过程用两个变迁t i 1和t i 2一个库所p i 表示工序i ,其中t i 1表示工序的开始,而t i 2表示工序的结束,(i 则表示该工序作业完成所需时间Ζ具体的建模规则可参见文献[6],这里仅强调一下虚拟工序表达问题Ζ图2 引入虚拟库所的FT PN 表达(p 0为虚拟库所)在网络图的绘制过程中,为了描述“当W 和X 完成之后Y 才能开始,而一旦X 完成之后,Z 即可开始”的情形,一般引入虚拟工序的概念Ζ同理,在FT PN 描述中为表达工序间类似关系,也要引入类似概念,即虚拟库所,它仅表达工序的先后关系,而时间为0Ζ具体如图2表示Ζ4 工程计划计算模型及计算步骤设从p start 到p end 的路径为n 条,用d i (i =1,2,…,n )表示每一条路径,对应的长度为L i ,实际工程所要求的时间为L 0,则工程计划计算模型为Α=Λ(L op )s .t .L op =m ax (L 1,L 2,…,L n )Λ(L op )=Λ(L 0)具体的求解过程步骤为:步骤1 画出工程计划对应的FT PN 表达图,对所有库所标上对应的时间;步骤2 对FT PN 表达图,依据定义2,算出关联矩阵C ;步骤3 设FT PN 的初始标识为M start ,结束标识为Mend ,依据IC =0求取仅含有整数元素的、非零向量I ;步骤4 设向量I 对应有n 个向量值,求取对应的库所序列d i (i =1,2,…,n );步骤5 依据库所序列d i ,依据定理1,算得所有库所序列的模糊路径长度L i .步骤6 依据模糊路径长度Ρ,求取模糊关键路径d i ,在工程工期约束条件下,求得对应的隶属度Α,并对隶属度予以讨论Ζ5 算例设有一项工程,它所具有的工序数,工序完成的时间及相互的先后关系如表1所示.表1 工序代号A B C D E F G H I 所需时间[1,2][5,7][4,7][2,4][5,8][4,6][3,4][4,5][3,5]紧前工序B A A B ,CD ,F G 311第4期工程计划的模糊时间Petri 网(FT PN )模型图3 工程计划的FT PN 表达图 根据表1所提供的数据对该工程计划予以FT PN 建模,其表达图如图3所示Ζ依据工程计划计算相应步骤求得从库所start 到end 1的5条库所序列(工序路径),它们分别为:Rou te 1:start -A -E -end 1;Rou te 2;start -A -F -H -end 1;Rou te 3:Start -B -D -H -end 1Rou te 4:start -B -Kong -G -I -end 1;Rou te 5:start -C -G -I -end 1依据相应库所序列求得各条路径的模糊长度,它们分别为L 1=[6,10],L 2=[9,13],L 3=[11,16],L 4=[11,16],L 5[10,16] 依据定理1的求大原则,得工程计划的模糊关键路径[3]L op =[11,16]设其工期约束L 0=10,13,18.1)对约束条件L 0=10,则模糊关键路径可知,该项工程根本不能按时完成;2)对约束条件L 0=13,工程按时完成的可能性为50%;3)对约束条件L 0=20,工程按时完成的可能性为100%.6 总结本文通过模糊时间Petri 网(FT PN )的形式化描述,给出了FT PN 的触发规则、代数方程的运算定理及隶属函数的加法和取大规则,利用FT PN 的这些特性把传统的网络计划转变为一个求解FT PN 代数方程的T _变量问题,通过计划计算模型及计算步骤,可以方便地求得计划的关键路径Λ实践表明,FT PN 用库所表达工序、用变迁表达工序的启始和完成,比传统网络图用箭线表示工序、用圆圈表示作业的开始或结束更加的直观,含义更加的明确,同时,FT PN 把一个基于图形的作业问题转变为一个代数问题,可以方便地、动态地计算各工序的作业完成时间Λ参考文献:[1] 陈浩光,赵宏宇,陈庆华.应用于航天试验的模糊网络计划方法[J ].系统工程与电子技术,1999,20(4):12-14.[2] M cCabon C S .U sing PER T as an app rox i m ati on of fuzzy p ro jecti on netw o rk analysis [J ].IEEE T ran sacti on on En 2gineering M anagem en t ,1993,40(2):146-153.[3] N asu ti on S H .Fuzzy critical path m ethod [J ].IEEE T ran sacti on on System ,M an and Cybernetics ,1994,24(1):48-57.[4] P ro th J M ,M in is I .Comp lex ity of P roducti on M anagem en t in a Petri net Environm en t [R ].T he U n iversity ofM aryland and H arvard U n iversity ,1994.[5] H eng L i .Petri net as a fo rm alis m to assis p rocess i m p rovem en t in the con structi on indu stry [J ].A u tom ati on in Con 2structi on ,1998(7):349-356.[6] 许安国.工程问题的时序Petri 网的建模与求解[J ].系统工程理论与实践,1995,15(8):20-29.[7] 李若刚,王国祥等.关于网络计划模型中的时间不确定性的讨论[J ].系统工程与电子技术,1997,19(8):40-45.[8] 刘锡荟,王海燕.网络模糊随机分析——原理、方法和程序[M ].北京:电子工业出版社,1991.411系统工程理论与实践2003年4月。