您的位置： 专家智库 > >

姜泮昌

作品数：4 被引量：0H指数：0
供职机构：北京航空航天大学更多>>

合作作者

文献类型

  • 4篇中文专利

主题

  • 4篇语言
  • 4篇模型转换方法
  • 4篇目标语
  • 4篇目标语言
  • 4篇标语
  • 2篇调度
  • 2篇调度器
  • 2篇源语
  • 2篇源语言
  • 2篇线程
  • 2篇环境变量
  • 2篇抽象机

机构

  • 4篇北京航空航天...

作者

  • 4篇姜泮昌
  • 4篇杨志斌
  • 4篇胡凯
  • 4篇张腾
  • 4篇蒋树
  • 2篇顾彬
  • 2篇顾斌

年份

  • 2篇2014
  • 2篇2012
共 4 条 记 录，以下是 1-4
全选 清除 导出
排序方式：
AADL2TASM模型转换方法
本发明涉及一种模型转换方法，用于将AADL模型转换为TASM模型，使用KM3描述源语言AADL的元模型，使用KM3描述目标语言TASM的元模型，针对AADL模型中的线程构件、分发器、模式变换、调度器，分别使用线程构件的转...
胡凯蒋树杨志斌顾彬姜泮昌张腾
文献传递
AADL2TASM模型转换方法
本发明涉及一种模型转换方法，用于将AADL模型转换为TASM模型，使用KM3描述源语言AADL的元模型，使用KM3描述目标语言TASM的元模型，针对AADL模型中的线程构件、分发器、模式变换、调度器，分别使用线程构件的转...
胡凯蒋树杨志斌顾彬姜泮昌张腾
TASM2UPPAAL模型转换方法
本发明涉及一种模型转换方法，用于将TASM模型转换为UPPAAL模型，使用KM3描述目标语言UPPAAL的元模型；针对TASM模型的环境变量与抽象机，执行规则语法元素，使用环境变量的转换方法和主抽象机与执行规则的转换方法...
胡凯张腾杨志斌顾斌蒋树姜泮昌
文献传递
TASM2UPPAAL模型转换方法
本发明涉及一种模型转换方法，用于将TASM模型转换为UPPAAL模型，使用KM3描述目标语言UPPAAL的元模型；针对TASM模型的环境变量与抽象机，执行规则语法元素，使用环境变量的转换方法和主抽象机与执行规则的转换方法...
胡凯张腾杨志斌顾斌蒋树姜泮昌
文献传递
全选 清除 导出
共1页<1>
聚类工具0