... PCTL&DP "On the Connections Between PCTL and Dynamic Programming", Federico Ramponi et al, HSCC'10 概率计算树逻辑(PCTL)是一种广泛的描述有 限状态Markov链时间行为的逻辑模式 这篇文章里，作者将PCTL应用于不可数状态 的Markov链，并且发现这与动态规...
基于54个网页-相关网页
为了对具有概率性质的系统进行规约，需要对传统的时 态逻辑进行扩充，主要有 PCTL(Probabilistic Computational Tree Logic)和 CSL(Continuous Stochastic Logic)2 种方法，其 中PCTL 应用在DTMCs 和MDPs 环境中，是时态逻辑CTL(计 算树逻辑)的概率扩展，...
基于16个网页-相关网页
结果表明 ,以PBMC 的杀伤组为对照组 ,抗原肽 (PCTL) 和 HSP702抗原肽复合物(HSPCTL) 均诱导出明显的 CTL 细胞 ,对于 T2、HHCC 细胞有较强的杀伤作用 ( P< 01 05) ,而其对于 K562、7...
基于12个网页-相关网页
8.4 CGMB寄存器 8.4.1 PLL控制寄存器（PCTL） 位7654321位0PCTL读PLLIEPLLFPLLONBCSPRE1PRE0VPR1VPR0$0036写复位00100000PLLIE-PLL中断允许位 可读写位，它用来允许PLL在LOC...
基于10个网页-相关网页
PCTL-nm 涂膜机
应用推荐