您的位置： 专家智库 > >

蒲戈光

作品数：28 被引量：30H指数：3
供职机构：华东师范大学更多>>
发文基金：国家自然科学基金创新研究群体科学基金更多>>
相关领域：自动化与计算机技术文化科学自然科学总论交通运输工程更多>>

合作作者

领域

  • 30个自动化与计算...
  • 16个文化科学
  • 9个经济管理
  • 9个电子电信
  • 7个航空宇航科学...
  • 6个理学
  • 3个哲学宗教
  • 3个交通运输工程
  • 3个社会学
  • 3个自然科学总论
  • 2个金属学及工艺
  • 2个机械工程
  • 2个建筑科学
  • 2个医药卫生
  • 2个政治法律
  • 2个艺术
  • 1个天文地球
  • 1个化学工程
  • 1个冶金工程
  • 1个电气工程

主题

  • 19个自动化
  • 15个仿真
  • 14个形式化
  • 11个形式化方法
  • 11个搜索
  • 10个调度
  • 10个映射
  • 10个用户
  • 9个硬件
  • 8个代码
  • 8个形式化验证
  • 7个形式化验证方...
  • 7个软件测试
  • 7个数据流
  • 6个形式化建模
  • 5个调度策略
  • 5个多核
  • 5个源代码
  • 4个定义语言
  • 4个时序逻辑

机构

  • 18个华东师范大学
  • 7个北京控制工程...
  • 3个浙江理工大学
  • 3个国家自然科学...
  • 2个北京科技大学
  • 2个中国科学院
  • 2个空间智能控制...
  • 1个北京空间飞行...
  • 1个电子科技大学
  • 1个国防科学技术...
  • 1个南京大学
  • 1个湖州师范学院
  • 1个清华大学
  • 1个西北工业大学
  • 1个上海大学
  • 1个中国科学院研...
  • 1个中国科学院软...
  • 1个中国空间技术...
  • 1个国家工程研究...
  • 1个美国印第安纳...

资助

  • 23个国家自然科学...
  • 7个国家高技术研...
  • 4个国家科技重大...
  • 3个国家重点基础...
  • 3个浙江省自然科...
  • 3个创新研究群体...
  • 3个国家教育部博...
  • 3个国家中长期科...
  • 3个国家重点实验...
  • 3个上海市教育委...
  • 2个北京市自然科...
  • 2个国防基础科研...
  • 2个上海市自然科...
  • 2个中国科学院软...
  • 2个国家杰出青年...
  • 2个长江学者和创...
  • 1个北京市科技新...
  • 1个国家科技支撑...
  • 1个江苏省自然科...
  • 1个教育部科学技...

传媒

  • 15个软件学报
  • 10个计算机应用研...
  • 8个计算机工程与...
  • 7个计算机科学
  • 6个计算机研究与...
  • 6个计算机学报
  • 6个计算机应用与...
  • 6个空间控制技术...
  • 5个计算机应用
  • 4个自动化学报
  • 4个计算机工程
  • 4个中国科学基金
  • 3个通信学报
  • 3个电子学报
  • 3个计算机工程与...
  • 3个航天控制
  • 3个控制工程（北...
  • 3个计算机测量与...
  • 3个计算机科学与...
  • 3个中国科学：技...

地区

  • 17个上海市
  • 11个北京市
  • 3个浙江省
共 31 条 记 录，以下是 1-10
苏亭
供职机构：华东师范大学
研究主题：测试用例 健壮性 自动化测试 C语言 自动生成
发表作品相关人物供职机构所获资助研究领域
郭建
供职机构：华东师范大学
研究主题：形式化验证 形式化验证方法 源代码 微内核 时态逻辑
发表作品相关人物供职机构所获资助研究领域
缪炜恺
供职机构：华东师范大学
研究主题：需求文档 形式化方法 形式化 嵌入式控制 抽象语法树
发表作品相关人物供职机构所获资助研究领域
陈铭松
供职机构：华东师范大学
研究主题：物联网 云计算 规约 语言描述 信物
发表作品相关人物供职机构所获资助研究领域
王政
供职机构：北京控制工程研究所
研究主题：航天器 嵌入式 程序数据 星敏感器 内存
发表作品相关人物供职机构所获资助研究领域
何积丰
供职机构：华东师范大学
研究主题：目标代码 反汇编 高级语言 控制流图 自适应
发表作品相关人物供职机构所获资助研究领域
黄赛杰
供职机构：华东师范大学
研究主题：资源分配策略 工作流 自动机模型 统计模型 UML活动图
发表作品相关人物供职机构所获资助研究领域
武轲
供职机构：华东师范大学
研究主题：自动化测试 测试系统 GUI测试 ANDROID 控制流
发表作品相关人物供职机构所获资助研究领域
李钦
供职机构：华东师范大学
研究主题：安全性质 EVENT-B 形式化建模 建模语言 计算软件
发表作品相关人物供职机构所获资助研究领域
刘克
供职机构：国家自然科学基金委员会
研究主题：国家自然科学基金 信息科学部 网络控制系统 采样 资源循环利用
发表作品相关人物供职机构所获资助研究领域
全选 清除 导出
共4页<1234>
聚类工具0