您的位置： 专家智库 > >

马金晶

作品数：8 被引量：22H指数：3
供职机构：南京航空航天大学计算机科学与技术学院更多>>
发文基金：国家重点基础研究发展计划中国航空科学基金国家自然科学基金更多>>
相关领域：自动化与计算机技术更多>>

合作作者

领域

  • 7个自动化与计算...
  • 3个航空宇航科学...
  • 2个机械工程
  • 2个文化科学
  • 2个自然科学总论
  • 2个理学
  • 1个经济管理
  • 1个生物学
  • 1个电子电信
  • 1个交通运输工程
  • 1个医药卫生
  • 1个一般工业技术

主题

  • 6个SYSML
  • 5个调度
  • 5个综合航电
  • 5个可调度性
  • 4个嵌入式
  • 4个嵌入式系统
  • 4个嵌入式系统设...
  • 4个状态机
  • 4个状态机模型
  • 4个系统安全
  • 4个系统安全性分...
  • 4个系统模型
  • 4个系统设计
  • 4个可调度性判定
  • 3个软件可靠性测...
  • 3个时序图
  • 3个实时嵌入式
  • 3个实时嵌入式系...
  • 3个配置信息
  • 3个系统建模语言

机构

  • 7个南京航空航天...
  • 1个东南大学
  • 1个南京大学
  • 1个天津工业大学
  • 1个计算机软件新...
  • 1个中国银联
  • 1个南京航空学院

资助

  • 6个国家自然科学...
  • 5个国家重点基础...
  • 5个中国航空科学...
  • 4个教育部留学回...
  • 4个江苏省普通高...
  • 3个国家高技术研...
  • 3个中央高校基本...
  • 2个湖南省自然科...
  • 2个江苏省自然科...
  • 2个中国博士后科...
  • 2个国家教育部博...
  • 2个江苏省博士后...
  • 2个江苏省高校自...
  • 2个江苏省研究生...
  • 1个安徽省自然科...
  • 1个上海市高校选...
  • 1个中央级公益性...
  • 1个湖南省教育厅...
  • 1个宁波市自然科...
  • 1个南京信息工程...

传媒

  • 6个计算机技术与...
  • 6个计算机科学与...
  • 5个南京航空航天...
  • 4个计算机工程与...
  • 4个计算机工程
  • 3个小型微型计算...
  • 3个计算机科学
  • 2个计算机研究与...
  • 2个电子学报
  • 2个计算机学报
  • 2个计算机应用与...
  • 2个航空学报
  • 2个软件学报
  • 2个控制与决策
  • 1个分析化学
  • 1个系统工程与电...
  • 1个计算机集成制...
  • 1个电子科技
  • 1个中国科学技术...
  • 1个电子世界

地区

  • 6个江苏省
共 7 条 记 录，以下是 1-7
胡军
供职机构：南京航空航天大学
研究主题：故障树 安全关键系统 形式化方法 SYSML 接口自动机
发表作品相关人物供职机构所获资助研究领域
刘雪
供职机构：南京航空航天大学计算机科学与技术学院
研究主题：ARINC653 MARTE AADL SYSML 系统安全性分析
发表作品相关人物供职机构所获资助研究领域
程桢
供职机构：南京航空航天大学
研究主题：MARTE ARINC653 SYSML 系统安全性分析 状态机模型
发表作品相关人物供职机构所获资助研究领域
黄志球
供职机构：南京航空航天大学
研究主题：WEB服务 抽象语法树 隐私 代码 本体
发表作品相关人物供职机构所获资助研究领域
孙博
供职机构：南京航空航天大学
研究主题：SYSML SPIN 活动图 系统建模语言 机场噪声
发表作品相关人物供职机构所获资助研究领域
袁翔
供职机构：南京航空航天大学计算机科学与技术学院
研究主题：ARINC653 AADL CHEDDAR 仿真方法 可调度性判定
发表作品相关人物供职机构所获资助研究领域
胡良文
供职机构：中国银联
研究主题：SPIN SYSML 活动图 系统建模语言 PROMELA
发表作品相关人物供职机构所获资助研究领域
全选 清除 导出
共1页<1>
聚类工具0