您的位置： 专家智库 > >

中国民航总局科技基金(MHRD2007117)

作品数：1 被引量：2H指数：1
相关作者：刘林源夏良周航黄志球祝义更多>>
相关机构：徐州师范大学中国人民解放军炮兵学院南京航空航天大学更多>>
发文基金：中国民航总局科技基金国家高技术研究发展计划更多>>
相关领域：自动化与计算机技术更多>>

领域

  • 5个自动化与计算...
  • 4个经济管理
  • 4个文化科学
  • 3个电子电信
  • 2个交通运输工程
  • 2个航空宇航科学...
  • 2个理学
  • 1个机械工程
  • 1个电气工程
  • 1个建筑科学
  • 1个环境科学与工...
  • 1个医药卫生
  • 1个一般工业技术
  • 1个政治法律
  • 1个军事
  • 1个自然科学总论

主题

  • 4个需求规约
  • 3个代数
  • 3个代数方法
  • 3个对象约束语言
  • 3个多态
  • 3个多态性
  • 3个信息物理融合...
  • 3个形式化
  • 3个形式化方法
  • 3个形式化规约
  • 3个形式化验证
  • 3个业务过程执行...
  • 3个业务流
  • 3个业务流程执行...
  • 2个代理
  • 2个电机
  • 2个电子邮件
  • 2个调度
  • 2个信任
  • 2个信任度

机构

  • 4个南京航空航天...
  • 1个东南大学
  • 1个湖南大学
  • 1个解放军理工大...
  • 1个苏州大学
  • 1个天津工业大学
  • 1个中国人民解放...
  • 1个南京审计大学
  • 1个徐州师范大学
  • 1个江苏师范大学
  • 1个南京航空学院

资助

  • 5个国家高技术研...
  • 5个中国民航总局...
  • 4个国家自然科学...
  • 4个江苏省自然科...
  • 4个中国博士后科...
  • 4个江苏省博士后...
  • 4个江苏省高校自...
  • 3个国家教育部博...
  • 3个中国航空科学...
  • 3个重庆市自然科...
  • 2个中央级公益性...
  • 2个国家重点实验...
  • 2个江苏省“青蓝...
  • 2个江苏省普通高...
  • 2个苏州市科技计...
  • 2个中央高校基本...
  • 1个安徽省自然科...
  • 1个国家重点基础...
  • 1个湖南省自然科...
  • 1个江苏省计算机...

传媒

  • 5个计算机研究与...
  • 4个电子学报
  • 4个软件学报
  • 4个计算机工程与...
  • 4个解放军理工大...
  • 4个计算机科学与...
  • 3个计算机应用研...
  • 3个小型微型计算...
  • 3个计算机科学
  • 3个电脑知识与技...
  • 2个电子科技
  • 2个南京航空航天...
  • 2个东南大学学报...
  • 2个南京大学学报...
  • 2个计算机工程
  • 2个计算机应用
  • 2个电脑知识与技...
  • 2个计算机工程与...
  • 2个计算机与现代...
  • 2个科学技术与工...

地区

  • 4个江苏省
  • 1个安徽省
共 5 条 记 录，以下是 1-5
周航
供职机构：南京航空航天大学
研究主题：进气道 发动机短舱 航站楼 实时系统 多态性
发表作品相关人物供职机构所获资助研究领域
夏良
供职机构：中国人民解放军炮兵学院
研究主题：信息加密 信息安全 云计算 虚拟磁盘 冲撞
发表作品相关人物供职机构所获资助研究领域
祝义
供职机构：江苏师范大学
研究主题：进程代数 软件体系结构 实时系统 基于UML CPS
发表作品相关人物供职机构所获资助研究领域
刘林源
供职机构：南京审计大学
研究主题：WEB服务组合 接口自动机 WEB服务 隐私保护 云计算
发表作品相关人物供职机构所获资助研究领域
黄志球
供职机构：南京航空航天大学
研究主题：WEB服务 抽象语法树 隐私 代码 本体
发表作品相关人物供职机构所获资助研究领域
全选 清除 导出
共1页<1>
聚类工具0