您的位置: 专家智库 > >

董龙明

作品数:9 被引量:27H指数:3
供职机构:南京大学计算机科学与技术系更多>>
发文基金:国家自然科学基金国家高技术研究发展计划载人航天领域预先研究项更多>>
相关领域:自动化与计算机技术更多>>

领域

  • 8个自动化与计算...
  • 5个文化科学
  • 5个理学
  • 3个经济管理
  • 3个航空宇航科学...
  • 3个军事
  • 2个生物学
  • 2个天文地球
  • 2个电子电信
  • 2个自然科学总论
  • 1个石油与天然气...
  • 1个金属学及工艺
  • 1个动力工程及工...
  • 1个建筑科学
  • 1个环境科学与工...
  • 1个一般工业技术
  • 1个社会学
  • 1个兵器科学与技...

主题

  • 6个迭代
  • 5个代码
  • 5个形式化
  • 4个代码实现
  • 4个迭代计算
  • 4个堆内存
  • 4个信息物理融合...
  • 3个代码覆盖
  • 3个代码覆盖率
  • 3个低速
  • 3个递归
  • 3个调优
  • 3个迭代式
  • 3个动态绑定
  • 3个读操作
  • 3个多机器人
  • 3个信息处理
  • 3个信息系统
  • 3个信息引导
  • 3个星载

机构

  • 8个国防科学技术...
  • 3个并行与分布处...
  • 2个武汉大学
  • 2个国防科技大学
  • 1个长沙大学
  • 1个哈尔滨工业大...
  • 1个北京航空航天...
  • 1个教育部
  • 1个中国石油天然...
  • 1个中国人民解放...
  • 1个中国航天员科...
  • 1个中国计算机学...

资助

  • 8个国家自然科学...
  • 6个国家高技术研...
  • 5个国家重点基础...
  • 4个湖南省自然科...
  • 3个国家教育部博...
  • 3个教育部“新世...
  • 3个载人航天领域...
  • 2个国家杰出青年...
  • 2个国家重点实验...
  • 2个霍英东青年教...
  • 2个软件工程国家...
  • 1个国防科技大学...
  • 1个国防科技技术...
  • 1个国家科技支撑...
  • 1个湖北省自然科...
  • 1个霍英东教育基...
  • 1个中央级公益性...
  • 1个国家部委资助...
  • 1个国家精品课程...
  • 1个湖南省教育科...

传媒

  • 7个计算机科学
  • 6个软件学报
  • 5个计算机工程与...
  • 5个计算机工程
  • 4个计算机研究与...
  • 4个计算机工程与...
  • 4个计算机科学与...
  • 3个计算机学报
  • 3个武汉大学学报...
  • 3个计算机系统应...
  • 3个高等教育研究...
  • 3个软件导刊
  • 3个计算机教育
  • 3个载人航天
  • 3个前瞻科技
  • 2个中国大学教学
  • 2个电子学报
  • 2个计算机应用
  • 2个小型微型计算...
  • 2个中国电子商情...

地区

  • 8个湖南省
8 条 记 录,以下是 1-8
董威
供职机构:国防科学技术大学
研究主题:软件工程 配置项 UML 语义 监控器
发表作品相关人物供职机构所获资助研究领域
王戟
供职机构:国防科学技术大学
研究主题:软件测试 软件开发 软件工程 时序逻辑 自动机
发表作品相关人物供职机构所获资助研究领域
陈立前
供职机构:国防科学技术大学
研究主题:配置项 污点 浮点 插桩 遍历
发表作品相关人物供职机构所获资助研究领域
李仁见
供职机构:国防科学技术大学
研究主题:缓冲区溢出 IP 星载计算机 存储开销 词法分析
发表作品相关人物供职机构所获资助研究领域
刘万伟
供职机构:国防科学技术大学
研究主题:勘探开发 自动机 操作系统 词法分析 监控器
发表作品相关人物供职机构所获资助研究领域
刘江潮
供职机构:国防科学技术大学
研究主题:浮点 抽象层 测试点 采样 补丁
发表作品相关人物供职机构所获资助研究领域
吴学光
供职机构:国防科学技术大学
研究主题:嵌入式软件 数据竞争 原子性 干扰信息 航天
发表作品相关人物供职机构所获资助研究领域
姚莉
供职机构:国防科学技术大学
研究主题:多主体系统 本体 人工智能 辩论 AGENT
发表作品相关人物供职机构所获资助研究领域
共1页<1>
聚类工具0