1) Compositional schedulability analysis
组合可调度分析
2) schedulability analysis
可调度分析
1.
Real time task schedulability analysis is one of the major methods used to provide performance guarantee to real time systems.
实时任务可调度分析是保证实时系统正确性的重要手段之一。
2.
Through discussing schedulability analysis of TCPN′s with any topology structure,the limitation of existing reachability analysis method about TCPN′s is overcome,then the veracity and practicability of proposed method are demonstrated.
通过讨论任意拓扑结构 TCPN′s的可调度分析 ,克服了以往 TCPN′s可达性分析方法的局限性 ,显示了该方法的准确性和实用性。
3) Composite reliability analysis method
组合可靠度分析法
4) frequency regulation statistical analysis
调频可靠度分析
5) schedulability analysis
可调度性分析
1.
Improved schedulability analysis algorithm for end-to-end real-time CORBA scheduling model;
改进的端到端实时CORBA调度模型可调度性分析算法
2.
Schedulability Analysis for Fault-Tolerant Real-Time Systems;
容错实时系统可调度性分析研究
3.
Firstly, we extend the workflow nets with time constraints and call the new nets Timing Constraint workflow nets (TCWF-nets), then after analyzing the timing property of WorkFlow nets (WF-nets), we proposed the schedulability analysis algorithm of TCWF-nets.
首先 ,将工作流网扩展为时间约束工作流网 ,然后分析了工作流网的时间特性 ,并提出了时间约束工作流网的可调度性分析算法。
6) compositional reachability analysis
组合可达性分析
1.
The compositional reachability analysis (CRA) is hotspot of research in behavior analysis of concurrent systems.
组合可达性分析是对并发系统模型分析验证的基础和关键,但是难于解决验证中的所谓的状态爆炸问题。
补充资料：组合分析
组合分析
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、。
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条