您的位置: 专家智库 > >

孙海英

作品数:21 被引量:16H指数:2
供职机构:华东师范大学更多>>
发文基金:国家自然科学基金国家重点基础研究发展计划中国博士后科学基金更多>>
相关领域:自动化与计算机技术文化科学航空宇航科学技术更多>>

领域

  • 22个自动化与计算...
  • 15个文化科学
  • 9个电子电信
  • 8个经济管理
  • 7个航空宇航科学...
  • 6个天文地球
  • 5个理学
  • 4个哲学宗教
  • 4个交通运输工程
  • 4个环境科学与工...
  • 4个医药卫生
  • 4个政治法律
  • 4个语言文字
  • 3个生物学
  • 3个电气工程
  • 3个建筑科学
  • 3个艺术
  • 3个历史地理
  • 2个化学工程
  • 2个机械工程

主题

  • 13个形式化
  • 12个网络
  • 11个实时系统
  • 10个语义
  • 10个软件工程
  • 10个建模语言
  • 9个调度
  • 9个形式化方法
  • 9个形式化验证
  • 9个映射
  • 9个SYSML
  • 8个用户
  • 8个SAFETY
  • 6个一致性
  • 6个航电
  • 6个航电软件
  • 4个多样性
  • 4个学科
  • 3个代数
  • 3个心理

机构

  • 19个华东师范大学
  • 3个中国航空无线...
  • 2个教育部
  • 2个上海大学
  • 1个北京大学
  • 1个江南计算技术...
  • 1个南京大学
  • 1个南京航空航天...
  • 1个湖州师范学院
  • 1个江苏技术师范...
  • 1个辽宁师范大学
  • 1个上海电力学院
  • 1个上海交通大学
  • 1个武汉大学
  • 1个同济大学
  • 1个浙江师范大学
  • 1个江苏理工大学
  • 1个中国科学院数...
  • 1个中国科学院研...
  • 1个航空电子系统...

资助

  • 14个国家自然科学...
  • 10个国家重点基础...
  • 5个上海市自然科...
  • 5个国家教育部博...
  • 4个国家高技术研...
  • 3个国家社会科学...
  • 3个国家教育部“...
  • 3个上海市教育委...
  • 2个中国博士后科...
  • 2个国家科技重大...
  • 2个上海市教育委...
  • 2个上海市科委重...
  • 2个中央高校基本...
  • 1个国家科技支撑...
  • 1个湖北省自然科...
  • 1个江苏省自然科...
  • 1个教育部科学技...
  • 1个上海市卫生系...
  • 1个武汉大学科技...
  • 1个武器装备预研...

传媒

  • 11个软件学报
  • 5个计算机工程
  • 4个小型微型计算...
  • 4个计算机工程与...
  • 4个计算机科学
  • 4个计算机教育
  • 4个航空工程进展
  • 4个中国科学:信...
  • 3个华东师范大学...
  • 3个电子学报
  • 3个计算机应用与...
  • 3个计算机应用
  • 3个计算机应用研...
  • 3个计算机工程与...
  • 3个航空电子技术
  • 2个国土与自然资...
  • 2个地理学报
  • 2个系统科学与数...
  • 2个计算机研究与...
  • 2个计算机学报

地区

  • 23个上海市
23 条 记 录,以下是 1-10
刘静
供职机构:华东师范大学
研究主题:太极拳运动 译码 ML 校验方法 系统模型
发表作品相关人物供职机构所获资助研究领域
陈小红
供职机构:华东师范大学
研究主题:团队 同义词 设计软件 元模型 地质资料
发表作品相关人物供职机构所获资助研究领域
王辉
供职机构:华东师范大学
研究主题:循环经济 黄土 ML 修饰 技术进步
发表作品相关人物供职机构所获资助研究领域
尹伟
供职机构:华东师范大学
研究主题:道德发展 ML 道德 道德评价 状态机
发表作品相关人物供职机构所获资助研究领域
吴志伟
供职机构:华东师范大学
研究主题:ML 状态机 性质分析 自动检测系统 迁移
发表作品相关人物供职机构所获资助研究领域
刘静
供职机构:华东师范大学软件学院上海市高可信计算重点实验室
研究主题:半导体光放大器 全光波长变换 WEB服务 形式化验证 接口
发表作品相关人物供职机构所获资助研究领域
刘明
供职机构:华东师范大学
研究主题:心理理论 自闭症 特殊教育 SYSML 流图
发表作品相关人物供职机构所获资助研究领域
陈铭松
供职机构:华东师范大学
研究主题:物联网 云计算 规约 语言描述 信物
发表作品相关人物供职机构所获资助研究领域
王倩
供职机构:华东师范大学
研究主题:大学生 班级生活 班级 小学生 车模型
发表作品相关人物供职机构所获资助研究领域
杜德慧
供职机构:华东师范大学
研究主题:自动驾驶 建模语言 时空数据 元数据 汽车自动驾驶
发表作品相关人物供职机构所获资助研究领域
共3页<123>
聚类工具0