您的位置: 专家智库 > >

江苏省高校自然科学研究项目(12KJB520001)

作品数:13 被引量:41H指数:4
相关作者:黄皓钱振江宋方敏李康杰汤力更多>>
相关机构:南京大学常熟理工学院伦敦大学更多>>
发文基金:江苏省高校自然科学研究项目江苏省“六大人才高峰”高层次人才项目国家高技术研究发展计划更多>>
相关领域:自动化与计算机技术电子电信更多>>

领域

  • 13个自动化与计算...
  • 9个电子电信
  • 9个理学
  • 8个天文地球
  • 8个化学工程
  • 8个医药卫生
  • 8个一般工业技术
  • 8个文化科学
  • 7个经济管理
  • 7个哲学宗教
  • 7个生物学
  • 7个矿业工程
  • 7个石油与天然气...
  • 7个冶金工程
  • 7个金属学及工艺
  • 7个机械工程
  • 7个动力工程及工...
  • 7个电气工程
  • 7个建筑科学
  • 7个水利工程

主题

  • 13个形式化
  • 13个形式化验证
  • 13个操作系
  • 13个操作系统
  • 12个定理
  • 12个定理证明
  • 12个形式化设计
  • 11个语义模型
  • 11个完整性
  • 11个架构
  • 10个多核
  • 9个一致性
  • 9个可扩展
  • 9个扩展性
  • 7个带宽
  • 6个大涡模拟
  • 6个大学生
  • 5个大雾
  • 4个大细胞
  • 4个大型溞

机构

  • 13个南京大学
  • 11个常熟理工学院
  • 8个北京大学
  • 7个第二军医大学
  • 7个东北大学
  • 7个贵州大学
  • 7个哈尔滨工程大...
  • 7个河海大学
  • 7个安徽理工大学
  • 7个北京邮电大学
  • 6个安徽工业大学
  • 6个长春理工大学
  • 6个常州机电职业...
  • 6个安徽大学
  • 6个安徽医科大学...
  • 6个北京大学第三...
  • 6个常州工学院
  • 5个安徽省农业科...
  • 5个北京中医药大...
  • 5个巢湖学院

作者

  • 13个黄皓
  • 13个钱振江
  • 10个刘苇
  • 6个丁建宁
  • 6个姚宇峰
  • 5个何荣海
  • 5个吴蒙
  • 4个丁卫平
  • 4个丁岗
  • 4个冯健
  • 4个冯健
  • 4个冯新民
  • 3个乔月华
  • 3个于俊朋
  • 3个于强
  • 3个何侠
  • 3个余闯
  • 3个倪松石
  • 3个党胜春
  • 3个冯淑怡

传媒

  • 11个计算机研究与...
  • 11个计算机学报
  • 11个计算机应用与...
  • 11个计算机科学
  • 8个计算机集成制...
  • 7个分析化学
  • 7个中国临床药理...
  • 7个生态学报
  • 7个环境工程
  • 6个工业安全与环...
  • 6个商业时代
  • 6个中国科技论坛
  • 6个资源科学
  • 6个林业科学
  • 6个现代化工
  • 6个针刺研究
  • 5个中华精神科杂...
  • 5个中国药物依赖...
  • 5个植物生态学报
  • 5个心理学报
13 条 记 录,以下是 1-10
江苏省“六大人才高峰”高层次人才项目(2011-DZXX-035)
相关领域:自动化与计算机技术 医药卫生 理学
相关作品相关人物相关机构相关资助相关领域
江苏省“六大人才高峰”高层次人才项目
相关领域:医药卫生 自动化与计算机技术 农业科学 机械工程 建筑科学
相关作品相关人物相关机构相关资助相关领域
国家高技术研究发展计划
相关领域:自动化与计算机技术 农业科学 电子电信 医药卫生 理学
相关作品相关人物相关机构相关资助相关领域
国家自然科学基金
相关领域:医药卫生 理学 自动化与计算机技术 经济管理 农业科学
相关作品相关人物相关机构相关资助相关领域
国家高技术研究发展计划(2011AA01A202)
以支撑电子商务为主的网络操作系统研制
相关领域:自动化与计算机技术 电子电信 天文地球
相关作品相关人物相关机构相关资助相关领域
江苏省科技计划项目
相关领域:医药卫生 农业科学 自动化与计算机技术 轻工技术与工程 环境科学与工程
相关作品相关人物相关机构相关资助相关领域
中国博士后科学基金
相关领域:经济管理 医药卫生 自动化与计算机技术 理学 农业科学
相关作品相关人物相关机构相关资助相关领域
国家自然科学基金(60721002)
相关领域:自动化与计算机技术 文化科学 化学工程
相关作品相关人物相关机构相关资助相关领域
江苏省科技支撑计划项目
相关领域:农业科学 自动化与计算机技术 医药卫生 环境科学与工程 轻工技术与工程
相关作品相关人物相关机构相关资助相关领域
国家自然科学基金(61021062)
相关领域:自动化与计算机技术 电子电信 理学 一般工业技术
相关作品相关人物相关机构相关资助相关领域
共2页<12>
聚类工具0