您的位置: 专家智库 > >

国家高技术研究发展计划(2012AA011205)

作品数:7 被引量:12H指数:2
相关作者:李宣东汤恩义张栋栋赵建华韩志雄更多>>
相关机构:南京大学南京晓庄学院河海大学更多>>
发文基金:国家自然科学基金国家高技术研究发展计划国家重点实验室开放基金更多>>
相关领域:自动化与计算机技术更多>>

领域

  • 14个自动化与计算...
  • 8个电子电信
  • 7个文化科学
  • 5个经济管理
  • 4个建筑科学
  • 4个医药卫生
  • 4个理学
  • 3个机械工程
  • 2个金属学及工艺
  • 2个电气工程
  • 2个水利工程
  • 2个一般工业技术
  • 1个生物学
  • 1个天文地球
  • 1个化学工程
  • 1个动力工程及工...
  • 1个交通运输工程
  • 1个农业科学

主题

  • 10个搜索
  • 9个代码
  • 9个上下文
  • 8个源代码
  • 8个软件工程
  • 7个迭代
  • 7个语句
  • 7个语义
  • 7个源程序
  • 7个自动机
  • 6个等价
  • 6个再工程
  • 5个多线程
  • 5个一致性
  • 4个代码生成
  • 4个代数
  • 4个迭代过程
  • 3个代数变换
  • 3个代数表示
  • 3个代数形式

机构

  • 13个南京大学
  • 8个计算机软件新...
  • 2个河海大学
  • 2个武汉大学
  • 1个东南大学
  • 1个北京信息工程...
  • 1个河南大学
  • 1个南京晓庄学院
  • 1个中北大学
  • 1个中国科学技术...
  • 1个中国人民银行
  • 1个电力部
  • 1个兖矿集团有限...
  • 1个兖矿集团总医...
  • 1个兖州矿业(集...

资助

  • 14个国家高技术研...
  • 14个国家自然科学...
  • 9个国家重点基础...
  • 8个江苏省自然科...
  • 5个国家重点实验...
  • 4个中国博士后科...
  • 4个国家科技重大...
  • 4个国家教育部博...
  • 4个教育部“新世...
  • 4个中央高校基本...
  • 3个山东省自然科...
  • 3个江苏省基础研...
  • 2个国家杰出青年...
  • 2个国家级大学生...
  • 2个江苏省博士后...
  • 2个江苏省产学研...
  • 2个江苏省高校自...
  • 2个教育部高等学...
  • 2个软件工程国家...
  • 2个山东省高等学...

传媒

  • 10个计算机科学
  • 10个中国科学:信...
  • 9个计算机研究与...
  • 9个软件学报
  • 6个计算机学报
  • 6个计算机科学与...
  • 4个电子学报
  • 4个计算机应用研...
  • 4个计算机工程与...
  • 4个第十一届全国...
  • 3个南京大学学报...
  • 3个计算机应用与...
  • 3个计算机应用
  • 3个计算机工程与...
  • 3个计算机教育
  • 2个计算机与现代...
  • 2个物联网学报
  • 2个大数据
  • 2个信息安全学报
  • 2个前瞻科技

地区

  • 13个江苏省
  • 1个广东省
14 条 记 录,以下是 1-10
李宣东
供职机构:南京大学
研究主题:自动机 面向对象 混成系统 MDA 实时系统
发表作品相关人物供职机构所获资助研究领域
汤恩义
供职机构:南京大学
研究主题:制导 软件测试 浮点 图形界面 网络爬虫
发表作品相关人物供职机构所获资助研究领域
江磊
供职机构:南京大学
研究主题:上下文 普适计算 一致性 副作用 基于搜索
发表作品相关人物供职机构所获资助研究领域
卜磊
供职机构:南京大学
研究主题:自动机 混成系统 智能家居 规约 可达性
发表作品相关人物供职机构所获资助研究领域
李雯睿
供职机构:南京晓庄学院
研究主题:HADOOP 软件测试 服务质量 半监督聚类 入侵检测
发表作品相关人物供职机构所获资助研究领域
王林章
供职机构:南京大学
研究主题:制导 数据竞争 自动机 数据流分析 规约
发表作品相关人物供职机构所获资助研究领域
何剑涛
供职机构:南京大学
研究主题:设计模式 抽象语法树 代码 类图 制导
发表作品相关人物供职机构所获资助研究领域
赵建华
供职机构:南京大学
研究主题:MDA 规约 EDOC 实时系统 时间自动机
发表作品相关人物供职机构所获资助研究领域
张鹏程
供职机构:河海大学
研究主题:控制流图 神经网络 图像 X射线图像 测试用例生成
发表作品相关人物供职机构所获资助研究领域
韩志雄
供职机构:中国人民银行
研究主题:基层央行 移动支付 金融 人工智能 信息化建设
发表作品相关人物供职机构所获资助研究领域
共2页<12>
聚类工具0