您的位置： 专家智库 > >

郭丽娟

作品数：4 被引量：9H指数：3
供职机构：南京航空航天大学计算机科学与技术学院更多>>
发文基金：国家教育部博士点基金更多>>
相关领域：自动化与计算机技术更多>>

合作作者

领域

  • 5个自动化与计算...
  • 4个航空宇航科学...
  • 4个文化科学
  • 4个理学
  • 3个机械工程
  • 2个经济管理
  • 2个电子电信
  • 2个电气工程
  • 2个交通运输工程
  • 2个医药卫生
  • 2个一般工业技术
  • 2个自然科学总论
  • 1个生物学
  • 1个化学工程
  • 1个金属学及工艺
  • 1个建筑科学
  • 1个水利工程

主题

  • 4个形式化
  • 4个形式化验证
  • 3个调度
  • 3个多核
  • 3个形式化方法
  • 3个映射
  • 2个代码
  • 2个代码分析
  • 2个导航
  • 2个动态故障树
  • 2个异常检测
  • 1个代理
  • 1个代理模型
  • 1个代码段
  • 1个代码复用
  • 1个代码结构
  • 1个代码库
  • 1个代码模式
  • 1个代码生成
  • 1个代码数据库

机构

  • 5个南京航空航天...
  • 2个东南大学
  • 1个河海大学
  • 1个南京大学
  • 1个南京林业大学
  • 1个天津工业大学
  • 1个南京水利科学...
  • 1个计算机软件新...
  • 1个南京航空学院

资助

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

传媒

  • 5个小型微型计算...
  • 5个计算机科学
  • 4个软件学报
  • 3个计算机研究与...
  • 3个电子学报
  • 3个南京航空航天...
  • 3个计算机工程与...
  • 3个计算机工程
  • 3个航空学报
  • 3个南京理工大学...
  • 3个工业和信息化...
  • 2个东南大学学报...
  • 2个计算机学报
  • 2个计算机应用与...
  • 2个计算机应用
  • 2个计算机工程与...
  • 2个控制与决策
  • 2个计算机工程与...
  • 2个计算机与数字...
  • 2个机械制造与自...

地区

  • 5个江苏省
共 5 条 记 录，以下是 1-5
胡军
供职机构：南京航空航天大学
研究主题：故障树 安全关键系统 形式化方法 SYSML 接口自动机
发表作品相关人物供职机构所获资助研究领域
张剑
供职机构：东南大学
研究主题：预应力 非线性 有限元 随机反演 钢箱梁
发表作品相关人物供职机构所获资助研究领域
徐丙凤
供职机构：南京林业大学信息科学技术学院
研究主题：故障树 接口自动机 嵌入式软件 形式化方法 信息物理融合系统
发表作品相关人物供职机构所获资助研究领域
曹东
供职机构：南京航空航天大学
研究主题：抗干扰 飞行控制计算机 干扰观测器 非线性动态 逆控制器
发表作品相关人物供职机构所获资助研究领域
黄志球
供职机构：南京航空航天大学
研究主题：WEB服务 抽象语法树 隐私 代码 本体
发表作品相关人物供职机构所获资助研究领域
全选 清除 导出
共1页<1>
聚类工具0