您的位置： 专家智库 > >

张前东

作品数：5 被引量：0H指数：0
供职机构：东南大学更多>>
相关领域：文化科学自动化与计算机技术更多>>

合作作者

领域

  • 7个自动化与计算...
  • 5个文化科学
  • 3个航空宇航科学...
  • 1个经济管理
  • 1个机械工程
  • 1个电子电信
  • 1个建筑科学
  • 1个交通运输工程
  • 1个医药卫生

主题

  • 4个代码
  • 4个代数
  • 4个动态逻辑
  • 4个用户
  • 4个语言
  • 4个源代码
  • 3个代码覆盖
  • 3个定理证明
  • 3个定理证明器
  • 2个代码检测
  • 2个代码库
  • 2个代码信息
  • 2个地理
  • 2个地理区域
  • 2个调度
  • 2个调度方法
  • 2个调度算法
  • 2个定位技术
  • 2个动态任务调度
  • 2个信任

机构

  • 7个东南大学
  • 2个南京大学
  • 2个中国科学院软...
  • 2个计算机软件新...
  • 1个南京理工大学
  • 1个扬州大学
  • 1个中国科学技术...

资助

  • 6个国家自然科学...
  • 5个国家教育部博...
  • 4个国家重点实验...
  • 3个国家高技术研...
  • 3个江苏省教育厅...
  • 3个东南大学优秀...
  • 3个江苏省高校自...
  • 3个教育部“新世...
  • 2个江苏省自然科...
  • 2个江苏省“六大...
  • 2个计算机软件新...
  • 2个江苏省博士后...
  • 2个江苏省产学研...
  • 2个江苏省高校科...
  • 2个中央高校基本...
  • 1个安徽省自然科...
  • 1个中国博士后科...
  • 1个国家杰出青年...
  • 1个“九五”国家...
  • 1个常熟市科技计...

传媒

  • 5个东南大学学报...
  • 4个计算机研究与...
  • 3个电子学报
  • 3个小型微型计算...
  • 3个软件学报
  • 3个计算机科学
  • 2个Journa...
  • 2个计算机科学与...
  • 1个中国科学技术...
  • 1个通信学报
  • 1个科技导报
  • 1个南京大学学报...
  • 1个计算机学报
  • 1个华中科技大学...
  • 1个电脑与信息技...
  • 1个计算机工程与...
  • 1个光学学报
  • 1个计算机工程
  • 1个计算机应用与...
  • 1个计算机应用研...

地区

  • 6个江苏省
共 7 条 记 录，以下是 1-7
李必信
供职机构：东南大学
研究主题：面向对象 软件架构 源代码 WEB服务 CPS
发表作品相关人物供职机构所获资助研究领域
兰阳阳
供职机构：东南大学
研究主题：测试用例 测试用例生成方法 排斥 时序逻辑 源代码
发表作品相关人物供职机构所获资助研究领域
翟小祥
供职机构：东南大学计算机科学与工程学院
研究主题：动态逻辑 CPS 微分代数 微分 规约
发表作品相关人物供职机构所获资助研究领域
陶传奇
供职机构：计算机软件新技术国家重点实验室
研究主题：测试用例 软件维护 切片 错别字 抽取
发表作品相关人物供职机构所获资助研究领域
陈乔乔
供职机构：东南大学
研究主题：CPS 动态逻辑 微分代数 微分 信息物理融合系统
发表作品相关人物供职机构所获资助研究领域
孙小兵
供职机构：扬州大学信息工程学院
研究主题：软件维护 测试用例 切片 形式概念分析 知识图谱
发表作品相关人物供职机构所获资助研究领域
宋锐
供职机构：东南大学
研究主题：光纤陀螺 组件服务 经验模态分解 温度漂移 计算方法
发表作品相关人物供职机构所获资助研究领域
全选 清除 导出
共1页<1>
聚类工具0