您的位置： 专家智库 > >

黄滟鸿

作品数：129 被引量：6H指数：2
供职机构：华东师范大学更多>>
相关领域：自动化与计算机技术文化科学更多>>

合作作者

领域

  • 32个自动化与计算...
  • 22个文化科学
  • 11个经济管理
  • 10个医药卫生
  • 9个电子电信
  • 9个理学
  • 8个交通运输工程
  • 8个政治法律
  • 7个语言文字
  • 6个机械工程
  • 6个环境科学与工...
  • 6个艺术
  • 5个哲学宗教
  • 5个建筑科学
  • 5个历史地理
  • 4个生物学
  • 4个天文地球
  • 4个金属学及工艺
  • 4个农业科学
  • 4个一般工业技术

主题

  • 21个网络
  • 17个形式化
  • 13个代码
  • 13个形式化验证
  • 10个硬件
  • 10个通信
  • 10个总线
  • 9个电器
  • 9个信号
  • 8个调度
  • 6个形式化方法
  • 6个异构
  • 6个隐私
  • 5个英语
  • 5个软件功能
  • 5个软件模型
  • 5个软件体系结构
  • 4个刀具
  • 4个等价
  • 4个等价类

机构

  • 37个华东师范大学
  • 2个上海交通大学
  • 1个北京大学
  • 1个南京大学
  • 1个湖州师范学院
  • 1个华中师范大学
  • 1个北京工业大学
  • 1个深圳大学
  • 1个江苏理工大学
  • 1个联合国大学
  • 1个英国诺丁汉大...

资助

  • 17个国家自然科学...
  • 7个国家重点基础...
  • 7个上海市自然科...
  • 5个上海市科学技...
  • 4个上海市教育委...
  • 4个中央高校基本...
  • 3个国家高技术研...
  • 2个国家科技支撑...
  • 2个国家社会科学...
  • 2个中国博士后科...
  • 2个国家教育部博...
  • 2个上海市“科技...
  • 2个上海市科委科...
  • 2个上海市教委科...
  • 1个国防基础科研...
  • 1个国家软科学研...
  • 1个江苏省自然科...
  • 1个上海市科技兴...
  • 1个国家教育部“...
  • 1个国家科技重大...

传媒

  • 10个软件学报
  • 4个华东师范大学...
  • 4个计算机工程
  • 4个计算机应用与...
  • 4个计算机应用
  • 3个计算机科学
  • 3个第十一届全国...
  • 2个理论观察
  • 2个计算机与网络
  • 2个化学学报
  • 2个计算机工程与...
  • 2个计算机工程与...
  • 2个Chines...
  • 2个环境监测管理...
  • 2个计算机教育
  • 2个第十六届全国...
  • 2个第十七届全国...
  • 2个2015第十...
  • 2个第八届全国体...
  • 2个第十六届全国...

地区

  • 37个上海市
  • 1个广东省
共 38 条 记 录，以下是 1-10
史建琦
供职机构：华东师范大学
研究主题：形式化验证 目标代码 控制流图 反汇编 中间语言
发表作品相关人物供职机构所获资助研究领域
李昂
供职机构：华东师范大学
研究主题：目标代码 反汇编 控制流图 自适应 程序模型
发表作品相关人物供职机构所获资助研究领域
何积丰
供职机构：华东师范大学
研究主题：目标代码 反汇编 高级语言 控制流图 自适应
发表作品相关人物供职机构所获资助研究领域
郭欣
供职机构：华东师范大学
研究主题：形式化验证 机载软件 规约 形式化描述 数学
发表作品相关人物供职机构所获资助研究领域
熊家文
供职机构：华东师范大学
研究主题：反汇编 目标代码 程序模型 封装格式 翻译
发表作品相关人物供职机构所获资助研究领域
杨洋
供职机构：华东师范大学
研究主题：分子动力学 下肢 跑步 机载软件 目标代码
发表作品相关人物供职机构所获资助研究领域
李新
供职机构：华东师范大学
研究主题：层次化 交互行为 集中式控制 自适应软件 自适应
发表作品相关人物供职机构所获资助研究领域
李钦
供职机构：华东师范大学
研究主题：安全性质 EVENT-B 形式化验证 形式化建模 建模语言
发表作品相关人物供职机构所获资助研究领域
金博
供职机构：华东师范大学
研究主题：工控网络 目标网络 迭代控制 图片形式 数据编码
发表作品相关人物供职机构所获资助研究领域
李炬
供职机构：华东师范大学
研究主题：空间飞行器 自重构 数学符号 软硬件协同 飞行控制
发表作品相关人物供职机构所获资助研究领域
全选 清除 导出
共4页<1234>
聚类工具0