1) CRA(compositional reachability analysis)
组合可达分析
2) compositional reachability analysis
组合可达性分析
1.
The compositional reachability analysis (CRA) is hotspot of research in behavior analysis of concurrent systems.
组合可达性分析是对并发系统模型分析验证的基础和关键,但是难于解决验证中的所谓的状态爆炸问题。
3) reachability analysis
可达分析
4) Compositional schedulability analysis
组合可调度分析
5) 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.
模型检测时,实时系统的大多数安全属性和部分活性都可以通过可达性分析算法来验证。
补充资料：组合分析
组合分析
combinatorial analysis
其中 【。l=【a丫，…a公·1，a，EA，，A二(A，，…，A。). 3.可换对称情形:G=凡，E=S。·这是把相同的东西放人相同的空格、自然数分拆的计数等格式的模型.构形J的计数基于使用形如 平(，;x.，…;A)=n艺(xj，，卢 了=l月。人的生成函数，其中[Io11二11沪…。儿]]，乓任人，A=(A1，AZ，…). 4.不可换对称情形:G=E，H二S。.这是把有限集划分成区组，把不同的东西放人到相同的空格等格式的模型.构形。的计数基于使用形如 认，;、l，…;A。一只剧洲拜命的生成函数，其中rlo一]=I[沪…。凡一]，马任Aj，八=(AI，AZ，二) 渐近方法在组合分析中占有重要的地位.它们既被应用于当其中的参数很大时复杂的有限表示式的化简，又用来在精确公式未知时以迂回方式得到近似式，有时把一个计数性质的问题表述为寻求某随机过程的分布的特征是合适的.通过这种解释使得人们有可能使用概率论中求渐近或极限定理的发展得很好的手段.把东西随机分放进格子的经典格式有待于从这种观点去仔细研究;同样还有集合的随机划分，随机置换的循环结构，以及各类随机图，包括映射的图(见〔8]，【91，汇111). 概率方法被用于研究对称群和半群的组合性质.对称群凡的一个随机元素的阶当n~的时的极限分布，以及其随机元素产生的概率的渐近性质都曾被研究过.对于某些随机的非负矩阵类，矩阵中零行的个数以及积和式的分布也都被研究过，此外还给出了这些矩阵的本原性概率的估计为了在不构造它们的情况下证明组合构形的存在，人们有时运用某些专门的概率手法二这种手法的本质在于藉对某事件的概率的估计而(不经构造地)证明构形的存在.[补注】婚配卜J题(marrjage Pro卜lem)是这样的:设有。个少女{以，，以。{和。个少男场。，一b用}.松个少女鱿喜欢部分少l无B‘仁协、.二，b，}在什么条件下每个少女都能与她喜爱的少男结婚‘，问题的解答当然由关于相异代表系的PHal}定理给出因此该定理也被目L}做婚配定理(m:lrrogct}Ic、。
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条