您的位置： 专家智库 > >

张苗苗

作品数：8 被引量：5H指数：1
供职机构：同济大学软件学院更多>>
发文基金：国家自然科学基金更多>>
相关领域：自动化与计算机技术理学文化科学更多>>

合作作者

领域

  • 5个自动化与计算...
  • 2个经济管理
  • 2个电子电信
  • 2个交通运输工程
  • 2个文化科学
  • 1个机械工程
  • 1个建筑科学
  • 1个环境科学与工...
  • 1个社会学
  • 1个政治法律
  • 1个理学

主题

  • 3个实时系统
  • 2个带权
  • 2个形式化
  • 2个形式化方法
  • 2个语义
  • 2个时段
  • 2个时段演算
  • 2个自动机
  • 2个UPPAAL
  • 2个变式
  • 1个大型主机
  • 1个大学生
  • 1个大学生党支部
  • 1个代码
  • 1个代码分析
  • 1个单片
  • 1个单片机
  • 1个党支部
  • 1个党组
  • 1个党组织

机构

  • 4个同济大学
  • 1个华东师范大学
  • 1个上海电力学院
  • 1个教育部
  • 1个上海大学

资助

  • 4个国家自然科学...
  • 3个国家高技术研...
  • 1个国家重点基础...
  • 1个上海市自然科...
  • 1个国家教育部“...
  • 1个国家科技重大...
  • 1个安徽省高等学...
  • 1个安徽省高校省...
  • 1个国家教育部博...
  • 1个上海市国际科...
  • 1个上海市教育委...
  • 1个上海市科委光...
  • 1个上海市浦江人...
  • 1个南通大学自然...

传媒

  • 2个计算机学报
  • 2个计算机工程
  • 2个软件学报
  • 2个计算机工程与...
  • 2个广州大学学报...
  • 2个计算机教育
  • 2个电脑知识与技...
  • 1个系统工程与电...
  • 1个计算机光盘软...
  • 1个光电子．激光
  • 1个制造业自动化
  • 1个电视技术
  • 1个计算机工程与...
  • 1个同济大学学报...
  • 1个光学学报
  • 1个计算机应用与...
  • 1个微型电脑应用
  • 1个计算机应用
  • 1个计算机应用研...
  • 1个微型机与应用

地区

  • 5个上海市
共 5 条 记 录，以下是 1-5
安杰
供职机构：同济大学软件学院
研究主题：变式 时段 时段演算 量词消去 量词
发表作品相关人物供职机构所获资助研究领域
祖佺
供职机构：同济大学软件学院
研究主题：二分图 紧致 左侧 子图 带权
发表作品相关人物供职机构所获资助研究领域
张婧
供职机构：同济大学电子与信息工程学院
研究主题：遥感图像压缩 遥感图像 DCT 离散余弦变换 图像压缩
发表作品相关人物供职机构所获资助研究领域
刘静
供职机构：华东师范大学软件学院上海市高可信计算重点实验室
研究主题：半导体光放大器 全光波长变换 WEB服务 形式化验证 接口
发表作品相关人物供职机构所获资助研究领域
高珍
供职机构：同济大学
研究主题：大型主机 鲁棒性 编程环境 行车 数字水印
发表作品相关人物供职机构所获资助研究领域
全选 清除 导出
共1页<1>
聚类工具0