1) executable vector
可执行向量
1.
Simultaneously,when the reachability equals to the satisfiability of the state equation,the following conclusions can be drawn:for every vector X such that M0+ATX>0∧X≥0∧X≠0,there exists t∈Tx satisfying M0 t>,and X is an executable vector.
同时,当此petri网子类的可达性等价于状态方程可满足性时,可得出如下两点结论:(1)对于满足M0+ATX>0的每个非平凡的非负整数向量X,都■t∈Tx:M0[t>;(2)对于满足M0+ATX>0的每个非平凡的非负整数向量X,X都是PN的一个可执行向量。
2) credit vector
执行分数向量
1.
Distributed termination detection algorithm based on credit vector
基于执行分数向量的分布式终止检测算法
3) extreme feasible vector
极可行向量
4) executable UML
可执行UML
1.
We put forth an idea that on the basis of the extreme modeling software development methodology, bringing in the technology of executable UML will make it better.
极限建模是UML和XP结合的产物,其主要贡献是使模型可执行和可测试,而可执行UML是最近兴起的模型驱动架构(MDA)软件开发方法的核心技术。
5) performability
可执行性
1.
Since the system states transition suffices Markov characteristic, we establish a semi Markov reward process based the model to analyze performability of the system quantitatively.
系统状态转移满足马尔可夫特性,建立 SMRP模型并进行分析,系统回报率表示系统的可执行性,累积回报率则表明系统在一段时间内完成任务总量。
6) executization
可执行化
1.
In this paper, the algorithm of parametrization and executization implemented in the TUGEN system is discussed, and the result and the reason of its limitation are analyzed.
讨论了在测试集自动生成系统 TU GEN中实现的参数化可执行化算法 ,分析了该算法的效果、不足及其原因 ;讨论了可执行化处理中所涉及谓词可满足性问题的复杂度和测试路径可执行性问题 ,并在此基础上进一步提出并实现了“可执行参数化”的算法 ,克服了前一算法的不足 ,提高了 TU -GEN的实用性和执行效率 ;在进行了讨论分析后 ,以实例进行了对比和说明 ,并对今后的研究方向进行了展
补充资料：人民法院向执行机关送达取保候审和监视居住的决定书和执行书的职权
人民法院向执行机关送达取保候审和监视居住的决定书和执行书的职权：人民法院决定对被告人取保候审、监视居住，应当在宣布后立即将取保候审决定书、取保候审执行通知书或者监视居住决定书、监视居住执行通知书，送达负责执行的公安机关。第76条
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条