张福高

作品数：2被引量：4H指数：2
导出分析报告
供职机构：南京航空航天大学更多>>
发文主题：AADLMODDLA-AACPS更多>>
发文领域：自动化与计算机技术更多>>
发文期刊：《计算机技术与发展》更多>>
所获基金：中国航空科学基金国家重点基础研究发展计划更多>>
-
在结果中检索

检索结果分析

署名顺序

  • 全部
  • 第一作者
结果分析中...
共 条 记 录，以下是1-2
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
MA建模的概率混成自动机转换方法研究被引量：2
《计算机技术与发展》2019年第2期19-22,共4页张福高 曹雪岳 
国家"973"重点基础研究发展计划项目(2014CB744903);航空科学基金(20150652008)
信息物理融合系统(CPS)是物联网进一步发展的产物,CPS将物理过程与信息计算过程紧密联系,是一种复杂的混合系统,Modelica与AADL是适用于信息物理融合系统(CPS)的嵌入式系统体系结构建模语言。利用Modelica对物理系统部分建模,AADL对信...
关键词：Modelica-AADL建模 接口 模型状态 概率混成自动机 模型转换 
基于构件交互自动机的AADL模型转换方法研究被引量：2
《计算机技术与发展》2017年第7期68-71,共4页李揭阳 李勇 张福高 
国家"973"重点基础研究发展计划项目(2014CB744900);航空科学基金(20150652008)
构件交互自动机(Component-Interaction Automata,Co-IA)是扩展了构件之间交互描述的自动机。体系结构分析设计语言(Architecture Analysis and Design Language,AADL)是一种基于构件的半形式化体系结构分析和设计语言,是嵌入式系统体...
关键词：体系结构分析设计语言 构件交互自动机 Z语言 模型转换 
全选清除导出
共1页<1>
检索报告 对象比较 聚类工具 使用帮助 返回顶部