一种基于Petri网的可靠性分析方法
合集下载
基于随机Petri网的软件可靠性分析方法
ｌ ｂｌ ． Ｔ ｉ ａ ｐ ｏ ｃ ａ ｏ ｎｙｉ ｒ ｖ ｅｐｅ ｉｉｎｏ ｐａｓｎ ｎ ｏ ｅ ａｔ ｇｒｌ ｂｌ ， ｂ ｔ ｌｏｇ ｔ ｈ ａ ｓｅ ｔ ｅｉｂｌ ｉ ｉｉ ａ ｔ ｙ ｈ ｓ ｐ ｒａ ｈＣ ｎ ｔ ｌ ｎ ｏ ｍｐｏ ｅｔ ｒｃｓｏ ｆａ ｒ ｉｉｇａ ｄｆ ｒｃ ｓｉ ｅｉ ｉｔ ｈ ｐ ｎ ａ ｉ ｙ ｕ ｓ ｅ ｅｔ ｎ ｉｎ ｌ ｉｔ ａ ｔ ｒ ｒ ａ ｉ ｙ
ｃ ｎ ｉ ｏ ｆｓ ｆ ｒ ｅ ｏ ｄｔ ｎｏ ｔ ｉ ｏｒ ｌ ｂｌ ； ｍｏ ｅ ｅ ｕ ｔ ｎ Ｍ Ｃ； ｔ ｎ ｉｎ ｅｉｂｌ ｙｗｏ ｄ ： Ｐ ｏ ｗａｅｒ ｉ ｉｔ ｔ ｅａ ｉ ｙ ｄ ｌ ｄ ｃｉ ； ｒ ｏ ｒ ｓｅ ｔ ｌ ｉｔ ａ ｒ ａ ｉ ｙ
件可 靠性的 因素 ， 有利 于降低软 件可 靠性描 述与分析 的 复杂度 ， 可以得 到软件 系统处 于各个状 态的 瞬时及稳 态概 率 。 并 关键词 ： 随机 Ｐｔ 网；软件 可靠性 ；模 型 简化 ；马 尔可 夫链 ； 瞬时可 靠性 ｅｒ ｉ 中 图法分类号 ： Ｐ ０ ． Ｔ ３２７ 文献标 识码 ： Ａ 文章编 号 ：００７２ ２０ ） ２５４ —４ １０ —０４（０ ７ ２ —３ ９０
ｄ ｎ ｍ ｉ ｈ ｇ ｒ ｃ ｓ ｆ ｏ ｗａ ｅｗｅ ｌ ｄ ｂ ｎ ｆ ｉ ｌ ｏ ｒ ｄ ｃｎ ｅ ｃ ｍｐ ｉ ａｅ ｅ ｒ ｅ ｏ ｅ ｃ ｂ ｎ ｄａ ａｙ ｉｇ ｔ ｅｓ ｆ ｒ ｅ ｙ ａ ｃｃ ａ ｅｐ ｏ ｅ ｓｏ ｆ ｒ ｌ ａ ｅ ｅ ｃ ａ ｅ ｕ ｉ ｇｔ ｏ ｌ ｔ ｄ ｄ ｇ ｅ ｆｄ ｓ ｒ ｉ ｇ ａ ｌｚ ｎ ｏ ｗａ ｅｒ — ｎ ｓｔ ｎ ｉ ｔ ｈ ｃ ｉ ｎ ｎ ｈ ｔ
ｃ ｎｅ ａｕ ｔ ｏ ｏ ｅ ｔ ａｅ ｏ ｗａｅｒｌ ｂ ｌ ． Ｉｉ ｏ ｆ ｒ ｄｔ ｅｔｏ ｇ ｔｈ ｔｅｉｂｌ ｖ ｌａｉｎｏ ｅｓ ｆ ｒ ａｒ ｄｏ ｔ ａ ｖ ｌａｅｃ ｍｐ ｎ ｎ— ｓｄｓ ｆ ｒ ｅｉ ｉｔ ｂ ｔ ａ ｉ ｙ ｔｓｃ ｎｏ ｍｅ ｔ ｕ ｈ ａ ｌ ｉｔ ｅ ａｕ ｔ ｆｈ ｏ ｗａｅｉ ｃ ｒ ｅ ｕ ｏｈ ｈ ｔ ｒ ａ ｉ ｙ ｏ ｔ ｔ ｓ ｉ ｉ ｅｅ ｒ ｔｇ ｆｓ ｆ ｒ ｅ ｅｏ ｍｅ ｔ ｓｆｒ ｓｐ ｓｉｌ． Ｔ ｅｓ ｆ ｒ ｅｉｂｌ ｄ ｌ ｕ ｌｂ ｉ ｍｅｈ ｄｉ ｂｅｔ ｅｃ ｂ ｅ ｎｔ ａｌ ｓａ ｅｏ ｔ ｈ ｙ ｏ ｗａｅｄ ｖ ｌｐ ｎ ａ ｏ ｓｂｅ ａ ａ ｈ ｏｔ ｅｒｌ ｉｔ ｍｏ ｅ ｉ ｙｔ ｓ ｔｏ ａ ｌ ｄ ｓｒ ｅｔ ｗａ ａ ｉ ｙ ｂ ｔ ｈ ｓ ｏ ｉ ｈ
基于Petri网的软件体系结构可靠性分析
ＺＨＡＮＧ ｕ ｓ ｅ ｇ ＬＩ Ｘｉ ｎ Ｙｏ — ｈ ｎ ｏ ｇ
（ ｏ ｅ ｅ ｏ ｈ ｓ ｓ＆ Ｉｆｒ ｔ ｎ Ｓ ｉｎ ｅ Ｈ ｎ ｎ Ｎ ｒ ａ Ｕ ｉｅｓｙ Ｃ ａ ｇｈ １０ １ Ｃ ｌ ｇ ｆＰ ｙｉ ｌ ｃ ｎｏｍａｉ ｃｅ ｃ ， ｕ ａ ｏ ｌ ｎｖｒｉ ， ｈ ｎ ｓ ａ４ ０ ８ ） ｏ ｍ ｔ
性 进 行 实例 研 究 。
关键词
软 件 体 系结 构 可靠 性
Ｐｔ 网 ｅｉ ｒ
文 章 编 号 １０ — ３ １ （０ ６ ２ — ０ ９ ０ 文 献 标识 码 Ａ ０ ２ ８３ 一 ２ ０ ）５ ０ ６ — ５ 中 图分 类 号 Ｔ ３ １ Ｐ１
Ｒｅｉ ｂ ｌ ｙ Ａｎ ｌ ｓｓ ｏ ｏ ｔ ｒ ｃ ｉｅ ｔ ｒ ｓ ｄ ｏ ｔ ｉ Ｎｅ ｌ ｉ ｔ ａ ｙ ｉ ｆ Ｓ ｆｗａ ｅ Ａｒ ｈ ｔ ｃ ｕ ｅ Ｂａ ｅ ｎ Ｐｅ ｒ ｔ ａ ｉ
１ 引 言
近 年 来 ， 件 体 系 结 构 （ ｏｗ ｒ Ａ ｃｉ ｃｕｅ Ｓ 已 成 为 软 Ｓｆ ａｅ ｒｈｔ ｔｒ，Ａ） ｔ ｅ
『，１ 用 各 自的工 具 建 立 了 基 于 场 景 的状 态 图 ， 系 统 中 的 构 ６ ７利 对 件 和 连接 件 风 险 因 子 进行 分 析 和 评 估 ． 据 状 态 图建 立相 应 的 根
摘
一
要
。
近 年 来 ，软 件 体 系结 构 已成 为软 件 工程 领 域 的 研 究 热 点 以及 大 型 软件 系统 与软 件 产 品 线 开发 中 的 关 键 技 术之
对 软件 体 系 结构 的 可 靠性 分 析 是 进 行 软 件 开 发 的 一 个 重 要 依 据 ， 了提 高软 件 系统 的 性 能 ， 个 可 靠 的 体 系结 构是 为 一
（ ｏ ｅ ｅ ｏ ｈ ｓ ｓ＆ Ｉｆｒ ｔ ｎ Ｓ ｉｎ ｅ Ｈ ｎ ｎ Ｎ ｒ ａ Ｕ ｉｅｓｙ Ｃ ａ ｇｈ １０ １ Ｃ ｌ ｇ ｆＰ ｙｉ ｌ ｃ ｎｏｍａｉ ｃｅ ｃ ， ｕ ａ ｏ ｌ ｎｖｒｉ ， ｈ ｎ ｓ ａ４ ０ ８ ） ｏ ｍ ｔ
性 进 行 实例 研 究 。
关键词
软 件 体 系结 构 可靠 性
Ｐｔ 网 ｅｉ ｒ
文 章 编 号 １０ — ３ １ （０ ６ ２ — ０ ９ ０ 文 献 标识 码 Ａ ０ ２ ８３ 一 ２ ０ ）５ ０ ６ — ５ 中 图分 类 号 Ｔ ３ １ Ｐ１
Ｒｅｉ ｂ ｌ ｙ Ａｎ ｌ ｓｓ ｏ ｏ ｔ ｒ ｃ ｉｅ ｔ ｒ ｓ ｄ ｏ ｔ ｉ Ｎｅ ｌ ｉ ｔ ａ ｙ ｉ ｆ Ｓ ｆｗａ ｅ Ａｒ ｈ ｔ ｃ ｕ ｅ Ｂａ ｅ ｎ Ｐｅ ｒ ｔ ａ ｉ
１ 引 言
近 年 来 ， 件 体 系 结 构 （ ｏｗ ｒ Ａ ｃｉ ｃｕｅ Ｓ 已 成 为 软 Ｓｆ ａｅ ｒｈｔ ｔｒ，Ａ） ｔ ｅ
『，１ 用 各 自的工 具 建 立 了 基 于 场 景 的状 态 图 ， 系 统 中 的 构 ６ ７利 对 件 和 连接 件 风 险 因 子 进行 分 析 和 评 估 ． 据 状 态 图建 立相 应 的 根
摘
一
要
。
近 年 来 ，软 件 体 系结 构 已成 为软 件 工程 领 域 的 研 究 热 点 以及 大 型 软件 系统 与软 件 产 品 线 开发 中 的 关 键 技 术之
对 软件 体 系 结构 的 可 靠性 分 析 是 进 行 软 件 开 发 的 一 个 重 要 依 据 ， 了提 高软 件 系统 的 性 能 ， 个 可 靠 的 体 系结 构是 为 一
基于专家系统和Petri网的网络可靠性评估方法
（２ ９ ９ ４ ３部队” 葫 芦岛 １ ５０ ）海 军工 程大学电子工程学 院 ２００ （ 摘 要 武汉 ４０３） ３ ０ ３
针对 网络 系统 可靠 性建模难 的问题 ， 结合专 家系统和 Ｐ ｔｉ ｅｒ 网理论各 自的特点 ， 出了一种 基于知识 库系统的 提
Ｐ ｔ 网可靠 性评 估方法 。首先引入模糊神经 Ｐ ｔｉ ｅｒ ｉ ｅｒ 网的定义和适用 于网络 系统 可靠性建模 的引发规则 ， 然后 在此基础 上提
Ａ ｅ ｈｏ ｏ ｅ ｉ ｂ ｌｔ ｔｍ ａ ｉ ｎ ｏ ｅ ｗｏ ｋ Ｍ ｔ ｄ ｆ ｒ Ｒ ｌａ ｉｉｙ Ｅｓ ｉ ｔｏ ｆ Ｎ ｔ ｒ Ｂａｓ ｄ ｏ ｐ ｒ ｙ ｔ ｍ ｎｄ Ｐｅ ｒ ｅ ｅ ｎ Ｅｘ ｅ ｔ Ｓ ｓ ｅ ａ ｔ ｉＮ ｔ
总 第 ２ ７期 ４
计 算 机 与 数 字 工 程
Ｃｏ ｕｅ ｍｐ ｔｒ＆ Ｄｉｉａ Ｅｎ ｉｅ ｒｎ ｇｔｌ ｇｎ ｅ ｉｇ
Ｖｏ ． ８ Ｎｏ ５ １３ ．
９９
２１ 第 ５ ０ ０年 期
基 于 专 家 系统 和 Ｐ ｔｉ 的 网络 可 靠性 评 估 方 法 ｅｒ 网
孙 景 民¨ 刘 玲 艳。 吴晓 平 ’
时借助 Ｐ ｔｉ ｅｒ 网的 图形 描述 能力 ， 引入 模 糊 神 经 在 Ｐ ｔｉ ｅｒ 网的定 义 的 基 础 上 ， 现 了 求 解 模 型 的智 能 实 算法。
评 价带来 很大 难度 。传 统 的 可靠 性 评价 方 法 ， ＿ １ ］ 例 如概 率分 解法 、 真值 表 法 、 小 割 集 和 最 小 路 集 等 最 评价 方 法 ， ］ 随着 系统 单 元 数 和 复 杂 程度 的增 加 ， 计算 非 常困难 。 以最 小 路 集 为 例 ， 于 有 ４ 对 Ｏ个 最
针对 网络 系统 可靠 性建模难 的问题 ， 结合专 家系统和 Ｐ ｔｉ ｅｒ 网理论各 自的特点 ， 出了一种 基于知识 库系统的 提
Ｐ ｔ 网可靠 性评 估方法 。首先引入模糊神经 Ｐ ｔｉ ｅｒ ｉ ｅｒ 网的定义和适用 于网络 系统 可靠性建模 的引发规则 ， 然后 在此基础 上提
Ａ ｅ ｈｏ ｏ ｅ ｉ ｂ ｌｔ ｔｍ ａ ｉ ｎ ｏ ｅ ｗｏ ｋ Ｍ ｔ ｄ ｆ ｒ Ｒ ｌａ ｉｉｙ Ｅｓ ｉ ｔｏ ｆ Ｎ ｔ ｒ Ｂａｓ ｄ ｏ ｐ ｒ ｙ ｔ ｍ ｎｄ Ｐｅ ｒ ｅ ｅ ｎ Ｅｘ ｅ ｔ Ｓ ｓ ｅ ａ ｔ ｉＮ ｔ
总 第 ２ ７期 ４
计 算 机 与 数 字 工 程
Ｃｏ ｕｅ ｍｐ ｔｒ＆ Ｄｉｉａ Ｅｎ ｉｅ ｒｎ ｇｔｌ ｇｎ ｅ ｉｇ
Ｖｏ ． ８ Ｎｏ ５ １３ ．
９９
２１ 第 ５ ０ ０年 期
基 于 专 家 系统 和 Ｐ ｔｉ 的 网络 可 靠性 评 估 方 法 ｅｒ 网
孙 景 民¨ 刘 玲 艳。 吴晓 平 ’
时借助 Ｐ ｔｉ ｅｒ 网的 图形 描述 能力 ， 引入 模 糊 神 经 在 Ｐ ｔｉ ｅｒ 网的定 义 的 基 础 上 ， 现 了 求 解 模 型 的智 能 实 算法。
评 价带来 很大 难度 。传 统 的 可靠 性 评价 方 法 ， ＿ １ ］ 例 如概 率分 解法 、 真值 表 法 、 小 割 集 和 最 小 路 集 等 最 评价 方 法 ， ］ 随着 系统 单 元 数 和 复 杂 程度 的增 加 ， 计算 非 常困难 。 以最 小 路 集 为 例 ， 于 有 ４ 对 Ｏ个 最
基于改进Petri网的系统动态可靠性分析
［ 摘 要］深入研 究一般 ｐ ｅ ｔ ｒ ｉ 网建模理论的基础上 ， 对ｐ ｅ ｔ ｉ 网进行 了改进 ， ｒ 建立了改进 ｐ ｅ ｔ ｒ ｉ 的 系统可靠性模型 。 在改进 的可靠性模型 中不考虑零件 的强度退化 ， 在最底层零部件运用广义应 力～ 强度干涉模型获得 最底层的零 部件动态可靠度 ． 通过底层零部件 的动 态可靠度计算整 个系统的动态可靠度 ， 最后通过 实例证明 了该 方法的可
第５ １ 卷 第 １ １ 期
Ｖ０ １ ． ５１ Ｎｏ ．１ １
农 业装 备 与车辆 工程
Ａ Ｇ Ｒ Ｉ Ｃ Ｕ Ｌ Ｔ Ｕ Ｒ Ａ Ｌ Ｅ Ｑ Ｕ Ｉ Ｐ ＭＥ Ｎ Ｔ＆Ｖ Ｅ ＨＩ Ｃ Ｌ Ｅ Ｅ Ｎ Ｇ Ｉ Ｎ Ｅ Ｅ Ｒ Ｉ Ｎ Ｇ
２ ０ １ ３ １ ３
行 性和 对 系统 动 态分 析 的优 越 性 。
［ 关键词 ］改进 ｐ ｅ ｔ ｒ ｉ 网； 动 态可靠性 ； 底层零部件 ； 应力强度干涉模型
［ 中图分 类号 ］Ｔ Ｈ１ ２ ２ ［ 文献标 志码 ］Ａ ［ 文章 编号 ］１ ６ ７ ３ — ３ １ ４ ２ （ ２ ０ １ ３ ） １ １ － ０ ０ ２ ９ — ０ ４
［ Ｋｅ ｙ ｗ ｏ ｒ ｄ ｓ ］ｉ ｍ ｐ ｒ ｏ ｖ ｅ ｍ ｅ ｎ ｔ ｏ ｆ ｔ ｈ ｅ ｐ ｅ ｔ ｒ ｉ ｎ ｅ ｔ ； ｄ ｙ ｎ ａ ｍ ｉ ｃ ｒ ｅ ｌ ｉ ａ ｂ ｉ ｌ ｉ ｔ ｙ ； ｕ ｎ ｄ ｅ ｒ ｌ ｙ ｉ ｎ ｇ ｐ ａ ｎ ｓ ； ｓ ｔ ｒ ｅ ｓ ｓ ｉ ｎ ｔ ｅ ｎ ｓ ｉ ｔ ｙ ｉ ｎ ｔ ｅ ｒ ｆ ｅ ｒ ｅ ｎ ｃ ｅ
（ Ｓ ｃ ｈ ｏ ｏ ｌ ｏ ｆ Ｍｅ ｃ ｈ ａ ｎ ｉ ｃ ａ ｌ － ｅ ｌ ｅ ｃ ｔ ｒ ｏ ｎ ｉ ｃ ａ ｎ ｄ Ａ ｕ ｔ ｏ ｍｏ ｂ ｉ ｌ ｅ Ｅ ｎ ｇ ｉ ｎ ｅ ｅ ｉ ｒ ｎ ｇ ， Ｃ ｈ ｏ ｎ ｇ ｑ ｉ ｎ ｇ Ｃ ｉ ｔ ｙ ４ ０ ０ ０ ７ ４ ， Ｃ ｈ ｉ ｎ ａ ）
一种基于Petri网的飞机配电系统可靠性分析方法
ＹＵ ｉｍｉ Ｋａ— ｎ ，ＳＵＮ ｉｚ ｅｎ ，ＺＨＡＮＧ ｈｕ—Ｈ ｎ Ｓｈ —ｈ 。 Ｓ ｔ ａ ，ＣＨＥＮＧ ａ — ｎ Ｘｉｏ ｈｏ ｇ
（． ａａＡｅｏａ ｔ ａ ａｄＡ ｔ ｎ ｕｉ ｌ ｎｖｒ ｔ， ａｔｉ ６０ １ Ｃ ｉａ ２Ａｅ ｎｕｉ ｌＴｃ ｎｌ ｙＳｐ ｏ ｒｎ ｈｏ １Ｎ ｙｌ ｒｎｕｉ ｌ ｎ ｓ ｏａ ｔ ａ Ｖ ｉ ｓｙ Ｙ ａ ２ ４ ０ ， ｈｎ ； ． ｒ ａ ｔａ ｅｈ ｏ ｇ ｕｐ ｒＢａ ｃ ｃ ｒ ｃ ｅｉ ｎ ｏ ｃ ｏ ｔ ｆ
Ａ ｅ ｈｏ ｏ ｅ ｉ ｂｉ ｔ ｓ ｅ ｓ ｅ ｆ ａ ｒ ａ ｗｅ ｉｔ ｉ ｔｏ ｓ ｓ ｅ ｓ ｄ ｏ ｍ ｔ ｄ ｆ ｒｒ ｌ ａ ｌ ｙ ａ ｓ ｓ ｍ ｎｔｏ ｉ ｐｌ ｎｅ ｐｏ ｒ ｄ ｓｒ ｂｕ ｉ ｎ ｙ ｔ ｍ ｂａ ｅ ｎ ｉ
Ｐｅ ｒ ｔ ｏ ｋ ｔ ｉｎｅ ｗ ｒ
于开 民 ‘ ，孙 时 珍 ，张 树 团 ，程 晓 红
（ ． 军 航 空 工程 学 院 １海 山 东 烟 台 ２ ４ ０ ；２ ６ ０ １ ．海 军 装 备 部航 空 技 术 保 障部 北京 １ ０ ７１ ００ ；
３ 西 北 机 器有 限公 司 陕 西 西安 ７ ０ １ ） ． １ １９
摘 要 ： 一 种基 于 Ｐ ｔ 网 的 故 障 树 分 析 法运 用 于 飞机 配 电 系统 的 可 靠 性 分 析 ， 库 所 和 变 迁 为 节 点 ， 向 弧 的指 示 将 ｅｉ ｒ 以 有
第 １ ８卷 第 １ ０期
Ｖｏ ． ８ １１ Ｎｏ．Ｏ １
电 子 设 计 工 程
Ｅｌ ｃｒ ｎ ｃ Ｄｅ ｉ ｎ Ｅｎ ｉ ｅ ｒｎ ｅ ｔｏ ｉ ｓｇ ｇ ｎ ｅ ｉ ｇ
２１ ０ ０年 ｌ ０月 Hale Waihona Puke Ｏｃ ．２ ０ ｔ ０１
（． ａａＡｅｏａ ｔ ａ ａｄＡ ｔ ｎ ｕｉ ｌ ｎｖｒ ｔ， ａｔｉ ６０ １ Ｃ ｉａ ２Ａｅ ｎｕｉ ｌＴｃ ｎｌ ｙＳｐ ｏ ｒｎ ｈｏ １Ｎ ｙｌ ｒｎｕｉ ｌ ｎ ｓ ｏａ ｔ ａ Ｖ ｉ ｓｙ Ｙ ａ ２ ４ ０ ， ｈｎ ； ． ｒ ａ ｔａ ｅｈ ｏ ｇ ｕｐ ｒＢａ ｃ ｃ ｒ ｃ ｅｉ ｎ ｏ ｃ ｏ ｔ ｆ
Ａ ｅ ｈｏ ｏ ｅ ｉ ｂｉ ｔ ｓ ｅ ｓ ｅ ｆ ａ ｒ ａ ｗｅ ｉｔ ｉ ｔｏ ｓ ｓ ｅ ｓ ｄ ｏ ｍ ｔ ｄ ｆ ｒｒ ｌ ａ ｌ ｙ ａ ｓ ｓ ｍ ｎｔｏ ｉ ｐｌ ｎｅ ｐｏ ｒ ｄ ｓｒ ｂｕ ｉ ｎ ｙ ｔ ｍ ｂａ ｅ ｎ ｉ
Ｐｅ ｒ ｔ ｏ ｋ ｔ ｉｎｅ ｗ ｒ
于开 民 ‘ ，孙 时 珍 ，张 树 团 ，程 晓 红
（ ． 军 航 空 工程 学 院 １海 山 东 烟 台 ２ ４ ０ ；２ ６ ０ １ ．海 军 装 备 部航 空 技 术 保 障部 北京 １ ０ ７１ ００ ；
３ 西 北 机 器有 限公 司 陕 西 西安 ７ ０ １ ） ． １ １９
摘 要 ： 一 种基 于 Ｐ ｔ 网 的 故 障 树 分 析 法运 用 于 飞机 配 电 系统 的 可 靠 性 分 析 ， 库 所 和 变 迁 为 节 点 ， 向 弧 的指 示 将 ｅｉ ｒ 以 有
第 １ ８卷 第 １ ０期
Ｖｏ ． ８ １１ Ｎｏ．Ｏ １
电 子 设 计 工 程
Ｅｌ ｃｒ ｎ ｃ Ｄｅ ｉ ｎ Ｅｎ ｉ ｅ ｒｎ ｅ ｔｏ ｉ ｓｇ ｇ ｎ ｅ ｉ ｇ
２１ ０ ０年 ｌ ０月 Hale Waihona Puke Ｏｃ ．２ ０ ｔ ０１
基于Petri网的铁路信号综合系统可靠性分析
是 采用冗 余方 式 。这几个 因素在 实 际系统 中是 以动 态行为 来保证 系统 的可靠 运行 。利用 目前 分析 动态 并 发 系统最 有 效 的 Ｐ ｔ 网分 析 方 法 ，并 以主 、备 ｅｉ ｒ
图 １ 系 统模 型
括 主机 、备 机 和切换 装置 ，路 由设 备子 系统 由统一 路 由构成 。 由于是 串联 连接 ，因此 整个 信号 系统 的
关 键词 ：铁路 信号 综合 系统 ；光纤通 信 ；Ｐｔ 网 ；马 尔可 夫过程 ｅｉ ｒ
Ａｂ ｔ ａ ｔ Ｉ ｔｇ ａ ｅ ａ ｌ ｙ ｓ ｎ ｌ ｇ ｓ ｓ ｍ ｓａ ｓ ｅ ｔ ｑ ｉ ｍｅ ｔｆｒｈ ｇ —ｐ ｅ ａｌ ａ ｎ ａ － ｓｒ ｃ ： ｎ ｅ ｒ ｔｄ ｒ ｉ ｗａ ｉ ａｉ ｙ ｔ ｉ ｎ ｅ ｓ ｎ ｉ ｅ ｕ ｐ ｎ ｏ ｉ ｈ ｓ ｅ ｄ ｒ ｉ ｙ ａ ｄ ｐ ｓ ｇ ｎ ｅ ｌ ａ ｗ
２ １ ６月 ００年
第４ ６卷 第 ６期
铁 道 通 信 信 号
ＲＡＩ ＡＹ Ｉ ＬＷ Ｓ ＧＮＡＵＬ ＮＧ ＆ ＣＯＭ Ｍ ＵＮＩ Ｉ ＣＡＴＩ ＯＮ
Ｊ ｍｅ ２ １ ｕ ００
Ｖｏ． Ｎｏ ６ １４６ ．
基 于 Ｐ ｔ 网的铁 路 信 号 综 合系 统 可靠 性 分 析 ｅｒ ｉ
陈红霞
摘 要 ：铁路 信 号综合 系统 已是 高速 铁路 、客 运 专线 不 可或 缺 的 设备 ，其 可 靠性也 显 得 尤 其 重 要 。利 用 Ｐｔ 网进行 分析 建模 ，并采 用 马 尔可 夫过 程进 行 可 靠性 计 算分 析 ，对 于 系统 的设 计分 ｅｉ ｒ 析具 有很 好 的参考 价值 。
护 的可 维修信 号设备 子 系统 的模 型 。
图 ２中 Ｐ 表示 主 机 工作 正 常 ；Ｐ 表 示 切 换装
图 １ 系 统模 型
括 主机 、备 机 和切换 装置 ，路 由设 备子 系统 由统一 路 由构成 。 由于是 串联 连接 ，因此 整个 信号 系统 的
关 键词 ：铁路 信号 综合 系统 ；光纤通 信 ；Ｐｔ 网 ；马 尔可 夫过程 ｅｉ ｒ
Ａｂ ｔ ａ ｔ Ｉ ｔｇ ａ ｅ ａ ｌ ｙ ｓ ｎ ｌ ｇ ｓ ｓ ｍ ｓａ ｓ ｅ ｔ ｑ ｉ ｍｅ ｔｆｒｈ ｇ —ｐ ｅ ａｌ ａ ｎ ａ － ｓｒ ｃ ： ｎ ｅ ｒ ｔｄ ｒ ｉ ｗａ ｉ ａｉ ｙ ｔ ｉ ｎ ｅ ｓ ｎ ｉ ｅ ｕ ｐ ｎ ｏ ｉ ｈ ｓ ｅ ｄ ｒ ｉ ｙ ａ ｄ ｐ ｓ ｇ ｎ ｅ ｌ ａ ｗ
２ １ ６月 ００年
第４ ６卷 第 ６期
铁 道 通 信 信 号
ＲＡＩ ＡＹ Ｉ ＬＷ Ｓ ＧＮＡＵＬ ＮＧ ＆ ＣＯＭ Ｍ ＵＮＩ Ｉ ＣＡＴＩ ＯＮ
Ｊ ｍｅ ２ １ ｕ ００
Ｖｏ． Ｎｏ ６ １４６ ．
基 于 Ｐ ｔ 网的铁 路 信 号 综 合系 统 可靠 性 分 析 ｅｒ ｉ
陈红霞
摘 要 ：铁路 信 号综合 系统 已是 高速 铁路 、客 运 专线 不 可或 缺 的 设备 ，其 可 靠性也 显 得 尤 其 重 要 。利 用 Ｐｔ 网进行 分析 建模 ，并采 用 马 尔可 夫过 程进 行 可 靠性 计 算分 析 ，对 于 系统 的设 计分 ｅｉ ｒ 析具 有很 好 的参考 价值 。
护 的可 维修信 号设备 子 系统 的模 型 。
图 ２中 Ｐ 表示 主 机 工作 正 常 ；Ｐ 表 示 切 换装
随机Petri网在软件可靠性分析中的应用
随机Petri网在软件可靠性分析中的应用
李妍琛;朱连章
【期刊名称】《现代电子技术》
【年(卷),期】2007(30)2
【摘要】软件可靠性模型对于软件可靠性估测起着核心的作用.目前所提出的模型大多有着一定的应用条件和适用范围,不能适应复杂多变的应用环境的要求,在客观上为软件可靠性模型的应用提出了新的问题.提出了一种基于随机Petri网的软件可靠性分析方法,该方法有利于降低可靠性描述与分析的复杂度,提高评价和预测可靠性的精确度.同时指出该方法在应用中会遇到的某些问题及其解决方法.
【总页数】3页(P135-137)
【作者】李妍琛;朱连章
【作者单位】中国石油大学,计算机与通信工程学院,山东,东营,257061;中国石油大学,计算机与通信工程学院,山东,东营,257061
【正文语种】中文
【中图分类】TP39
【相关文献】
1.随机着色Petri网在图书馆文献检索系统中的应用 [J], 邓娉
2.Petri网在系统可靠性分析中的应用 [J], 张涛;武小悦;谭跃进
3.基于随机Petri网的软件可靠性分析方法 [J], 朱连章;李妍琛
4.基于随机Petri网的软件可靠性分析 [J], 朱连章;李妍琛
5.广义随机Petri网在生态产业园区性能分析中的应用 [J], 景熠;王旭;李文川
因版权原因，仅展示原文概要，查看原文内容请购买。
基于Petri网理论的动态系统可靠性建模方法研究
失 ；② 它 用来描 述故 障事 件 间 的逻辑 关 系 ，如 ：一 因
一
究系 统故 障分析 和逻 辑关 系的表 示 ，从故 障建模 和故 障率 分 析 的角度 研 究 Ｐ ｔｉ ｅｒ 网在 复杂 动 态 系统 可靠 性
分析 中的应 用 。 １ 基于 Ｐ ｔｉ ｅｒ 网的故 障逻辑 关 系表 述
果 、一 因多果 、竞争 等 ，而不存 在 冲突 和 冲撞 现象 。
Ｆ Ｎ （ 障 Ｐ ｔｉ ） 的激 发 规则 见 图 １ Ｐ 故 ｅｒ 网 。
Ｐｔｉ网 有 两 种 基 本 图 形 元 素 。其 中 ，库 所 ｅｒ
（ｌｃ ）表示 对象 的属 性 和状 态 。在 系统 故障分 析 时 ， ｐａｅ
之 间的逻 辑关 系及其 影 响 。 １比较 了基 于 Ｐ ｔ 网的 表 ｅｒ ｉ
同步 、并发 行 为的信 息系统 及其 相互 关 系的 网状 数学 模型 ， 而形成 了 Ｐ ｔｉ 进 ｅｒ网理论 ＿。 ｅｒ 网不仅 能用 图 ２ Ｐ ｔｉ ］
形符 号表示 事件 的原 因和结果 之 间 的关 系 ，而且 能表
基 于 Ｐ ｔｉ ｅｒ 网理 论 的动态 系统 可 靠 性建 模 方 法 研 究
沈 戈 ， 苏 春 ，许 映秋
（ 南 大 学 机 械 工 程 系 ，江 苏 南 京 ２ ０ ９ ） 东 １０ ６
摘 要 ：利 用 Ｐ ｔ 网对 动 态 系统 的描 述 能 力 ． Ｐ ｔ 网应 用 于 机 械 系统 可 靠 性 分 析 领 域 研 究 了基 于 Ｐ ｔｉ ｅｒ ｉ 将 ｅｒ ｉ ｅｒ 网
国家 自然科学基金资助项 目 （０ ０ ０ １ ５４５２）
收 稿 日期 ： ２０ ９２ ；修 回 日期 ：２ ０ — ０２ ０ ５０ ９ ０ ５ １— ９
一
究系 统故 障分析 和逻 辑关 系的表 示 ，从故 障建模 和故 障率 分 析 的角度 研 究 Ｐ ｔｉ ｅｒ 网在 复杂 动 态 系统 可靠 性
分析 中的应 用 。 １ 基于 Ｐ ｔｉ ｅｒ 网的故 障逻辑 关 系表 述
果 、一 因多果 、竞争 等 ，而不存 在 冲突 和 冲撞 现象 。
Ｆ Ｎ （ 障 Ｐ ｔｉ ） 的激 发 规则 见 图 １ Ｐ 故 ｅｒ 网 。
Ｐｔｉ网 有 两 种 基 本 图 形 元 素 。其 中 ，库 所 ｅｒ
（ｌｃ ）表示 对象 的属 性 和状 态 。在 系统 故障分 析 时 ， ｐａｅ
之 间的逻 辑关 系及其 影 响 。 １比较 了基 于 Ｐ ｔ 网的 表 ｅｒ ｉ
同步 、并发 行 为的信 息系统 及其 相互 关 系的 网状 数学 模型 ， 而形成 了 Ｐ ｔｉ 进 ｅｒ网理论 ＿。 ｅｒ 网不仅 能用 图 ２ Ｐ ｔｉ ］
形符 号表示 事件 的原 因和结果 之 间 的关 系 ，而且 能表
基 于 Ｐ ｔｉ ｅｒ 网理 论 的动态 系统 可 靠 性建 模 方 法 研 究
沈 戈 ， 苏 春 ，许 映秋
（ 南 大 学 机 械 工 程 系 ，江 苏 南 京 ２ ０ ９ ） 东 １０ ６
摘 要 ：利 用 Ｐ ｔ 网对 动 态 系统 的描 述 能 力 ． Ｐ ｔ 网应 用 于 机 械 系统 可 靠 性 分 析 领 域 研 究 了基 于 Ｐ ｔｉ ｅｒ ｉ 将 ｅｒ ｉ ｅｒ 网
国家 自然科学基金资助项 目 （０ ０ ０ １ ５４５２）
收 稿 日期 ： ２０ ９２ ；修 回 日期 ：２ ０ — ０２ ０ ５０ ９ ０ ５ １— ９
- 1、下载文档前请自行甄别文档内容的完整性，平台不提供额外的编辑、内容补充、找答案等附加服务。
- 2、"仅部分预览"的文档,不可在线预览部分如存在完整性等问题,可反馈申请退款(可完整预览的文档不适用该条件!)。
- 3、如文档侵犯您的权益，请联系客服反馈,我们会尽快为您处理(人工客服工作时间：9:00-18:30)。
一种基于Petri网的可靠性分析方法
金光;周经伦;何小怀
【期刊名称】《小型微型计算机系统》
【年(卷),期】2001(022)008
【摘要】冲突和并发是Petri网的两种典型的行为，本文基于系统可靠性Petri网模型的逆模型和基于ECS的解冲突算法，得到一种新的求解单调关联系统最小割集的算法.另外，根据这一算法，能够获得与系统当前状态有关的所有可能的演化.【总页数】3页(P1022-1024)
【作者】金光;周经伦;何小怀
【作者单位】国防科技大学系统工程研究所;国防科技大学系统工程研究所;国防科技大学系统工程研究所
【正文语种】中文
【中图分类】TP391
【相关文献】
1.基于Petri网的飞机复杂系统可靠性分析方法研究 [J], 郭鹏
2.一种基于模糊故障Petri网的三相异步电动机故障分析方法 [J], 程学珍;王程;于永进;伊利峰;陈强
3.一种基于Petri网的飞机配电系统可靠性分析方法 [J], 于开民;孙时珍;张树团;程晓红
4.基于随机Petri网的软件可靠性分析方法 [J], 朱连章;李妍琛
5.基于Petri网运行状态的组件化软件可靠性分析方法 [J], 郑晓东;崔志明;陈建明
因版权原因，仅展示原文概要，查看原文内容请购买。