-
题名利用UML映射工具实现系统可靠性建模
被引量:1
- 1
-
-
作者
林晓帆
杜斌
-
机构
成都信息工程学院软件工程系
-
出处
《微计算机信息》
北大核心
2007年第03X期250-251,249,共3页
-
文摘
许多可靠性建模技术是基于可靠性框图、故障树、Markov链等表示方法,但系统架构师、产品经理和软件开发者往往对这些表示方法不太熟悉,他们通常使用统一建模语言(UML)来对系统进行描述,因此系统设计者不得不面对设计过程与可靠性建模间的缺陷。为了弥补这一缺陷,本文提出了一个利用UML映射工具实现可靠性建模的方法,同时以实际的例子演示了该方法的可行性。
-
关键词
UML
可靠性建模
故障树
markov链
-
Keywords
UML, reliability modeling, fault trees, markov chai
-
分类号
TP311.5
[自动化与计算机技术—计算机软件与理论]
-
-
题名Petri网在多处理器系统性能分析中的应用
被引量:4
- 2
-
-
作者
丁正己
谢磊
-
机构
信息工程大学信息安全学院
-
出处
《信息工程大学学报》
2000年第4期56-58,共3页
-
文摘
Petri网作为离散事件系统建模、性能分析及控制的数学图形工具 ,已有广泛应用。本文介绍扩充Petri网及其在多处理器系统性能分析中的应用。
-
关键词
多处理器系统
性能分析
扩充Petri网
模型分析
马尔可夫链
建模机制
GSPN模型
-
Keywords
extension of the PN net
multiprocessor system
model analysis
markov chai
-
分类号
TP368.1
[自动化与计算机技术—计算机系统结构]
-
-
题名排队系统的随机Petri网描述与分析
被引量:4
- 3
-
-
作者
孙晓颖
王万树
高电波
-
机构
长春邮电学院无线电工程系
-
出处
《长春邮电学院学报》
1995年第2期1-6,共6页
-
基金
国家自然科学基金
-
文摘
研究了用随机Petri网描述的基本排队模型,提出了对复杂系统建模的组合方法,并结合通信网中若干实际问题尝试了用随机Petri网对排队系统建模、分析的一般途径。
-
关键词
通信网
PETRI网
排队系统
随机PETRI网
-
Keywords
Petri nets
queues
markov chai
stochastic Petri nets
-
分类号
TN913.2
[电子电信—通信与信息系统]
O226
[理学—运筹学与控制论]
-