您的位置: 专家智库 > >

国家教育部博士点基金(20010248033)

作品数:5 被引量:10H指数:2
相关作者:董笑菊戚正伟龙环黄春毅徐贤更多>>
相关机构:上海交通大学更多>>
发文基金:国家教育部博士点基金国家自然科学基金国家重点基础研究发展计划更多>>
相关领域:自动化与计算机技术理学语言文字更多>>

领域

  • 10个自动化与计算...
  • 4个经济管理
  • 4个文化科学
  • 4个理学
  • 3个环境科学与工...
  • 2个生物学
  • 2个电子电信
  • 2个农业科学
  • 2个政治法律
  • 2个语言文字
  • 1个机械工程
  • 1个动力工程及工...
  • 1个电气工程
  • 1个航空宇航科学...
  • 1个医药卫生
  • 1个社会学
  • 1个自然科学总论

主题

  • 6个网络
  • 4个形式化
  • 4个认证性
  • 4个时序逻辑
  • 4个线性时序逻辑
  • 4个互模拟
  • 4个安全协议
  • 3个蛋白
  • 3个蛋白质
  • 3个执行性
  • 3个噬菌体
  • 3个重写逻辑
  • 2个地理信息
  • 2个地理信息系统
  • 2个信息化
  • 2个引擎
  • 2个神经网
  • 2个神经网络
  • 2个搜索
  • 2个Π演算

机构

  • 10个上海交通大学
  • 1个成都科技大学
  • 1个华东理工大学
  • 1个四川大学
  • 1个西北工业大学

资助

  • 10个国家自然科学...
  • 10个国家教育部博...
  • 7个国家重点基础...
  • 4个国家杰出青年...
  • 3个国家高技术研...
  • 2个上海市自然科...
  • 2个上海市科委重...
  • 1个上海市科技兴...
  • 1个上海市科学技...
  • 1个四川省科技攻...
  • 1个四川省应用基...
  • 1个国家科技重大...
  • 1个浙江省科技计...
  • 1个“上海-应用...
  • 1个教育部“春晖...
  • 1个上海市教育发...
  • 1个上海市科学技...
  • 1个上海市科学技...
  • 1个上海市浦江人...
  • 1个上海市网络化...

传媒

  • 8个上海交通大学...
  • 5个计算机工程
  • 4个软件学报
  • 3个计算机应用研...
  • 2个安徽农业科学
  • 2个计算机研究与...
  • 2个计算机学报
  • 2个计算机科学
  • 1个商业时代
  • 1个工业工程与管...
  • 1个教育科学
  • 1个情报科学
  • 1个内蒙古科技与...
  • 1个科技通报
  • 1个系统工程
  • 1个模糊系统与数...
  • 1个金融经济
  • 1个人大研究
  • 1个现代情报
  • 1个图书馆建设

地区

  • 9个上海市
  • 1个四川省
10 条 记 录,以下是 1-10
董笑菊
供职机构:上海交通大学
研究主题:互模拟 进程代数 P系统 可视化 网络异常
发表作品相关人物供职机构所获资助研究领域
戚正伟
供职机构:上海交通大学
研究主题:虚拟机 内存 虚拟化 终端 虚拟机迁移
发表作品相关人物供职机构所获资助研究领域
庄庆
供职机构:上海交通大学电子信息与电气工程学院计算机科学与工程系
研究主题:保密性 安全协议 线性时序逻辑 认证性
发表作品相关人物供职机构所获资助研究领域
张敏
供职机构:上海交通大学农业与生物学院
研究主题:反倾销法 紧急状态制度 宪法典 公共利益 利益平衡原则
发表作品相关人物供职机构所获资助研究领域
李丹
供职机构:上海交通大学电子信息与电气工程学院
研究主题:网型 公平 FPGA 工业锅炉 可再生能源发电系统
发表作品相关人物供职机构所获资助研究领域
黄春毅
供职机构:四川大学公共管理学院
研究主题:数据挖掘 搜索引擎 本体 基于本体 多媒体
发表作品相关人物供职机构所获资助研究领域
蔡小娟
供职机构:上海交通大学电子信息与电气工程学院
研究主题:安全协议 形式化 形式化分析 匿名性 保密性
发表作品相关人物供职机构所获资助研究领域
张民
供职机构:上海交通大学电子信息与电气工程学院
研究主题:可执行性 重写逻辑
发表作品相关人物供职机构所获资助研究领域
徐贤
供职机构:华东理工大学信息科学与工程学院计算机科学与工程系
研究主题:PKG 信任 基于身份 可证安全 门限密码体制
发表作品相关人物供职机构所获资助研究领域
龙环
供职机构:上海交通大学
研究主题:P系统 移动计算 操作语义 互模拟 伪度量空间
发表作品相关人物供职机构所获资助研究领域
共1页<1>
聚类工具0