您的位置： 专家智库 > >

徐畅

作品数：1 被引量：2H指数：1
供职机构：浙江工商职业技术学院信息工程学院更多>>
发文基金：浙江省教育厅科研计划上海市卫生系统百名跨世纪优秀学科带头人培养计划国家教育部博士点基金更多>>
相关领域：自动化与计算机技术更多>>

合作作者

文献类型

  • 1篇中文期刊文章

领域

  • 1篇自动化与计算...

主题

  • 1篇功能性能
  • 1篇MARKOV...

机构

  • 1篇教育部
  • 1篇同济大学
  • 1篇浙江工商职业...

作者

  • 1篇钮俊
  • 1篇曾国荪
  • 1篇吕新荣
  • 1篇徐畅

传媒

  • 1篇计算机科学

年份

  • 1篇2011
共 1 条 记 录，以下是 1-1
全选 清除 导出
排序方式：
随机模型检测连续时间Markov过程被引量：2
2011年
功能正确和性能可满足是复杂系统可信要求非常重要的两个方面。从定性验证和定量分析相结合的角度,对复杂并发系统进行功能验证和性能分析,统一地评估系统是否可信。连续时间Markov决策过程CTMDP(Continu-ous-time Markov decision process)能够统一刻画复杂系统的概率选择、随机时间及不确定性等重要特征。提出用CT-MDP作为系统定性验证和定量分析模型,将复杂系统的功能验证和性能分析转化为CTMDP中的可达概率求解,并证明验证过程的正确性,最终借助模型检测器MRMC(Markov Reward Model Checker)实现模型检测。理论分析表明,提出的针对CTMDP模型的验证需求是必要的,验证思路和方法具有可行性。
钮俊曾国荪吕新荣徐畅
关键词：功能性能
全选 清除 导出
共1页<1>
聚类工具0