甘肃省教育厅科研基金(0712-02)
- 作品数:3 被引量:1H指数:1
- 相关作者:赵锡英张明新邢敬宏更多>>
- 相关机构:兰州工业高等专科学校更多>>
- 发文基金:甘肃省教育厅科研基金甘肃省自然科学基金更多>>
- 相关领域:自动化与计算机技术更多>>
- 交互式马尔可夫链代数的事件结构模型
- 2008年
- 对进程代数LOTOS的事件结构模型进行了随机特性的量化扩展.给出了随机进程代数交互式马尔可夫链代数(IMCA)的非交互式语义模型:事件结构.并且证明了给出的随机事件结构模型的正确性.同时,给出了IMCA基于事件的操作语义,并且证明了它和现有交互式语义的一致性.
- 赵锡英
- 关键词:操作语义
- 随机进程代数IMCs的性能评价
- 2008年
- 将马尔可夫路径概率计算方法推广到随机进程代数:交互式马尔科夫链(IMCs)模型上.由于IMCs中存在动作转移和概率转移,两种不同性质的转移破坏了系统的稳定性,因此在IMCs的性能刻画中,去掉系统的稳态性刻画,给出动作和概率转移共存的IMCs模型的路径定义和基于概率转移率的路径转移发生的概率计算方法,解决了Until算子的描述.使用基于动作的逻辑aCSL给出IMCs的性能评价.证明该方法的正确性,它是纯马尔可夫链模型中性能评价方法的扩展.
- 赵锡英张明新
- 关键词:性能评价
- 交互式马尔科夫链上强模拟关系的计算被引量:1
- 2008年
- 对随机进程代数模型交互式马尔科夫链(IMCs)上的模拟关系进行研究,根据不动点定理和权函数的定义,给出交互式马尔可夫链模型上强互模拟等价和强模拟前序的判定算法,对算法的时间复杂度进行分析.
- 赵锡英张明新邢敬宏
- 关键词:计算复杂度