您的位置： 专家智库 > >

畅绍枫

作品数：3 被引量：0H指数：0
供职机构：西北工业大学更多>>

合作作者

文献类型

  • 3篇中文专利

主题

  • 3篇AADL
  • 2篇系统可靠性
  • 2篇可靠性
  • 2篇可靠性评估
  • 2篇架构
  • 2篇架构模型
  • 1篇清空
  • 1篇GSPN模型

机构

  • 3篇西北工业大学

作者

  • 3篇畅绍枫
  • 3篇张凡
  • 2篇程瑶
  • 1篇周兴社
  • 1篇王广仁
  • 1篇董云卫

年份

  • 1篇2015
  • 1篇2013
  • 1篇2011
共 3 条 记 录，以下是 1-3
全选 清除 导出
排序方式：
一种基于行为描述的AADL可靠性模型生成方法
本发明涉及一种基于行为描述的AADL可靠性模型生成方法，根据行为模型说明了构件的演化过程，若错误模型是基于行为模型产生的，那么每个错误就会明确地与构件的具体行为联系起来。另一方面，错误模型间的交互若能依赖于架构模型自动生...
董云为畅绍枫张凡程瑶
文献传递
一种基于AADL描述的可靠性模型向GSPN模型的转换方法
本发明涉及一种基于AADL描述的可靠性模型向GSPN模型的转换方法，其特征在于：将基本错误模型元素转换为GSPN模型中的基本元素；对描述构件向外传播错误的Out-propagation规则进行转换，以及对描述构件接收错误...
张凡畅绍枫周兴社董云卫王广仁
文献传递
一种基于行为描述的AADL可靠性模型生成方法
本发明涉及一种基于行为描述的AADL可靠性模型生成方法，根据行为模型说明了构件的演化过程，若错误模型是基于行为模型产生的，那么每个错误就会明确地与构件的具体行为联系起来。另一方面，错误模型间的交互若能依赖于架构模型自动生...
董云为畅绍枫张凡程瑶
文献传递
全选 清除 导出
共1页<1>
聚类工具0