您的位置： 专家智库 > >

吴黎明

作品数：2 被引量：3H指数：1
供职机构：南京航空航天大学更多>>
发文基金：江苏省研究生培养创新工程项目更多>>
相关领域：自动化与计算机技术更多>>

合作作者

领域

  • 4个自动化与计算...
  • 4个航空宇航科学...
  • 3个文化科学
  • 3个理学
  • 2个机械工程
  • 2个自然科学总论
  • 1个经济管理
  • 1个生物学
  • 1个电气工程
  • 1个医药卫生

主题

  • 4个形式化
  • 4个软件设计
  • 4个软件系统
  • 4个软件系统建模
  • 4个时间自动机
  • 4个统一建模
  • 4个统一建模语言
  • 4个嵌入式
  • 4个嵌入式软件
  • 4个自动机
  • 3个形式化方法
  • 3个形式化验证
  • 3个适航
  • 3个适航认证
  • 3个嵌入式系统
  • 2个调度
  • 2个序列图
  • 2个映射
  • 1个代码
  • 1个代码分析

机构

  • 4个南京航空航天...
  • 2个南京大学
  • 2个计算机软件新...
  • 1个南京林业大学

资助

  • 4个国家高技术研...
  • 4个国家自然科学...
  • 4个中国博士后科...
  • 4个江苏省博士后...
  • 4个江苏省研究生...
  • 3个国家重点基础...
  • 3个江苏省自然科...
  • 3个国家教育部博...
  • 3个江苏省普通高...
  • 3个中国航空科学...
  • 3个中央高校基本...
  • 2个江苏省高校自...
  • 1个湖南省自然科...
  • 1个教育部留学回...
  • 1个中央级公益性...
  • 1个高层次人才科...
  • 1个江苏省现代教...
  • 1个教育部人文社...
  • 1个教育部重点实...

传媒

  • 4个软件学报
  • 4个计算机科学
  • 3个小型微型计算...
  • 3个航空学报
  • 3个南京理工大学...
  • 2个计算机研究与...
  • 2个电子学报
  • 2个计算机学报
  • 2个计算机工程与...
  • 2个计算机工程
  • 2个机械制造与自...
  • 2个工业和信息化...
  • 1个分析化学
  • 1个企业研究
  • 1个电测与仪表
  • 1个通信学报
  • 1个南京航空航天...
  • 1个计算机应用与...
  • 1个当代财经
  • 1个控制理论与应...

地区

  • 4个江苏省
共 4 条 记 录，以下是 1-4
曹东
供职机构：南京航空航天大学
研究主题：飞行控制计算机 干扰观测器 非线性动态 抗干扰 逆控制器
发表作品相关人物供职机构所获资助研究领域
胡军
供职机构：南京航空航天大学
研究主题：故障树 形式化方法 安全关键系统 SYSML 接口自动机
发表作品相关人物供职机构所获资助研究领域
徐丙凤
供职机构：南京林业大学信息科学技术学院
研究主题：故障树 接口自动机 嵌入式软件 形式化方法 信息物理融合系统
发表作品相关人物供职机构所获资助研究领域
于笑丰
供职机构：南京大学商学院
研究主题：接口自动机 统一建模语言 顺序图 MDA 影响因素
发表作品相关人物供职机构所获资助研究领域
全选 清除 导出
共1页<1>
聚类工具0