您的位置： 专家智库 > >

翟小祥

作品数：8 被引量：1H指数：1
供职机构：东南大学计算机科学与工程学院更多>>
发文基金：国家自然科学基金更多>>
相关领域：自动化与计算机技术文化科学航空宇航科学技术更多>>

合作作者

领域

  • 8个自动化与计算...
  • 6个文化科学
  • 2个机械工程
  • 2个电子电信
  • 2个建筑科学
  • 2个交通运输工程
  • 2个航空宇航科学...
  • 1个经济管理
  • 1个电气工程
  • 1个环境科学与工...
  • 1个医药卫生
  • 1个农业科学
  • 1个一般工业技术
  • 1个语言文字
  • 1个艺术
  • 1个理学

主题

  • 8个代数
  • 8个动态逻辑
  • 8个微分
  • 8个微分代数
  • 6个信息物理融合...
  • 6个CPS
  • 4个定理证明
  • 4个定理证明器
  • 4个语言
  • 4个规约
  • 3个定理
  • 3个用户
  • 2个代码
  • 2个导航
  • 2个信任
  • 2个信任值
  • 1个大学计算机
  • 1个大学计算机基...
  • 1个大学计算机基...
  • 1个带环

机构

  • 8个东南大学
  • 1个南京大学
  • 1个中国科学技术...
  • 1个中国科学院软...

资助

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

传媒

  • 4个电子学报
  • 4个东南大学学报...
  • 3个小型微型计算...
  • 3个2011全国...
  • 2个计算机研究与...
  • 2个Journa...
  • 1个移动通信
  • 1个南京社会科学
  • 1个南京大学学报...
  • 1个计算机学报
  • 1个工业控制计算...
  • 1个华中科技大学...
  • 1个光学学报
  • 1个计算机工程
  • 1个计算机应用与...
  • 1个现代计算机
  • 1个计算机应用
  • 1个计算机应用研...
  • 1个软件学报
  • 1个中国集体经济

地区

  • 8个江苏省
共 8 条 记 录，以下是 1-8
李必信
供职机构：东南大学
研究主题：面向对象 软件架构 源代码 WEB服务 CPS
发表作品相关人物供职机构所获资助研究领域
陈乔乔
供职机构：东南大学
研究主题：CPS 动态逻辑 微分代数 微分 信息物理融合系统
发表作品相关人物供职机构所获资助研究领域
李加凯
供职机构：东南大学
研究主题：CPS 动态逻辑 信息物理融合系统 定理证明器 自适应性
发表作品相关人物供职机构所获资助研究领域
朱敏
供职机构：东南大学
研究主题：无源光网络 CPS 动态逻辑 波长 光纤
发表作品相关人物供职机构所获资助研究领域
张前东
供职机构：东南大学
研究主题：测试用例生成方法 测试用例 CPS 动态逻辑 微分代数
发表作品相关人物供职机构所获资助研究领域
宋锐
供职机构：东南大学
研究主题：光纤陀螺 组件服务 经验模态分解 温度漂移 计算方法
发表作品相关人物供职机构所获资助研究领域
周颖
供职机构：东南大学计算机科学与工程学院
研究主题：测试技术 可靠性 面向用户 软件体系结构 WEB服务
发表作品相关人物供职机构所获资助研究领域
段鹏飞
供职机构：东南大学计算机科学与工程学院
研究主题：信息物理融合系统 动态逻辑 微分代数 微分
发表作品相关人物供职机构所获资助研究领域
全选 清除 导出
共1页<1>
聚类工具0