交互式马尔可夫链相关论文
可信动态度量为保障可信计算平台的可靠运行提供了重要支撑.根据系统的可靠性、可用性、信息和行为安全性,提出了可信度量要达到的......
对交互式马尔可夫链模型（IMCs）上的弱模拟前序关系的计算算法进行讨论．在IMCs上判断弱模拟关系时，重点对概率转移关系进行弱模拟前序关......
可信动态度量为保障可信计算平台的可靠运行提供了重要支撑.根据系统的可靠性、可用性、信息和行为安全性,提出了可信度量要达到的......
对随机进程代数模型交互式马尔科夫链（IMCs）上的模拟关系进行研究，根据不动点定理和权函数的定义，给出交互式马尔可夫链模型上强互模拟......
研究了基于交互式马尔可夫链(IMC)的模型检验,IMC是集功能描述和性能刻画为一体的并发系统模型,模型检验是一种自动功能验证与性能......
CTCS无线通信的可靠性与整个系统的稳定性和安全性紧密相关,对其进行建模与分析具有重要意义。利用交互式马尔可夫链对CTCS无线通......
将马尔可夫路径概率计算方法推广到随机进程代数:交互式马尔科夫链(IMCs)模型上.由于IMCs中存在动作转移和概率转移,两种不同性质......
对进程代数LOTOS的事件结构模型进行了随机特性的量化扩展.给出了随机进程代数交互式马尔可夫链代数(IMCA)的非交互式语义模型:事......
