2) reachability analysis
可达分析
3) reachability analysis
可达性分析
1.
Aiming at the problem that no special data structure has been proposed to deal with the symbolic reachability analysis of multirate hybrid systems yet,a constraint system called multirate zone is defined for the representation and manipulation of multirate automata state-spaces.
针对目前还没有专门的数据结构处理多速率混合系统的符号化可达性问题,定义了多速率区域来表示和处理多速率自动机的无穷状态空间,从而把多速率混合系统的符号化可达性分析等价地转化成多速率区域上的3种操作,即并操作、变量重赋值操作和控制状态上的时间流逝操作。
2.
In fault diagnosis the uncertain forward reasoning based on the forward reachability analysis of Petri Nets is firstly carried through to locate possible faulty modules, whereafter the detailed fault causes are.
诊断时首先基于拓展Ｐｅｔｒｉ 网模型的正向可达性分析进行正向不确定推理，限定可能的故障模块，然后基于Ｐｅｔｒｉ 网模型的反向推理功能在故障模块内具体诊断出故障原因。
3.
For most safety properties and some liveness properties of real-time systems,model checking can be reduced to reachability analysis.
模型检测时,实时系统的大多数安全属性和部分活性都可以通过可达性分析算法来验证。
4) reach set analysis
可达集分析
5) compositional reachability analysis
组合可达性分析
1.
The compositional reachability analysis (CRA) is hotspot of research in behavior analysis of concurrent systems.
组合可达性分析是对并发系统模型分析验证的基础和关键,但是难于解决验证中的所谓的状态爆炸问题。
6) CRA(compositional reachability analysis)
组合可达分析
补充资料：故障树分析
可靠性工程中常用的一种分析方法。也广泛应用于电力系统可靠性分析。故障树分析是把系统中最不希望发生的故障状态作为故障分析目标，把选定的系统故障状态称为顶事件，然后运用逻辑运算符号和逻辑推理将顶事件逐次分解为比较简单的次级事件，一直追溯到那些原始的、或其故障机理或概率分布都是已知的基本事件为止。因此，故障树实质上就是事件之间的一张逻辑关系图。这种图是一个以顶事件为根,具有若干干枝,一些干枝上又有分枝的类似于树的图形，故名故障树。故障树可以帮助人们对产品和系统的可靠性进行定性和定量评定。由于它直观性强，易于掌握，能解决的问题多，在工程上应用很广。
故障树分析法的一般实施步骤是:①选取顶事件;②建立故障树；③求故障树的最小割集；④求系统故障概率。
故障树分析法的一般实施步骤是:①选取顶事件;②建立故障树；③求故障树的最小割集；④求系统故障概率。
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条