您的位置: 专家智库 > >

张前东

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

领域

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

主题

  • 4个代码
  • 4个代数
  • 4个动态逻辑
  • 4个用户
  • 4个源代码
  • 3个代码覆盖
  • 3个定理证明
  • 3个定理证明器
  • 2个代码检测
  • 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