1) reach set analysis
可达集分析
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.
模型检测时,实时系统的大多数安全属性和部分活性都可以通过可达性分析算法来验证。
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)
组合可达分析
补充资料：数学分析习题集
《数学分析习题集》是苏联国立莫斯科大学教授б.д.吉米多维奇于1950年代编写的数学分析习题集。其内容相当全面，包含微积分的全部主要内容。叙述详尽，在习题之前有所用知识的提要。题型全面，选题精当，基本按由易到难的顺序编排，照顾不同基础的读者。全书共4000多道习题，可以满足各种练习需要，既着眼于思考，更注重计算练习。第三版在国内于1956年译出。1978年，人民教育出版社又加以重印。目前，这本习题集在北京、上海等大中城市的大学低年级学生中享有极高威望。不仅数学专业的学生做，而且其他理科学生也以它为参考练习。国内已经有题解出版，共6册。
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条