1) reachability tree
可达树
1.
The construction and implementatin of Petri net s reachability tree;
Petri网可达树的构造与实现
2.
Constructing and realizing reachability tree of Petri Nets by software programming;
软件编程构造和实现PetriNets可达树
3.
The reachability tree is established based on system s Petri nets model, so all the possible failure.
以系统Petri网模型为基础构造可达树,基于可达树得到系统所有可能的失效序列,给出了失效序列事件发生概率的计算方法,通过计算失效序列的发生概率求解系统动态可靠性指标。
2) reachability tree
可达性树
3) reachability tree spanning
可达树生成
4) characteristic reachability tree
特征可达树
6) Extended reachabil ity tree
扩展可达树
补充资料:海南龙血树(小花龙血树)
百合科Liliaceae
乔木状,高3-4m。叶聚生于茎和枝顶,几呈套叠状,长约70cm,抱茎,无柄。圆锥花序长约30cm,花序轴无毛或近无毛。分布于海南西南部,生于背风区的干燥砂土上。越南、柬埔寨也有分布。国家三级保护濒危种。
说明:补充资料仅用于学习参考,请勿用于其它任何用途。
参考词条