您的位置: 专家智库 > >

郭亮

作品数:38 被引量:45H指数:5
供职机构:中国科学院软件研究所更多>>
发文基金:国家高技术研究发展计划国家自然科学基金“九五”国家科技攻关计划更多>>
相关领域:自动化与计算机技术更多>>

领域

  • 17个自动化与计算...
  • 13个电子电信
  • 12个天文地球
  • 12个自然科学总论
  • 11个经济管理
  • 11个文化科学
  • 10个哲学宗教
  • 10个生物学
  • 10个化学工程
  • 10个矿业工程
  • 10个石油与天然气...
  • 10个冶金工程
  • 10个金属学及工艺
  • 10个机械工程
  • 10个动力工程及工...
  • 10个电气工程
  • 10个建筑科学
  • 10个水利工程
  • 10个轻工技术与工...
  • 10个交通运输工程

主题

  • 13个形式化
  • 13个虚拟机
  • 13个一致性
  • 13个映射
  • 13个远程
  • 13个软件系统
  • 13个体系结构
  • 12个应用程序
  • 12个软件测试
  • 12个软件体系结构
  • 11个形式化描述
  • 11个映射方法
  • 11个软件复用
  • 10个形式化方法
  • 10个形式化验证
  • 10个软件产品
  • 10个体系结构描述...
  • 9个软件体系结构...
  • 9个软件体系结构...
  • 8个形式化描述方...

机构

  • 17个中国科学院软...
  • 14个中国科学院研...
  • 10个安徽工业大学
  • 10个成都理工大学
  • 10个东北大学
  • 10个贵州大学
  • 10个河北农业大学
  • 9个安徽医科大学
  • 9个北方工业大学
  • 9个北京工商大学
  • 9个滨州医学院
  • 9个长春理工大学
  • 9个大连海洋大学
  • 8个安徽省农业科...
  • 8个北京中医药大...
  • 8个成都中医药大...
  • 7个北海道大学
  • 7个北京应用物理...
  • 7个昌吉学院
  • 6个北京矿产地质...

作者

  • 17个郭亮
  • 9个张广泉
  • 8个芮建武
  • 7个万鹏程
  • 7个祝义
  • 7个黄志球
  • 7个黄正宝
  • 7个戎玫
  • 7个陆公正
  • 7个何婷婷
  • 6个张永常
  • 6个张育
  • 6个陈琳琳
  • 5个丁为民
  • 5个丁岗
  • 5个刘俭云
  • 4个丁亮
  • 3个张晓华
  • 2个张晓华
  • 2个张晓华

传媒

  • 16个计算机应用
  • 15个计算机工程
  • 15个计算机应用与...
  • 14个计算机工程与...
  • 14个计算机科学
  • 10个分析化学
  • 10个环境工程
  • 10个现代科学仪器
  • 10个现代化工
  • 9个分子科学学报
  • 9个化工科技
  • 9个资源科学
  • 9个林业科学
  • 9个生态学报
  • 9个岩石矿物学杂...
  • 8个工业安全与环...
  • 8个植物学通报
  • 8个植物生态学报
  • 7个中华精神科杂...
  • 7个中国计划生育...
17 条 记 录,以下是 1-10
国家高技术研究发展计划
相关领域:自动化与计算机技术 农业科学 电子电信 医药卫生 理学
相关作品相关人物相关机构相关资助相关领域
国家自然科学基金
相关领域:医药卫生 理学 自动化与计算机技术 经济管理 农业科学
相关作品相关人物相关机构相关资助相关领域
国家高技术研究发展计划(2006AA010201)
相关领域:自动化与计算机技术 电子电信 自然科学总论
相关作品相关人物相关机构相关资助相关领域
国家高技术研究发展计划(863-306-ZT02-04-01)
相关领域:自动化与计算机技术 经济管理
相关作品相关人物相关机构相关资助相关领域
国家科技支撑计划(2011BAH14B02)
相关领域:自动化与计算机技术 电子电信
相关作品相关人物相关机构相关资助相关领域
国家重点实验室开放基金
相关领域:理学 自动化与计算机技术 天文地球 电子电信 农业科学
相关作品相关人物相关机构相关资助相关领域
中国科学院知识创新工程重要方向项目(KGCX2-YW-174)
相关领域:自动化与计算机技术
相关作品相关人物相关机构相关资助相关领域
国家科技支撑计划
相关领域:农业科学 医药卫生 建筑科学 自动化与计算机技术 环境科学与工程
相关作品相关人物相关机构相关资助相关领域
国家科技重大专项(2012ZX01039-004)
相关领域:自动化与计算机技术 电子电信 自然科学总论
相关作品相关人物相关机构相关资助相关领域
国家重点实验室开放基金(SYSKF0303)
软件体系结构求精及其验证技术研究
相关领域:自动化与计算机技术 文化科学 天文地球
相关作品相关人物相关机构相关资助相关领域
共2页<12>
聚类工具0