您的位置： 专家智库 > >

徐丙凤

作品数：28 被引量：190H指数：7
供职机构：南京林业大学信息科学技术学院更多>>
发文基金：国家自然科学基金中央高校基本科研业务费专项资金江苏省普通高校研究生科研创新计划项目更多>>
相关领域：自动化与计算机技术航空宇航科学技术电气工程文化科学更多>>

合作作者

领域

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

主题

  • 16个嵌入式
  • 16个计算机
  • 12个形式化
  • 10个形式化方法
  • 9个嵌入式系统
  • 8个用户
  • 7个调度
  • 7个语义
  • 7个云计算
  • 7个SYSML
  • 6个代码
  • 6个多目标
  • 6个多目标优化
  • 6个形式化验证
  • 4个代理
  • 3个代码生成
  • 3个递归
  • 3个电机
  • 3个电源
  • 3个调控网络

机构

  • 21个南京航空航天...
  • 4个南京林业大学
  • 3个东南大学
  • 3个南京大学
  • 2个计算机软件新...
  • 1个河海大学
  • 1个广西财经学院
  • 1个电子科技大学
  • 1个天津工业大学
  • 1个华南理工大学
  • 1个重庆大学
  • 1个南京水利科学...
  • 1个中国科学院软...
  • 1个中国航空综合...
  • 1个江苏师范大学
  • 1个南京航空学院

资助

  • 21个国家自然科学...
  • 18个国家高技术研...
  • 15个江苏省自然科...
  • 15个中国博士后科...
  • 15个中央高校基本...
  • 13个江苏省普通高...
  • 12个江苏省研究生...
  • 11个江苏省博士后...
  • 10个国家重点基础...
  • 8个中央级公益性...
  • 8个国家教育部博...
  • 8个中国航空科学...
  • 5个江苏省高校自...
  • 4个高层次人才科...
  • 4个国家重点实验...
  • 4个江苏省现代教...
  • 3个湖南省自然科...
  • 3个教育部留学回...
  • 3个教育部人文社...
  • 2个上海市高校选...

传媒

  • 19个计算机科学
  • 13个小型微型计算...
  • 13个软件学报
  • 10个计算机工程
  • 9个计算机研究与...
  • 9个计算机学报
  • 8个计算机工程与...
  • 8个计算机应用与...
  • 8个计算机应用研...
  • 8个计算机科学与...
  • 7个计算机与现代...
  • 7个工业和信息化...
  • 6个南京航空航天...
  • 6个计算机工程与...
  • 6个计算机技术与...
  • 6个第十一届全国...
  • 5个电子学报
  • 5个计算机应用
  • 5个计算机与数字...
  • 5个计算技术与自...

地区

  • 25个江苏省
  • 1个北京市
  • 1个广西
共 27 条 记 录，以下是 1-10
黄志球
供职机构：南京航空航天大学
研究主题：WEB服务 抽象语法树 隐私 本体 代码
发表作品相关人物供职机构所获资助研究领域
胡军
供职机构：南京航空航天大学
研究主题：故障树 形式化方法 安全关键系统 SYSML 接口自动机
发表作品相关人物供职机构所获资助研究领域
曹东
供职机构：南京航空航天大学
研究主题：飞行控制计算机 干扰观测器 非线性动态 抗干扰 逆控制器
发表作品相关人物供职机构所获资助研究领域
陈哲
供职机构：南京航空航天大学
研究主题：抽象语法树 源代码 插桩 词法分析 内存
发表作品相关人物供职机构所获资助研究领域
魏欧
供职机构：南京航空航天大学
研究主题：故障树 软件产品线 软件产品 遗传算法 逻辑公式
发表作品相关人物供职机构所获资助研究领域
阚双龙
供职机构：南京航空航天大学计算机科学与技术学院
研究主题：SPIN 嵌入式 机载软件 适航认证 嵌入式系统
发表作品相关人物供职机构所获资助研究领域
曲长亮
供职机构：南京航空航天大学计算机科学与技术学院
研究主题：MARTE SYSML 形式化方法 活动图 嵌入式系统设计
发表作品相关人物供职机构所获资助研究领域
王进
供职机构：南京航空航天大学计算机科学与技术学院
研究主题：WEB服务 BPEL WEB服务组合 隐私 云计算
发表作品相关人物供职机构所获资助研究领域
郭丽娟
供职机构：南京航空航天大学计算机科学与技术学院
研究主题：接口自动机 嵌入式软件设计 构件化设计 处理器架构 BE
发表作品相关人物供职机构所获资助研究领域
张剑
供职机构：南京航空航天大学
研究主题：预应力 非线性 有限元 随机反演 钢箱梁
发表作品相关人物供职机构所获资助研究领域
全选 清除 导出
共3页<123>
聚类工具0