您的位置： 专家智库 > >

张海龙

作品数：2 被引量：13H指数：1
供职机构：北京邮电大学计算机学院网络与交换技术国家重点实验室更多>>
发文基金：国家自然科学基金国家高技术研究发展计划更多>>
相关领域：自动化与计算机技术更多>>

合作作者

领域

  • 6个自动化与计算...
  • 4个电子电信
  • 2个文化科学
  • 2个自然科学总论
  • 2个理学
  • 1个经济管理
  • 1个机械工程
  • 1个电气工程
  • 1个航空宇航科学...
  • 1个医药卫生
  • 1个一般工业技术
  • 1个军事
  • 1个兵器科学与技...

主题

  • 4个代码
  • 4个语法
  • 4个语法树
  • 4个语句
  • 3个调用函数
  • 3个信息更新
  • 3个信息库
  • 3个寻址
  • 3个用户
  • 3个语言
  • 3个语义
  • 2个代码检测
  • 2个等价
  • 2个等价变换
  • 2个等式约束
  • 2个点集
  • 2个电路
  • 2个迭代
  • 2个迭代计算
  • 2个有限状态机

机构

  • 6个北京邮电大学
  • 1个桂林电子科技...
  • 1个黑龙江八一农...
  • 1个中国科学院
  • 1个中国石油大学...
  • 1个装甲兵工程学...
  • 1个中国联通

资助

  • 6个国家高技术研...
  • 6个国家自然科学...
  • 3个中国博士后科...
  • 3个中央高校基本...
  • 1个国防科技技术...
  • 1个山东省优秀中...
  • 1个山东省自然科...
  • 1个国家重点实验...
  • 1个黑龙江教育厅...
  • 1个中国人民解放...
  • 1个中国人民解放...
  • 1个总装备部“十...

传媒

  • 6个软件学报
  • 4个北京邮电大学...
  • 4个中国科学：信...
  • 3个计算机研究与...
  • 3个电子学报
  • 3个计算机学报
  • 3个软件
  • 3个信息通信技术
  • 2个内蒙古大学学...
  • 2个清华大学学报...
  • 2个计算机工程
  • 2个计算机应用研...
  • 2个小型微型计算...
  • 2个计算机辅助设...
  • 2个计算机工程与...
  • 2个计算机工程与...
  • 2个计算机测量与...
  • 2个第六届中国测...
  • 1个佳木斯大学学...
  • 1个黑龙江农业科...

地区

  • 4个北京市
  • 1个山东省
  • 1个广东省
共 6 条 记 录，以下是 1-6
张大林
供职机构：北京邮电大学
研究主题：控制流 状态机 抽象语法树 符号化 信息库
发表作品相关人物供职机构所获资助研究领域
宫云战
供职机构：北京邮电大学计算机学院网络与交换技术国家重点实验室
研究主题：软件测试 控制流 抽象语法树 控制流图 测试用例
发表作品相关人物供职机构所获资助研究领域
金大海
供职机构：北京邮电大学
研究主题：控制流 软件测试 抽象语法树 控制流图 状态机
发表作品相关人物供职机构所获资助研究领域
董玉坤
供职机构：中国石油大学（华东）
研究主题：内存模型 数据流分析 C程序 抽象语法树 软件测试
发表作品相关人物供职机构所获资助研究领域
杨学红
供职机构：中国联通
研究主题：BPEL 业务流程执行语言 BPEL流程 WEB服务组合 CMMI
发表作品相关人物供职机构所获资助研究领域
王前
供职机构：北京邮电大学
研究主题：数据流分析 控制流 别名分析 别名 分析技术
发表作品相关人物供职机构所获资助研究领域
全选 清除 导出
共1页<1>
聚类工具0